Gecode::BoolExpr Class Reference
Boolean expressions. More...
#include <minimodel.hh>
Classes | |
class | NNF |
Node for negation normalform (NNF) More... | |
class | Node |
Node for Boolean expression More... | |
Public Types | |
enum | NodeType { NT_VAR, NT_NOT, NT_AND, NT_OR, NT_EQV, NT_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 (Home home, IntConLevel icl) const |
Post propagators for expression. | |
void | post (Home home, bool t, IntConLevel icl) const |
Post propagators for relation. | |
const BoolExpr & | operator= (const BoolExpr &e) |
Assignment operator. | |
~BoolExpr (void) | |
Destructor. |
Detailed Description
Boolean expressions.
Definition at line 653 of file minimodel.hh.
Member Enumeration Documentation
Type of Boolean expression.
- Enumerator:
NT_VAR Variable.
NT_NOT Negation.
NT_AND Conjunction.
NT_OR Disjunction.
NT_EQV Equivalence.
NT_RLIN Reified linear relation.
Definition at line 656 of file minimodel.hh.
Constructor & Destructor Documentation
Gecode::BoolExpr::BoolExpr | ( | const BoolExpr & | e | ) | [inline] |
Copy constructor.
Definition at line 57 of file bool-expr.hpp.
Construct expression for type and subexpresssions.
Definition at line 71 of file bool-expr.hpp.
Gecode::BoolExpr::BoolExpr | ( | const BoolVar & | x | ) | [inline] |
Construct expression for variable.
Definition at line 62 of file bool-expr.hpp.
Construct expression for negation.
Definition at line 84 of file bool-expr.hpp.
Gecode::BoolExpr::BoolExpr | ( | const LinRel & | rl | ) | [inline] |
Construct expression for reified linear relation.
Definition at line 101 of file bool-expr.hpp.
Gecode::BoolExpr::~BoolExpr | ( | void | ) |
Destructor.
Definition at line 72 of file bool-expr.cpp.
Member Function Documentation
BoolVar Gecode::BoolExpr::post | ( | Home | home, | |
IntConLevel | icl | |||
) | const [inline] |
Post propagators for expression.
Definition at line 111 of file bool-expr.hpp.
void Gecode::BoolExpr::post | ( | Home | home, | |
bool | t, | |||
IntConLevel | icl | |||
) | const [inline] |
Post propagators for relation.
Definition at line 117 of file bool-expr.hpp.
Assignment operator.
Definition at line 62 of file bool-expr.cpp.
The documentation for this class was generated from the following files:
- gecode/minimodel.hh (Revision: 10684)
- gecode/minimodel/bool-expr.cpp (Revision: 10262)
- gecode/minimodel/bool-expr.hpp (Revision: 10262)