Gecode::Int::Bool::BoolTernary< BVA, BVB, BVC > Class Template Reference
#include <bool.hh>
Inherits Gecode::Propagator.
Inherited by Gecode::Int::Bool::And< BVA, BVB, BVC >, and Gecode::Int::Bool::Eqv< BVA, BVB, BVC >.
Detailed Description
template<class BVA, class BVB, class BVC>
class Gecode::Int::Bool::BoolTernary< BVA, BVB, BVC >
Base-class for ternary Boolean propagators.
Definition at line 60 of file bool.hh.
Public Member Functions | |
virtual PropCost | cost (void) const |
Cost function (defined as PC_BINARY_LO). | |
virtual | ~BoolTernary (void) |
Destructor. | |
Protected Member Functions | |
BoolTernary (Space *home, BVA b0, BVB b1, BVC b2) | |
Constructor for posting. | |
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 & Destructor Documentation
|
Constructor for posting.
|
|
Constructor for cloning.
|
|
Destructor.
|
Member Function Documentation
|
Cost function (defined as PC_BINARY_LO).
Implements Gecode::Propagator. |
Member Data Documentation
|
Boolean view.
|
|
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)