#include "storm-config.h"
#include "test/storm_gtest.h"
#include "storm-parsers/api/storm-parsers.h"
#include "storm-parsers/parser/PrismParser.h"
#include "storm-pomdp/analysis/FormulaInformation.h"
#include "storm-pomdp/analysis/IterativePolicySearch.h"
#include "storm-pomdp/analysis/JaniBeliefSupportMdpGenerator.h"
#include "storm-pomdp/analysis/OneShotPolicySearch.h"
#include "storm-pomdp/analysis/QualitativeAnalysisOnGraphs.h"
#include "storm/api/storm.h"
#include "storm/builder/ExplicitModelBuilder.h"
#include "storm/environment/Environment.h"
#include "storm/environment/solver/SolverEnvironment.h"
#include "storm/models/sparse/StandardRewardModel.h"
#include "storm/transformer/MakePOMDPCanonic.h"

Include dependency graph for QualitativeAnalysisTest.cpp:

Classes
class	QualitativeAnalysis

Functions
void	graphalgorithm_test (std::string const &path, std::string const &constants, std::string formulaString)
void	oneshot_test (std::string const &path, std::string const &constants, std::string formulaString, uint64_t lookahead)
void	iterativesearch_test (std::string const &path, std::string const &constants, std::string formulaString, bool wr)
void	symbolicbelsup_test (std::string const &path, std::string const &constants, std::string formulaString, bool wr)
	TEST_F (QualitativeAnalysis, PolicySearchUsesEnvironment)
	TEST_F (QualitativeAnalysis, GraphAlgorithm_Simple)
	TEST_F (QualitativeAnalysis, GraphAlgorithm_Maze)
	TEST_F (QualitativeAnalysis, OneShot_Simple)
	TEST_F (QualitativeAnalysis, OneShots_Maze)
	TEST_F (QualitativeAnalysis, Iterative_Simple)
	TEST_F (QualitativeAnalysis, Iterative_Maze)
	TEST_F (QualitativeAnalysis, SymbolicBelSup_Simple)
	TEST_F (QualitativeAnalysis, SymbolicBelSup_Maze)

Function Documentation

◆ graphalgorithm_test()

void graphalgorithm_test	(	std::string const &	path,
		std::string const &	constants,
		std::string	formulaString )

Definition at line 18 of file QualitativeAnalysisTest.cpp.

◆ iterativesearch_test()

void iterativesearch_test	(	std::string const &	path,
		std::string const &	constants,
		std::string	formulaString,
		bool	wr )

Definition at line 55 of file QualitativeAnalysisTest.cpp.

◆ oneshot_test()

void oneshot_test	(	std::string const &	path,
		std::string const &	constants,
		std::string	formulaString,
		uint64_t	lookahead )

Definition at line 35 of file QualitativeAnalysisTest.cpp.

◆ symbolicbelsup_test()

void symbolicbelsup_test	(	std::string const &	path,
		std::string const &	constants,
		std::string	formulaString,
		bool	wr )

Definition at line 82 of file QualitativeAnalysisTest.cpp.

◆ TEST_F() [1/9]

TEST_F	(	QualitativeAnalysis	,
		GraphAlgorithm_Maze	)

Definition at line 165 of file QualitativeAnalysisTest.cpp.

◆ TEST_F() [2/9]

TEST_F	(	QualitativeAnalysis	,
		GraphAlgorithm_Simple	)

Definition at line 160 of file QualitativeAnalysisTest.cpp.

◆ TEST_F() [3/9]

TEST_F	(	QualitativeAnalysis	,
		Iterative_Maze	)

Definition at line 194 of file QualitativeAnalysisTest.cpp.

◆ TEST_F() [4/9]

TEST_F	(	QualitativeAnalysis	,
		Iterative_Simple	)

Definition at line 186 of file QualitativeAnalysisTest.cpp.

◆ TEST_F() [5/9]

TEST_F	(	QualitativeAnalysis	,
		OneShot_Simple	)

Definition at line 172 of file QualitativeAnalysisTest.cpp.

◆ TEST_F() [6/9]

TEST_F	(	QualitativeAnalysis	,
		OneShots_Maze	)

Definition at line 177 of file QualitativeAnalysisTest.cpp.

◆ TEST_F() [7/9]

TEST_F	(	QualitativeAnalysis	,
		PolicySearchUsesEnvironment	)

Definition at line 132 of file QualitativeAnalysisTest.cpp.

◆ TEST_F() [8/9]

TEST_F	(	QualitativeAnalysis	,
		SymbolicBelSup_Maze	)

Definition at line 218 of file QualitativeAnalysisTest.cpp.

◆ TEST_F() [9/9]

TEST_F	(	QualitativeAnalysis	,
		SymbolicBelSup_Simple	)

Definition at line 206 of file QualitativeAnalysisTest.cpp.

Classes

Functions