
Iterate table values in a delta interval. More...
Public Member Functions | |
| SparseDeltaValues (const TupleSet &ts, int i, int lower, int upper0) | |
| bool | operator() (void) const |
| void | operator++ (void) |
| int | val (void) const |
Protected Member Functions | |
| void | set_range (int lower) |
Protected Attributes | |
| const TupleSet::Range * | r |
| const TupleSet::Range * | e |
| int | upper |
| int | value |
| int | last |
Iterate table values in a delta interval.
The tuple-set ranges are searched before iteration, so gaps between supported values do not contribute to the running time.
Definition at line 48 of file extensional-tuple-set.cpp.
|
inline |
Definition at line 67 of file extensional-tuple-set.cpp.
|
inlineprotected |
Definition at line 57 of file extensional-tuple-set.cpp.
|
inline |
Definition at line 83 of file extensional-tuple-set.cpp.
|
inline |
Definition at line 88 of file extensional-tuple-set.cpp.
|
inline |
Definition at line 98 of file extensional-tuple-set.cpp.
|
protected |
Definition at line 50 of file extensional-tuple-set.cpp.
|
protected |
Definition at line 51 of file extensional-tuple-set.cpp.
|
protected |
Definition at line 52 of file extensional-tuple-set.cpp.
|
protected |
Definition at line 53 of file extensional-tuple-set.cpp.
|
protected |
Definition at line 54 of file extensional-tuple-set.cpp.