Gecode::Formula::Node Class Reference
List of all members.
Detailed Description
Nodes used to construct formulas.
Definition at line 50 of file formula.cc.
|
Public Member Functions |
| | Node (const int x) |
| | Construct node for x.
|
| | Node (Node *n0, int s0, Operator 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.
|
| std::set< int > | fv (void) |
| | Return free variables of the formula.
|
| bdd | toBdd (void) |
| | Transform formula into bdd.
|
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::Formula::Node::Node |
( |
const int |
x |
) |
[inline] |
| Gecode::Formula::Node::Node |
( |
Node * |
n0, |
|
|
int |
s0, |
|
|
Operator |
r, |
|
|
Node * |
n1, |
|
|
int |
s1 | |
|
) |
| | [inline] |
Construct node from nodes n0 and n1 with signs s0 and s1.
Definition at line 113 of file formula.cc.
Member Function Documentation
| void Gecode::Formula::Node::increment |
( |
void |
|
) |
[inline] |
Increment reference count.
Definition at line 103 of file formula.cc.
| bool Gecode::Formula::Node::decrement |
( |
void |
|
) |
|
Decrement reference count and possibly free memory.
Definition at line 123 of file formula.cc.
| std::set< int > Gecode::Formula::Node::fv |
( |
void |
|
) |
[inline] |
Return free variables of the formula.
Definition at line 146 of file formula.cc.
| bdd Gecode::Formula::Node::toBdd |
( |
void |
|
) |
|
Transform formula into bdd.
Definition at line 153 of file formula.cc.
| void * Gecode::Formula::Node::operator new |
( |
size_t |
size |
) |
[inline, static] |
| void Gecode::Formula::Node::operator delete |
( |
void * |
p, |
|
|
size_t |
size | |
|
) |
| | [inline, static] |
The documentation for this class was generated from the following file:
