MeanField_SERiF/archive/0aab6fb3a39f4d32cb68e67d52d48da9707c02bf.zip

template<typename T>

concept serif::operators::NodalValueEquation =

        equations::Equation<T> &&

        equations::PointEquation<T> &&

        discretization::blocks::SpatialTerm<typename T::Test> &&

        discretization::blocks::SpatialTermTraits<typename T::Test>::rank <= 1 &&

        discretization::blocks::SpatialTermTraits<typename T::Test>::family == discretization::functional_space::Family::h1 &&

        std::same_as<equations::TestOperandOf<T>, discretization::forms::Operand<typename T::Test>> &&

        std::same_as<typename T::Operands, utils::types::TypeList<discretization::forms::Operand<typename T::Test>>> &&

        requires { requires T::position_independent; }

serif::discretization::blocks::SpatialTerm
Concept for term types that are spatial terms. A spatial term is a term that has a functional space (...
Definition concepts.hpp:80

serif::equations::Equation
A concept that defines the requirements for a valid SERiF equation.
Definition concepts.hpp:86

serif::equations::PointEquation
A concept that defines the requirements for a pointwise equation.
Definition concepts.hpp:30

serif::operators::NodalValueEquation
Nodal execution: an H1 value depending only on itself, with no explicit position dependence.
Definition concepts.hpp:13

serif::discretization::functional_space::Family::h1
@ h1
H1 space, typically used for continuous functions.
Definition space.hpp:36

serif::discretization::blocks::SpatialTermTraits::family
static constexpr auto family
The family of the functional space associated with the term. e.g. H1, L2, etc.
Definition traits.hpp:66

serif::discretization::blocks::SpatialTermTraits::rank
static constexpr std::size_t rank
The rank of the functional space associated with the term.
Definition traits.hpp:68

serif::discretization::forms::Operand
Compile time representation of some operand. An operand associates a term to an operation type (e....
Definition operands.hpp:113