Iterates the values to be pruned from a view node. More...
#include <view-val-graph.hh>
Protected Attributes | |
ViewNode< View > * | x |
View node. More... | |
Edge< View > * | e |
Current value edge. More... | |
Constructors and initialization | |
IterPruneVal (ViewNode< View > *x) | |
Initialize with edges for view node x. More... | |
Iteration control | |
bool | operator() (void) const |
Test whether iterator is still at a value or done. More... | |
void | operator++ (void) |
Move iterator to next value (if possible) More... | |
Value access | |
int | val (void) const |
Return current value. More... | |
Iterates the values to be pruned from a view node.
Definition at line 258 of file view-val-graph.hh.
|
inline |
Initialize with edges for view node x.
Definition at line 42 of file iter-prune-val.hpp.
|
inline |
Test whether iterator is still at a value or done.
Definition at line 49 of file iter-prune-val.hpp.
|
inline |
Move iterator to next value (if possible)
Definition at line 54 of file iter-prune-val.hpp.
|
inline |
Return current value.
Definition at line 62 of file iter-prune-val.hpp.
|
protected |
View node.
Definition at line 261 of file view-val-graph.hh.
|
protected |
Current value edge.
Definition at line 263 of file view-val-graph.hh.