template<class T>
constexpr bool is-layout-blas-packed = false;
template<class Triangle, class StorageOrder>
constexpr bool is-layout-blas-packed<layout_blas_packed<Triangle, StorageOrder>> = true;
template<class T>
concept possibly-packed-inout-matrix =
is-mdspan<T> && T::rank() == 2 &&
is_assignable_v<typename T::reference, typename T::element_type> &&
(T::is_always_unique() || is-layout-blas-packed<typename T::layout_type>);
概要
型T
が行列(2次元mdspan
)であり、そのレイアウトがlayout_blas_packed
である可能性を表す、説明専用のコンセプトである。
入出力パラメータを表しており、要素の読み取りと演算結果の書き出しが行われる。
関数仕様で明示されない限り、possibly-packed-inout-matrix
で制約されるmdspan
型引数は、同関数の他mdspan
引数のエイリアスであってはならない。
バージョン
言語
- C++26