ExpressionTest.cpp File Reference

#include <map>
#include <string>
#include "storm-parsers/parser/ValueParser.h"
#include "storm/adapters/RationalFunctionAdapter.h"
#include "storm/exceptions/InvalidTypeException.h"
#include "storm/storage/expressions/Expression.h"
#include "storm/storage/expressions/ExpressionEvaluator.h"
#include "storm/storage/expressions/ExpressionManager.h"
#include "storm/storage/expressions/LinearityCheckVisitor.h"
#include "storm/storage/expressions/RationalFunctionToExpression.h"
#include "storm/storage/expressions/SimpleValuation.h"
#include "storm/storage/expressions/ToRationalFunctionVisitor.h"
#include "test/storm_gtest.h"

Include dependency graph for ExpressionTest.cpp:

Go to the source code of this file.

Functions
	TEST (Expression, FactoryMethodTest)
	TEST (Expression, AccessorTest)
	TEST (Expression, OperatorTest)
	TEST (Expression, SubstitutionTest)
	TEST (Expression, SimplificationTest)
	TEST (Expression, SimpleEvaluationTest)
	TEST (Expression, VisitorTest)
	TEST (Expression, RationalFunctionToExpressionTest)
	TEST (Expression, RationalFunctionToExpressionTest_no_params)

Function Documentation

TEST() [1/9]

TEST	(	Expression	,
		AccessorTest
	)

Definition at line 27 of file ExpressionTest.cpp.

TEST() [2/9]

TEST	(	Expression	,
		FactoryMethodTest
	)

Definition at line 16 of file ExpressionTest.cpp.

TEST() [3/9]

TEST	(	Expression	,
		OperatorTest
	)

Definition at line 89 of file ExpressionTest.cpp.

TEST() [4/9]

TEST	(	Expression	,
		RationalFunctionToExpressionTest
	)

Definition at line 398 of file ExpressionTest.cpp.

TEST() [5/9]

TEST	(	Expression	,
		RationalFunctionToExpressionTest_no_params
	)

Definition at line 426 of file ExpressionTest.cpp.

TEST() [6/9]

TEST	(	Expression	,
		SimpleEvaluationTest
	)

Definition at line 339 of file ExpressionTest.cpp.

TEST() [7/9]

TEST	(	Expression	,
		SimplificationTest
	)

Definition at line 314 of file ExpressionTest.cpp.

TEST() [8/9]

TEST	(	Expression	,
		SubstitutionTest
	)

Definition at line 286 of file ExpressionTest.cpp.

TEST() [9/9]

TEST	(	Expression	,
		VisitorTest
	)

Definition at line 380 of file ExpressionTest.cpp.