terraneo/conceptterra_1_1linalg_1_1Block2x2OperatorLike.html

template<typename T>

concept terra::linalg::Block2x2OperatorLike =  OperatorLike< T > && requires( const T& self_const, T& self ) {


    requires Block2VectorLike< typename T::SrcVectorType >;

    requires Block2VectorLike< typename T::DstVectorType >;


    typename T::Block11Type;

    typename T::Block12Type;

    typename T::Block21Type;

    typename T::Block22Type;


    requires OperatorLike< typename T::Block11Type >;

    requires OperatorLike< typename T::Block12Type >;

    requires OperatorLike< typename T::Block21Type >;

    requires OperatorLike< typename T::Block22Type >;


    { self_const.block_11() } -> std::same_as< const typename T::Block11Type& >;

    { self_const.block_12() } -> std::same_as< const typename T::Block12Type& >;

    { self_const.block_21() } -> std::same_as< const typename T::Block21Type& >;

    { self_const.block_22() } -> std::same_as< const typename T::Block22Type& >;


    { self.block_11() } -> std::same_as< typename T::Block11Type& >;

    { self.block_12() } -> std::same_as< typename T::Block12Type& >;

    { self.block_21() } -> std::same_as< typename T::Block21Type& >;

    { self.block_22() } -> std::same_as< typename T::Block22Type& >;

}

terra::linalg::Block2VectorLike
Concept for types that behave like block 2-vectors. Extends VectorLike and requires block types and a...
Definition vector.hpp:47

terra::linalg::Block2x2OperatorLike
Concept for types that behave like block 2x2 operators. Extends OperatorLike and requires block types...
Definition operator.hpp:117

terra::linalg::OperatorLike
Concept for types that behave like linear operators.
Definition operator.hpp:57