
Edges in view-value graph. More...
#include <view-val-graph.hh>
Public Member Functions | |
| Edge (ValNode< View > *v, ViewNode< View > *x) | |
| Construct new edge between x and v. More... | |
| Edge (ValNode< View > *v, ViewNode< View > *x, Edge< View > *n) | |
| Construct new edge between x and v with next edge n. More... | |
| Node< View > * | dst (Node< View > *s) const |
| Return destination of edge when source s is given. More... | |
| ViewNode< View > * | view (ValNode< View > *v) const |
| Return view node when value node v is given. More... | |
| ValNode< View > * | val (ViewNode< View > *x) const |
| Return value node when view node x is given. More... | |
| bool | used (Node< View > *v) const |
| Whether edge is used (marked or between nodes from the same scc) More... | |
| void | use (void) |
| Mark node as used. More... | |
| void | free (void) |
| Unmark node as used. More... | |
| void | revert (Node< View > *d) |
| Revert edge to node d for matching. More... | |
| Edge< View > * | next_edge (void) const |
| Return next edge in list of value edges. More... | |
| Edge< View > ** | next_edge_ref (void) |
| Return reference to next edge in list of value edges. More... | |
| Edge< View > * | next (void) const |
| Return next edge in list of edges per node. More... | |
Public Member Functions inherited from Gecode::Int::ViewValGraph::BiLink | |
| BiLink (void) | |
| Initialize as empty (self referenced) More... | |
| BiLink * | prev (void) const |
| Return previous element. More... | |
| BiLink * | next (void) const |
| Return next element. More... | |
| void | prev (BiLink *l) |
| Set previous element to l. More... | |
| void | next (BiLink *l) |
| Set next element to l. More... | |
| void | add (BiLink *l) |
| Add l after this element. More... | |
| void | unlink (void) |
| Unlink this element. More... | |
| void | mark (void) |
| Mark element (invalidates next element pointer) More... | |
| bool | marked (void) const |
| Whether element is marked. More... | |
| bool | empty (void) const |
| Whether element has no previous and next element. More... | |
Static Public Member Functions | |
| static void * | operator new (size_t, Space &) |
| Allocate memory from space. More... | |
| static void | operator delete (void *, size_t) |
| Needed for exceptions. More... | |
| static void | operator delete (void *, Space &) |
| Needed for exceptions. More... | |
Protected Attributes | |
| Edge< View > * | _next_edge |
| Next edge in chain of value edges. More... | |
| CombPtrFlag< Node< View > > | sd |
| Combine source and destination node and flag. More... | |
Edges in view-value graph.
Definition at line 108 of file view-val-graph.hh.
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
protected |
Next edge in chain of value edges.
Definition at line 215 of file view-val-graph.hh.
|
protected |
Combine source and destination node and flag.
Definition at line 217 of file view-val-graph.hh.