tpl_ca_graph_automaton_test.cc File Reference

Tests for Aleph::CA::Graph_Lattice and Graph_Synchronous_Engine. More...

#include <cstdint>
#include <random>
#include <stdexcept>
#include <vector>
#include <gtest/gtest.h>
#include <ca-traits.H>
#include <tpl_ca_concepts.H>
#include <tpl_ca_graph_automaton.H>
#include <tpl_ca_rule.H>

Include dependency graph for tpl_ca_graph_automaton_test.cc:

Go to the source code of this file.

Functions
	TEST (CAGraphBuilders, PathGraphAdjacencyShape)
	TEST (CAGraphBuilders, RingGraphAdjacencyShape)
	TEST (CAGraphBuilders, GridGraphAdjacencyEdgeCount)
	TEST (CAGraphBuilders, ToroidalGridAlwaysHasFourNeighbours)
	TEST (CAGraphLattice, ConstructorRejectsOutOfRangeNeighbour)
	TEST (CAGraphLattice, AtAndSetRoundTrip)
	TEST (CAGraphLattice, AtSafeOnOutOfRangeReturnsDefault)
	TEST (CAGraphLattice, FillResetsEveryCell)
	TEST (CAGraphEngine, MajorityRulePreservesAllZero)
	TEST (CAGraphEngine, MajorityRulePreservesAllOnes)
	TEST (CAGraphEngine, MajorityFlipsIsolatedSeedBackToZero)
	TEST (CAGraphEngine, VoterModelConvergesOnConnectedNonBipartiteGraph)
	TEST (CAGraphEngine, HookFiringSemantics)
	TEST (CAGraphEngine, EquivalenceWithSequentialEngineOnGrid)

Detailed Description

Tests for Aleph::CA::Graph_Lattice and Graph_Synchronous_Engine.

Scope:

• LatticeLike conformance + degree / max_degree / neighbours.
• Constructor validates neighbour ids.
• Path graph and grid graph helpers produce expected adjacency.
• Simple totalistic rule on a path graph evolves as expected.
• Voter model on a connected ring converges to consensus with a fixed seed, in agreement with theoretical guarantees.
• Hooks fire as expected.
• Strict access throws on out-of-range ids; at_safe returns 0.

Definition in file tpl_ca_graph_automaton_test.cc.

Function Documentation

TEST() [1/14]

TEST	(	CAGraphBuilders	,
		GridGraphAdjacencyEdgeCount
	)

Definition at line 93 of file tpl_ca_graph_automaton_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::CA::make_grid_graph_adjacency(), row, and Aleph::size().

TEST() [2/14]

TEST	(	CAGraphBuilders	,
		PathGraphAdjacencyShape
	)

Definition at line 72 of file tpl_ca_graph_automaton_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), and Aleph::CA::make_path_graph_adjacency().

TEST() [3/14]

TEST	(	CAGraphBuilders	,
		RingGraphAdjacencyShape
	)

Definition at line 83 of file tpl_ca_graph_automaton_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), and Aleph::CA::make_path_graph_adjacency().

TEST() [4/14]

TEST	(	CAGraphBuilders	,
		ToroidalGridAlwaysHasFourNeighbours
	)

Definition at line 108 of file tpl_ca_graph_automaton_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::CA::make_grid_graph_adjacency(), and row.

TEST() [5/14]

TEST	(	CAGraphEngine	,
		EquivalenceWithSequentialEngineOnGrid
	)

Definition at line 305 of file tpl_ca_graph_automaton_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::CA::make_grid_graph_adjacency(), Aleph::CA::Graph_Synchronous_Engine< Lattice, Rule >::run(), seed, and Aleph::size().

TEST() [6/14]

TEST	(	CAGraphEngine	,
		HookFiringSemantics
	)

Definition at line 277 of file tpl_ca_graph_automaton_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::CA::make_path_graph_adjacency(), Aleph::CA::Graph_Synchronous_Engine< Lattice, Rule >::on_pre_step(), and seed.

TEST() [7/14]

TEST	(	CAGraphEngine	,
		MajorityFlipsIsolatedSeedBackToZero
	)

Definition at line 231 of file tpl_ca_graph_automaton_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::CA::make_path_graph_adjacency(), Aleph::CA::Graph_Synchronous_Engine< Lattice, Rule >::run(), seed, and Aleph::size().

TEST() [8/14]

TEST	(	CAGraphEngine	,
		MajorityRulePreservesAllOnes
	)

Definition at line 221 of file tpl_ca_graph_automaton_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::CA::make_grid_graph_adjacency(), Aleph::CA::Graph_Synchronous_Engine< Lattice, Rule >::run(), seed, and Aleph::size().

TEST() [9/14]

TEST	(	CAGraphEngine	,
		MajorityRulePreservesAllZero
	)

Definition at line 211 of file tpl_ca_graph_automaton_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::CA::make_grid_graph_adjacency(), Aleph::CA::Graph_Synchronous_Engine< Lattice, Rule >::run(), seed, and Aleph::size().

TEST() [10/14]

TEST	(	CAGraphEngine	,
		VoterModelConvergesOnConnectedNonBipartiteGraph
	)

Definition at line 245 of file tpl_ca_graph_automaton_test.cc.

References Aleph::Array< T >::append(), Aleph::blossom_maximum_cardinality_matching(), seed, and Aleph::size().

TEST() [11/14]

TEST	(	CAGraphLattice	,
		AtAndSetRoundTrip
	)

Definition at line 126 of file tpl_ca_graph_automaton_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), and Aleph::CA::make_path_graph_adjacency().

TEST() [12/14]

TEST	(	CAGraphLattice	,
		AtSafeOnOutOfRangeReturnsDefault
	)

Definition at line 139 of file tpl_ca_graph_automaton_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), and Aleph::CA::make_path_graph_adjacency().

TEST() [13/14]

TEST	(	CAGraphLattice	,
		ConstructorRejectsOutOfRangeNeighbour
	)

Definition at line 119 of file tpl_ca_graph_automaton_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), and Aleph::CA::Graph_Lattice< T >::size().

TEST() [14/14]

TEST	(	CAGraphLattice	,
		FillResetsEveryCell
	)

Definition at line 149 of file tpl_ca_graph_automaton_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), and Aleph::CA::make_path_graph_adjacency().