|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
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} |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |