Package choco.cp.solver.constraints.integer.bool

Class Summary
BinAnd  
BinNand maintain v1 NAND v2 where v1 and v2 are boolean variables i.e variables of domain {0,1}
BinNor  
BinOr maintaint v1 Or v2 where v1 and v2 are boolean variables i.e variables of domain {0,1}
BinXnor  
BinXor  
BooleanFactory User : cprudhom
Mail : cprudhom(a)emn.fr
Date : 18 mai 2010
Since : Choco 2.1.1
BoolIntLinComb A constraint to enforce Sigma_i coef[i]*x_i + k OP y_i where : - OP belongs to >=, <=, = - k is a constant - x_i are boolean variable - t_i is an enum variable It improves the general IntLinComb by storing lower and upper bound of the expression and sorting coefficient for filtering.
BoolTimesXYZ A simple Product constraint between boolean variables : x * y = z
Identity User : cprudhom
Mail : cprudhom(a)emn.fr
Date : 18 mai 2010
Since : Choco 2.1.1
maintain v1 is true where v1 is a boolean variable, domain = {0,1}
LargeAnd  
LargeNand  
LargeNor  
LargeOr  
LargeXnor  
LargeXor  
Not User : cprudhom
Mail : cprudhom(a)emn.fr
Date : 18 mai 2010
Since : Choco 2.1.1
maintain v1 is false where v1 is a boolean variable, domain = {0,1}
 



Copyright © 2012. All Rights Reserved.