Generated on Fri Oct 19 11:26:10 2018 for Gecode by doxygen 1.6.3

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.
void add (const IndexRange &ir)
 Add index range ir to range.
void lshift (int n)
 Shift index range by n elements to the left.
bool empty (void) const
 Test whether range is empty.
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 131 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 176 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 180 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 185 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 ( const IndexRange ir  ) 

Add index range ir to range.

template<class View , class Val , class Degree , class StateIdx >
void Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::IndexRange::lshift ( int  n  )  [inline]

Shift index range by n elements to the left.

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

template<class View , class Val , class Degree , class StateIdx >
bool Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::IndexRange::empty ( void   )  const [inline]

Test whether range is empty.

Definition at line 196 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 213 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 218 of file layered-graph.hpp.


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