Boolean expressions. More...
#include <minimodel.hh>
Classes | |
class | MiscExpr |
Miscealloneous Boolean expressions. More... | |
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, 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 LinRel &rl) | |
Construct expression for reified linear relation. | |
BoolExpr (const SetRel &rs) | |
Construct expression for reified set relation. | |
BoolExpr (const SetCmpRel &rs) | |
Construct expression for reified set relation. | |
BoolExpr (MiscExpr *m) | |
Construct expression for miscellaneous Boolean expression. | |
BoolVar | expr (Home home, IntConLevel icl) const |
Post propagators for expression. | |
void | rel (Home home, IntConLevel icl) const |
Post propagators for relation. | |
const BoolExpr & | operator= (const BoolExpr &e) |
Assignment operator. | |
~BoolExpr (void) | |
Destructor. |
Boolean expressions.
Type of Boolean expression.
NT_VAR |
Variable. |
NT_NOT |
Negation. |
NT_AND |
Conjunction. |
NT_OR |
Disjunction. |
NT_EQV |
Equivalence. |
NT_RLIN |
Reified linear relation. |
NT_RSET |
Reified set relation. |
NT_MISC |
Other Boolean expression. |
Definition at line 959 of file minimodel.hh.
Gecode::BoolExpr::BoolExpr | ( | void | ) |
Default constructor.
Definition at line 61 of file bool-expr.cpp.
Gecode::BoolExpr::BoolExpr | ( | const BoolExpr & | e | ) | [inline] |
Copy constructor.
Definition at line 69 of file bool-expr.hpp.
Construct expression for type and subexpresssions.
Definition at line 72 of file bool-expr.cpp.
Gecode::BoolExpr::BoolExpr | ( | const BoolVar & | x | ) |
Construct expression for variable.
Definition at line 63 of file bool-expr.cpp.
Construct expression for negation.
Definition at line 85 of file bool-expr.cpp.
Gecode::BoolExpr::BoolExpr | ( | const LinRel & | rl | ) |
Construct expression for reified linear relation.
Definition at line 102 of file bool-expr.cpp.
Gecode::BoolExpr::BoolExpr | ( | const SetRel & | rs | ) |
Construct expression for reified set relation.
Definition at line 113 of file bool-expr.cpp.
Gecode::BoolExpr::BoolExpr | ( | const SetCmpRel & | rs | ) |
Construct expression for reified set relation.
Definition at line 123 of file bool-expr.cpp.
Gecode::BoolExpr::BoolExpr | ( | BoolExpr::MiscExpr * | m | ) | [explicit] |
Construct expression for miscellaneous Boolean expression.
Definition at line 134 of file bool-expr.cpp.
Gecode::BoolExpr::~BoolExpr | ( | void | ) |
Destructor.
Definition at line 156 of file bool-expr.cpp.
BoolVar Gecode::BoolExpr::expr | ( | Home | home, |
IntConLevel | icl | ||
) | const [inline] |
Post propagators for expression.
Definition at line 74 of file bool-expr.hpp.
void Gecode::BoolExpr::rel | ( | Home | home, |
IntConLevel | icl | ||
) | const [inline] |
Post propagators for relation.
Definition at line 80 of file bool-expr.hpp.
Assignment operator.
Definition at line 144 of file bool-expr.cpp.