
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.