SERiF v0.0.1a
Stellar Evolution and Rotation in Four Dimensions
Loading...
Searching...
No Matches
serif::model::SpecificationEndpointsValid Concept Reference

Validate physical ownership, available inputs and uniquely owned generated equations. More...

#include <validation.hpp>

Concept definition

template<typename Model, typename Values, typename Inputs, typename Rows, typename InactiveRows utils::dependencies::KeyList<>, typename Bindings DefaultSpecificationBindings>
concept serif::model::SpecificationEndpointsValid = StellarModelType<Model> && utils::dependencies::IsKeyList<Values> && utils::dependencies::IsKeyList<Inputs> &&
utils::dependencies::IsKeyList<Rows> && utils::dependencies::IsKeyList<InactiveRows> && utils::dependencies::IsBindings<Bindings> &&
detail::valid_specifications<std::remove_cvref_t<Model>, Values, Inputs, Rows, InactiveRows, Bindings>(typename std::remove_cvref_t<Model>::SpecificationTypes{})
serif::model::SpecificationEndpointsValid
Validate physical ownership, available inputs and uniquely owned generated equations.
Definition validation.hpp:121
serif::model::StellarModelType
Safely recognize descriptions, including when presented with an incomplete specialization.
Definition stellar_model.hpp:165
serif::utils::dependencies::IsKeyList
Definition key_list.hpp:30
serif::model::detail::valid_specifications
consteval bool valid_specifications(utils::types::TypeList< Specifications... >)
Fold independent physical declarations; no equation counting or rank inference is involved.
Definition validation.hpp:70

Detailed Description

Validate physical ownership, available inputs and uniquely owned generated equations.