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