SERiF v0.0.1a
Stellar Evolution and Rotation in Four Dimensions
Loading...
Searching...
No Matches
serif::geometry::surface::detail::EligibleSurfaceRow Concept Reference

Strong boundary enforcement requires an actual solved, scalar H1 equation row. More...

#include <automatic.hpp>

Concept definition

template<typename Field, typename Rows, typename SolvedTerms, typename PreferredField>
concept serif::geometry::surface::detail::EligibleSurfaceRow = discretization::blocks::SpatialTerm<Field> && discretization::blocks::HasResidualBlock<Field> &&
utils::dependencies::ContainsKey<Field, Rows> && utils::dependencies::ContainsKey<Field, SolvedTerms> &&
(std::same_as<PreferredField, void> || std::same_as<PreferredField, Field>)
serif::discretization::blocks::HasResidualBlock
Concept for term types that have a residual block associated with them. To have a residual block a ty...
Definition concepts.hpp:70
serif::discretization::blocks::SpatialTerm
Concept for term types that are spatial terms. A spatial term is a term that has a functional space (...
Definition concepts.hpp:80
serif::geometry::surface::detail::EligibleSurfaceRow
Strong boundary enforcement requires an actual solved, scalar H1 equation row.
Definition automatic.hpp:15
serif::utils::dependencies::ContainsKey
Test exact key membership, rejecting malformed and duplicate-key lists.
Definition key_list_operations.hpp:10

Detailed Description

Strong boundary enforcement requires an actual solved, scalar H1 equation row.