uni20::linalg::cpu::GemvCompatible Concept Reference

Report whether resolved mdspans support reference CPU GEMV expressions. More...

#include <gemv.hpp>

Concept definition

template<class OutputMdspan, class Scalar, class MatrixMdspan, class InputMdspan>
concept uni20::linalg::cpu::GemvCompatible = 
    uni20::MutableRankedMdspanLike<OutputMdspan, 1> && uni20::Scalar<Scalar> &&
    uni20::RankedMdspanLike<MatrixMdspan, 2> && uni20::RankedMdspanLike<InputMdspan, 1> &&
    std::same_as<std::remove_cv_t<typename std::remove_cvref_t<OutputMdspan>::element_type>, Scalar> &&
    std::same_as<std::remove_cv_t<typename std::remove_cvref_t<MatrixMdspan>::element_type>, Scalar> &&
    std::same_as<std::remove_cv_t<typename std::remove_cvref_t<InputMdspan>::element_type>, Scalar> &&
    requires(OutputMdspan& output, MatrixMdspan& matrix, InputMdspan& input,
             typename std::remove_cvref_t<OutputMdspan>::index_type index, Scalar value) {
      static_cast<Scalar>(output.operator[](index));
      static_cast<Scalar>(matrix.operator[](index, index));
      static_cast<Scalar>(input.operator[](index));
      output.operator[](index) = value;
      value += value * value;
      { value == Scalar{} } -> std::convertible_to<bool>;
    }

Detailed Description

Report whether resolved mdspans support reference CPU GEMV expressions.