public abstract class TernaryConstraint extends ACQ_Constraint
Constructor and Description |
---|
TernaryConstraint(java.lang.String name,
int var1,
int var2,
int var3) |
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,
int value3) |
checker, getArity, getName, getProjection, getScope, getVariables, toString
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
getNegation, toChoco
public TernaryConstraint(java.lang.String name, int var1, int var2, int var3)
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, int value3)