.TH "src/compile_time_checks/serif/model/state.cpp" 3 "Version v0.0.1a" "SERiF" \" -*- nroff -*-
.ad l
.nh
.SH NAME
src/compile_time_checks/serif/model/state.cpp
.SH SYNOPSIS
.br
.PP
\fR#include <concepts>\fP
.br
\fR#include <span>\fP
.br
\fR#include <type_traits>\fP
.br
\fR#include <utility>\fP
.br
\fR#include <vector>\fP
.br
\fR#include 'serif/backend/mfem/model/equilibrium\&.hpp'\fP
.br
\fR#include 'serif/model/state\&.hpp'\fP
.br

.SS "Classes"

.in +1c
.ti -1c
.RI "struct \fBserif::model::checks::Binding< TermT >\fP"
.br
.RI "Only the binding's physical identity is needed to check public overload constraints\&. "
.ti -1c
.RI "struct \fBserif::model::checks::MovingPlan\fP"
.br
.ti -1c
.RI "struct \fBserif::model::checks::MovingPlan::Surface\fP"
.br
.ti -1c
.RI "struct \fBserif::model::checks::FixedPlan\fP"
.br
.ti -1c
.RI "struct \fBserif::model::checks::Bound< PlanT >\fP"
.br
.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::checks\fP"
.br
.in -1c
.SS "Concepts"

.in +1c
.ti -1c
.RI "concept \fBserif::model::checks::ReadsField\fP"
.br
.RI "Check field availability and owner lifetime without instantiating a getter body\&. "
.ti -1c
.RI "concept \fBserif::model::checks::ReadsValues\fP"
.br
.RI "Packed views must remain tied to an lvalue owning state\&. "
.ti -1c
.RI "concept \fBserif::model::checks::ReadsLayout\fP"
.br
.RI "Layout references cannot survive destruction of a temporary owning state\&. "
.ti -1c
.RI "concept \fBserif::model::checks::CanEvaluate\fP"
.br
.RI "Unsupported state and prescribed-field combinations must fail during overload selection\&. "
.ti -1c
.RI "concept \fBserif::model::checks::CanPrepareLinearSystem\fP"
.br
.RI "Linear preparation needs both a selected recipe and a valid candidate binding\&. "
.in -1c
.SS "Typedefs"

.in +1c
.ti -1c
.RI "using \fBserif::model::checks::Density\fP = blocks::density::mass"
.br
.ti -1c
.RI "using \fBserif::model::checks::Rotation\fP = blocks::rotation::angular_velocity"
.br
.ti -1c
.RI "using \fBserif::model::checks::Shape\fP = blocks::surface_deformation::coefficients"
.br
.ti -1c
.RI "using \fBserif::model::checks::ShapeRow\fP = blocks::surface_deformation::shape_equilibrium"
.br
.ti -1c
.RI "using \fBserif::model::checks::Values\fP = dependencies::KeyList<\fBDensity\fP, \fBShape\fP>"
.br
.ti -1c
.RI "using \fBserif::model::checks::Rows\fP = dependencies::KeyList<\fBShapeRow\fP, \fBDensity\fP>"
.br
.ti -1c
.RI "using \fBserif::model::checks::Layout\fP = blocks::SystemLayout<\fBValues\fP, \fBRows\fP>"
.br
.ti -1c
.RI "using \fBserif::model::checks::State\fP = \fBStellarState\fP<\fBLayout\fP>"
.br
.ti -1c
.RI "using \fBserif::model::checks::EmptyInputs\fP = dependencies::DependencyContext<>"
.br
.ti -1c
.RI "template<typename Key, typename Term = Key> using \fBserif::model::checks::CoefficientSource\fP = decltype(dependencies::own<Key>(std::declval<\fBoperators::backend::mfem::CoefficientView\fP<\fBBinding\fP<Term>>>()))"
.br
.ti -1c
.RI "using \fBserif::model::checks::RotationInputs\fP = dependencies::DependencyContext<\fBCoefficientSource\fP<\fBRotation\fP>>"
.br
.ti -1c
.RI "using \fBserif::model::checks::WrongIdentity\fP = dependencies::DependencyContext<\fBCoefficientSource\fP<\fBRotation\fP, \fBDensity\fP>>"
.br
.ti -1c
.RI "using \fBserif::model::checks::WrongValue\fP = decltype(dependencies::make_dependency_context(dependencies::own<\fBRotation\fP>(1\&.0)))"
.br
.ti -1c
.RI "using \fBserif::model::checks::Overlap\fP = dependencies::DependencyContext<\fBCoefficientSource\fP<\fBDensity\fP>, \fBCoefficientSource\fP<\fBRotation\fP>>"
.br
.ti -1c
.RI "using \fBserif::model::checks::ShapeOverlap\fP = dependencies::DependencyContext<\fBCoefficientSource\fP<\fBShape\fP>, \fBCoefficientSource\fP<\fBRotation\fP>>"
.br
.ti -1c
.RI "using \fBserif::model::checks::CompleteFields\fP = dependencies::DependencyContext<\fBCoefficientSource\fP<\fBDensity\fP>, \fBCoefficientSource\fP<\fBRotation\fP>>"
.br
.ti -1c
.RI "using \fBserif::model::checks::Graph\fP"
.br
.ti -1c
.RI "using \fBserif::model::checks::MovingEvaluator\fP = execution::EquilibriumEvaluator<\fBBound\fP<\fBMovingPlan\fP>, \fBGraph\fP, \fBEmptyInputs\fP>"
.br
.ti -1c
.RI "using \fBserif::model::checks::FixedEvaluator\fP = execution::EquilibriumEvaluator<\fBBound\fP<\fBFixedPlan\fP>, \fBGraph\fP, \fBEmptyInputs\fP>"
.br
.ti -1c
.RI "using \fBserif::model::checks::PreparedGraph\fP"
.br
.ti -1c
.RI "using \fBserif::model::checks::MovingPreparedEvaluator\fP = execution::EquilibriumEvaluator<\fBBound\fP<\fBMovingPlan\fP>, \fBPreparedGraph\fP, \fBEmptyInputs\fP>"
.br
.ti -1c
.RI "using \fBserif::model::checks::FixedPreparedEvaluator\fP = execution::EquilibriumEvaluator<\fBBound\fP<\fBFixedPlan\fP>, \fBPreparedGraph\fP, \fBEmptyInputs\fP>"
.br
.ti -1c
.RI "using \fBserif::model::checks::FixedState\fP = \fBStellarState\fP<\fBFixedPlan::Layout\fP>"
.br
.ti -1c
.RI "using \fBserif::model::checks::OtherState\fP = \fBStellarState\fP<blocks::SystemLayout<dependencies::KeyList<\fBShape\fP, \fBDensity\fP>, \fBRows\fP>>"
.br
.in -1c
.SH "Author"
.PP 
Generated automatically by Doxygen for SERiF from the source code\&.