Node for Boolean expression More...
#include <minimodel.hh>
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. | |
LinRel | rl |
Possibly a reified linear relation. | |
SetRel | rs |
Possibly a reified set relation. | |
MiscExpr * | m |
Possibly a misc Boolean expression. |
Node for Boolean expression
Definition at line 984 of file minimodel.hh.
Gecode::BoolExpr::Node::Node | ( | void | ) | [inline] |
Default constructor.
Definition at line 45 of file bool-expr.hpp.
Gecode::BoolExpr::Node::~Node | ( | void | ) | [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.
void * Gecode::BoolExpr::Node::operator new | ( | size_t | size | ) | [inline, static] |
Memory management.
Definition at line 51 of file bool-expr.hpp.
void Gecode::BoolExpr::Node::operator delete | ( | void * | p, |
size_t | size | ||
) | [inline, static] |
Memory management.
Definition at line 55 of file bool-expr.hpp.
unsigned int Gecode::BoolExpr::Node::use |
Nodes are reference counted.
Definition at line 987 of file minimodel.hh.
Number of variables in subtree with same type (for AND and OR)
Definition at line 989 of file minimodel.hh.
Type of expression.
Definition at line 991 of file minimodel.hh.
Subexpressions.
Definition at line 993 of file minimodel.hh.
Definition at line 993 of file minimodel.hh.
Possibly a variable.
Definition at line 995 of file minimodel.hh.
Possibly a reified linear relation.
Definition at line 997 of file minimodel.hh.
Possibly a reified set relation.
Definition at line 1000 of file minimodel.hh.
Possibly a misc Boolean expression.
Definition at line 1003 of file minimodel.hh.