Gecode::MiniModel::BoolExpr::Node Class Reference
#include <minimodel.hh>
Detailed Description
Node for Boolean expression.
Definition at line 320 of file minimodel.hh.
Public Member Functions | |
Node (void) | |
Default constructor. | |
bool | decrement (void) |
Decrement reference count and possibly free memory. | |
int | post (Space *home, NodeType t, BoolVarArgs &b, int i) const |
Post propagators for nested conjunctive and disjunctive expression. | |
void | post (Space *home, BoolVar b) const |
Post propagators for expression. | |
BoolVar | post (Space *home) const |
Post propagators for expression. | |
void | post (Space *home, bool t) const |
Post propagators for relation. | |
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. |
Constructor & Destructor Documentation
Gecode::MiniModel::BoolExpr::Node::Node | ( | void | ) | [inline] |
Member Function Documentation
bool Gecode::MiniModel::BoolExpr::Node::decrement | ( | void | ) |
int Gecode::MiniModel::BoolExpr::Node::post | ( | Space * | home, | |
NodeType | t, | |||
BoolVarArgs & | b, | |||
int | i | |||
) | const |
Post propagators for nested conjunctive and disjunctive expression.
Definition at line 52 of file bool-expr.cc.
void Gecode::MiniModel::BoolExpr::Node::post | ( | Space * | home, | |
bool | t | |||
) | const |
void * Gecode::MiniModel::BoolExpr::Node::operator new | ( | size_t | size | ) | [inline, static] |
void Gecode::MiniModel::BoolExpr::Node::operator delete | ( | void * | p, | |
size_t | size | |||
) | [inline, static] |
Member Data Documentation
unsigned int Gecode::MiniModel::BoolExpr::Node::use |
unsigned int Gecode::MiniModel::BoolExpr::Node::same |
Number of variables in subtree with same type (for AND and OR).
Definition at line 325 of file minimodel.hh.
Definition at line 329 of file minimodel.hh.
The documentation for this class was generated from the following files:
- gecode/minimodel.hh (Revision: 3271)
- gecode/minimodel/bool-expr.cc (Revision: 2126)
- gecode/minimodel/bool-expr.icc (Revision: 2126)