public abstract class BinaryConstraint extends ACQ_Constraint
Constructor and Description |
---|
BinaryConstraint(java.lang.String name,
int var1,
int var2) |
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 value1,
int value2) |
checker, getArity, getName, getProjection, getScope, getVariables, toString
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
getNegation, toChoco
public BinaryConstraint(java.lang.String name, int var1, int var2)
protected boolean check(int... value)
ACQ_Constraint
check
in class ACQ_Constraint
value
- set of values to checkprotected abstract boolean check(int value1, int value2)