MeanField_SERiF/archive/0aab6fb3a39f4d32cb68e67d52d48da9707c02bf.zip

template<typename OperandT>

concept serif::operators::backend::mfem::EvaluableOperand =  requires(

        const discretization::backend::mfem::DofMap& binding,

        const ::mfem::IntegrationRule& rule,

        ::mfem::ElementTransformation& transformation,

        const BasisEvaluation& reference_basis,

        BasisEvaluation& mapped_basis,

        TensorBasisCache& cache,

        BasisWorkspace& workspace,

        const ::mfem::Vector& coefficients,

        ::mfem::Vector& values,

        const typename OperandEvaluator<OperandT>::ReferenceValue& reference_value,

        const mapping::MappingPointContext& context,

        const mapping::MappingPointVariation& variation

    ) {

        typename OperandEvaluator<OperandT>::Value;

        typename OperandEvaluator<OperandT>::ReferenceValue;

        { OperandEvaluator<OperandT>::components } -> std::convertible_to<int>;

        { OperandEvaluator<OperandT>::reference_components } -> std::convertible_to<int>;

        { OperandEvaluator<OperandT>::geometry_dependent } -> std::convertible_to<bool>;

        { OperandEvaluator<OperandT>::sample_basis(binding, 0, rule, mapped_basis, cache, ContractionMode::automatic, transformation, workspace) } -> std::same_as<void>;

        { OperandEvaluator<OperandT>::evaluate(reference_basis, coefficients, values, workspace) } -> std::same_as<void>;

        { OperandEvaluator<OperandT>::integrate(reference_basis, coefficients, values, workspace) } -> std::same_as<void>;

        { OperandEvaluator<OperandT>::reference_value(coefficients, 0) } -> std::same_as<typename OperandEvaluator<OperandT>::ReferenceValue>;

        { OperandEvaluator<OperandT>::physical_value(reference_value, context) } -> std::same_as<typename OperandEvaluator<OperandT>::Value>;

        { OperandEvaluator<OperandT>::geometry_variation(reference_value, context, variation) } -> std::same_as<typename OperandEvaluator<OperandT>::Value>;

        { OperandEvaluator<OperandT>::map_basis_point(0, context, reference_basis, mapped_basis, workspace) } -> std::same_as<void>;

        { OperandEvaluator<OperandT>::map_basis_point(0, context, reference_basis, mapped_basis, workspace, &variation) } -> std::same_as<void>;

    }

serif::discretization::backend::mfem::BasisEvaluation
Represents an element-local basis evaluation operator, supporting dense or tensor contractions,...
Definition basis_evaluation.hpp:115

serif::discretization::backend::mfem::DofMap
A mapping from a full MFEM finite-element space to a reduced set of DOFs that are supporter by the gi...
Definition dof_map.hpp:39

serif::discretization::backend::mfem::TensorBasisCache
Share immutable tensor plans within one operator; copied rules are keyed by their contents.
Definition tensor_basis.hpp:458

serif::operators::backend::mfem::EvaluableOperand
Check the complete interface used by preparation, Jacobian application, and its transpose.
Definition operand_evaluation.hpp:311

serif::operators::backend::mfem::Vector
::mfem::Vector Vector
Definition computation_owners.cpp:27

serif::operators::backend::mfem::values
::mfem::Vector values
Definition element_preparation.hpp:91

serif::discretization::backend::mfem::BasisWorkspace
Reusable scratch storage for basis contractions, reducing repeated allocations.
Definition basis_evaluation.hpp:19

serif::mapping::MappingPointContext
A structure representing the context of a mapping point, including the reference position,...
Definition context.hpp:55

serif::mapping::MappingPointVariation
Definition variation.hpp:7

serif::operators::backend::mfem::OperandEvaluator< OperandT >::sample_basis
static void sample_basis(const discretization::backend::mfem::DofMap &binding, int element, const ::mfem::IntegrationRule &rule, BasisEvaluation &basis, TensorBasisCache &cache, ContractionMode mode, ::mfem::ElementTransformation &transformation, BasisWorkspace &workspace)
A global coefficient has basis one; spatial operands use their native element basis.
Definition operand_evaluation.hpp:58

serif::operators::backend::mfem::OperandEvaluator< OperandT >::evaluate
static void evaluate(const BasisEvaluation &basis, const ::mfem::Vector &coefficients, ::mfem::Vector &values, BasisWorkspace &workspace)
Apply a cached tensor or dense basis using reusable contraction scratch.
Definition operand_evaluation.hpp:191

serif::operators::backend::mfem::OperandEvaluator< OperandT >::integrate
static void integrate(const BasisEvaluation &basis, const ::mfem::Vector &values, ::mfem::Vector &result, BasisWorkspace &workspace)
Transpose the same contraction; global scalar reductions retain compensated summation.
Definition operand_evaluation.hpp:201

serif::operators::backend::mfem::OperandEvaluator< OperandT >::geometry_dependent
static constexpr bool geometry_dependent
Definition operand_evaluation.hpp:50

serif::operators::backend::mfem::OperandEvaluator
Definition operand_evaluation.hpp:28