Node for Boolean expression More...
#include <minimodel.hh>
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... | |
LinRel | rl |
Possibly a reified 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 985 of file minimodel.hh.
|
inline |
Default constructor.
Definition at line 45 of file bool-expr.hpp.
|
inline |
Destructor.
Definition at line 48 of file bool-expr.hpp.
bool Gecode::BoolExpr::Node::decrement | ( | void | ) |
Decrement reference count and possibly free memory.
Definition at line 49 of file bool-expr.cpp.
|
inlinestatic |
Memory management.
Definition at line 51 of file bool-expr.hpp.
|
inlinestatic |
Memory management.
Definition at line 55 of file bool-expr.hpp.
unsigned int Gecode::BoolExpr::Node::use |
Nodes are reference counted.
Definition at line 988 of file minimodel.hh.
int Gecode::BoolExpr::Node::same |
Number of variables in subtree with same type (for AND and OR)
Definition at line 990 of file minimodel.hh.
NodeType Gecode::BoolExpr::Node::t |
Type of expression.
Definition at line 992 of file minimodel.hh.
Node* Gecode::BoolExpr::Node::l |
Subexpressions.
Definition at line 994 of file minimodel.hh.
Node * Gecode::BoolExpr::Node::r |
Definition at line 994 of file minimodel.hh.
BoolVar Gecode::BoolExpr::Node::x |
Possibly a variable.
Definition at line 996 of file minimodel.hh.
LinRel Gecode::BoolExpr::Node::rl |
Possibly a reified linear relation.
Definition at line 998 of file minimodel.hh.
SetRel Gecode::BoolExpr::Node::rs |
Possibly a reified set relation.
Definition at line 1001 of file minimodel.hh.
MiscExpr* Gecode::BoolExpr::Node::m |
Possibly a misc Boolean expression.
Definition at line 1004 of file minimodel.hh.