Gecode::Int::Bool::BoolBinary< BVA, BVB > Class Template Reference
#include <bool.hh>
Inherits Gecode::Propagator.
Inherited by Gecode::Int::Bool::Eq< BVA, BVB >, and Gecode::Int::Bool::OrTrue< BVA, BVB >.
Detailed Description
template<class BVA, class BVB>
class Gecode::Int::Bool::BoolBinary< BVA, BVB >
Base-class for binary Boolean propagators.
Definition at line 43 of file bool.hh.
Public Member Functions | |
virtual PropCost | cost (void) const |
Cost function (defined as PC_UNARY_LO). | |
virtual size_t | dispose (Space *home) |
Delete propagator and return its size. | |
Protected Member Functions | |
BoolBinary (Space *home, BVA b0, BVB b1) | |
Constructor for posting. | |
BoolBinary (Space *home, bool share, BoolBinary &p) | |
Constructor for cloning. | |
BoolBinary (Space *home, bool share, Propagator &p, BVA b0, BVB b1) | |
Constructor for rewriting p during cloning. | |
Protected Attributes | |
BVA | x0 |
Boolean view. | |
BVB | x1 |
Boolean view. |
Constructor & Destructor Documentation
template<class BVA, class BVB>
Gecode::Int::Bool::BoolBinary< BVA, BVB >::BoolBinary | ( | Space * | home, | |
BVA | b0, | |||
BVB | b1 | |||
) | [inline, protected] |
template<class BVA, class BVB>
Gecode::Int::Bool::BoolBinary< BVA, BVB >::BoolBinary | ( | Space * | home, | |
bool | share, | |||
BoolBinary< BVA, BVB > & | p | |||
) | [inline, protected] |
template<class BVA, class BVB>
Gecode::Int::Bool::BoolBinary< BVA, BVB >::BoolBinary | ( | Space * | home, | |
bool | share, | |||
Propagator & | p, | |||
BVA | b0, | |||
BVB | b1 | |||
) | [inline, protected] |
Member Function Documentation
template<class BVA, class BVB>
PropCost Gecode::Int::Bool::BoolBinary< BVA, BVB >::cost | ( | void | ) | const [virtual] |
template<class BVA, class BVB>
size_t Gecode::Int::Bool::BoolBinary< BVA, BVB >::dispose | ( | Space * | home | ) | [virtual] |
Member Data Documentation
template<class BVA, class BVB>
BVA Gecode::Int::Bool::BoolBinary< BVA, BVB >::x0 [protected] |
template<class BVA, class BVB>
BVB Gecode::Int::Bool::BoolBinary< BVA, BVB >::x1 [protected] |
The documentation for this class was generated from the following files:
- gecode/int/bool.hh (Revision: 3600)
- gecode/int/bool/base.icc (Revision: 3566)