Gecode::Int::Bool::BoolBinary< BVA, BVB > Class Template Reference
#include <bool.hh>
Inherits Gecode::Propagator.
Inherited by Gecode::Int::Bool::Eq< 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 | ~BoolBinary (void) |
Destructor. | |
Protected Member Functions | |
BoolBinary (Space *home, BVA b0, BVB b1) | |
Constructor for posting. | |
BoolBinary (Space *home, bool share, BoolBinary &p) | |
Constructor for cloning. | |
Protected Attributes | |
BVA | x0 |
Boolean view. | |
BVB | x1 |
Boolean view. |
Constructor & Destructor Documentation
|
Constructor for posting.
|
|
Constructor for cloning.
|
|
Destructor.
|
Member Function Documentation
|
Cost function (defined as PC_UNARY_LO).
Implements Gecode::Propagator. |
Member Data Documentation
|
Boolean view.
|
|
Boolean view.
|
The documentation for this class was generated from the following files:
- int/bool.hh (Revision: 2419)
- int/bool/base.icc (Revision: 2403)