Delta for the greatest lower bound.
More...
#include <set.hh>
|
| Diff (void) |
| Default constructor.
|
void | init (Set::GlbRanges< Set::SetView > &i, Iter::Ranges::RangeList &j) |
| Initialize with iterator i and j.
|
void | operator++ (void) |
| Move iterator to next range (if possible)
|
| MinMax (void) |
| Default constructor.
|
| MinMax (int min, int max) |
| Initialize with range min to max.
|
bool | operator() (void) const |
| Test whether iterator is still at a range or done.
|
int | min (void) const |
| Return smallest value of range.
|
int | max (void) const |
| Return largest value of range.
|
unsigned int | width (void) const |
| Return width of range (distance between minimum and maximum)
|
void | finish (void) |
| Set range such that iteration stops
|
Delta for the greatest lower bound.
Definition at line 1759 of file set.hh.
◆ Glb()
Initialize with old glb and new glb.
Definition at line 37 of file delta.hpp.
Iterator over old glb.
Definition at line 1764 of file set.hh.
Iterator over new glb.
Definition at line 1766 of file set.hh.
The documentation for this class was generated from the following files: