dedekind::linear_algebra::HasRowType Concept Reference

A matrix exposes its rows as a concrete covector carrier. More...

Concept definition

template<typename M>
concept dedekind::linear_algebra::HasRowType =  requires {
  typename M::row_type;
  requires IsCovector<typename M::row_type>;
  requires HasDimensionCount<typename M::row_type>;
}

Detailed Description

A matrix exposes its rows as a concrete covector carrier.