Gecode::Int::Distinct::PruneVal< View > Class Template Reference
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. |
Detailed Description
template<class View>
class Gecode::Int::Distinct::PruneVal< View >
Prunes the values read from a view node.
Definition at line 474 of file dom.hpp.
Constructor & Destructor Documentation
template<class View >
Gecode::Int::Distinct::PruneVal< View >::PruneVal | ( | ViewNode< View > * | y | ) | [inline] |
Member Function Documentation
template<class View >
bool Gecode::Int::Distinct::PruneVal< View >::operator() | ( | void | ) | const [inline] |
template<class View >
void Gecode::Int::Distinct::PruneVal< View >::operator++ | ( | void | ) | [inline] |
template<class View >
int Gecode::Int::Distinct::PruneVal< View >::val | ( | void | ) | const [inline] |
Member Data Documentation
template<class View>
ViewNode<View>* Gecode::Int::Distinct::PruneVal< View >::x [protected] |
template<class View>
Edge<View>* Gecode::Int::Distinct::PruneVal< View >::e [protected] |
The documentation for this class was generated from the following file:
- gecode/int/distinct/dom.hpp (Revision: 10364)