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.
|
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.