Module org.chocosolver

Package org.chocosolver.solver.constraints.nary.globalcardinality

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

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

GlobalCardinality

public GlobalCardinality(IntVar[] vars,
                         int[] values,
                         IntVar[] cards)

Method Detail

reformulate

public static Constraint reformulate(IntVar[] vars,
                                     IntVar[] card,
                                     Model model)