public class Arithmetic extends Constraint
Constraint.Status
propagators
Constructor and Description |
---|
Arithmetic(IntVar var,
Operator op,
int cste) |
Arithmetic(IntVar var1,
Operator op,
IntVar var2) |
Arithmetic(IntVar var1,
Operator op1,
IntVar var2,
Operator op2,
int cste) |
Modifier and Type | Method and Description |
---|---|
Constraint |
makeOpposite()
Make the opposite constraint of this.
|
checkNewStatus, computeMaxPriority, declareAs, getCidxInModel, getName, getOpposite, getPropagator, getPropagators, getStatus, isReified, isSatisfied, merge, post, reify, reifyWith, setName, toString
public Constraint makeOpposite()
Constraint
makeOpposite
in class Constraint
Copyright © 2017. All rights reserved.