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