public class Arithmetic extends Constraint
Constraint.Status| Modifier and Type | Field and Description |
|---|---|
protected int |
cste |
boolReif, propagators| Modifier | Constructor and Description |
|---|---|
protected |
Arithmetic(String name,
IntVar[] vars,
Operator op1,
Operator op2,
int cste,
Propagator prop) |
| 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, setOpposite, toStringprotected Arithmetic(String name, IntVar[] vars, Operator op1, Operator op2, int cste, Propagator prop)
public Constraint makeOpposite()
ConstraintmakeOpposite in class ConstraintCopyright © 2018. All rights reserved.