concepts.hpp File Reference

This file defines concepts for domain ID lists in the discretization framework. Specifically we define here concepts used to validate traits of a domain. More...

#include "serif/discretization/domain/ids/concepts.hpp"
#include "serif/discretization/domain/ids/validation/unique_ids.hpp"
#include "serif/utils/misc/concepts/type_uniqueness.hpp"

Include dependency graph for concepts.hpp:

This graph shows which files directly or indirectly include this file:

Namespaces
namespace	serif
namespace	serif::discretization
namespace	serif::discretization::domain
namespace	serif::discretization::domain::ids
namespace	serif::discretization::domain::ids::validation

Concepts
concept	serif::discretization::domain::ids::validation::HaveUniqueDomainIDs
	Concept to check if a pack of domain IDs have unique ID values. This is used to ensure that no two domain IDs in a list have the same ID.
concept	serif::discretization::domain::ids::validation::HaveUniqueBoundaryIDs
	Concept to check if a pack of boundary IDs have unique ID values. This is used to ensure that no two boundary IDs in a list have the same ID.
concept	serif::discretization::domain::ids::validation::HaveUniqueDomains
	Concept to check if a pack of domain IDs have unique domain types. This is used to ensure that no two domain IDs in a list refer to the same domain type.
concept	serif::discretization::domain::ids::validation::HaveUniqueBoundaries
	Concept to check if a pack of boundary IDs have unique boundary types. This is used to ensure that no two boundary IDs in a list refer to the same boundary type.
concept	serif::discretization::domain::ids::validation::AreDistinctDomainIDs
	Concept to check if a pack of domain IDs are distinct. This means that each ID is a valid domain ID, no two IDs have the same integer value, and no two IDs refer to the same domain type.
concept	serif::discretization::domain::ids::validation::AreDistinctBoundaryIDs
	Concept to check if a pack of boundary IDs are distinct. This means that each ID is a valid boundary ID, no two IDs have the same integer value, and no two IDs refer to the same boundary type.

Detailed Description

This file defines concepts for domain ID lists in the discretization framework. Specifically we define here concepts used to validate traits of a domain.

Author

Emily M. Boudreaux