Gecode::BoolExpr::Node Class Reference
Node for Boolean expression More...
Public Member Functions | |
Node (void) | |
Default constructor. | |
~Node (void) | |
Destructor. | |
bool | decrement (void) |
Decrement reference count and possibly free memory. | |
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. | |
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. | |
LinIntRel | rl |
Possibly a reified linear relation. | |
LinFloatRel | rfl |
Possibly a reified float linear relation. | |
SetRel | rs |
Possibly a reified set relation. | |
Misc * | m |
Possibly a misc Boolean expression. |
Detailed Description
Node for Boolean expression
Definition at line 43 of file bool-expr.cpp.
Constructor & Destructor Documentation
Gecode::BoolExpr::Node::Node | ( | void | ) |
Default constructor.
Definition at line 86 of file bool-expr.cpp.
Gecode::BoolExpr::Node::~Node | ( | void | ) |
Destructor.
Definition at line 89 of file bool-expr.cpp.
Member Function Documentation
bool Gecode::BoolExpr::Node::decrement | ( | void | ) |
Decrement reference count and possibly free memory.
Definition at line 103 of file bool-expr.cpp.
void * Gecode::BoolExpr::Node::operator new | ( | size_t | size | ) | [static] |
Memory management.
Definition at line 94 of file bool-expr.cpp.
void Gecode::BoolExpr::Node::operator delete | ( | void * | p, | |
size_t | size | |||
) | [static] |
Memory management.
Definition at line 98 of file bool-expr.cpp.
Member Data Documentation
unsigned int Gecode::BoolExpr::Node::use |
Nodes are reference counted.
Definition at line 46 of file bool-expr.cpp.
Number of variables in subtree with same type (for AND and OR).
Definition at line 48 of file bool-expr.cpp.
Type of expression.
Definition at line 50 of file bool-expr.cpp.
Subexpressions.
Definition at line 52 of file bool-expr.cpp.
Definition at line 52 of file bool-expr.cpp.
Possibly a variable.
Definition at line 54 of file bool-expr.cpp.
Possibly a reified linear relation.
Definition at line 56 of file bool-expr.cpp.
Possibly a reified float linear relation.
Definition at line 59 of file bool-expr.cpp.
Possibly a reified set relation.
Definition at line 63 of file bool-expr.cpp.
Possibly a misc Boolean expression.
Definition at line 66 of file bool-expr.cpp.
The documentation for this class was generated from the following file:
- gecode/minimodel/bool-expr.cpp