Class Opposite
- java.lang.Object
-
- org.chocosolver.solver.constraints.Constraint
-
- org.chocosolver.solver.constraints.reification.Opposite
-
public class Opposite extends Constraint
Default opposite of a constraintProject: choco-solver.
- Since:
- 20/09/2017.
- Author:
- Charles Prud'homme
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class org.chocosolver.solver.constraints.Constraint
Constraint.Status
-
-
Field Summary
-
Fields inherited from class org.chocosolver.solver.constraints.Constraint
boolReif, propagators
-
-
Constructor Summary
Constructors Constructor Description Opposite(Constraint cons)
Make a new opposite constraint defined as a set of given propagators
-
Method Summary
-
Methods inherited from class org.chocosolver.solver.constraints.Constraint
checkNewStatus, computeMaxPriority, declareAs, getCidxInModel, getName, getOpposite, getPropagator, getPropagators, getStatus, isReified, isSatisfied, makeOpposite, merge, post, reify, reifyWith, setName, setOpposite, toString
-
-
-
-
Constructor Detail
-
Opposite
public Opposite(Constraint cons)
Make a new opposite constraint defined as a set of given propagators
-
-