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-pomdp/transformer/MakePOMDPCanonic.h"
#include "storm/api/storm.h"
#include "storm/environment/solver/MinMaxSolverEnvironment.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 81 of file BeliefExplorationAPITest.cpp.

Function Documentation

TYPED_TEST() [1/14]

TYPED_TEST	(	BeliefExplorationAPITest	,
		maze2_Rmin
	)

Definition at line 214 of file BeliefExplorationAPITest.cpp.

TYPED_TEST() [2/14]

TYPED_TEST	(	BeliefExplorationAPITest	,
		maze2_slippery_Rmin
	)

Definition at line 230 of file BeliefExplorationAPITest.cpp.

TYPED_TEST() [3/14]

TYPED_TEST	(	BeliefExplorationAPITest	,
		noHeuristicValues
	)

Definition at line 304 of file BeliefExplorationAPITest.cpp.

TYPED_TEST() [4/14]

TYPED_TEST	(	BeliefExplorationAPITest	,
		refuel_Pmax
	)

Definition at line 246 of file BeliefExplorationAPITest.cpp.

TYPED_TEST() [5/14]

TYPED_TEST	(	BeliefExplorationAPITest	,
		refuel_Pmin
	)

Definition at line 263 of file BeliefExplorationAPITest.cpp.

TYPED_TEST() [6/14]

TYPED_TEST	(	BeliefExplorationAPITest	,
		simple2_Rmax
	)

Definition at line 279 of file BeliefExplorationAPITest.cpp.

TYPED_TEST() [7/14]

TYPED_TEST	(	BeliefExplorationAPITest	,
		simple_Pmax
	)

Definition at line 85 of file BeliefExplorationAPITest.cpp.

TYPED_TEST() [8/14]

TYPED_TEST	(	BeliefExplorationAPITest	,
		simple_Pmin
	)

Definition at line 101 of file BeliefExplorationAPITest.cpp.

TYPED_TEST() [9/14]

TYPED_TEST	(	BeliefExplorationAPITest	,
		simple_Rmax
	)

Definition at line 150 of file BeliefExplorationAPITest.cpp.

TYPED_TEST() [10/14]

TYPED_TEST	(	BeliefExplorationAPITest	,
		simple_Rmin
	)

Definition at line 166 of file BeliefExplorationAPITest.cpp.

TYPED_TEST() [11/14]

TYPED_TEST	(	BeliefExplorationAPITest	,
		simple_slippery_Pmax
	)

Definition at line 117 of file BeliefExplorationAPITest.cpp.

TYPED_TEST() [12/14]

TYPED_TEST	(	BeliefExplorationAPITest	,
		simple_slippery_Pmin
	)

Definition at line 133 of file BeliefExplorationAPITest.cpp.

TYPED_TEST() [13/14]

TYPED_TEST	(	BeliefExplorationAPITest	,
		simple_slippery_Rmax
	)

Definition at line 182 of file BeliefExplorationAPITest.cpp.

TYPED_TEST() [14/14]

TYPED_TEST	(	BeliefExplorationAPITest	,
		simple_slippery_Rmin
	)

Definition at line 198 of file BeliefExplorationAPITest.cpp.

TYPED_TEST_SUITE()

TYPED_TEST_SUITE	(	BeliefExplorationAPITest	,
		TestingTypes
	)