A specialization of the IsValidRelationCatalog trait for a RelationCatalog. This trait is used to determine if a RelationCatalog is a valid relation catalog. A relation catalog is considered valid if it contains at least one relation, if all of its relations are valid thermodynamic relations, and if all of its relations are unique types. More...

#include <traits.hpp>

Inheritance diagram for serif::eos::relations::IsValidRelationCatalog< RelationCatalog< Relations... > >:

[legend]

Collaboration diagram for serif::eos::relations::IsValidRelationCatalog< RelationCatalog< Relations... > >:

[legend]

Detailed Description

template<typename... Relations>
struct serif::eos::relations::IsValidRelationCatalog< RelationCatalog< Relations... > >

A specialization of the IsValidRelationCatalog trait for a RelationCatalog. This trait is used to determine if a RelationCatalog is a valid relation catalog. A relation catalog is considered valid if it contains at least one relation, if all of its relations are valid thermodynamic relations, and if all of its relations are unique types.

Template Parameters

Relations The relation types that make up the catalog.

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

src/include/serif/eos/relations/traits.hpp