execution_validation.hpp File Reference

#include "serif/model/equilibrium_plan.hpp"
#include "serif/model/validation.hpp"

Include dependency graph for execution_validation.hpp:

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

Classes
struct	serif::model::detail::CartesianCouplings< utils::dependencies::KeyList< Rows... >, utils::dependencies::KeyList< Fields... > >
struct	serif::model::detail::ExecutionSurface< Plan, typename >
struct	serif::model::detail::ExecutionSurface< Plan, std::void_t< typename Plan::Surface > >
struct	serif::model::detail::ExecutionInputs< Plan, typename >
struct	serif::model::detail::ExecutionInputs< Plan, std::void_t< typename Plan::PhysicalInputs, typename Plan::InactiveRows > >
struct	serif::model::detail::EquilibriumCouplings< Description, Surface >

Namespaces
namespace	serif
namespace	serif::model
namespace	serif::model::detail

Concepts
concept	serif::model::ExecutableEquilibriumDescription
	Recognize current equation backends without instantiating an invalid complete plan.

Typedefs
template<ExecutableEquilibriumDescription Description, typename Plan>
using	serif::model::ActualEquilibriumCouplings = typename detail::EquilibriumCouplings<Description, detail::ExecutionSurface<Plan>>::Type
	Inspect the actual derivative producers admitted by the explicitly supplied physical formulation.

Functions
template<DimensionalScalarSpecification Specification, typename Rows, typename InactiveRows, typename Actual, typename Bindings>
consteval bool	serif::model::detail::generated_physics_is_present ()
	Demand an explicitly supplied generated equation and effect before inferring closed-row zeros.
template<typename Rows, typename InactiveRows, typename Actual, typename Bindings, typename... Specifications>
consteval bool	serif::model::detail::generated_physics_are_present (utils::types::TypeList< Specifications... >)
	Check only numerical-provider admission; physical endpoint ownership is checked separately.
template<typename Rows, typename... Required>
consteval bool	serif::model::detail::equation_rows_exist (utils::dependencies::KeyList< Required... >)
	Every surface carrier must have an equation row in the selected layout.
template<typename Model, typename Description, typename Plan, typename Bindings = DefaultSpecificationBindings, typename ExplicitZeroCouplings = utils::dependencies::KeyList<>>
consteval bool	serif::model::executable_model_topology ()
	Validate a complete selected formulation without inferring solvability or selecting physics.