MeanField_SERiF/archive/2fedb1a007da2467ca77df263d584e48d4650112.zip

template<typename Candidate>

concept serif::model::DimensionalScalarSpecification =  ModelSpecification<Candidate> && requires(const std::remove_cvref_t<Candidate>& specification)

    {

        requires (std::remove_cvref_t<Candidate>::ModelDefinition::generated_state_kind != GeneratedStateKind::none);

        typename std::remove_cvref_t<Candidate>::ModelDefinition::ScalarDescription::TargetQuantity;

        typename std::remove_cvref_t<Candidate>::ModelDefinition::ScalarDescription::CoordinateQuantity;

        typename std::remove_cvref_t<Candidate>::ModelDefinition::ScalarDescription::ResidualQuantity;

        requires dimensions::PhysicalQuantityType<typename std::remove_cvref_t<Candidate>::ModelDefinition::ScalarDescription::CoordinateQuantity>;

        requires dimensions::PhysicalQuantityType<typename std::remove_cvref_t<Candidate>::ModelDefinition::ScalarDescription::ResidualQuantity>;

        { specification.target() } -> std::same_as<dimensions::QuantityValue<typename std::remove_cvref_t<Candidate>::ModelDefinition::ScalarDescription::TargetQuantity>>;

    }

serif::dimensions::PhysicalQuantityType
Is compile-time true of the QuantityCandidate can have any const / volatile stripped and if its deriv...
Definition quantities.hpp:50

serif::model::DimensionalScalarSpecification
Require exact dimensional agreement only when scalar numerical metadata is needed.
Definition specification.hpp:104

serif::model::ModelSpecification
Recognize a self-describing prescription without demanding executable physics or optional metadata.
Definition specification.hpp:91

serif::model::GeneratedStateKind::none
@ none
Definition specification.hpp:24