serif::model::ModelSpecification Concept Reference

Recognize a self-describing prescription without demanding executable physics or optional metadata. More...

#include <specification.hpp>

Concept definition

template<typename Candidate>
concept serif::model::ModelSpecification =  requires
    {
        typename std::remove_cvref_t<Candidate>::ModelDefinition;
        requires std::same_as<typename std::remove_cvref_t<Candidate>::ModelDefinition::SpecificationType, std::remove_cvref_t<Candidate>>;
        { std::remove_cvref_t<Candidate>::ModelDefinition::name } -> std::convertible_to<std::string_view>;
        requires (!std::remove_cvref_t<Candidate>::ModelDefinition::name.empty());
        requires detail::compatible_generated_state(std::remove_cvref_t<Candidate>::ModelDefinition::role, std::remove_cvref_t<Candidate>::ModelDefinition::generated_state_kind);
        requires detail::is_type_list<typename std::remove_cvref_t<Candidate>::ModelDefinition::DependsOn>;
        requires detail::is_type_list<typename std::remove_cvref_t<Candidate>::ModelDefinition::Affects>;
    }

Detailed Description

Recognize a self-describing prescription without demanding executable physics or optional metadata.