Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::IndexRange Class Reference
Range approximation of which positions have changed. More...
#include <extensional.hh>
Public Member Functions | |
| IndexRange (void) | |
| Initialize range as empty. | |
| void | reset (void) |
| Reset range to be empty. | |
| void | add (int i) |
| Add index i to range. | |
| int | fst (void) const |
| Return first position. | |
| int | lst (void) const |
| Return last position. | |
Detailed Description
template<class View, class Val, class Degree, class StateIdx>
class Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::IndexRange
Range approximation of which positions have changed.
Definition at line 129 of file extensional.hh.
Constructor & Destructor Documentation
template<class View , class Val , class Degree , class StateIdx >
| Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::IndexRange::IndexRange | ( | void | ) | [inline] |
Initialize range as empty.
Definition at line 110 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 >::IndexRange::reset | ( | void | ) | [inline] |
Reset range to be empty.
Definition at line 114 of file layered-graph.hpp.
template<class View , class Val , class Degree , class StateIdx >
| void Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::IndexRange::add | ( | int | i | ) | [inline] |
Add index i to range.
Definition at line 119 of file layered-graph.hpp.
template<class View , class Val , class Degree , class StateIdx >
| int Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::IndexRange::fst | ( | void | ) | const [inline] |
Return first position.
Definition at line 124 of file layered-graph.hpp.
template<class View , class Val , class Degree , class StateIdx >
| int Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::IndexRange::lst | ( | void | ) | const [inline] |
Return last position.
Definition at line 129 of file layered-graph.hpp.
The documentation for this class was generated from the following files:
- gecode/int/extensional.hh (Revision: 9878)
- gecode/int/extensional/layered-graph.hpp (Revision: 9878)