public abstract class UnaryConstraint extends ACQ_Constraint
Constructor and Description |
---|
UnaryConstraint(java.lang.String name,
int var) |
Modifier and Type | Method and Description |
---|---|
protected boolean |
check(int... value)
Checks if the constraint is violated for a given set of values
|
protected abstract boolean |
check(int value) |
checker, getArity, getName, getProjection, getScope, getVariables, toString
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
getNegation, toChoco
protected boolean check(int... value)
ACQ_Constraint
check
in class ACQ_Constraint
value
- set of values to checkprotected abstract boolean check(int value)