|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Class Summary | |
---|---|
BooleanChanneling | a simple channeling constraint : y_ij = 1 si x_i = j y_ij = 0 sinon |
DomainChanneling | Constraints that map the boolean assignments variables (bvars) with the standard assignment variables (var). |
ReifiedBinImplication | |
ReifiedBinXnor | A constraint that ensures : b = x1 xnor x2 ... |
ReifiedBinXor | A constraint that ensures : b = x1 xor x2 ... xor xn where b, and x1,... xn are boolean variables (of domain {0,1}) |
ReifiedLargeAnd | |
ReifiedLargeNand | User : cprudhom Mail : cprudhom(a)emn.fr Date : 18 mai 2010 Since : Choco 2.1.1 A constraint that ensures : b = x1 NAND x2 ... |
ReifiedLargeNor | User : cprudhom Mail : cprudhom(a)emn.fr Date : 18 mai 2010 Since : Choco 2.1.1 A constraint that ensures : b = x1 NOR x2 ... |
ReifiedLargeOr | A constraint that ensures : b = x1 OR x2 ... |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |