26 lines
1.0 KiB
C++
26 lines
1.0 KiB
C++
|
#include <catch2/catch_test_macros.hpp>
|
||
|
|
|
||
|
|
#include "serif/discretization/domain/concepts.hpp"
|
||
|
|
#include "serif/discretization/domain/physical_domains.hpp"
|
||
|
|
#include "serif/discretization/domain/types.hpp"
|
||
|
|
|
||
|
|
#include "serif/tests/test_tags.hpp"
|
||
|
|
|
||
|
|
namespace domain = serif::discretization::domain;
|
||
|
|
|
||
|
|
TEST_CASE(
|
||
|
|
"Domain Types And Composite Domains Preserve Their Semantic Categories",
|
||
|
|
tags::unit &tags::mesh &tags::utils &tags::domain
|
||
|
|
) {
|
||
|
|
STATIC_REQUIRE(domain::IsDomain<domain::CoreDomain>);
|
||
|
|
STATIC_REQUIRE(domain::IsDomain<domain::EnvelopeDomain>);
|
||
|
|
STATIC_REQUIRE(domain::IsDomain<domain::VacuumDomain>);
|
||
|
|
STATIC_REQUIRE(domain::IsDomainSet<domain::StellarDomains>);
|
||
|
|
STATIC_REQUIRE(domain::IsDomainSet<domain::AllDomains>);
|
||
|
|
STATIC_REQUIRE_FALSE(domain::IsDomain<domain::StellarDomains>);
|
||
|
|
STATIC_REQUIRE(domain::IsDomainOrSet<domain::StellarDomains>);
|
||
|
|
STATIC_REQUIRE(domain::IsBoundary<domain::StellarSurfaceBoundary>);
|
||
|
|
STATIC_REQUIRE(domain::IsBoundary<domain::InfinitySurfaceBoundary>);
|
||
|
|
CHECK(true);
|
||
|
|
}
|