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. | |
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. |
Range approximation of which positions have changed.
Definition at line 131 of file extensional.hh.
|
inline |
Initialize range as empty.
Definition at line 176 of file layered-graph.hpp.
|
inline |
Reset range to be empty.
Definition at line 180 of file layered-graph.hpp.
|
inline |
Add index i to range.
Definition at line 185 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 201 of file layered-graph.hpp.
|
inline |
Test whether range is empty.
Definition at line 196 of file layered-graph.hpp.
|
inline |
Return first position.
Definition at line 213 of file layered-graph.hpp.
|
inline |
Return last position.
Definition at line 218 of file layered-graph.hpp.