serif::model::backend::mfem::detail::PrescribedInputsFor Concept Reference

Prescribed views must supply every unsolved input and cannot duplicate a solved coordinate. More...

#include <state.hpp>

Concept definition

template<typename Plan, typename Inputs>
concept serif::model::backend::mfem::detail::PrescribedInputsFor =  utils::dependencies::IsDependencyContext<Inputs> &&
        (utils::dependencies::key_count_v<utils::dependencies::CombinedKeyList<typename Plan::Values, typename Inputs::Keys>> ==
            utils::dependencies::key_count_v<typename Plan::Values> + utils::dependencies::key_count_v<typename Inputs::Keys>) &&
        coefficient_inputs<Inputs>(typename model::detail::RemoveKeys<typename Plan::Coefficients, typename Plan::Values>::Type{})

Detailed Description

Prescribed views must supply every unsolved input and cannot duplicate a solved coordinate.