Class SumConstraint
- java.lang.Object
-
- org.chocosolver.solver.constraints.Constraint
-
- org.chocosolver.solver.constraints.nary.sum.SumConstraint
-
public class SumConstraint extends Constraint
Project: choco-solver.
- Since:
- 28/06/2016.
- 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 SumConstraint(Propagator propagator)
Make a new constraint defined as a set of given propagators
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected Constraint
makeOpposite()
The only reason this class exists-
Methods inherited from class org.chocosolver.solver.constraints.Constraint
checkNewStatus, computeMaxPriority, declareAs, getCidxInModel, getName, getOpposite, getPropagator, getPropagators, getStatus, isReified, isSatisfied, merge, post, reify, reifyWith, setName, setOpposite, toString
-
-
-
-
Constructor Detail
-
SumConstraint
public SumConstraint(Propagator propagator)
Make a new constraint defined as a set of given propagators- Parameters:
propagator
- propagator defining the constraint
-
-
Method Detail
-
makeOpposite
protected Constraint makeOpposite()
The only reason this class exists- Overrides:
makeOpposite
in classConstraint
- Returns:
- an accurate opposite constraint
-
-