Generated on Mon Nov 30 23:53:51 2009 for Gecode by doxygen 1.6.1

Gecode::Int::Distinct::PruneVal< View > Class Template Reference

Prunes the values read from a view node. More...

#include <dom.hpp>

List of all members.

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]

Initialize with edges for view node y.

Definition at line 504 of file dom.hpp.


Member Function Documentation

template<class View >
bool Gecode::Int::Distinct::PruneVal< View >::operator() ( void   )  const [inline]

Test whether iterator is still at a value or done.

Definition at line 511 of file dom.hpp.

template<class View >
void Gecode::Int::Distinct::PruneVal< View >::operator++ ( void   )  [inline]

Move iterator to next value (if possible).

Definition at line 516 of file dom.hpp.

template<class View >
int Gecode::Int::Distinct::PruneVal< View >::val ( void   )  const [inline]

Return current value.

Definition at line 523 of file dom.hpp.


Member Data Documentation

template<class View>
ViewNode<View>* Gecode::Int::Distinct::PruneVal< View >::x [protected]

View node.

Definition at line 477 of file dom.hpp.

template<class View>
Edge<View>* Gecode::Int::Distinct::PruneVal< View >::e [protected]

Current value edge.

Definition at line 479 of file dom.hpp.


The documentation for this class was generated from the following file: