specification_endpoints.hpp File Reference

#include "serif/model/specification.hpp"
#include "serif/model/specifications/physical_names.hpp"
#include "serif/utils/dependencies/binding.hpp"
#include "serif/utils/dependencies/key_list_operations.hpp"
#include "serif/utils/misc/concepts/filter.hpp"

Include dependency graph for specification_endpoints.hpp:

This graph shows which files directly or indirectly include this file:

Classes
struct	serif::model::detail::EndpointOwner< Endpoint >
	Recognize generated endpoint identities without interpreting unrelated physical names. More...
struct	serif::model::detail::EndpointOwner< GeneratedCoordinateOf< Specification > >
struct	serif::model::detail::EndpointOwner< ConstraintOf< Specification > >
struct	serif::model::detail::ResolvedEndpoints< Owner, utils::types::TypeList< Endpoints... >, Bindings >
struct	serif::model::detail::EnforcementDependencies< Specification, Bindings, bool >
	Legacy prescriptions retain their original dependencies unless an equation explicitly registers another enforcement. More...
struct	serif::model::detail::EnforcementDependencies< Specification, Bindings, true >
struct	serif::model::detail::ResolvedSpecification< Specification, Bindings >
	Share resolved physical identities between endpoint and numerical-provider checks. More...

Namespaces
namespace	serif
namespace	serif::model
namespace	serif::model::detail

Typedefs
template<typename Specification>
using	serif::model::detail::GeneratesState = std::bool_constant<Specification::ModelDefinition::generated_state_kind != GeneratedStateKind::none>
template<typename Model>
using	serif::model::detail::GeneratedSpecifications = utils::misc::concepts::FilterT<typename Model::SpecificationTypes, GeneratesState>
	Numerical checks operate only on prescriptions that introduce a coordinate and equation.
template<typename Owner, typename Endpoint, typename Bindings>
using	serif::model::detail::ResolvedEndpoint = typename decltype(resolved_endpoint<Owner, Endpoint, Bindings>())::type

Functions
template<typename Owner, typename Endpoint, typename Bindings>
consteval auto	serif::model::detail::resolved_endpoint ()
	Resolve owned aliases and explicit bindings without merging same-unit identities.
template<typename Model, typename Endpoint>
consteval bool	serif::model::detail::endpoint_owner_present ()
	A coordinate binding cannot supply an absent or non-generating physical prescription.