
View nodes in view-value graph. More...
#include <view-val-graph.hh>
Public Member Functions | |
| ViewNode (void) | |
| Initialize node for a non-view. More... | |
| ViewNode (View x) | |
| Initialize new node for view x. More... | |
| Edge< View > * | val_edges (void) const |
| Return first edge of all value edges. More... | |
| Edge< View > ** | val_edges_ref (void) |
| Return pointer to first edge fields of all value edges. More... | |
| bool | fake (void) const |
| Test whether node has a fake view. More... | |
| View | view (void) const |
| Return view. More... | |
| void | update (void) |
| Update size of view after change. More... | |
| bool | changed (void) const |
| Return whether view has changed its size. More... | |
| bool | matched (void) const |
| Whether the node is matched. More... | |
Public Member Functions inherited from Gecode::Int::ViewValGraph::Node< View > | |
| Node (void) | |
| Initialize. More... | |
| Edge< View > * | edge_fst (void) const |
| Return first edge (organized by bi-links) More... | |
| Edge< View > * | edge_lst (void) const |
| Return last edge (organized by bi-links) 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... | |
Protected Attributes | |
| unsigned int | _size |
| The size of the view after last change. More... | |
| View | _view |
| The node's view. More... | |
| Edge< View > * | _val_edges |
| The first value edge. More... | |
Additional Inherited Members | |
Static Public Member Functions inherited from Gecode::Int::ViewValGraph::Node< View > | |
| 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... | |
Public Attributes inherited from Gecode::Int::ViewValGraph::Node< View > | |
| Edge< View > * | iter |
| Next edge for computing strongly connected components. More... | |
| unsigned int | low |
| Values for computing strongly connected components. More... | |
| unsigned int | min |
| unsigned int | comp |
View nodes in view-value graph.
Definition at line 178 of file view-val-graph.hh.
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
protected |
The size of the view after last change.
Definition at line 181 of file view-val-graph.hh.
|
protected |
The node's view.
Definition at line 183 of file view-val-graph.hh.
|
protected |
The first value edge.
Definition at line 185 of file view-val-graph.hh.