## Expression Concepts## Scalar Expression## DescriptionA Scalar Expression is an expression convertible to a scalar type. ## Refinement ofDefault Constructible. ## Associated types
## Notation
## Definitions## Valid expressionsIn addition to the expressions defined in Default Constructible the following expressions must be valid.
## Expression semanticsSemantics of an expression is defined only where it differs from, or is not defined in Default Constructible.
## Complexity guaranteesThe run-time complexity of the evaluation is specific for the evaluated scalar expression. ## Invariants## Models`vector_scalar_unary` `vector_scalar_binary`
## Vector Expression## DescriptionA Vector Expression is an expression evaluatable to a vector. Vector Expression provides an Indexed Bidirectional Iterator or an Indexed Random Access Iterator . ## Refinement ofDefault Constructible. ## Associated types
## Notation
## Definitions## Valid expressionsIn addition to the expressions defined in Default Constructible the following expressions must be valid.
## Expression semanticsSemantics of an expression is defined only where it differs from, or is not defined in Default Constructible.
## Complexity guaranteesThe run-time complexity of The run-time complexity of The run-time complexity of The run-time complexity of The run-time complexity of the element access is specific for the evaluated vector expression, typically amortized constant time for the dense and logarithmic for the sparse case. The run-time complexity of the arithmetic operations is specific for the evaluated vector expressions, typically linear in the size of the expressions. ## Invariants
## Models`vector_range;` `vector_slice` `matrix_row` `matrix_column` `matrix_vector_range` `matrix_vector_slice` `vector_unary` `vector_binary` `vector_binary_scalar1` `vector_binary_scalar2` `matrix_vector_unary1` `matrix_vector_unary2` `matrix_vector_binary1` `matrix_vector_binary2`
## Matrix Expression## DescriptionA Matrix Expression is an expression evaluatable to a matrix. Matrix Expression provides an Indexed Bidirectional Column/Row Iterator or an Indexed Random Access Column/Row Iterator . ## Refinement ofDefault Constructible. ## Associated types
## Notation
## Definitions## Valid expressionsIn addition to the expressions defined in Default Constructible the following expressions must be valid.
## Expression semanticsSemantics of an expression is defined only where it differs from, or is not defined in Default Constructible.
## Complexity guaranteesThe run-time complexity of The run-time complexity of The run-time complexity of The run-time complexity of The run-time complexity of the element access is specific for the evaluated matrix expression, typically amortized constant time for the dense and logarithmic for the sparse case. The run-time complexity of the arithmetic operations is specific for the evaluated matrix expressions, typically quadratic in the size of the proxies. ## Invariants
## Models`matrix_range` `matrix_slice;` `triangular_adaptor` `symmetric_adaptor` `banded_adaptor` `vector_matrix_binary` `matrix_unary1` `matrix_unary2` `matrix_binary` `matrix_binary_scalar1` `matrix_binary_scalar2` `matrix_matrix_binary`
Copyright (©) 2000-2002 Joerg Walter, Mathias Koch |