compilation.hpp File Reference

#include "serif/geometry/surface/detail/relations.hpp"
#include "serif/geometry/surface/isobaric.hpp"

Include dependency graph for compilation.hpp:

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

Classes
struct	serif::geometry::surface::detail::PressureSurfaceDescription< EOS, Bindings, RowQuantity, RelationT, ResolveCarrier >
	Common physical metadata; numerical values and preparation belong to the dependency context and cache. More...
struct	serif::geometry::surface::PressureSurfaceFormulation< EOS, Bindings, Carrier >
	The boundary residual is carrier minus the EOS value at prescribed pressure; no carrier quantity is privileged. More...
struct	serif::geometry::surface::InversePressureSurfaceFormulation< EOS, Bindings, Relation >
	A selected explicit inverse relation; choosing it requires no numerical EOS inversion. More...
struct	serif::geometry::surface::DirectPressureSurfaceFormulation< EOS, Bindings, RowQuantity, Relation >
	Enforce P_EOS(state) - P_surface = 0 without inventing an inverse EOS relation. More...
struct	serif::geometry::surface::PressureFieldSurfaceFormulation< EOS, Bindings >
	An existing pressure unknown enforces P - P_surface directly, without evaluating the EOS. More...

Namespaces
namespace	serif
namespace	serif::geometry
namespace	serif::geometry::surface
namespace	serif::geometry::surface::detail

Concepts
concept	serif::geometry::surface::PressureSurfaceCompilable
	Whether the available state selects exactly one pressure-to-carrier EOS relation.
concept	serif::geometry::surface::DirectPressureSurfaceCompilable
	A direct pressure residual requires an explicitly chosen pressure relation and an input quantity whose equation row it replaces.
concept	serif::geometry::surface::PressureSurfaceFormulationType

Typedefs
template<typename EOS, typename Bindings, typename Carrier = void>
using	serif::geometry::surface::pressure_relation_t = std::tuple_element_t<0, typename detail::MatchingPressureRelations<std::remove_cvref_t<EOS>, std::remove_cvref_t<Bindings>, Carrier, typename std::remove_cvref_t<EOS>::Relations>::Matches>

Variables
template<typename Candidate>
constexpr bool	serif::geometry::surface::detail::is_pressure_surface_formulation = false
template<typename EOS, typename Bindings, typename Carrier>
constexpr bool	serif::geometry::surface::detail::is_pressure_surface_formulation< PressureSurfaceFormulation< EOS, Bindings, Carrier > > = true
template<typename EOS, typename Bindings, typename Relation>
constexpr bool	serif::geometry::surface::detail::is_pressure_surface_formulation< InversePressureSurfaceFormulation< EOS, Bindings, Relation > > = true
template<typename EOS, typename Bindings, typename RowQuantity, typename Relation>
constexpr bool	serif::geometry::surface::detail::is_pressure_surface_formulation< DirectPressureSurfaceFormulation< EOS, Bindings, RowQuantity, Relation > > = true
template<typename EOS, typename Bindings>
constexpr bool	serif::geometry::surface::detail::is_pressure_surface_formulation< PressureFieldSurfaceFormulation< EOS, Bindings > > = true