Gecode::BoolExpr::Node Class Reference
Node for Boolean expression More...
#include <minimodel.hh>
Public Member Functions | |
Node (void) | |
Default constructor. | |
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. | |
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 | rl |
Possibly a reified linear relation. |
Detailed Description
Node for Boolean expression
Definition at line 665 of file minimodel.hh.
Constructor & Destructor Documentation
Gecode::BoolExpr::Node::Node | ( | void | ) | [inline] |
Default constructor.
Definition at line 45 of file bool-expr.hpp.
Member Function Documentation
bool Gecode::BoolExpr::Node::decrement | ( | void | ) |
Decrement reference count and possibly free memory.
Definition at line 49 of file bool-expr.cpp.
void * Gecode::BoolExpr::Node::operator new | ( | size_t | size | ) | [inline, static] |
Memory management.
Definition at line 48 of file bool-expr.hpp.
void Gecode::BoolExpr::Node::operator delete | ( | void * | p, | |
size_t | size | |||
) | [inline, static] |
Memory management.
Definition at line 52 of file bool-expr.hpp.
Member Data Documentation
unsigned int Gecode::BoolExpr::Node::use |
Nodes are reference counted.
Definition at line 668 of file minimodel.hh.
unsigned int Gecode::BoolExpr::Node::same |
Number of variables in subtree with same type (for AND and OR).
Definition at line 670 of file minimodel.hh.
Type of expression.
Definition at line 672 of file minimodel.hh.
Subexpressions.
Definition at line 674 of file minimodel.hh.
Definition at line 674 of file minimodel.hh.
Possibly a variable.
Definition at line 676 of file minimodel.hh.
Possibly a reified linear relation.
Definition at line 678 of file minimodel.hh.
The documentation for this class was generated from the following files:
- gecode/minimodel.hh (Revision: 10684)
- gecode/minimodel/bool-expr.cpp (Revision: 10262)
- gecode/minimodel/bool-expr.hpp (Revision: 10262)