Generated on Sat Feb 7 2015 02:01:47 for Gecode by doxygen 1.8.9.1
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. More...
 
void reset (void)
 Reset range to be empty. More...
 
void add (int i)
 Add index i to range. More...
 
void add (const IndexRange &ir)
 Add index range ir to range. More...
 
void lshift (int n)
 Shift index range by n elements to the left. More...
 
bool empty (void) const
 Test whether range is empty. More...
 
int fst (void) const
 Return first position. More...
 
int lst (void) const
 Return last position. More...
 

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 133 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 181 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 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 ( int  i)
inline

Add index i to range.

Definition at line 190 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 206 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 201 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 218 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 223 of file layered-graph.hpp.


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