Package choco.cp.solver.constraints.global

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.
 

Enum Summary
IncreasingNValue.Mode  
 



Copyright © 2012. All Rights Reserved.