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

Require a registered implementation for every declared generated derivative, including explicit zeros. More...

#include <validation.hpp>

Concept definition

template<typename Model, typename Values, typename Rows, typename DeclaredCouplings, typename ImplementedCouplings, typename Bindings DefaultSpecificationBindings>
concept serif::model::SpecificationBackendAvailable = SpecificationTopologyValid<Model, Values, Rows, DeclaredCouplings, Bindings> &&
SpecificationTopologyValid<Model, Values, Rows, ImplementedCouplings, Bindings>
serif::model::SpecificationBackendAvailable
Require a registered implementation for every declared generated derivative, including explicit zeros...
Definition validation.hpp:136
serif::model::SpecificationTopologyValid
Validate physical endpoints and every derivative in an explicitly declared contract.
Definition validation.hpp:127

Detailed Description

Require a registered implementation for every declared generated derivative, including explicit zeros.

Note
ImplementedCouplings must come from admitted providers. Missing methods never imply zero; this checks specification contributions only, leaving the equation backend's own execution contract independent.