...one of the most highly
regarded and expertly designed C++ library projects in the
world.
— Herb Sutter and Andrei
Alexandrescu, C++
Coding Standards
An Extensible Associative Sequence is an Associative Sequence that supports insertion and removal of elements. In contrast to Extensible Sequence, Extensible Associative Sequence does not provide a mechanism for inserting an element at a specific position.
Refinement of
Expression | Expression type |
---|---|
typename clear<s>::type | A model of concept of s |
typename insert<s,t>::type | A model of concept of s |
typename remove<s,k>::type | A model of concept of s |
TODO.
For any associative sequence s
the following invariants always hold:
set
map
set_c
Sequences, Forward Sequence, Associative Sequence