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... | |
Range approximation of which positions have changed.
Definition at line 133 of file extensional.hh.
|
inline |
Initialize range as empty.
Definition at line 181 of file layered-graph.hpp.
|
inline |
Reset range to be empty.
Definition at line 185 of file layered-graph.hpp.
|
inline |
Add index i to range.
Definition at line 190 of file layered-graph.hpp.
void Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::IndexRange::add | ( | const IndexRange & | ir | ) |
Add index range ir to range.
|
inline |
Shift index range by n elements to the left.
Definition at line 206 of file layered-graph.hpp.
|
inline |
Test whether range is empty.
Definition at line 201 of file layered-graph.hpp.
|
inline |
Return first position.
Definition at line 218 of file layered-graph.hpp.
|
inline |
Return last position.
Definition at line 223 of file layered-graph.hpp.