Value nodes in view-value graph.
More...
#include <view-val-graph.hh>
Public Member Functions |
| ValNode (int v) |
| Initialize with value v.
|
| ValNode (int v, ValNode< View > *n) |
| Initialize with value v and successor n.
|
int | val (void) const |
| Return value of node.
|
void | matching (Edge< View > *m) |
| Set matching edge to m.
|
Edge< View > * | matching (void) const |
| Return matching edge (NULL if unmatched)
|
ValNode< View > ** | next_val_ref (void) |
| Return pointer to next value node fields.
|
ValNode< View > * | next_val (void) const |
| Return next value node.
|
void | next_val (ValNode< View > *v) |
| Set next value node to v.
|
| Node (void) |
| Initialize.
|
Edge< View > * | edge_fst (void) const |
| Return first edge (organized by bi-links)
|
Edge< View > * | edge_lst (void) const |
| Return last edge (organized by bi-links)
|
| BiLink (void) |
| Initialize as empty (self referenced)
|
BiLink * | prev (void) const |
| Return previous element.
|
BiLink * | next (void) const |
| Return next element.
|
void | prev (BiLink *l) |
| Set previous element to l.
|
void | next (BiLink *l) |
| Set next element to l.
|
void | add (BiLink *l) |
| Add l after this element.
|
void | unlink (void) |
| Unlink this element.
|
void | mark (void) |
| Mark element (invalidates next element pointer)
|
bool | marked (void) const |
| Whether element is marked.
|
bool | empty (void) const |
| Whether element has no previous and next element.
|
Additional Inherited Members |
static void * | operator new (size_t, Space &) |
| Allocate memory from space.
|
static void | operator delete (void *, size_t) |
| Needed for exceptions.
|
static void | operator delete (void *, Space &) |
| Needed for exceptions.
|
Edge< View > * | iter |
| Next edge for computing strongly connected components.
|
unsigned int | low |
| Values for computing strongly connected components.
|
unsigned int | min |
unsigned int | comp |
Detailed Description
template<class View>
class Gecode::Int::ViewValGraph::ValNode< View >
Value nodes in view-value graph.
Definition at line 146 of file view-val-graph.hh.
Constructor & Destructor Documentation
Initialize with value v.
Definition at line 80 of file node.hpp.
Initialize with value v and successor n.
Definition at line 84 of file node.hpp.
Member Function Documentation
Return value of node.
Definition at line 88 of file node.hpp.
Return matching edge (NULL if unmatched)
Definition at line 98 of file node.hpp.
Return pointer to next value node fields.
Definition at line 103 of file node.hpp.
Return next value node.
Definition at line 108 of file node.hpp.
Member Data Documentation
The documentation for this class was generated from the following files: