SERiF v0.0.1a
Stellar Evolution and Rotation in Four Dimensions
Loading...
Searching...
No Matches
serif::eos::relations::CatalogContainingRelation Concept Reference

A concept used to constrain a type to a catalog that contains a given relation. More...

#include <concepts.hpp>

Concept definition

template<typename Catalog, typename RelationT>
concept serif::eos::relations::CatalogContainingRelation = relation_catalog_contains_relation_v<Catalog, RelationT>
serif::eos::relations::CatalogContainingRelation
A concept used to constrain a type to a catalog that contains a given relation.
Definition concepts.hpp:18
serif::eos::relations::relation_catalog_contains_relation_v
constexpr bool relation_catalog_contains_relation_v
A trait to determine if a catalog contains a given relation. This is a helper variable template that ...
Definition traits.hpp:96

Detailed Description

A concept used to constrain a type to a catalog that contains a given relation.