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

Validate physical endpoints and every derivative in an explicitly declared contract. More...

#include <validation.hpp>

Concept definition

template<typename Model, typename Values, typename Rows, typename DeclaredCouplings, typename Bindings DefaultSpecificationBindings>
concept serif::model::SpecificationTopologyValid = SpecificationEndpointsValid<Model, Values, Values, Rows, utils::dependencies::KeyList<>, Bindings> &&
utils::dependencies::IsKeyList<DeclaredCouplings> && detail::specification_derivatives_available<DeclaredCouplings, Bindings>(detail::GeneratedSpecifications<std::remove_cvref_t<Model>>{})
serif::model::SpecificationEndpointsValid
Validate physical ownership, available inputs and uniquely owned generated equations.
Definition validation.hpp:121
serif::model::SpecificationTopologyValid
Validate physical endpoints and every derivative in an explicitly declared contract.
Definition validation.hpp:127
serif::utils::dependencies::IsKeyList
Definition key_list.hpp:30
serif::model::detail::specification_derivatives_available
consteval bool specification_derivatives_available()
Validate declared derivative contracts without inferring zeros from missing providers.
Definition validation.hpp:93
serif::model::detail::GeneratedSpecifications
utils::misc::concepts::FilterT< typename Model::SpecificationTypes, GeneratesState > GeneratedSpecifications
Numerical checks operate only on prescriptions that introduce a coordinate and equation.
Definition specification_endpoints.hpp:16

Detailed Description

Validate physical endpoints and every derivative in an explicitly declared contract.