public class XCSP.Constraint extends java.lang.Object
Constraint(java.lang.String name, int arity, java.lang.String scope, java.lang.String reference, java.lang.String parameters)
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public Constraint(java.lang.String name, int arity, java.lang.String scope, java.lang.String reference, java.lang.String parameters)
name
arity
scope
reference
parameters
Sugar: A SAT-based Constraint Solver