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. | |
| 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 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:
- gecode/int/extensional.hh (Revision: 11192)
- gecode/int/extensional/layered-graph.hpp (Revision: 12384)