Extensible Range

Description

A type models Extensible Range if it models Forward Range and supports insertion and clearing.

`R`	-	A type which is a model of Extensible Range
`I`	-	The iterator type of `R` (see Forward Range).
`V`	-	The value type of `R` (see Forward Range).
`r`	-	Object of type `R`
`pos`	-	Object of type `I`
`v`	-	Object of type `V`

Same as Forward Range, with the following additional requirements:

Expression Expression Type Semantics Postcondition

Expression	Expression Type	Semantics	Postcondition
`clear(r)`	`void`	Clears the range `r`	`size(r) == 0`; `begin(r) == end(r);`
`insert(r, pos, v)`	`I`	Inserts a single element with value `v` into `r` after position `pos` and returns an iterator pointing to the inserted element	-

clear(r)

void

Clears the range r

size(r) == 0;

begin(r) == end(r);

insert(r, pos, v)

Inserts a single element with value v into r after position pos and returns an iterator pointing to the inserted element

Revised 20 May, 2004

Distributed under the Boost Software License, Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)