serif::operators::VolumeOperand Concept Reference

Mathematical operand combinations implemented by the current volume backend. More...

#include <concepts.hpp>

Concept definition

template<typename OperandT>
concept serif::operators::VolumeOperand = 
        discretization::forms::IsOperand<OperandT> &&
        (
            ScalarValueOperand<OperandT> ||
            (
                discretization::blocks::SpatialTerm<typename OperandT::term_type> &&
                discretization::blocks::SpatialTermTraits<typename OperandT::term_type>::rank == 1 &&
                (
                    discretization::blocks::SpatialTermTraits<typename OperandT::term_type>::family == discretization::functional_space::Family::h1 ||
                    discretization::blocks::SpatialTermTraits<typename OperandT::term_type>::family == discretization::functional_space::Family::hdiv
                ) &&
                (
                    std::same_as<typename OperandT::operation_type, discretization::forms::Operation::Value> ||
                    std::same_as<typename OperandT::operation_type, discretization::forms::Operation::Divergence>
                )
            )
        )

Detailed Description

Mathematical operand combinations implemented by the current volume backend.