SparseStateRewardParserTest.cpp File Reference

#include "storm-config.h"
#include "test/storm_gtest.h"
#include <cmath>
#include "storm-parsers/parser/SparseStateRewardParser.h"
#include "storm/exceptions/FileIoException.h"
#include "storm/exceptions/OutOfRangeException.h"
#include "storm/exceptions/WrongFormatException.h"

Include dependency graph for SparseStateRewardParserTest.cpp:

Go to the source code of this file.

Functions
	TEST (SparseStateRewardParserTest, NonExistingFile)
double	round (double val, int precision)
	TEST (SparseStateRewardParserTest, BasicParsing)
	TEST (SparseStateRewardParserTest, Whitespaces)
	TEST (SparseStateRewardParserTest, DoubledLines)
	TEST (SparseStateRewardParserTest, RewardForNonExistentState)

Function Documentation

round()

double round	(	double	val,
		int	precision )

Definition at line 17 of file SparseStateRewardParserTest.cpp.

TEST() [1/5]

TEST	(	SparseStateRewardParserTest	,
		BasicParsing	)

Definition at line 24 of file SparseStateRewardParserTest.cpp.

TEST() [2/5]

TEST	(	SparseStateRewardParserTest	,
		DoubledLines	)

Definition at line 46 of file SparseStateRewardParserTest.cpp.

TEST() [3/5]

TEST	(	SparseStateRewardParserTest	,
		NonExistingFile	)

Definition at line 11 of file SparseStateRewardParserTest.cpp.

TEST() [4/5]

TEST	(	SparseStateRewardParserTest	,
		RewardForNonExistentState	)

Definition at line 58 of file SparseStateRewardParserTest.cpp.

TEST() [5/5]

TEST	(	SparseStateRewardParserTest	,
		Whitespaces	)

Definition at line 35 of file SparseStateRewardParserTest.cpp.