Base-class for ternary Boolean propagators. More...
#include <bool.hh>
Public Member Functions | |
BoolTernary (Space &home, bool share, Propagator &p, BVA b0, BVB b1, BVC b2) | |
Constructor for rewriting p during cloning. | |
virtual PropCost | cost (const Space &home, const ModEventDelta &med) const |
Cost function (defined as low binary) | |
virtual size_t | dispose (Space &home) |
Delete propagator and return its size. | |
Protected Member Functions | |
BoolTernary (Home home, BVA b0, BVB b1, BVC b2) | |
BoolTernary (Space &home, bool share, BoolTernary &p) | |
Constructor for cloning. | |
Protected Attributes | |
BVA | x0 |
Boolean view. | |
BVB | x1 |
Boolean view. | |
BVC | x2 |
Boolean view Constructor for posting. |
Base-class for ternary Boolean propagators.
Gecode::Int::Bool::BoolTernary< BVA, BVB, BVC >::BoolTernary | ( | Home | home, |
BVA | b0, | ||
BVB | b1, | ||
BVC | b2 | ||
) | [inline, protected] |
Gecode::Int::Bool::BoolTernary< BVA, BVB, BVC >::BoolTernary | ( | Space & | home, |
bool | share, | ||
BoolTernary< BVA, BVB, BVC > & | p | ||
) | [inline, protected] |
Gecode::Int::Bool::BoolTernary< BVA, BVB, BVC >::BoolTernary | ( | Space & | home, |
bool | share, | ||
Propagator & | p, | ||
BVA | b0, | ||
BVB | b1, | ||
BVC | b2 | ||
) | [inline] |
PropCost Gecode::Int::Bool::BoolTernary< BVA, BVB, BVC >::cost | ( | const Space & | home, |
const ModEventDelta & | med | ||
) | const [virtual] |
Cost function (defined as low binary)
Implements Gecode::Propagator.
size_t Gecode::Int::Bool::BoolTernary< BVA, BVB, BVC >::dispose | ( | Space & | home | ) | [inline, virtual] |
Delete propagator and return its size.
Reimplemented from Gecode::Actor.
BVA Gecode::Int::Bool::BoolTernary< BVA, BVB, BVC >::x0 [protected] |
BVB Gecode::Int::Bool::BoolTernary< BVA, BVB, BVC >::x1 [protected] |
BVC Gecode::Int::Bool::BoolTernary< BVA, BVB, BVC >::x2 [protected] |