SERiF v0.0.1a
Stellar Evolution and Rotation in Four Dimensions
Loading...
Searching...
No Matches
Public Types | Static Public Attributes | List of all members
serif::solver::preconditioner::detail::PrimalCoordinates< utils::dependencies::KeyList< Coordinates... >, Shape > Struct Template Reference

#include <default_preconditioners.hpp>

Public Types

using Fields = PrimalFields
 
using Scalars
 
using Border
 

Static Public Attributes

static constexpr bool supported
 
static constexpr bool has_shape = (std::same_as<Coordinates, Shape> || ...)
 

Member Typedef Documentation

◆ Border

template<typename... Coordinates, typename Shape>
using serif::solver::preconditioner::detail::PrimalCoordinates< utils::dependencies::KeyList< Coordinates... >, Shape >::Border
Initial value:
utils::dependencies::CombinedKeyList<std::conditional_t<
discretization::blocks::GlobalScalarTerm<Coordinates> || std::same_as<Coordinates, Shape>,
utils::dependencies::KeyList<Coordinates>, utils::dependencies::KeyList<>>...>
serif::discretization::blocks::GlobalScalarTerm
Concept for term types that are global scalar terms. A global scalar term is a term that has support ...
Definition concepts.hpp:89
serif::utils::dependencies::CombinedKeyList
detail::MergeKeyLists< KeyList<>, std::remove_cvref_t< Lists >... >::type CombinedKeyList
Combine requirements in first-appearance order, retaining distinct keys with shared targets.
Definition key_list_operations.hpp:25
serif::utils::dependencies::KeyList
An ordered collection of role keys, independent of their associated value types.
Definition key_list.hpp:11

◆ Fields

template<typename... Coordinates, typename Shape>
using serif::solver::preconditioner::detail::PrimalCoordinates< utils::dependencies::KeyList< Coordinates... >, Shape >::Fields = PrimalFields

◆ Scalars

template<typename... Coordinates, typename Shape>
using serif::solver::preconditioner::detail::PrimalCoordinates< utils::dependencies::KeyList< Coordinates... >, Shape >::Scalars
Initial value:
utils::dependencies::CombinedKeyList<std::conditional_t<discretization::blocks::GlobalScalarTerm<Coordinates>,
utils::dependencies::KeyList<Coordinates>, utils::dependencies::KeyList<>>...>

Member Data Documentation

◆ has_shape

template<typename... Coordinates, typename Shape>
bool serif::solver::preconditioner::detail::PrimalCoordinates< utils::dependencies::KeyList< Coordinates... >, Shape >::has_shape = (std::same_as<Coordinates, Shape> || ...)
staticconstexpr

◆ supported

template<typename... Coordinates, typename Shape>
bool serif::solver::preconditioner::detail::PrimalCoordinates< utils::dependencies::KeyList< Coordinates... >, Shape >::supported
staticconstexpr
Initial value:
=
utils::dependencies::key_count_v<utils::dependencies::CombinedKeyList<Fields, utils::dependencies::KeyList<Coordinates...>>> == sizeof...(Coordinates) &&
((utils::dependencies::ContainsKey<Coordinates, Fields> || discretization::blocks::GlobalScalarTerm<Coordinates> || std::same_as<Coordinates, Shape>) && ...)
serif::utils::dependencies::ContainsKey
Test exact key membership, rejecting malformed and duplicate-key lists.
Definition key_list_operations.hpp:10
serif::utils::dependencies::key_count_v
constexpr std::size_t key_count_v
Count distinct declared keys without constructing their associated values.
Definition key_list_operations.hpp:14
The documentation for this struct was generated from the following file: