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