Range iterators.
|
Classes |
| class | AddRange |
| | Range iterator for adding a single range to a range iterator. More...
|
| class | SubRange |
| | Range iterator for subtracting a single range from a range iterator. More...
|
| class | Append |
| | Range iterator for appending two range iterators More...
|
| class | NaryAppend |
| | Range iterator for appending arbitrarily many iterators. More...
|
| class | Array |
| | Range iterator for array of ranges More...
|
| class | Cache |
| | Range iterator cache More...
|
| class | Compl |
| | Range iterator for computing the complement (described by template arguments). More...
|
| class | ComplVal |
| | Range iterator for computing the complement (described by values). More...
|
| class | Diff |
| | Range iterator for computing set difference. More...
|
| class | Empty |
| | Range iterator for empty range. More...
|
| class | Inter |
| | Range iterator for computing intersection (binary). More...
|
| class | NaryInter |
| | Range iterator for intersection for any number of iterators. More...
|
| class | MinMax |
| | Base for range iterators with explicit min and max. More...
|
| class | Minus |
| | Range iterator for pointwise minus of a range iterator. More...
|
| class | Offset |
| | Range iterator for pointwise offset (by some constant). More...
|
| class | ScaleUp |
| | Range iterator for pointwise product with a positive integer. More...
|
| class | ScaleDown |
| | Range iterator for pointwise division by a positive integer. More...
|
| class | Singleton |
| | Range iterator for singleton range. More...
|
| class | Size |
| | Range iterator with size counting More...
|
| class | Union |
| | Range iterator for computing union (binary). More...
|
| class | NaryUnion |
| | Range iterator for union for any number of iterators. More...
|
| class | ToValues |
| | Value iterator from range iterator. More...
|
Namespaces |
| namespace | Virt |
Enumerations |
| enum | SubsumtionStatus { SS_SUBSUMED,
SS_EMPTY,
SS_NONE
} |
| | Is one iterator subsumed by another, or is the intersection empty? More...
|
Functions |
| template<class I> |
| unsigned int | size (I &i) |
| | Size of all ranges of range iterator i.
|
| template<class I, class J> |
| bool | equal (I &i, J &j) |
| | Check whether range iterators i and j are equal.
|
| template<class I, class J> |
| bool | subset (I &i, J &j) |
| | Check whether range iterator i is subset of range iterator j.
|
| template<class I, class J> |
| bool | disjoint (I &i, J &j) |
| | Check whether range iterators i and j are disjoint.
|
| template<class I, class J> |
| SubsumtionStatus | subsumes (I &i, J &j) |
| | Check whether range iterator i subsumes j, or whether intersection is empty.
|
