.TH "serif::model::SpecificationTopologyValid" 3 "Version v0.0.1a" "SERiF" \" -*- nroff -*-
.ad l
.nh
.SH NAME
serif::model::SpecificationTopologyValid \- Validate physical endpoints and every derivative in an explicitly declared contract\&.  

.SH SYNOPSIS
.br
.PP
.PP
\fR#include <validation\&.hpp>\fP
.SH "Concept definition"
.PP 

.nf
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>>{})
.PP
.fi
.SH "Detailed Description"
.PP 
Validate physical endpoints and every derivative in an explicitly declared contract\&. 
.SH "Author"
.PP 
Generated automatically by Doxygen for SERiF from the source code\&.