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)