#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/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, 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 16 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 53 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 33 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 80 of file QualitativeAnalysisTest.cpp.

◆ TEST_F() [1/8]

TEST_F	(	QualitativeAnalysis	,
		GraphAlgorithm_Maze	)

Definition at line 116 of file QualitativeAnalysisTest.cpp.

◆ TEST_F() [2/8]

TEST_F	(	QualitativeAnalysis	,
		GraphAlgorithm_Simple	)

Definition at line 111 of file QualitativeAnalysisTest.cpp.

◆ TEST_F() [3/8]

TEST_F	(	QualitativeAnalysis	,
		Iterative_Maze	)

Definition at line 145 of file QualitativeAnalysisTest.cpp.

◆ TEST_F() [4/8]

TEST_F	(	QualitativeAnalysis	,
		Iterative_Simple	)

Definition at line 137 of file QualitativeAnalysisTest.cpp.

◆ TEST_F() [5/8]

TEST_F	(	QualitativeAnalysis	,
		OneShot_Simple	)

Definition at line 123 of file QualitativeAnalysisTest.cpp.

◆ TEST_F() [6/8]

TEST_F	(	QualitativeAnalysis	,
		OneShots_Maze	)

Definition at line 128 of file QualitativeAnalysisTest.cpp.

◆ TEST_F() [7/8]

TEST_F	(	QualitativeAnalysis	,
		SymbolicBelSup_Maze	)

Definition at line 169 of file QualitativeAnalysisTest.cpp.

◆ TEST_F() [8/8]

TEST_F	(	QualitativeAnalysis	,
		SymbolicBelSup_Simple	)

Definition at line 157 of file QualitativeAnalysisTest.cpp.

Classes

Functions