serif::equations::PointEquation Concept Reference

A concept that defines the requirements for a pointwise equation. More...

#include <concepts.hpp>

Concept definition

template<typename T>
concept serif::equations::PointEquation = 
        requires {
            typename T::Test;
            typename T::Operands;
        } &&
        (discretization::blocks::SpatialTerm<typename T::Test> || discretization::blocks::GlobalScalarTerm<typename T::Test>) &&
        discretization::blocks::HasResidualBlock<typename T::Test> &&
        discretization::forms::IsOperand<TestOperandOf<T>> &&
        std::same_as<typename TestOperandOf<T>::term_type, typename T::Test> &&
        requires(const T& equation, const EquationPoint<typename T::Operands>& point) {
            {
                equation.evaluate(point)
            } -> std::same_as<PointLinearization<typename T::Operands, discretization::forms::OperandValue<TestOperandOf<T>>>>;
        }

Detailed Description

A concept that defines the requirements for a pointwise equation.

Requirements

The equation must have a test type (::Test) and an operand type (::Operands). The test type (::Test) must be either a spatial term or a global scalar term. The test type must have a residual block. The operand type must be a valid operand The operant term type (::term_type) must be the same as the test type (::Test). The equation must have a method called ::evaluate() that takes an EquationPoint of the operand type and returns a PointLinearization of the operand type and the operand value of the test operand.