Gecode::MiniModel::BoolExpr::Node Class Reference
#include <minimodel.hh>
Detailed Description
Node for Boolean expression.Definition at line 466 of file minimodel.hh.
Public Member Functions | |
| Node (void) | |
| Default constructor. | |
| bool | decrement (void) |
| Decrement reference count and possibly free memory. | |
| int | post (Space *home, NodeType t, BoolVarArgs &b, int i, IntConLevel icl, PropKind pk) const |
| Post propagators for nested conjunctive and disjunctive expression. | |
| void | post (Space *home, BoolVar b, IntConLevel icl, PropKind pk) const |
| Post propagators for expression. | |
| BoolVar | post (Space *home, IntConLevel icl, PropKind pk) const |
| Post propagators for expression. | |
| void | post (Space *home, bool t, IntConLevel icl, PropKind pk) const |
| Post propagators for relation. | |
Static Public Member Functions | |
| static void * | operator new (size_t size) |
| Memory management. | |
| static void | operator delete (void *p, size_t size) |
| Memory management. | |
Public Attributes | |
| unsigned int | use |
| Nodes are reference counted. | |
| unsigned int | same |
| Number of variables in subtree with same type (for AND and OR). | |
| NodeType | t |
| Type of expression. | |
| Node * | l |
| Subexpressions. | |
| Node * | r |
| BoolVar | x |
| Possibly a variable. | |
| LinRel< IntVar > | rl_int |
| Possibly a reified linear relation over integer variables. | |
| LinRel< BoolVar > | rl_bool |
| Possibly a reified linear relation over Boolean variables. | |
Constructor & Destructor Documentation
| Gecode::MiniModel::BoolExpr::Node::Node | ( | void | ) | [inline] |
Member Function Documentation
| bool Gecode::MiniModel::BoolExpr::Node::decrement | ( | void | ) |
| int Gecode::MiniModel::BoolExpr::Node::post | ( | Space * | home, | |
| NodeType | t, | |||
| BoolVarArgs & | b, | |||
| int | i, | |||
| IntConLevel | icl, | |||
| PropKind | pk | |||
| ) | const |
Post propagators for nested conjunctive and disjunctive expression.
Definition at line 83 of file bool-expr.cc.
| void Gecode::MiniModel::BoolExpr::Node::post | ( | Space * | home, | |
| BoolVar | b, | |||
| IntConLevel | icl, | |||
| PropKind | pk | |||
| ) | const |
| BoolVar Gecode::MiniModel::BoolExpr::Node::post | ( | Space * | home, | |
| IntConLevel | icl, | |||
| PropKind | pk | |||
| ) | const |
| void Gecode::MiniModel::BoolExpr::Node::post | ( | Space * | home, | |
| bool | t, | |||
| IntConLevel | icl, | |||
| PropKind | pk | |||
| ) | const |
| void * Gecode::MiniModel::BoolExpr::Node::operator new | ( | size_t | size | ) | [inline, static] |
| void Gecode::MiniModel::BoolExpr::Node::operator delete | ( | void * | p, | |
| size_t | size | |||
| ) | [inline, static] |
Member Data Documentation
| unsigned int Gecode::MiniModel::BoolExpr::Node::use |
| unsigned int Gecode::MiniModel::BoolExpr::Node::same |
Number of variables in subtree with same type (for AND and OR).
Definition at line 471 of file minimodel.hh.
Definition at line 475 of file minimodel.hh.
Possibly a reified linear relation over integer variables.
Definition at line 479 of file minimodel.hh.
Possibly a reified linear relation over Boolean variables.
Definition at line 481 of file minimodel.hh.
The documentation for this class was generated from the following files:
- gecode/minimodel.hh (Revision: 7354)
- gecode/minimodel/bool-expr.cc (Revision: 6312)