public class Relation extends Object
Converter
int
arity
boolean
conflicts
String
name
int[][]
tuples
Relation(String name, int arity, Sequence body)
toString()
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
public String name
public int arity
public boolean conflicts
public int[][] tuples
public Relation(String name, int arity, Sequence body) throws SugarException
SugarException
public String toString()
toString
Object
Sugar: A SAT-based Constraint Solver