Package choco.cp.solver.constraints.integer.channeling

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 ...
 



Copyright © 2012. All Rights Reserved.