Generated on Mon Nov 30 23:53:51 2009 for Gecode by doxygen 1.6.1

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

Range approximation of which positions have changed. More...

#include <extensional.hh>

List of all members.

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: