tpl_ca_concepts_test.cc File Reference

Compile-time and runtime checks for Aleph::CA Phase 0 concepts. More...

#include <array>
#include <cstdint>
#include <gtest/gtest.h>
#include <ca-traits.H>
#include <tpl_ca_concepts.H>

Include dependency graph for tpl_ca_concepts_test.cc:

Go to the source code of this file.

Functions
	TEST (CACellularAutomataConcepts, MockLatticeReadWrite)
	TEST (CACellularAutomataConcepts, MockNeighborhoodInterface)
	TEST (CACellularAutomataConcepts, IdentityRuleProducesSameState)
	TEST (CACellularAutomataConcepts, BoundaryTagsAreEmpty)

Detailed Description

Compile-time and runtime checks for Aleph::CA Phase 0 concepts.

Phase 0 only ships the concept scaffolding. These tests validate that:

1. Common cell-state types satisfy CellState.
2. Coord_Vec<N> satisfies Coord<C, N>.
3. A minimal mock lattice satisfies LatticeLike.
4. A minimal mock neighborhood satisfies NeighborhoodLike.
5. A minimal rule satisfies RuleLike<R, L>.

Definition in file tpl_ca_concepts_test.cc.

Function Documentation

TEST() [1/4]

TEST	(	CACellularAutomataConcepts	,
		BoundaryTagsAreEmpty
	)

Definition at line 175 of file tpl_ca_concepts_test.cc.

References Aleph::blossom_maximum_cardinality_matching().

TEST() [2/4]

TEST	(	CACellularAutomataConcepts	,
		IdentityRuleProducesSameState
	)

Definition at line 167 of file tpl_ca_concepts_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), and r.

TEST() [3/4]

TEST	(	CACellularAutomataConcepts	,
		MockLatticeReadWrite
	)

Definition at line 145 of file tpl_ca_concepts_test.cc.

References Aleph::extents< IndexType, Exts >::extents(), and Aleph::blossom_maximum_cardinality_matching().

TEST() [4/4]

TEST	(	CACellularAutomataConcepts	,
		MockNeighborhoodInterface
	)

Definition at line 160 of file tpl_ca_concepts_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), and h.