BeliefExplorationAPITest.cpp File Reference

#include "storm-config.h"
#include "test/storm_gtest.h"
#include "storm-parsers/api/storm-parsers.h"
#include "storm-pomdp/analysis/QualitativeAnalysisOnGraphs.h"
#include "storm-pomdp/api/verification.h"
#include "storm-pomdp/transformer/GlobalPOMDPSelfLoopEliminator.h"
#include "storm-pomdp/transformer/KnownProbabilityTransformer.h"
#include "storm/api/storm.h"
#include "storm/environment/solver/MinMaxSolverEnvironment.h"
#include "storm/transformer/MakePOMDPCanonic.h"

Include dependency graph for BeliefExplorationAPITest.cpp:

Go to the source code of this file.

Classes
class	DefaultDoubleVIEnvironment
class	BeliefExplorationAPITest< TestType >
struct	BeliefExplorationAPITest< TestType >::Input

Typedefs
typedef ::testing::Types< DefaultDoubleVIEnvironment >	TestingTypes

Functions
	TYPED_TEST_SUITE (BeliefExplorationAPITest, TestingTypes,)
	TYPED_TEST (BeliefExplorationAPITest, simple_Pmax)
	TYPED_TEST (BeliefExplorationAPITest, simple_Pmin)
	TYPED_TEST (BeliefExplorationAPITest, simple_slippery_Pmax)
	TYPED_TEST (BeliefExplorationAPITest, simple_slippery_Pmin)
	TYPED_TEST (BeliefExplorationAPITest, simple_Rmax)
	TYPED_TEST (BeliefExplorationAPITest, simple_Rmin)
	TYPED_TEST (BeliefExplorationAPITest, simple_slippery_Rmax)
	TYPED_TEST (BeliefExplorationAPITest, simple_slippery_Rmin)
	TYPED_TEST (BeliefExplorationAPITest, maze2_Rmin)
	TYPED_TEST (BeliefExplorationAPITest, maze2_slippery_Rmin)
	TYPED_TEST (BeliefExplorationAPITest, refuel_Pmax)
	TYPED_TEST (BeliefExplorationAPITest, refuel_Pmin)
	TYPED_TEST (BeliefExplorationAPITest, simple2_Rmax)
	TYPED_TEST (BeliefExplorationAPITest, noHeuristicValues)

Typedef Documentation

TestingTypes

typedef ::testing::Types<DefaultDoubleVIEnvironment> TestingTypes

Definition at line 80 of file BeliefExplorationAPITest.cpp.

Function Documentation

TYPED_TEST() [1/14]

TYPED_TEST	(	BeliefExplorationAPITest	,
		maze2_Rmin	)

Definition at line 213 of file BeliefExplorationAPITest.cpp.

TYPED_TEST() [2/14]

TYPED_TEST	(	BeliefExplorationAPITest	,
		maze2_slippery_Rmin	)

Definition at line 229 of file BeliefExplorationAPITest.cpp.

TYPED_TEST() [3/14]

TYPED_TEST	(	BeliefExplorationAPITest	,
		noHeuristicValues	)

Definition at line 303 of file BeliefExplorationAPITest.cpp.

TYPED_TEST() [4/14]

TYPED_TEST	(	BeliefExplorationAPITest	,
		refuel_Pmax	)

Definition at line 245 of file BeliefExplorationAPITest.cpp.

TYPED_TEST() [5/14]

TYPED_TEST	(	BeliefExplorationAPITest	,
		refuel_Pmin	)

Definition at line 262 of file BeliefExplorationAPITest.cpp.

TYPED_TEST() [6/14]

TYPED_TEST	(	BeliefExplorationAPITest	,
		simple2_Rmax	)

Definition at line 278 of file BeliefExplorationAPITest.cpp.

TYPED_TEST() [7/14]

TYPED_TEST	(	BeliefExplorationAPITest	,
		simple_Pmax	)

Definition at line 84 of file BeliefExplorationAPITest.cpp.

TYPED_TEST() [8/14]

TYPED_TEST	(	BeliefExplorationAPITest	,
		simple_Pmin	)

Definition at line 100 of file BeliefExplorationAPITest.cpp.

TYPED_TEST() [9/14]

TYPED_TEST	(	BeliefExplorationAPITest	,
		simple_Rmax	)

Definition at line 149 of file BeliefExplorationAPITest.cpp.

TYPED_TEST() [10/14]

TYPED_TEST	(	BeliefExplorationAPITest	,
		simple_Rmin	)

Definition at line 165 of file BeliefExplorationAPITest.cpp.

TYPED_TEST() [11/14]

TYPED_TEST	(	BeliefExplorationAPITest	,
		simple_slippery_Pmax	)

Definition at line 116 of file BeliefExplorationAPITest.cpp.

TYPED_TEST() [12/14]

TYPED_TEST	(	BeliefExplorationAPITest	,
		simple_slippery_Pmin	)

Definition at line 132 of file BeliefExplorationAPITest.cpp.

TYPED_TEST() [13/14]

TYPED_TEST	(	BeliefExplorationAPITest	,
		simple_slippery_Rmax	)

Definition at line 181 of file BeliefExplorationAPITest.cpp.

TYPED_TEST() [14/14]

TYPED_TEST	(	BeliefExplorationAPITest	,
		simple_slippery_Rmin	)

Definition at line 197 of file BeliefExplorationAPITest.cpp.

TYPED_TEST_SUITE()

TYPED_TEST_SUITE	(	BeliefExplorationAPITest	,
		TestingTypes	)