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