serif::solver::continuation::detail::FamilyTraits< ParameterList< Selected... >, std::tuple< Laws... > > Struct Template Reference

#include <family.hpp>

Public Types
using	Derived = ParameterList<typename Laws::OutputParameter...>

Static Public Attributes
static constexpr bool	valid
static constexpr bool	complete = valid && (Contained<typename RequiredDependents<Selected>::Type, Derived>::value && ...)
template<typename Model>
static constexpr bool	owners_present
template<typename Specification>
static constexpr bool	affects

Member Typedef Documentation

Derived

template<typename... Selected, typename... Laws>

using serif::solver::continuation::detail::FamilyTraits< ParameterList< Selected... >, std::tuple< Laws... > >::Derived = ParameterList<typename Laws::OutputParameter...>

Member Data Documentation

affects

template<typename... Selected, typename... Laws>

template<typename Specification>

bool serif::solver::continuation::detail::FamilyTraits< ParameterList< Selected... >, std::tuple< Laws... > >::affects

staticconstexpr

Initial value:

= (std::same_as<Specification, typename Selected::Specification> || ...) ||
                (std::same_as<Specification, typename Laws::OutputParameter::Specification> || ...)

complete

template<typename... Selected, typename... Laws>

bool serif::solver::continuation::detail::FamilyTraits< ParameterList< Selected... >, std::tuple< Laws... > >::complete = valid && (Contained<typename RequiredDependents<Selected>::Type, Derived>::value && ...)

staticconstexpr

owners_present

template<typename... Selected, typename... Laws>

template<typename Model>

bool serif::solver::continuation::detail::FamilyTraits< ParameterList< Selected... >, std::tuple< Laws... > >::owners_present

staticconstexpr

Initial value:

= (Model::template contains_specification<typename Selected::Specification> && ...) &&
                (Model::template contains_specification<typename Laws::OutputParameter::Specification> && ...)

valid

template<typename... Selected, typename... Laws>

bool serif::solver::continuation::detail::FamilyTraits< ParameterList< Selected... >, std::tuple< Laws... > >::valid

staticconstexpr

Initial value:

= sizeof...(Selected) > 0 && utils::dependencies::IsKeyList<ParameterList<Selected...>> &&
                utils::dependencies::IsKeyList<Derived> &&
                (!utils::dependencies::ContainsKey<typename Laws::OutputParameter, ParameterList<Selected...>> && ...) &&
                (Contained<typename Laws::DependencyParameters, ParameterList<Selected...>>::value && ...)

---

The documentation for this struct was generated from the following file:

• src/include/serif/solver/continuation/family.hpp