An Input Iterator is a Trivial Iterator that provides a way to obtain the next iterator in a sequence.
iis incrementable if there is a "next" iterator, that is, if
i::nextexpression is well-defined; past-the-end iterators are not incrementable;
jis reachable from an input iterator
iif, after recursive application of
ia finite number of times,
iis identical to
[i,j)refers to a range of iterators beginning with
iand up to but not including
[i,j)is a valid range if both
jare valid iterators, and
jis reachable from
In addition to the expressions defined in Trivial Iterator, the following expressions must be valid.
|A model of Input Iterator|
|Amortized constant time|
Sequence, Trivial Iterator, Forward Iterator