Gecode::Int::Extensional::LayeredGraph< View, Degree, StateIdx >::LayerValues Class Reference

Iterator for telling variable domains by scanning support. More...

#include <extensional.hh>

List of all members.

Public Member Functions
	LayerValues (void)
	Default constructor.
	LayerValues (const Layer &l)
	Initialize for support of layer l.
void	init (const Layer &l)
	Initialize for support of layer l.
bool	operator() (void) const
	Test whether more values supported.
void	operator++ (void)
	Move to next supported value.
int	val (void) const
	Return supported value.

---

Detailed Description

template<class View, class Degree, class StateIdx>
class Gecode::Int::Extensional::LayeredGraph< View, Degree, StateIdx >::LayerValues

Iterator for telling variable domains by scanning support.

Definition at line 105 of file extensional.hh.

---

Constructor & Destructor Documentation

template<class View , class Degree , class StateIdx >

Gecode::Int::Extensional::LayeredGraph< View, Degree, StateIdx >::LayerValues::LayerValues

(

void

)

[inline]

Default constructor.

Definition at line 67 of file layered-graph.hpp.

template<class View , class Degree , class StateIdx >

Gecode::Int::Extensional::LayeredGraph< View, Degree, StateIdx >::LayerValues::LayerValues

(

const Layer &

l

)

[inline]

Initialize for support of layer l.

Definition at line 70 of file layered-graph.hpp.

---

Member Function Documentation

template<class View , class Degree , class StateIdx >

void Gecode::Int::Extensional::LayeredGraph< View, Degree, StateIdx >::LayerValues::init

(

const Layer &

l

)

[inline]

Initialize for support of layer l.

Definition at line 74 of file layered-graph.hpp.

template<class View , class Degree , class StateIdx >

bool Gecode::Int::Extensional::LayeredGraph< View, Degree, StateIdx >::LayerValues::operator()

(

void

)

const [inline]

Test whether more values supported.

Definition at line 79 of file layered-graph.hpp.

template<class View , class Degree , class StateIdx >

void Gecode::Int::Extensional::LayeredGraph< View, Degree, StateIdx >::LayerValues::operator++

(

void

)

[inline]

Move to next supported value.

Definition at line 84 of file layered-graph.hpp.

template<class View , class Degree , class StateIdx >

int Gecode::Int::Extensional::LayeredGraph< View, Degree, StateIdx >::LayerValues::val

(

void

)

const [inline]

Return supported value.

Definition at line 89 of file layered-graph.hpp.

---

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

• gecode/int/extensional.hh (Revision: 8139)
• gecode/int/extensional/layered-graph.hpp (Revision: 8564)