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... | |
![]() | |
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... | |
![]() | |
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 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... | |
![]() | |
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.