Boolean expressions. More...
#include <minimodel.hh>
Classes | |
class | Misc |
Miscealloneous Boolean expressions. More... | |
class | Node |
Node for Boolean expression More... |
Public Types | |
enum | NodeType { NT_VAR , NT_NOT , NT_AND , NT_OR , NT_EQV , NT_RLIN , NT_RLINFLOAT , NT_RSET , NT_MISC } |
Type of Boolean expression. More... |
Public Member Functions | |
BoolExpr (void) | |
Default constructor. | |
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 LinIntRel &rl) | |
Construct expression for reified linear relation. | |
BoolExpr (const LinFloatRel &rfl) | |
Construct expression for reified float relation. | |
BoolExpr (const SetRel &rs) | |
Construct expression for reified set relation. | |
BoolExpr (const SetCmpRel &rs) | |
Construct expression for reified set relation. | |
BoolExpr (Misc *m) | |
Construct expression for miscellaneous Boolean expression. | |
BoolVar | expr (Home home, const IntPropLevels &ipls) const |
Post propagators for expression. | |
void | rel (Home home, const IntPropLevels &ipls) const |
Post propagators for relation. | |
const BoolExpr & | operator= (const BoolExpr &e) |
Assignment operator. | |
~BoolExpr (void) | |
Destructor. |
Boolean expressions.
Definition at line 1329 of file minimodel.hh.
Type of Boolean expression.
Definition at line 1332 of file minimodel.hh.
Gecode::BoolExpr::BoolExpr | ( | void | ) |
Default constructor.
Definition at line 114 of file bool-expr.cpp.
Gecode::BoolExpr::BoolExpr | ( | const BoolExpr & | e | ) |
Copy constructor.
Definition at line 116 of file bool-expr.cpp.
Construct expression for type and subexpresssions.
Definition at line 128 of file bool-expr.cpp.
Gecode::BoolExpr::BoolExpr | ( | const BoolVar & | x | ) |
Construct expression for variable.
Definition at line 120 of file bool-expr.cpp.
Construct expression for negation.
Definition at line 140 of file bool-expr.cpp.
Gecode::BoolExpr::BoolExpr | ( | const LinIntRel & | rl | ) |
Construct expression for reified linear relation.
Definition at line 156 of file bool-expr.cpp.
Gecode::BoolExpr::BoolExpr | ( | const LinFloatRel & | rfl | ) |
Construct expression for reified float relation.
Definition at line 166 of file bool-expr.cpp.
Gecode::BoolExpr::BoolExpr | ( | const SetRel & | rs | ) |
Construct expression for reified set relation.
Definition at line 177 of file bool-expr.cpp.
Gecode::BoolExpr::BoolExpr | ( | const SetCmpRel & | rs | ) |
Construct expression for reified set relation.
Definition at line 186 of file bool-expr.cpp.
|
explicit |
Construct expression for miscellaneous Boolean expression.
Definition at line 196 of file bool-expr.cpp.
Gecode::BoolExpr::~BoolExpr | ( | void | ) |
Destructor.
Definition at line 218 of file bool-expr.cpp.
BoolVar Gecode::BoolExpr::expr | ( | Home | home, |
const IntPropLevels & | ipls ) const |
Post propagators for expression.
Definition at line 574 of file bool-expr.cpp.
void Gecode::BoolExpr::rel | ( | Home | home, |
const IntPropLevels & | ipls ) const |
Post propagators for relation.
Definition at line 580 of file bool-expr.cpp.
Assignment operator.
Definition at line 206 of file bool-expr.cpp.