Gecode::MiniModel::BoolExpr Class Reference
#include <minimodel.hh>
Detailed Description
Boolean expressions.
Definition at line 313 of file minimodel.hh.
Public Types | |
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.
Definition at line 316 of file minimodel.hh. |
Constructor & Destructor Documentation
|
Copy constructor.
Definition at line 47 of file bool-expr.icc. |
|
Construct expression for type and subexpresssions.
Definition at line 61 of file bool-expr.icc. |
|
Construct expression for variable.
Definition at line 52 of file bool-expr.icc. |
|
Construct expression for negation.
Definition at line 74 of file bool-expr.icc. |
|
Construct expression for reified linear relation.
Definition at line 85 of file bool-expr.icc. |
|
Destructor.
Definition at line 107 of file bool-expr.icc. |
Member Function Documentation
|
Post propagators for expression.
Definition at line 113 of file bool-expr.icc. |
|
Post propagators for relation.
Definition at line 118 of file bool-expr.icc. |
|
Assignment operator.
Definition at line 96 of file bool-expr.icc. |
The documentation for this class was generated from the following files:
- gecode/minimodel.hh (Revision: 3579)
- gecode/minimodel/bool-expr.icc (Revision: 3513)