Prunes the values read from a view node. More...
#include <dom.hpp>
Protected Attributes | |
ViewNode< View > * | x |
View node. | |
Edge< View > * | e |
Current value edge. | |
Constructors and initialization | |
PruneVal (ViewNode< View > *y) | |
Initialize with edges for view node y. | |
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. |
Prunes the values read from a view node.
Gecode::Int::Distinct::PruneVal< View >::PruneVal | ( | ViewNode< View > * | y | ) | [inline] |
bool Gecode::Int::Distinct::PruneVal< View >::operator() | ( | void | ) | const [inline] |
void Gecode::Int::Distinct::PruneVal< View >::operator++ | ( | void | ) | [inline] |
int Gecode::Int::Distinct::PruneVal< View >::val | ( | void | ) | const [inline] |
ViewNode<View>* Gecode::Int::Distinct::PruneVal< View >::x [protected] |
Edge<View>* Gecode::Int::Distinct::PruneVal< View >::e [protected] |