traits.hpp serif/dimensions/quantities.hpp serif/dimensions/partial.hpp serif/eos/relations/concepts.hpp src/compile_time_checks/serif/eos/models/traits.cpp src/include/serif/eos/models/concepts.hpp serif/dimensions/partial.hpp serif/dimensions/quantities.hpp src/include/serif/eos/models/traits.hpp serif/eos/relations/catalog.hpp serif/eos/relations/concepts.hpp serif/eos/relations/traits.hpp serif/utils/misc/concepts/numeric.hpp serif/utils/misc/concepts/type_uniqueness.hpp serif/utils/misc/std_helper/cleaning.hpp serif/utils/misc/std_helper/variadic_cleaning.hpp serif/utils/misc/traits/type_uniqueness.hpp array compare concepts cstddef tuple type_traits src/compile_time_checks/serif/backend_independent.cpp src/compile_time_checks/serif/eos/consumers_meanfield.cpp src/compile_time_checks/serif/eos/evaluation.cpp src/compile_time_checks/serif/eos/models/traits.cpp src/compile_time_checks/serif/geometry/surface.cpp src/compile_time_checks/serif/geometry/surface_boundary.cpp src/compile_time_checks/serif/model/barotropic_density.cpp src/compile_time_checks/serif/model/density_primal.cpp src/compile_time_checks/serif/model/execution_validation.cpp src/compile_time_checks/serif/model/finite_elements.cpp src/compile_time_checks/serif/model/normalization.cpp src/compile_time_checks/serif/model/state.cpp src/compile_time_checks/serif/model/validation.cpp src/compile_time_checks/serif/operators/coordinate_identity_meanfield.cpp src/compile_time_checks/serif/operators/plan.cpp src/include/serif/backend/mfem/geometry/surface/boundary_computations.hpp src/include/serif/backend/mfem/geometry/surface/boundary_data.hpp src/include/serif/backend/mfem/geometry/surface/boundary_inputs.hpp src/include/serif/backend/mfem/geometry/surface/boundary_rows.hpp src/include/serif/backend/mfem/geometry/surface/pressure_boundary.hpp src/include/serif/backend/mfem/geometry/surface/pressure_field_block.hpp src/include/serif/backend/mfem/model/binding.hpp src/include/serif/backend/mfem/model/computations/pressure_boundary.hpp src/include/serif/backend/mfem/model/equilibrium.hpp src/include/serif/backend/mfem/model/equilibrium_evaluator.hpp src/include/serif/backend/mfem/model/failure.hpp src/include/serif/backend/mfem/model/finite_elements.hpp src/include/serif/backend/mfem/model/graph.hpp src/include/serif/backend/mfem/model/normalization/computations.hpp src/include/serif/backend/mfem/serialize/configuration.hpp src/include/serif/backend/mfem/serialize/discretization.hpp src/include/serif/backend/mfem/serialize/options.hpp src/include/serif/backend/mfem/serialize/top.hpp src/include/serif/backend/mfem/solver/admissibility/geometry.hpp src/include/serif/backend/mfem/solver/equilibrium.hpp src/include/serif/backend/mfem/solver/nonlinear/stellar_problem.hpp src/include/serif/backend/mfem/solver/seed/state.hpp src/include/serif/eos/evaluation.hpp src/include/serif/eos/models/concepts.hpp src/include/serif/eos/models/traits.hpp src/include/serif/equations/barotropic_density.hpp src/include/serif/equations/equations.hpp src/include/serif/geometry/surface/automatic.hpp src/include/serif/geometry/surface/compilation.hpp src/include/serif/geometry/surface/computations.hpp src/include/serif/geometry/surface/detail/automatic_relations.hpp src/include/serif/geometry/surface/detail/batches.hpp src/include/serif/geometry/surface/detail/evaluation.hpp src/include/serif/geometry/surface/detail/relations.hpp src/include/serif/geometry/surface/evaluation.hpp src/include/serif/geometry/surface/linearization.hpp src/include/serif/geometry/surface/samples.hpp src/include/serif/geometry/surface/surface.hpp src/include/serif/model/detail/surface_plan.hpp src/include/serif/model/equilibrium_plan.hpp src/include/serif/model/execution_validation.hpp src/include/serif/model/finite_elements.hpp src/include/serif/model/model.hpp src/include/serif/model/normalization/plan.hpp src/include/serif/solver/continuation/equilibrium.hpp src/include/serif/solver/equilibrium.hpp src/include/serif/solver/seed/state.hpp src/include/serif/solver/solver.hpp src/include/serif/utils/serialize/equations.hpp src/include/serif/utils/serialize/model.hpp src/include/serif/utils/serialize/numerics.hpp src/include/serif/utils/serialize/serialize.hpp src/include/serif/utils/serialize/solver.hpp src/lib/serif/backend/mfem/model/finite_elements.cpp src/lib/serif/backend/mfem/serialize/top.cpp serif::eos::models::ImplementsRelation_t serif::eos::models::ImplementsRelationCatalog_t serif::eos::models::ImplementsRelationCatalog_t< EOS, relations::RelationCatalog< Relations... > > serif::eos::models::IsEquationOfStateModel_t serif::eos::models::IsEquationOfStateModel_t< EOSCandidate, std::void_t< typename std::remove_cvref_t< EOSCandidate >::Relations > > serif::eos::models::ImplementsPartialDerivative_t serif::eos::models::ImplementsSecondPartialDerivative_t serif serif::eos serif::eos::models File containing the traits for the eos module. These traits are used to determine if a type is an equation of state model and if it supports a given relation or partial derivative. Emily M. Boudreaux #pragmaonce #include"serif/dimensions/quantities.hpp" #include"serif/dimensions/partial.hpp" #include"serif/eos/relations/concepts.hpp" namespaceserif::eos::models{ template<typenameEOS,typenameRelationT> structImplementsRelation_t:std::false_type{}; template<typenameEOS,typenameOutput,typename...Inputs>\ structImplementsRelation_t<EOS,relations::Relation<Output,Inputs...>>: std::bool_constant< requires(conststd::remove_cvref_t<EOS>&eos,dimensions::QuantityValue<Inputs>...inputValues){ { eos.evaluate(relations::Relation<Output,Inputs...>{},inputValues...) }->std::same_as<dimensions::QuantityValue<Output>>;}>{};//ReadthisasarequirementthatwhenevaluatingthetemplatesEOSwiththegivenrelationandinputsthereturnedvalueisofthecorrectoutputtype. template<typenameEOS,typenameCatalog> structImplementsRelationCatalog_t:std::false_type{}; template<typenameEOS,typename...Relations> structImplementsRelationCatalog_t<EOS,relations::RelationCatalog<Relations...>>: std::bool_constant< (ImplementsRelation_t<EOS,Relations>::value&&...)>{};//FoldoverallrelationsinacatalogandensuretheEOSimplementsallofthem. template<typenameEOSCandidate,typename=void> structIsEquationOfStateModel_t:std::false_type{}; template<typenameEOSCandidate> structIsEquationOfStateModel_t<EOSCandidate,std::void_t<typenamestd::remove_cvref_t<EOSCandidate>::Relations>>: std::bool_constant< relations::ValidRelationCatalog<typenamestd::remove_cvref_t<EOSCandidate>::Relations>&&//Firstensuretherelationcatalogisitselfvalid ImplementsRelationCatalog_t<//ThenensurethattheEOSCandidateimplementsallrelationsinthecatalog std::remove_cvref_t<EOSCandidate>, typenamestd::remove_cvref_t<EOSCandidate>::Relations>::value>{}; template<typenameEOS,typenameRelationT,typenameInputQuantity> structImplementsPartialDerivative_t:std::false_type{}; template<typenameEOS,typenameOutput,typename...Inputs,typenameInputQuantity> structImplementsPartialDerivative_t<EOS,relations::Relation<Output,Inputs...>,InputQuantity>: std::bool_constant< (std::same_as<InputQuantity,Inputs>||...)&& requires(conststd::remove_cvref_t<EOS>&eos,dimensions::QuantityValue<Inputs>...inputValues){ {eos.partial_derivative(relations::Relation<Output,Inputs...>{},dimensions::WithRespectTo<InputQuantity>{},inputValues...)}->std::same_as<dimensions::PartialDerivative<Output,InputQuantity>>; }>{}; template<typenameEOSCandidate> inlineconstexprboolis_equation_of_state_model_v=IsEquationOfStateModel_t<std::remove_cvref_t<EOSCandidate>>::value; template<typenameEOS,typenameRelationT,typenameFirstInput,typenameSecondInput> structImplementsSecondPartialDerivative_t:std::false_type{}; template<typenameEOS,typenameOutput,typename...Inputs,typenameFirstInput,typenameSecondInput> structImplementsSecondPartialDerivative_t<EOS,relations::Relation<Output,Inputs...>,FirstInput,SecondInput>: std::bool_constant< (std::same_as<FirstInput,Inputs>||...)&&(std::same_as<SecondInput,Inputs>||...)&& requires(conststd::remove_cvref_t<EOS>&eos,dimensions::QuantityValue<Inputs>...inputs){ {eos.second_partial_derivative(relations::Relation<Output,Inputs...>{}, dimensions::WithRespectTo<FirstInput>{},dimensions::WithRespectTo<SecondInput>{},inputs...)} ->std::same_as<dimensions::SecondPartialDerivative<Output,FirstInput,SecondInput>>; }>{}; template<typenameEOS,typenameRelationT> inlineconstexprboolsupports_relation_v=is_equation_of_state_model_v<EOS>&&ImplementsRelation_t<std::remove_cvref_t<EOS>,std::remove_cvref_t<RelationT>>::value; template<typenameEOS,typenameRelationT,typenameInputQuantity> inlineconstexprboolsupports_partial_derivative_v=is_equation_of_state_model_v<EOS>&&ImplementsPartialDerivative_t<std::remove_cvref_t<EOS>,std::remove_cvref_t<RelationT>,InputQuantity>::value; }