QualitativeAnalysisTest.cpp File Reference

#include "storm-config.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 "test/storm_gtest.h"
#include "storm-pomdp/transformer/MakePOMDPCanonic.h"

Include dependency graph for QualitativeAnalysisTest.cpp:

Go to the source code of this file.

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 165 of file QualitativeAnalysisTest.cpp.

TEST_F() [8/8]

TEST_F	(	QualitativeAnalysis	,
		SymbolicBelSup_Simple
	)

Definition at line 157 of file QualitativeAnalysisTest.cpp.