Module org.chocosolver
Class GlobalCardinality
- java.lang.Object
-
- org.chocosolver.solver.constraints.Constraint
-
- org.chocosolver.solver.constraints.nary.globalcardinality.GlobalCardinality
-
public class GlobalCardinality extends Constraint
Global Cardinality constraint- Since:
- 16/06/11
- Author:
- Hadrien Cambazard, Charles Prud'homme, Jean-Guillaume Fages
-
-
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 GlobalCardinality(IntVar[] vars, int[] values, IntVar[] cards)
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static Constraint
reformulate(IntVar[] vars, IntVar[] card, Model model)
-
Methods inherited from class org.chocosolver.solver.constraints.Constraint
checkNewStatus, computeMaxPriority, declareAs, getCidxInModel, getName, getOpposite, getPropagator, getPropagators, getStatus, ignore, isReified, isSatisfied, makeOpposite, merge, post, reify, reifyWith, setName, setOpposite, toString
-
-