Class Summary |
AmongGAC |
User : cprudhom, fhermenie
Mail : cprudhom(a)emn.fr
Date : 22 fevr. 2010
Since : Choco 2.1.1
GCCAT:
NVAR is the number of variables of the collection VARIABLES that take their value in VALUES. |
AtMostNValue |
Enforce the number of identical values wihtin a list of variables to
be at most a given variable. |
BoundAllDiff |
|
BoundGcc |
A constraint to enforce BoundConsistency on a global cardinality
based on the implementation of :
C. |
BoundGccVar |
User: hcambaza
Bound Global cardinality : Given an array of variables vars, an array of variables card to represent the cardinalities, the constraint ensures that the number of occurences
of the value i among the variables is equal to card[i]. |
BoundGccVar.Interval |
|
Exactly |
User : cprudhom
Mail : cprudhom(a)emn.fr
Date : 22 f�vr. 2010
Since : Choco 2.1.1
GCCAT:
NVAR is the number of variables of the collection VARIABLES that take their value in VALUES. |
Geost_Constraint |
|
IncreasingNValue |
User : xlorca
Mail : xlorca(a)emn.fr
Date : 29 janv. 2010
Since : Choco 2.1.1 |
Lex |
Enforce a lexicographic ordering on two vectors of integer
variables x <_lex y with x = , and y = . |
LexChain |
Created by IntelliJ IDEA. |
LeximinSConstraint |
SemiLeximinConstraint is a constraint that ensures
the leximin ordering between one vector of variables and one of integers. |
Occurrence |
|
OrderedSparseArray |
User : xlorca
Mail : xlorca(a)emn.fr
Date : 29 janv. 2010
Since : Choco 2.1.1 |
SemiLeximinSConstraint |
SemiLeximinConstraint is a constraint that ensures
the leximin ordering between one vector of variables and one of integers. |
SortingSConstraint |
SortingConstraint is a constraint that ensures
that a vector is the sorted version of a second one. |