StateValuationTest.cpp File Reference

#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 "storm/storage/sparse/StateValuationTransformer.h"

Include dependency graph for StateValuationTest.cpp:

Go to the source code of this file.

Classes
class	StateValuationTest

Functions
	TEST_F (StateValuationTest, StateValuationConstruction)
	TEST_F (StateValuationTest, StateValuationTransformation)

Function Documentation

TEST_F() [1/2]

TEST_F	(	StateValuationTest	,
		StateValuationConstruction	)

Definition at line 22 of file StateValuationTest.cpp.

TEST_F() [2/2]

TEST_F	(	StateValuationTest	,
		StateValuationTransformation	)

Definition at line 39 of file StateValuationTest.cpp.