SparseVectorCollection concept
Description
Refinement of
VectorCollection and
SparseCollection.
Associated types
Notation
Definitions
Valid expressions
| Name |
Expression |
Type requirements |
Return type |
Expression semantics
| Name |
Expression |
Precondition |
Semantics |
Postcondition |
Complexity guarantees
Invariants
Models
Notes