
Node for Boolean expression More...
Public Member Functions | |
| Node (void) | |
| Default constructor. More... | |
| ~Node (void) | |
| Destructor. More... | |
| bool | decrement (void) |
| Decrement reference count and possibly free memory. More... | |
Static Public Member Functions | |
| static void * | operator new (size_t size) |
| Memory management. More... | |
| static void | operator delete (void *p, size_t size) |
| Memory management. More... | |
Public Attributes | |
| unsigned int | use |
| Nodes are reference counted. More... | |
| int | same |
| Number of variables in subtree with same type (for AND and OR) More... | |
| NodeType | t |
| Type of expression. More... | |
| Node * | l |
| Subexpressions. More... | |
| Node * | r |
| BoolVar | x |
| Possibly a variable. More... | |
| LinIntRel | rl |
| Possibly a reified linear relation. More... | |
| LinFloatRel | rfl |
| Possibly a reified float linear relation. More... | |
| SetRel | rs |
| Possibly a reified set relation. More... | |
| MiscExpr * | m |
| Possibly a misc Boolean expression. More... | |
Node for Boolean expression
Definition at line 47 of file bool-expr.cpp.
| Gecode::BoolExpr::Node::Node | ( | void | ) |
Default constructor.
Definition at line 90 of file bool-expr.cpp.
| Gecode::BoolExpr::Node::~Node | ( | void | ) |
Destructor.
Definition at line 93 of file bool-expr.cpp.
| bool Gecode::BoolExpr::Node::decrement | ( | void | ) |
Decrement reference count and possibly free memory.
Definition at line 107 of file bool-expr.cpp.
|
static |
Memory management.
Definition at line 98 of file bool-expr.cpp.
|
static |
Memory management.
Definition at line 102 of file bool-expr.cpp.
| unsigned int Gecode::BoolExpr::Node::use |
Nodes are reference counted.
Definition at line 50 of file bool-expr.cpp.
| int Gecode::BoolExpr::Node::same |
Number of variables in subtree with same type (for AND and OR)
Definition at line 52 of file bool-expr.cpp.
| NodeType Gecode::BoolExpr::Node::t |
Type of expression.
Definition at line 54 of file bool-expr.cpp.
| Node* Gecode::BoolExpr::Node::l |
Subexpressions.
Definition at line 56 of file bool-expr.cpp.
| Node * Gecode::BoolExpr::Node::r |
Definition at line 56 of file bool-expr.cpp.
| BoolVar Gecode::BoolExpr::Node::x |
Possibly a variable.
Definition at line 58 of file bool-expr.cpp.
| LinIntRel Gecode::BoolExpr::Node::rl |
Possibly a reified linear relation.
Definition at line 60 of file bool-expr.cpp.
| LinFloatRel Gecode::BoolExpr::Node::rfl |
Possibly a reified float linear relation.
Definition at line 63 of file bool-expr.cpp.
| SetRel Gecode::BoolExpr::Node::rs |
Possibly a reified set relation.
Definition at line 67 of file bool-expr.cpp.
| MiscExpr* Gecode::BoolExpr::Node::m |
Possibly a misc Boolean expression.
Definition at line 70 of file bool-expr.cpp.