.TH "src/include/serif/model/detail/specification_endpoints.hpp" 3 "Version v0.0.1a" "SERiF" \" -*- nroff -*-
.ad l
.nh
.SH NAME
src/include/serif/model/detail/specification_endpoints.hpp
.SH SYNOPSIS
.br
.PP
\fR#include 'serif/model/specification\&.hpp'\fP
.br
\fR#include 'serif/model/specifications/physical_names\&.hpp'\fP
.br
\fR#include 'serif/utils/dependencies/binding\&.hpp'\fP
.br
\fR#include 'serif/utils/dependencies/key_list_operations\&.hpp'\fP
.br
\fR#include 'serif/utils/misc/concepts/filter\&.hpp'\fP
.br

.SS "Classes"

.in +1c
.ti -1c
.RI "struct \fBserif::model::detail::EndpointOwner< Endpoint >\fP"
.br
.RI "Recognize generated endpoint identities without interpreting unrelated physical names\&. "
.ti -1c
.RI "struct \fBserif::model::detail::EndpointOwner< GeneratedCoordinateOf< Specification > >\fP"
.br
.ti -1c
.RI "struct \fBserif::model::detail::EndpointOwner< ConstraintOf< Specification > >\fP"
.br
.ti -1c
.RI "struct \fBserif::model::detail::ResolvedEndpoints< Owner, utils::types::TypeList< Endpoints\&.\&.\&. >, Bindings >\fP"
.br
.ti -1c
.RI "struct \fBserif::model::detail::EnforcementDependencies< Specification, Bindings, bool >\fP"
.br
.RI "Legacy prescriptions retain their original dependencies unless an equation explicitly registers another enforcement\&. "
.ti -1c
.RI "struct \fBserif::model::detail::EnforcementDependencies< Specification, Bindings, true >\fP"
.br
.ti -1c
.RI "struct \fBserif::model::detail::ResolvedSpecification< Specification, Bindings >\fP"
.br
.RI "Share resolved physical identities between endpoint and numerical-provider checks\&. "
.in -1c
.SS "Namespaces"

.in +1c
.ti -1c
.RI "namespace \fBserif\fP"
.br
.ti -1c
.RI "namespace \fBserif::model\fP"
.br
.ti -1c
.RI "namespace \fBserif::model::detail\fP"
.br
.in -1c
.SS "Typedefs"

.in +1c
.ti -1c
.RI "template<typename Specification> using \fBserif::model::detail::GeneratesState\fP = std::bool_constant<Specification::ModelDefinition::generated_state_kind != \fBGeneratedStateKind::none\fP>"
.br
.ti -1c
.RI "template<typename Model> using \fBserif::model::detail::GeneratedSpecifications\fP = \fButils::misc::concepts::FilterT\fP<typename Model::SpecificationTypes, \fBGeneratesState\fP>"
.br
.RI "Numerical checks operate only on prescriptions that introduce a coordinate and equation\&. "
.ti -1c
.RI "template<typename Owner, typename Endpoint, typename Bindings> using \fBserif::model::detail::ResolvedEndpoint\fP = typename decltype(\fBresolved_endpoint\fP<Owner, Endpoint, Bindings>())::type"
.br
.in -1c
.SS "Functions"

.in +1c
.ti -1c
.RI "template<typename Owner, typename Endpoint, typename Bindings> consteval auto \fBserif::model::detail::resolved_endpoint\fP ()"
.br
.RI "Resolve owned aliases and explicit bindings without merging same-unit identities\&. "
.ti -1c
.RI "template<typename Model, typename Endpoint> consteval bool \fBserif::model::detail::endpoint_owner_present\fP ()"
.br
.RI "A coordinate binding cannot supply an absent or non-generating physical prescription\&. "
.in -1c
.SH "Author"
.PP 
Generated automatically by Doxygen for SERiF from the source code\&.