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 405 of file ExpressionTest.cpp.

TEST() [5/9]

TEST	(	Expression	,
		RationalFunctionToExpressionTest_no_params
	)

Definition at line 433 of file ExpressionTest.cpp.

TEST() [6/9]

TEST	(	Expression	,
		SimpleEvaluationTest
	)

Definition at line 346 of file ExpressionTest.cpp.

TEST() [7/9]

TEST	(	Expression	,
		SimplificationTest
	)

Definition at line 321 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 387 of file ExpressionTest.cpp.