VectorCollection concept
Description
Refinement of
Collection,
VectorExpression,
Associated types
reference |
reference to an element |
Notation
Definitions
Valid expressions
In addition to those of
Collection and
VectorExpression.
| Name |
Expression |
Type requirements |
Return type |
| Element access |
a[i] |
|
reference |
| Element access |
a(i) |
|
reference |
Expression semantics
| Name |
Expression |
Precondition |
Semantics |
Postcondition |
| Element access |
a[i] |
0≤i and i<a.size() |
Returns the value at the given index |
|
| Element access |
a(i) |
0≤i and i<a.size() |
Returns the value at the given index |
|
Complexity guarantees
Invariants
Models
Notes