.TH "src/include/serif/geometry/surface/detail/relations.hpp" 3 "Version v0.0.1a" "SERiF" \" -*- nroff -*-
.ad l
.nh
.SH NAME
src/include/serif/geometry/surface/detail/relations.hpp
.SH SYNOPSIS
.br
.PP
\fR#include <tuple>\fP
.br
\fR#include <type_traits>\fP
.br
\fR#include 'serif/discretization/forms/value\&.hpp'\fP
.br
\fR#include 'serif/eos/models/concepts\&.hpp'\fP
.br
\fR#include 'serif/utils/dependencies/key_list_operations\&.hpp'\fP
.br

.SS "Classes"

.in +1c
.ti -1c
.RI "struct \fBserif::geometry::surface::detail::AreSurfaceBindings< Bindings >\fP"
.br
.ti -1c
.RI "struct \fBserif::geometry::surface::detail::AreSurfaceBindings< utils::dependencies::Bindings< Entries\&.\&.\&. > >\fP"
.br
.ti -1c
.RI "struct \fBserif::geometry::surface::detail::RelationQuantities< eos::relations::Relation< Output, Inputs\&.\&.\&. > >\fP"
.br
.ti -1c
.RI "struct \fBserif::geometry::surface::detail::MatchingPressureRelations< EOS, Bindings, Carrier, eos::relations::RelationCatalog< Relations\&.\&.\&. > >\fP"
.br
.ti -1c
.RI "struct \fBserif::geometry::surface::detail::SurfaceOperands< utils::dependencies::KeyList< Terms\&.\&.\&. > >\fP"
.br
.ti -1c
.RI "struct \fBserif::geometry::surface::detail::UniqueTerms< utils::types::TypeList< Terms\&.\&.\&. > >\fP"
.br
.in -1c
.SS "Namespaces"

.in +1c
.ti -1c
.RI "namespace \fBserif\fP"
.br
.ti -1c
.RI "namespace \fBserif::geometry\fP"
.br
.ti -1c
.RI "namespace \fBserif::geometry::surface\fP"
.br
.ti -1c
.RI "namespace \fBserif::geometry::surface::detail\fP"
.br
.in -1c
.SS "Concepts"

.in +1c
.ti -1c
.RI "concept \fBserif::geometry::surface::SurfaceScalarTerm\fP"
.br
.RI "Scalar thermodynamic data may come from any declared scalar space; boundary enforcement is a separate backend capability\&. "
.ti -1c
.RI "concept \fBserif::geometry::surface::SurfaceStateBindings\fP"
.br
.RI "Reuse dependency bindings, retaining distinct quantity roles even when they refer to one term\&. "
.ti -1c
.RI "concept \fBserif::geometry::surface::SurfaceResidualRow\fP"
.br
.RI "The quantity enforcing the boundary must have an actual equation row, not just sampled values\&. "
.in -1c
.SS "Typedefs"

.in +1c
.ti -1c
.RI "template<typename Bindings, typename Quantities> using \fBserif::geometry::surface::detail::BoundTerms\fP = typename \fBUniqueTerms\fP<\fButils::dependencies::ResolvedTargets\fP<Bindings, Quantities>>::Type"
.br
.in -1c
.SS "Functions"

.in +1c
.ti -1c
.RI "template<typename EOS, typename Relation, typename\&.\&.\&. Quantities> consteval bool \fBserif::geometry::surface::detail::supports_partials\fP (\fButils::dependencies::KeyList\fP< Quantities\&.\&.\&. >)"
.br
.RI "Check only the derivatives of unknown state; prescribed pressure has no Newton column\&. "
.ti -1c
.RI "template<typename EOS, typename Bindings, typename Carrier, typename Relation> consteval bool \fBserif::geometry::surface::detail::matches_pressure_relation\fP ()"
.br
.RI "A resolved carrier must be supplied by one pressure-input relation, with all remaining inputs and partials available\&. "
.in -1c
.SH "Author"
.PP 
Generated automatically by Doxygen for SERiF from the source code\&.