public class XCSP.Domain extends Object
XCSP.Domain(String name, int nbValues, String domain)
boolean
equals(Object obj)
int
hashCode()
String
toString()
getClass, notify, notifyAll, wait, wait, wait
public XCSP.Domain(String name, int nbValues, String domain)
name
nbValues
domain
public int hashCode()
hashCode
Object
public boolean equals(Object obj)
equals
public String toString()
toString
Sugar: A SAT-based Constraint Solver