Gecode::MiniModel::BoolExpr Class Reference
#include <minimodel.hh>
Detailed Description
Boolean expressions.
Definition at line 313 of file minimodel.hh.
Public Types | |
BT_VAR | |
Variable. | |
BT_NOT | |
Negation. | |
BT_AND | |
Conjunction. | |
BT_OR | |
Disjunction. | |
BT_IMP | |
Implication. | |
BT_XOR | |
Exclusive or. | |
BT_EQV | |
Equivalence. | |
BT_RLIN | |
Reified linear relation. | |
enum | NodeType { BT_VAR, BT_NOT, BT_AND, BT_OR, BT_IMP, BT_XOR, BT_EQV, BT_RLIN } |
Type of Boolean expression. More... | |
Public Member Functions | |
BoolExpr (const BoolExpr &e) | |
Copy constructor. | |
BoolExpr (const BoolExpr &l, NodeType t, const BoolExpr &r) | |
Construct expression for type and subexpresssions. | |
BoolExpr (const BoolVar &x) | |
Construct expression for variable. | |
BoolExpr (const BoolExpr &e, NodeType t) | |
Construct expression for negation. | |
BoolExpr (const LinRel &rl) | |
Construct expression for reified linear relation. | |
BoolVar | post (Space *home) const |
Post propagators for expression. | |
void | post (Space *home, bool t) const |
Post propagators for relation. | |
const BoolExpr & | operator= (const BoolExpr &e) |
Assignment operator. | |
~BoolExpr (void) | |
Destructor. | |
Classes | |
class | Node |
Node for Boolean expression. More... |
Member Enumeration Documentation
Type of Boolean expression.
- Enumerator:
-
BT_VAR Variable. BT_NOT Negation. BT_AND Conjunction. BT_OR Disjunction. BT_IMP Implication. BT_XOR Exclusive or. BT_EQV Equivalence. BT_RLIN Reified linear relation.
Definition at line 316 of file minimodel.hh.
Constructor & Destructor Documentation
Gecode::MiniModel::BoolExpr::BoolExpr | ( | const BoolExpr & | e | ) | [inline] |
Gecode::MiniModel::BoolExpr::BoolExpr | ( | const BoolVar & | x | ) | [inline] |
Gecode::MiniModel::BoolExpr::BoolExpr | ( | const LinRel & | rl | ) | [inline] |
Gecode::MiniModel::BoolExpr::~BoolExpr | ( | void | ) | [inline] |
Member Function Documentation
void Gecode::MiniModel::BoolExpr::post | ( | Space * | home, | |
bool | t | |||
) | const [inline] |
The documentation for this class was generated from the following files:
- gecode/minimodel.hh (Revision: 3579)
- gecode/minimodel/bool-expr.icc (Revision: 3513)