ExpressionTest.cpp File Reference

#include "storm-config.h"
#include "test/storm_gtest.h"
#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 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 29 of file ExpressionTest.cpp.

TEST() [2/9]

TEST	(	Expression	,
		FactoryMethodTest
	)

Definition at line 18 of file ExpressionTest.cpp.

TEST() [3/9]

TEST	(	Expression	,
		OperatorTest
	)

Definition at line 91 of file ExpressionTest.cpp.

TEST() [4/9]

TEST	(	Expression	,
		RationalFunctionToExpressionTest
	)

Definition at line 400 of file ExpressionTest.cpp.

TEST() [5/9]

TEST	(	Expression	,
		RationalFunctionToExpressionTest_no_params
	)

Definition at line 428 of file ExpressionTest.cpp.

TEST() [6/9]

TEST	(	Expression	,
		SimpleEvaluationTest
	)

Definition at line 341 of file ExpressionTest.cpp.

TEST() [7/9]

TEST	(	Expression	,
		SimplificationTest
	)

Definition at line 316 of file ExpressionTest.cpp.

TEST() [8/9]

TEST	(	Expression	,
		SubstitutionTest
	)

Definition at line 288 of file ExpressionTest.cpp.

TEST() [9/9]

TEST	(	Expression	,
		VisitorTest
	)

Definition at line 382 of file ExpressionTest.cpp.