Generated on Wed Jan 4 17:49:20 2006 for Gecode by doxygen 1.4.6

Gecode::Int::Bool Namespace Reference


Detailed Description

Boolean propagators.


Classes

class  BoolBinary
 Base-class for binary Boolean propagators. More...
class  BoolTernary
 Base-class for ternary Boolean propagators. More...
class  Eq
 Boolean equality propagator. More...
class  And
 Boolean conjunction propagator. More...
class  NaryAnd
 Boolean n-ary conjunction propagator. More...
class  Eqv
 Boolean equivalence propagator. More...