Sugar version 1.13 Core API Specification

jp.ac.kobe_u.cs.sugar.converter
Class Relation

java.lang.Object
  extended by jp.ac.kobe_u.cs.sugar.converter.Relation

public class Relation
extends Object

Relation class.

See Also:
Converter

Field Summary
 int arity
           
 boolean conflicts
           
 String name
           
 int[][] tuples
           
 
Constructor Summary
Relation(String name, int arity, Sequence body)
           
 
Method Summary
 String toString()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

name

public String name

arity

public int arity

conflicts

public boolean conflicts

tuples

public int[][] tuples
Constructor Detail

Relation

public Relation(String name,
                int arity,
                Sequence body)
         throws SugarException
Throws:
SugarException
Method Detail

toString

public String toString()
Overrides:
toString in class Object

Sugar version 1.13 Core API Specification

Sugar: A SAT-based Constraint Solver