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:

• gecode/int/distinct/dom.hpp (Revision: 10364)