Gecode::SetExpr::Node Class Reference
Detailed Description
Nodes used to construct set expressions.Definition at line 47 of file set-expr.cc.
Public Member Functions | |
Node (const var_idx x) | |
Construct node for x. | |
Node (Node *n0, int s0, RelType r, Node *n1, int s1) | |
Construct node from nodes n0 and n1 with signs s0 and s1. | |
void | increment (void) |
Increment reference count. | |
bool | decrement (void) |
Decrement reference count and possibly free memory. | |
void | encode (SetExprCode::Stream &ret, bool monotone) const |
Adds code representation of the node to ret. | |
int | arity (void) const |
Returns the arity of the node. | |
Iter::Ranges::Virt::Iterator * | iter (void) |
Returns an iterator for this node. | |
Static Public Member Functions | |
static void * | operator new (size_t size) |
Memory management. | |
static void | operator delete (void *p, size_t size) |
Memory management. |
Constructor & Destructor Documentation
Gecode::SetExpr::Node::Node | ( | const var_idx | x | ) | [inline] |
Construct node from nodes n0 and n1 with signs s0 and s1.
Definition at line 111 of file set-expr.cc.
Member Function Documentation
void Gecode::SetExpr::Node::increment | ( | void | ) | [inline] |
bool Gecode::SetExpr::Node::decrement | ( | void | ) |
void Gecode::SetExpr::Node::encode | ( | SetExprCode::Stream & | ret, | |
bool | monotone | |||
) | const |
int Gecode::SetExpr::Node::arity | ( | void | ) | const |
Iter::Ranges::Virt::Iterator* Gecode::SetExpr::Node::iter | ( | void | ) |
Returns an iterator for this node.
void * Gecode::SetExpr::Node::operator new | ( | size_t | size | ) | [inline, static] |
void Gecode::SetExpr::Node::operator delete | ( | void * | p, | |
size_t | size | |||
) | [inline, static] |
The documentation for this class was generated from the following file:
- gecode/set/projectors/set-expr.cc (Revision: 6332)