Boolean expressions. More...
#include <minimodel.hh>
Classes | |
class | MiscExpr |
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. More... | |
BoolExpr (const BoolExpr &e) | |
Copy constructor. More... | |
BoolExpr (const BoolExpr &l, NodeType t, const BoolExpr &r) | |
Construct expression for type and subexpresssions. More... | |
BoolExpr (const BoolVar &x) | |
Construct expression for variable. More... | |
BoolExpr (const BoolExpr &e, NodeType t) | |
Construct expression for negation. More... | |
BoolExpr (const LinIntRel &rl) | |
Construct expression for reified linear relation. More... | |
BoolExpr (const LinFloatRel &rfl) | |
Construct expression for reified float relation. More... | |
BoolExpr (const SetRel &rs) | |
Construct expression for reified set relation. More... | |
BoolExpr (const SetCmpRel &rs) | |
Construct expression for reified set relation. More... | |
BoolExpr (MiscExpr *m) | |
Construct expression for miscellaneous Boolean expression. More... | |
BoolVar | expr (Home home, IntConLevel icl) const |
Post propagators for expression. More... | |
void | rel (Home home, IntConLevel icl) const |
Post propagators for relation. More... | |
const BoolExpr & | operator= (const BoolExpr &e) |
Assignment operator. More... | |
~BoolExpr (void) | |
Destructor. More... | |
Boolean expressions.
Definition at line 1231 of file minimodel.hh.
Type of Boolean expression.
Definition at line 1234 of file minimodel.hh.
Gecode::BoolExpr::BoolExpr | ( | void | ) |
Default constructor.
Definition at line 115 of file bool-expr.cpp.
Gecode::BoolExpr::BoolExpr | ( | const BoolExpr & | e | ) |
Copy constructor.
Definition at line 117 of file bool-expr.cpp.
Construct expression for type and subexpresssions.
Definition at line 129 of file bool-expr.cpp.
Gecode::BoolExpr::BoolExpr | ( | const BoolVar & | x | ) |
Construct expression for variable.
Definition at line 121 of file bool-expr.cpp.
Construct expression for negation.
Definition at line 141 of file bool-expr.cpp.
Gecode::BoolExpr::BoolExpr | ( | const LinIntRel & | rl | ) |
Construct expression for reified linear relation.
Definition at line 157 of file bool-expr.cpp.
Gecode::BoolExpr::BoolExpr | ( | const LinFloatRel & | rfl | ) |
Construct expression for reified float relation.
Definition at line 167 of file bool-expr.cpp.
Gecode::BoolExpr::BoolExpr | ( | const SetRel & | rs | ) |
Construct expression for reified set relation.
Definition at line 178 of file bool-expr.cpp.
Gecode::BoolExpr::BoolExpr | ( | const SetCmpRel & | rs | ) |
Construct expression for reified set relation.
Definition at line 187 of file bool-expr.cpp.
|
explicit |
Construct expression for miscellaneous Boolean expression.
Definition at line 197 of file bool-expr.cpp.
Gecode::BoolExpr::~BoolExpr | ( | void | ) |
Destructor.
Definition at line 219 of file bool-expr.cpp.
BoolVar Gecode::BoolExpr::expr | ( | Home | home, |
IntConLevel | icl | ||
) | const |
Post propagators for expression.
Definition at line 576 of file bool-expr.cpp.
void Gecode::BoolExpr::rel | ( | Home | home, |
IntConLevel | icl | ||
) | const |
Post propagators for relation.
Definition at line 582 of file bool-expr.cpp.
Assignment operator.
Definition at line 207 of file bool-expr.cpp.