state_search_framework_test.cc File Reference

#include <cstdint>
#include <memory>
#include <stdexcept>
#include <string>
#include <gtest/gtest.h>
#include <ah-errors.H>
#include <State_Search.H>
#include <State_Search_IDA_Star.H>

Include dependency graph for state_search_framework_test.cc:

Go to the source code of this file.

Functions
	TEST (StateSearchFramework, CommonTypesAndCollectorConstruct)
	TEST (StateSearchFramework, ArtificialTreeStopsAtFirstSolutionWithExpectedCounts)
	TEST (StateSearchFramework, ArtificialTreeEnumeratesAllSolutions)
	TEST (StateSearchFramework, ArtificialTreeRespectsDepthLimit)
	TEST (StateSearchFramework, NQueensEnumeratesExpectedSolutions)
	TEST (StateSearchFramework, NQueensDepthLimitPreventsSolutions)
	TEST (StateSearchFramework, SubsetSumEnumeratesExpectedSolutionsAndPrunes)
	TEST (StateSearchFramework, SubsetSumMaxSolutionsLimitStopsEnumeration)
	TEST (StateSearchFramework, IDAStarFindsOptimalSolution)
	TEST (StateSearchFramework, IDAStarRespectsDepthLimit)
	TEST (StateSearchFramework, IDAStarCallbackStopsAfterFirstGoal)
	TEST (StateSearchFramework, IDAStarApplyExceptionDoesNotCallUndo)
	TEST (StateSearchFramework, IDAStarPostApplyExceptionCallsUndo)
	TEST (StateSearchFramework, MaxDepthZeroVisitsRootButNeverExpands)
	TEST (StateSearchFramework, MaxExpansionsOneExpandsOnlyRoot)
	TEST (StateSearchFramework, RootStateIsGoalFindsImmediateSolution)
	TEST (StateSearchFramework, RootGoalFoundEvenWithMaxDepthZero)
	TEST (StateSearchFramework, CyclicGraphWithVisitedSetFindsSolution)
	TEST (StateSearchFramework, MultiPathDepthAwareVisitedPrunesLongerPath)
	TEST (StateSearchFramework, IDAStarMaxDepthZeroDoesNotExpand)
	TEST (StateSearchFramework, IDAStarRootIsGoalFindsImmediateSolution)
	TEST (StateSearchFramework, IDAStarZeroCostEdgesFindsGoal)
	TEST (StateSearchFramework, NQueensN0EmptyBoardHasOneEmptySolution)
	TEST (StateSearchFramework, NQueensN1TrivialSingleSolution)
	TEST (StateSearchFramework, NQueensN8FindsAll92Solutions)
	TEST (StateSearchFramework, SearchStorageSetBasicOps)
	TEST (StateSearchFramework, IDAStarNoPathToGoalExhausts)
	TEST (StateSearchFramework, IDAStarInadmissibleHeuristicStillFindsGoal)

Function Documentation

TEST() [1/28]

TEST	(	StateSearchFramework	,
		ArtificialTreeEnumeratesAllSolutions
	)

Definition at line 688 of file state_search_framework_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), engine, and Aleph::ExplorationPolicy::stop_at_first_solution.

TEST() [2/28]

TEST	(	StateSearchFramework	,
		ArtificialTreeRespectsDepthLimit
	)

Definition at line 718 of file state_search_framework_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), engine, Aleph::SearchLimits::max_depth, and Aleph::ExplorationPolicy::stop_at_first_solution.

TEST() [3/28]

TEST	(	StateSearchFramework	,
		ArtificialTreeStopsAtFirstSolutionWithExpectedCounts
	)

Definition at line 669 of file state_search_framework_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), and engine.

TEST() [4/28]

TEST	(	StateSearchFramework	,
		CommonTypesAndCollectorConstruct
	)

Definition at line 631 of file state_search_framework_test.cc.

References Aleph::Array< T >::append(), Aleph::blossom_maximum_cardinality_matching(), Aleph::BestSolution< Solution, Compare >::consider(), Aleph::BestSolution< Solution, Compare >::get(), Aleph::BestSolution< Solution, Compare >::has_value(), Aleph::SearchLimits::max_depth, Aleph::SearchStats::pruned_by_domain, Aleph::Search_Unlimited, Aleph::Array< T >::size(), Aleph::ExplorationPolicy::stop_at_first_solution, Aleph::ExplorationPolicy::strategy, Aleph::SearchStats::terminal_states, and Aleph::SearchStats::visited_states.

TEST() [5/28]

TEST	(	StateSearchFramework	,
		CyclicGraphWithVisitedSetFindsSolution
	)

Definition at line 1096 of file state_search_framework_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), and engine.

TEST() [6/28]

TEST	(	StateSearchFramework	,
		IDAStarApplyExceptionDoesNotCallUndo
	)

Definition at line 883 of file state_search_framework_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), and engine.

TEST() [7/28]

TEST	(	StateSearchFramework	,
		IDAStarCallbackStopsAfterFirstGoal
	)

Definition at line 862 of file state_search_framework_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), engine, and Aleph::ExplorationPolicy::stop_at_first_solution.

TEST() [8/28]

TEST	(	StateSearchFramework	,
		IDAStarFindsOptimalSolution
	)

Definition at line 832 of file state_search_framework_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), and engine.

TEST() [9/28]

TEST	(	StateSearchFramework	,
		IDAStarInadmissibleHeuristicStillFindsGoal
	)

Definition at line 1593 of file state_search_framework_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), and engine.

TEST() [10/28]

TEST	(	StateSearchFramework	,
		IDAStarMaxDepthZeroDoesNotExpand
	)

Definition at line 1203 of file state_search_framework_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), engine, Aleph::SearchLimits::max_depth, and Aleph::IDA_Star_State_Search< Domain >::search().

TEST() [11/28]

TEST	(	StateSearchFramework	,
		IDAStarNoPathToGoalExhausts
	)

Definition at line 1579 of file state_search_framework_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), and engine.

TEST() [12/28]

TEST	(	StateSearchFramework	,
		IDAStarPostApplyExceptionCallsUndo
	)

Definition at line 893 of file state_search_framework_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), and engine.

TEST() [13/28]

TEST	(	StateSearchFramework	,
		IDAStarRespectsDepthLimit
	)

Definition at line 848 of file state_search_framework_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), engine, Aleph::SearchLimits::max_depth, and Aleph::IDA_Star_State_Search< Domain >::search().

TEST() [14/28]

TEST	(	StateSearchFramework	,
		IDAStarRootIsGoalFindsImmediateSolution
	)

Definition at line 1284 of file state_search_framework_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), and engine.

TEST() [15/28]

TEST	(	StateSearchFramework	,
		IDAStarZeroCostEdgesFindsGoal
	)

Definition at line 1363 of file state_search_framework_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), and engine.

TEST() [16/28]

TEST	(	StateSearchFramework	,
		MaxDepthZeroVisitsRootButNeverExpands
	)

Definition at line 909 of file state_search_framework_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), engine, Aleph::SearchLimits::max_depth, and Aleph::ExplorationPolicy::stop_at_first_solution.

TEST() [17/28]

TEST	(	StateSearchFramework	,
		MaxExpansionsOneExpandsOnlyRoot
	)

Definition at line 931 of file state_search_framework_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), engine, Aleph::SearchLimits::max_expansions, and Aleph::ExplorationPolicy::stop_at_first_solution.

TEST() [18/28]

TEST	(	StateSearchFramework	,
		MultiPathDepthAwareVisitedPrunesLongerPath
	)

Definition at line 1185 of file state_search_framework_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), engine, and Aleph::ExplorationPolicy::stop_at_first_solution.

TEST() [19/28]

TEST	(	StateSearchFramework	,
		NQueensDepthLimitPreventsSolutions
	)

Definition at line 768 of file state_search_framework_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), engine, Aleph::SearchLimits::max_depth, and Aleph::ExplorationPolicy::stop_at_first_solution.

TEST() [20/28]

TEST	(	StateSearchFramework	,
		NQueensEnumeratesExpectedSolutions
	)

Definition at line 740 of file state_search_framework_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), engine, and Aleph::ExplorationPolicy::stop_at_first_solution.

TEST() [21/28]

TEST	(	StateSearchFramework	,
		NQueensN0EmptyBoardHasOneEmptySolution
	)

Definition at line 1376 of file state_search_framework_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), engine, and Aleph::ExplorationPolicy::stop_at_first_solution.

TEST() [22/28]

TEST	(	StateSearchFramework	,
		NQueensN1TrivialSingleSolution
	)

Definition at line 1395 of file state_search_framework_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), engine, and Aleph::ExplorationPolicy::stop_at_first_solution.

TEST() [23/28]

TEST	(	StateSearchFramework	,
		NQueensN8FindsAll92Solutions
	)

Definition at line 1414 of file state_search_framework_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), engine, and Aleph::ExplorationPolicy::stop_at_first_solution.

TEST() [24/28]

TEST	(	StateSearchFramework	,
		RootGoalFoundEvenWithMaxDepthZero
	)

Definition at line 1012 of file state_search_framework_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), engine, Aleph::SearchLimits::max_depth, and Aleph::Depth_First_Backtracking< Domain >::search().

TEST() [25/28]

TEST	(	StateSearchFramework	,
		RootStateIsGoalFindsImmediateSolution
	)

Definition at line 994 of file state_search_framework_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), and engine.

TEST() [26/28]

TEST	(	StateSearchFramework	,
		SearchStorageSetBasicOps
	)

Definition at line 1432 of file state_search_framework_test.cc.

References Aleph::blossom_maximum_cardinality_matching().

TEST() [27/28]

TEST	(	StateSearchFramework	,
		SubsetSumEnumeratesExpectedSolutionsAndPrunes
	)

Definition at line 785 of file state_search_framework_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), engine, and Aleph::ExplorationPolicy::stop_at_first_solution.

TEST() [28/28]

TEST	(	StateSearchFramework	,
		SubsetSumMaxSolutionsLimitStopsEnumeration
	)

Definition at line 813 of file state_search_framework_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), engine, Aleph::SearchLimits::max_solutions, and Aleph::ExplorationPolicy::stop_at_first_solution.