ContinuousVectorExpression concept
Description
In addition to the StridedVectorExpression, ContinuousVectorExpression guarantees that the
stride is equal to 1
Refinement of
StridedVectorExpression and
Associated types
Notation
Definitions
Valid expressions
| Name |
Expression |
Type requirements |
Return type |
Expression semantics
| Name |
Expression |
Precondition |
Semantics |
Postcondition |
Complexity guarantees
Invariants
Models
Notes