terra::linalg::LinearFormLike Concept Reference

Concept for types that behave like linear forms. More...

#include <linear_form.hpp>

Concept definition

template<typename T>
concept terra::linalg::LinearFormLike =  requires( T& self, typename T::DstVectorType& dst ) {
    
    typename T::DstVectorType;
 
    
    requires VectorLike< typename T::DstVectorType >;
 
    
    { self.apply_impl( dst ) } -> std::same_as< void >;
}

Detailed Description

Concept for types that behave like linear forms.

Evaluates a linear form into a vector.

This could be something like

\[ L(v_h) = \int f v_h \]

evaluated into the entries \(q_k\) of a coefficient vector \(q\):

\[ q_k = \int f \phi_k \]

.