public class UnaryArithmetic extends UnaryConstraint
Modifier and Type | Field and Description |
---|---|
private int |
cste |
private acqConstraints.Operator |
op |
Constructor and Description |
---|
UnaryArithmetic(java.lang.String name,
int var,
acqConstraints.Operator op,
int cste) |
Modifier and Type | Method and Description |
---|---|
protected boolean |
check(int value) |
UnaryArithmetic |
getNegation()
Returns the negation of this constraint.
|
void |
toChoco(org.chocosolver.solver.Model model,
org.chocosolver.solver.variables.IntVar... intVars)
Add this constraint to the solver
|
check
checker, getArity, getName, getProjection, getScope, getVariables, toString
public UnaryArithmetic(java.lang.String name, int var, acqConstraints.Operator op, int cste)
protected boolean check(int value)
check
in class UnaryConstraint
public UnaryArithmetic getNegation()
ACQ_IConstraint
Returns the negation of this constraint. For instance, a constraint with "=" as operator will return a constraint with the same scope but "!=" as operator
public void toChoco(org.chocosolver.solver.Model model, org.chocosolver.solver.variables.IntVar... intVars)
ACQ_IConstraint
model
- model of the solverintVars
- variables of this constraint