|
| 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.
|
|
template<class View>
class Gecode::Int::ViewValGraph::ValNode< View >
Value nodes in view-value graph.
Definition at line 142 of file view-val-graph.hh.