num::operators::LinearOperator Concept Reference

Compile-time contract for y = A*x. More...

#include <concepts.hpp>

Concept definition

template<class Op, class X Vector, class Y Vector>
concept num::operators::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 y = A*x.

Definition at line 19 of file concepts.hpp.