num::LinearOperator Concept Reference

Compile-time contract for the matrix-free product y = A*x. More...

#include <concepts.hpp>

Concept definition

template<class Op, class X Vector, class Y Vector>
concept num::LinearOperator = 
  VectorLike<X> && MutableVectorLike<Y> && requires(const Op& A, const X& x, Y& y) {
    { A.rows() } -> std::convertible_to<idx>;
    { A.cols() } -> std::convertible_to<idx>;
    { A.apply(x, y) };
  }

Detailed Description

Compile-time contract for the matrix-free product y = A*x.

Definition at line 67 of file concepts.hpp.