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 652 of file state_search_framework_test.cc.

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

TEST() [2/28]

TEST	(	StateSearchFramework	,
		ArtificialTreeRespectsDepthLimit
	)

Definition at line 682 of file state_search_framework_test.cc.

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

TEST() [3/28]

TEST	(	StateSearchFramework	,
		ArtificialTreeStopsAtFirstSolutionWithExpectedCounts
	)

Definition at line 633 of file state_search_framework_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and engine.

TEST() [4/28]

TEST	(	StateSearchFramework	,
		CommonTypesAndCollectorConstruct
	)

Definition at line 595 of file state_search_framework_test.cc.

References Aleph::Array< T >::append(), Aleph::BestSolution< Solution, Compare >::consider(), Aleph::divide_and_conquer_partition_dp(), 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 1060 of file state_search_framework_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and engine.

TEST() [6/28]

TEST	(	StateSearchFramework	,
		IDAStarApplyExceptionDoesNotCallUndo
	)

Definition at line 847 of file state_search_framework_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and engine.

TEST() [7/28]

TEST	(	StateSearchFramework	,
		IDAStarCallbackStopsAfterFirstGoal
	)

Definition at line 826 of file state_search_framework_test.cc.

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

TEST() [8/28]

TEST	(	StateSearchFramework	,
		IDAStarFindsOptimalSolution
	)

Definition at line 796 of file state_search_framework_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and engine.

TEST() [9/28]

TEST	(	StateSearchFramework	,
		IDAStarInadmissibleHeuristicStillFindsGoal
	)

Definition at line 1557 of file state_search_framework_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and engine.

TEST() [10/28]

TEST	(	StateSearchFramework	,
		IDAStarMaxDepthZeroDoesNotExpand
	)

Definition at line 1167 of file state_search_framework_test.cc.

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

TEST() [11/28]

TEST	(	StateSearchFramework	,
		IDAStarNoPathToGoalExhausts
	)

Definition at line 1543 of file state_search_framework_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and engine.

TEST() [12/28]

TEST	(	StateSearchFramework	,
		IDAStarPostApplyExceptionCallsUndo
	)

Definition at line 857 of file state_search_framework_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and engine.

TEST() [13/28]

TEST	(	StateSearchFramework	,
		IDAStarRespectsDepthLimit
	)

Definition at line 812 of file state_search_framework_test.cc.

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

TEST() [14/28]

TEST	(	StateSearchFramework	,
		IDAStarRootIsGoalFindsImmediateSolution
	)

Definition at line 1248 of file state_search_framework_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and engine.

TEST() [15/28]

TEST	(	StateSearchFramework	,
		IDAStarZeroCostEdgesFindsGoal
	)

Definition at line 1327 of file state_search_framework_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and engine.

TEST() [16/28]

TEST	(	StateSearchFramework	,
		MaxDepthZeroVisitsRootButNeverExpands
	)

Definition at line 873 of file state_search_framework_test.cc.

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

TEST() [17/28]

TEST	(	StateSearchFramework	,
		MaxExpansionsOneExpandsOnlyRoot
	)

Definition at line 895 of file state_search_framework_test.cc.

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

TEST() [18/28]

TEST	(	StateSearchFramework	,
		MultiPathDepthAwareVisitedPrunesLongerPath
	)

Definition at line 1149 of file state_search_framework_test.cc.

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

TEST() [19/28]

TEST	(	StateSearchFramework	,
		NQueensDepthLimitPreventsSolutions
	)

Definition at line 732 of file state_search_framework_test.cc.

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

TEST() [20/28]

TEST	(	StateSearchFramework	,
		NQueensEnumeratesExpectedSolutions
	)

Definition at line 704 of file state_search_framework_test.cc.

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

TEST() [21/28]

TEST	(	StateSearchFramework	,
		NQueensN0EmptyBoardHasOneEmptySolution
	)

Definition at line 1340 of file state_search_framework_test.cc.

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

TEST() [22/28]

TEST	(	StateSearchFramework	,
		NQueensN1TrivialSingleSolution
	)

Definition at line 1359 of file state_search_framework_test.cc.

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

TEST() [23/28]

TEST	(	StateSearchFramework	,
		NQueensN8FindsAll92Solutions
	)

Definition at line 1378 of file state_search_framework_test.cc.

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

TEST() [24/28]

TEST	(	StateSearchFramework	,
		RootGoalFoundEvenWithMaxDepthZero
	)

Definition at line 976 of file state_search_framework_test.cc.

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

TEST() [25/28]

TEST	(	StateSearchFramework	,
		RootStateIsGoalFindsImmediateSolution
	)

Definition at line 958 of file state_search_framework_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and engine.

TEST() [26/28]

TEST	(	StateSearchFramework	,
		SearchStorageSetBasicOps
	)

Definition at line 1396 of file state_search_framework_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [27/28]

TEST	(	StateSearchFramework	,
		SubsetSumEnumeratesExpectedSolutionsAndPrunes
	)

Definition at line 749 of file state_search_framework_test.cc.

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

TEST() [28/28]

TEST	(	StateSearchFramework	,
		SubsetSumMaxSolutionsLimitStopsEnumeration
	)

Definition at line 777 of file state_search_framework_test.cc.

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