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

Include dependency graph for ExplicitPrismModelBuilderTest.cpp:

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, Imdp)

	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 222 of file ExplicitPrismModelBuilderTest.cpp.

◆ TEST_F() [1/11]

TEST_F	(	ExplicitPrismModelBuilderTest	,
		CallbackActionMask
	)

Definition at line 226 of file ExplicitPrismModelBuilderTest.cpp.

◆ TEST_F() [2/11]

TEST_F	(	ExplicitPrismModelBuilderTest	,
		Ctmc
	)

Definition at line 49 of file ExplicitPrismModelBuilderTest.cpp.

◆ TEST_F() [3/11]

TEST_F	(	ExplicitPrismModelBuilderTest	,
		Dtmc
	)

Definition at line 21 of file ExplicitPrismModelBuilderTest.cpp.

◆ TEST_F() [4/11]

TEST_F	(	ExplicitPrismModelBuilderTest	,
		ExportExplicitLookup
	)

Definition at line 199 of file ExplicitPrismModelBuilderTest.cpp.

◆ TEST_F() [5/11]

TEST_F	(	ExplicitPrismModelBuilderTest	,
		FailComposition
	)

Definition at line 187 of file ExplicitPrismModelBuilderTest.cpp.

◆ TEST_F() [6/11]

TEST_F	(	ExplicitPrismModelBuilderTest	,
		FailUnbounded
	)

Definition at line 193 of file ExplicitPrismModelBuilderTest.cpp.

◆ TEST_F() [7/11]

TEST_F	(	ExplicitPrismModelBuilderTest	,
		Imdp
	)

Definition at line 168 of file ExplicitPrismModelBuilderTest.cpp.

◆ TEST_F() [8/11]

TEST_F	(	ExplicitPrismModelBuilderTest	,
		Ma
	)

Definition at line 127 of file ExplicitPrismModelBuilderTest.cpp.

◆ TEST_F() [9/11]

TEST_F	(	ExplicitPrismModelBuilderTest	,
		Mdp
	)

Definition at line 77 of file ExplicitPrismModelBuilderTest.cpp.

◆ TEST_F() [10/11]

TEST_F	(	ExplicitPrismModelBuilderTest	,
		POMdp
	)

Definition at line 151 of file ExplicitPrismModelBuilderTest.cpp.

◆ TEST_F() [11/11]

TEST_F	(	ExplicitPrismModelBuilderTest	,
		SMG
	)

Definition at line 178 of file ExplicitPrismModelBuilderTest.cpp.

◆ trivial_false_mask()

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

Definition at line 218 of file ExplicitPrismModelBuilderTest.cpp.

◆ trivial_true_mask()

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

Definition at line 214 of file ExplicitPrismModelBuilderTest.cpp.

Classes

Functions