plan.hpp File Reference

#include <concepts>
#include <type_traits>
#include "serif/dimensions/quantities.hpp"
#include "serif/discretization/blocks/base.hpp"
#include "serif/solver/normalization/metrics.hpp"
#include "serif/solver/normalization/dimensionless.hpp"
#include "serif/utils/dependencies/binding.hpp"

Include dependency graph for plan.hpp:

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

Classes
struct	serif::solver::normalization::NormalizationPrescriptionTag
struct	serif::solver::normalization::IdentityCoordinate
	Leave the declared coordinates unchanged, including their physical units. More...
struct	serif::solver::normalization::PhysicalRieszCoordinate< QuantityT, MetricKeyT >
	Measure a physical quantity with the named reference Gram diagonal. More...
struct	serif::solver::normalization::DimensionlessRieszCoordinate< QuantityT, MetricKeyT, Geometry >
	Measure coordinates using dimensionless physical fields and reference geometry. More...
struct	serif::solver::normalization::WithPointRows< VolumeMethodT, PointQuantityT, SelectionKeyT >
	Replace selected volume residual rows by point residuals with their own physical quantity. More...
struct	serif::solver::normalization::RuntimePreparedCoordinate< PrescriptionT >
	Identify the exact prescription supplying positive factors; this never claims identity scaling. More...
struct	serif::solver::normalization::NormalizationPlan< ValueRulesT, ResidualRulesT >
	Independent term-to-method and row-to-method maps; their order does not define the packed layout. More...
struct	serif::solver::normalization::detail::RuleKeys< utils::dependencies::Bindings< Rules... > >
struct	serif::solver::normalization::detail::MethodSupports< MethodT, KeyT, Kind >
struct	serif::solver::normalization::detail::MethodSupports< IdentityCoordinate, KeyT, Kind >
struct	serif::solver::normalization::detail::MethodSupports< PhysicalRieszCoordinate< QuantityT, MetricT >, KeyT, Kind >
struct	serif::solver::normalization::detail::MethodSupports< WithPointRows< PhysicalRieszCoordinate< QuantityT, MetricT >, PointQuantityT, SelectionT >, KeyT, discretization::blocks::RepresentedValueKind::residual >
struct	serif::solver::normalization::detail::MethodSupports< DimensionlessRieszCoordinate< QuantityT, MetricT, Geometry >, KeyT, Kind >
struct	serif::solver::normalization::detail::MethodSupports< WithPointRows< DimensionlessRieszCoordinate< QuantityT, MetricT, Geometry >, PointQuantityT, SelectionT >, KeyT, discretization::blocks::RepresentedValueKind::residual >
struct	serif::solver::normalization::detail::MethodSupports< RuntimePreparedCoordinate< PrescriptionT >, KeyT, Kind >
struct	serif::solver::normalization::detail::ValidRules< RulesT, Kind >
struct	serif::solver::normalization::detail::ValidRules< utils::dependencies::Bindings< Rules... >, Kind >

Namespaces
namespace	serif
namespace	serif::solver
namespace	serif::solver::normalization
namespace	serif::solver::normalization::detail

Concepts
concept	serif::solver::normalization::NormalizationPrescription
concept	serif::solver::normalization::NormalizationPlanType
concept	serif::solver::normalization::CompleteNormalizationFor

Functions
template<typename... Declared, typename... Required>
consteval bool	serif::solver::normalization::detail::exact_coordinates (utils::dependencies::KeyList< Declared... >, utils::dependencies::KeyList< Required... >)
	Compare memberships in both directions without deduplicating ownership declarations.
template<typename KeyT, typename QuantityT, discretization::blocks::RepresentedValueKind Kind>
consteval bool	serif::solver::normalization::detail::quantity_matches ()
	Check physics metadata when present; explicit low-level residual declarations remain their own authority.

Variables
template<typename Candidate>
constexpr bool	serif::solver::normalization::detail::valid_plan = false
template<typename ValuesT, typename ResidualsT>
constexpr bool	serif::solver::normalization::detail::valid_plan< NormalizationPlan< ValuesT, ResidualsT > > = ValidRules<ValuesT, discretization::blocks::RepresentedValueKind::value>::value && ValidRules<ResidualsT, discretization::blocks::RepresentedValueKind::residual>::value