valor::EigenUnit::ValidBlockLayout Concept Reference

Checks that a UnitMatrix's block dimensions sum correctly for fromBlocks. More...

#include <valkyrie/util/eigenunit/Common.h>

Concept definition

template<typename TL, typename TR, typename BL, typename BR, std::size_t TotalRows, std::size_t TotalCols>
concept valor::EigenUnit::ValidBlockLayout = 
    requires {
        { TL::RowCount } -> std::convertible_to<std::size_t>;
        { TL::ColCount } -> std::convertible_to<std::size_t>;
        { TR::RowCount } -> std::convertible_to<std::size_t>;
        { TR::ColCount } -> std::convertible_to<std::size_t>;
        { BL::RowCount } -> std::convertible_to<std::size_t>;
        { BL::ColCount } -> std::convertible_to<std::size_t>;
        { BR::RowCount } -> std::convertible_to<std::size_t>;
        { BR::ColCount } -> std::convertible_to<std::size_t>;
    } && (TL::RowCount + BL::RowCount == TotalRows) && (TR::RowCount + BR::RowCount == TotalRows) &&
    (TL::ColCount + TR::ColCount == TotalCols) && (BL::ColCount + BR::ColCount == TotalCols)

Detailed Description

Checks that a UnitMatrix's block dimensions sum correctly for fromBlocks.