#include "storm-config.h"#include "test/storm_gtest.h"#include <map>#include <string>#include "storm-parsers/parser/ValueParser.h"#include "storm/adapters/JsonAdapter.h"#include "storm/adapters/RationalFunctionAdapter.h"#include "storm/exceptions/InvalidArgumentException.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/LinearCoefficientVisitor.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"
Go to the source code of this file.
Macros | |
| #define | EXPECT_REJECTED(statement) |
Functions | |
| TEST (Expression, FactoryMethodTest) | |
| TEST (Expression, AccessorTest) | |
| TEST (Expression, OperatorTest) | |
| TEST (Expression, SubstitutionTest) | |
| TEST (Expression, SumAndProductTest) | |
| TEST (Expression, SimplificationTest) | |
| TEST (Expression, SimpleEvaluationTest) | |
| TEST (Expression, VisitorTest) | |
| TEST (Expression, RationalFunctionToExpressionTest) | |
| TEST (Expression, RationalFunctionToExpressionTest_no_params) | |
| TEST (ExpressionDeathTest, SimpleValuationContainsOnlyItsSnapshotVariables) | |
| TEST (ExpressionDeathTest, SimpleValuationRejectsForeignVariables) | |
| TEST (ExpressionDeathTest, SimpleValuationRejectsVariablesItDoesNotStore) | |
| TEST (ExpressionDeathTest, SimpleValuationRejectsVariablesOfDefaultConstructedValuation) | |
| TEST (Expression, LinearCoefficientsTest) | |
Macro Definition Documentation
◆ EXPECT_REJECTED
| #define EXPECT_REJECTED | ( | statement | ) |
Definition at line 490 of file ExpressionTest.cpp.
Function Documentation
◆ TEST() [1/15]
| TEST | ( | Expression | , |
| AccessorTest | ) |
Definition at line 32 of file ExpressionTest.cpp.
◆ TEST() [2/15]
| TEST | ( | Expression | , |
| FactoryMethodTest | ) |
Definition at line 21 of file ExpressionTest.cpp.
◆ TEST() [3/15]
| TEST | ( | Expression | , |
| LinearCoefficientsTest | ) |
Definition at line 597 of file ExpressionTest.cpp.
◆ TEST() [4/15]
| TEST | ( | Expression | , |
| OperatorTest | ) |
Definition at line 94 of file ExpressionTest.cpp.
◆ TEST() [5/15]
| TEST | ( | Expression | , |
| RationalFunctionToExpressionTest | ) |
Definition at line 439 of file ExpressionTest.cpp.
◆ TEST() [6/15]
| TEST | ( | Expression | , |
| RationalFunctionToExpressionTest_no_params | ) |
Definition at line 467 of file ExpressionTest.cpp.
◆ TEST() [7/15]
| TEST | ( | Expression | , |
| SimpleEvaluationTest | ) |
Definition at line 380 of file ExpressionTest.cpp.
◆ TEST() [8/15]
| TEST | ( | Expression | , |
| SimplificationTest | ) |
Definition at line 355 of file ExpressionTest.cpp.
◆ TEST() [9/15]
| TEST | ( | Expression | , |
| SubstitutionTest | ) |
Definition at line 291 of file ExpressionTest.cpp.
◆ TEST() [10/15]
| TEST | ( | Expression | , |
| SumAndProductTest | ) |
Definition at line 319 of file ExpressionTest.cpp.
◆ TEST() [11/15]
| TEST | ( | Expression | , |
| VisitorTest | ) |
Definition at line 421 of file ExpressionTest.cpp.
◆ TEST() [12/15]
| TEST | ( | ExpressionDeathTest | , |
| SimpleValuationContainsOnlyItsSnapshotVariables | ) |
Definition at line 495 of file ExpressionTest.cpp.
◆ TEST() [13/15]
| TEST | ( | ExpressionDeathTest | , |
| SimpleValuationRejectsForeignVariables | ) |
Definition at line 554 of file ExpressionTest.cpp.
◆ TEST() [14/15]
| TEST | ( | ExpressionDeathTest | , |
| SimpleValuationRejectsVariablesItDoesNotStore | ) |
Definition at line 572 of file ExpressionTest.cpp.
◆ TEST() [15/15]
| TEST | ( | ExpressionDeathTest | , |
| SimpleValuationRejectsVariablesOfDefaultConstructedValuation | ) |
Definition at line 588 of file ExpressionTest.cpp.
