ExplicitPrismModelBuilderTest.cpp File Reference

#include <storm/generator/PrismNextStateGenerator.h>
#include "storm-config.h"
#include "storm-parsers/parser/PrismParser.h"
#include "storm/builder/ExplicitModelBuilder.h"
#include "storm/exceptions/WrongFormatException.h"
#include "storm/models/sparse/MarkovAutomaton.h"
#include "storm/models/sparse/StandardRewardModel.h"
#include "storm/storage/expressions/ExpressionManager.h"
#include "test/storm_gtest.h"

Include dependency graph for ExplicitPrismModelBuilderTest.cpp:

Go to the source code of this file.

Classes
class	ExplicitPrismModelBuilderTest

Functions
	TEST_F (ExplicitPrismModelBuilderTest, Dtmc)
	TEST_F (ExplicitPrismModelBuilderTest, Ctmc)
	TEST_F (ExplicitPrismModelBuilderTest, Mdp)
	TEST_F (ExplicitPrismModelBuilderTest, Ma)
	TEST_F (ExplicitPrismModelBuilderTest, POMdp)
	TEST_F (ExplicitPrismModelBuilderTest, SMG)
	TEST_F (ExplicitPrismModelBuilderTest, FailComposition)
	TEST_F (ExplicitPrismModelBuilderTest, FailUnbounded)
	TEST_F (ExplicitPrismModelBuilderTest, ExportExplicitLookup)
bool	trivial_true_mask (storm::expressions::SimpleValuation const &, uint64_t)
bool	trivial_false_mask (storm::expressions::SimpleValuation const &, uint64_t)
bool	only_first_action_mask (storm::expressions::SimpleValuation const &, uint64_t actionIndex)
	TEST_F (ExplicitPrismModelBuilderTest, CallbackActionMask)

Function Documentation

only_first_action_mask()

bool only_first_action_mask	(	storm::expressions::SimpleValuation const &	,
		uint64_t	actionIndex
	)

Definition at line 211 of file ExplicitPrismModelBuilderTest.cpp.

TEST_F() [1/10]

TEST_F	(	ExplicitPrismModelBuilderTest	,
		CallbackActionMask
	)

Definition at line 215 of file ExplicitPrismModelBuilderTest.cpp.

TEST_F() [2/10]

TEST_F	(	ExplicitPrismModelBuilderTest	,
		Ctmc
	)

Definition at line 48 of file ExplicitPrismModelBuilderTest.cpp.

TEST_F() [3/10]

TEST_F	(	ExplicitPrismModelBuilderTest	,
		Dtmc
	)

Definition at line 20 of file ExplicitPrismModelBuilderTest.cpp.

TEST_F() [4/10]

TEST_F	(	ExplicitPrismModelBuilderTest	,
		ExportExplicitLookup
	)

Definition at line 188 of file ExplicitPrismModelBuilderTest.cpp.

TEST_F() [5/10]

TEST_F	(	ExplicitPrismModelBuilderTest	,
		FailComposition
	)

Definition at line 176 of file ExplicitPrismModelBuilderTest.cpp.

TEST_F() [6/10]

TEST_F	(	ExplicitPrismModelBuilderTest	,
		FailUnbounded
	)

Definition at line 182 of file ExplicitPrismModelBuilderTest.cpp.

TEST_F() [7/10]

TEST_F	(	ExplicitPrismModelBuilderTest	,
		Ma
	)

Definition at line 126 of file ExplicitPrismModelBuilderTest.cpp.

TEST_F() [8/10]

TEST_F	(	ExplicitPrismModelBuilderTest	,
		Mdp
	)

Definition at line 76 of file ExplicitPrismModelBuilderTest.cpp.

TEST_F() [9/10]

TEST_F	(	ExplicitPrismModelBuilderTest	,
		POMdp
	)

Definition at line 150 of file ExplicitPrismModelBuilderTest.cpp.

TEST_F() [10/10]

TEST_F	(	ExplicitPrismModelBuilderTest	,
		SMG
	)

Definition at line 167 of file ExplicitPrismModelBuilderTest.cpp.

trivial_false_mask()

bool trivial_false_mask	(	storm::expressions::SimpleValuation const &	,
		uint64_t
	)

Definition at line 207 of file ExplicitPrismModelBuilderTest.cpp.

trivial_true_mask()

bool trivial_true_mask	(	storm::expressions::SimpleValuation const &	,
		uint64_t
	)

Definition at line 203 of file ExplicitPrismModelBuilderTest.cpp.