Gecode::SetExpr::Node Class Reference
List of all members.Detailed Description
Nodes used to construct set expressions.
Definition at line 32 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 &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
|
Construct node for x.
Definition at line 91 of file set-expr.cc. |
|
Construct node from nodes n0 and n1 with signs s0 and s1.
Definition at line 96 of file set-expr.cc. |
Member Function Documentation
|
Increment reference count.
Definition at line 86 of file set-expr.cc. |
|
Decrement reference count and possibly free memory.
Definition at line 106 of file set-expr.cc. |
|
Adds code representation of the node to ret.
Definition at line 126 of file set-expr.cc. |
|
Returns the arity of the node.
Definition at line 118 of file set-expr.cc. |
|
Returns an iterator for this node.
|
|
Memory management.
Definition at line 75 of file set-expr.cc. |
|
Memory management.
Definition at line 80 of file set-expr.cc. |
The documentation for this class was generated from the following file:
- gecode/set/projectors/set-expr.cc (Revision: 3548)