public class XCSP.Relation extends Object
XCSP.Relation(String name, int arity, int nbTuples, String semantics, String tuples)
boolean
equals(Object obj)
int
hashCode()
String
toString()
getClass, notify, notifyAll, wait, wait, wait
public XCSP.Relation(String name, int arity, int nbTuples, String semantics, String tuples)
name
arity
nbTuples
semantics
tuples
public int hashCode()
hashCode
Object
public boolean equals(Object obj)
equals
public String toString()
toString
Sugar: A SAT-based Constraint Solver