Gecode::Int::Bool Namespace Reference
Detailed Description
Boolean propagators.
Classes | |
class | OrTrueSubsumed |
Binary Boolean disjunction propagator (subsumed). More... | |
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 | NaryEq |
n-ary Boolean equality propagator More... | |
class | Lq |
Boolean less or equal propagator. More... | |
class | Le |
Boolean less propagator. More... | |
class | BinOrTrue |
Binary Boolean disjunction propagator (true). More... | |
class | TerOrTrue |
Ternary Boolean disjunction propagator (true). More... | |
class | QuadOrTrue |
Quarternary Boolean disjunction propagator (true). More... | |
class | Or |
Boolean disjunction propagator. More... | |
class | NaryOr |
Boolean n-ary disjunction propagator. More... | |
class | NaryOrTrue |
Boolean n-ary disjunction propagator (true). More... | |
class | Eqv |
Boolean equivalence propagator. More... |