public class SumConstraint extends Constraint
Project: choco-solver.
Constraint.Status
boolReif, propagators
Constructor and Description |
---|
SumConstraint(Propagator propagator)
Make a new constraint defined as a set of given propagators
|
Modifier and Type | Method and Description |
---|---|
protected Constraint |
makeOpposite()
The only reason this class exists
|
checkNewStatus, computeMaxPriority, declareAs, getCidxInModel, getName, getOpposite, getPropagator, getPropagators, getStatus, isReified, isSatisfied, merge, post, reify, reifyWith, setName, setOpposite, toString
public SumConstraint(Propagator propagator)
propagator
- propagator defining the constraintprotected Constraint makeOpposite()
makeOpposite
in class Constraint
Copyright © 2018. All rights reserved.