Generated on Sat Feb 7 2015 02:01:47 for Gecode by doxygen 1.8.9.1
Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::LayerValues Class Reference

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

#include <extensional.hh>

Public Member Functions

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

Detailed Description

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

Iterator for telling variable domains by scanning support.

Definition at line 104 of file extensional.hh.

Constructor & Destructor Documentation

template<class View , class Val , class Degree , class StateIdx >
Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::LayerValues::LayerValues ( void  )
inline

Default constructor.

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

template<class View , class Val , class Degree , class StateIdx >
Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::LayerValues::LayerValues ( const Layer l)
inline

Initialize for support of layer l.

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

Member Function Documentation

template<class View , class Val , class Degree , class StateIdx >
void Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::LayerValues::init ( const Layer l)
inline

Initialize for support of layer l.

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

template<class View , class Val , class Degree , class StateIdx >
bool Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::LayerValues::operator() ( void  ) const
inline

Test whether more values supported.

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

template<class View , class Val , class Degree , class StateIdx >
void Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::LayerValues::operator++ ( void  )
inline

Move to next supported value.

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

template<class View , class Val , class Degree , class StateIdx >
int Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::LayerValues::val ( void  ) const
inline

Return supported value.

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


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