Loading...
Searching...
No Matches
PolynomialToExpressionTest.cpp File Reference
#include "storm-config.h"#include "test/storm_gtest.h"#include <cstdint>#include <memory>#include <string>#include <utility>#include <vector>#include "storm/adapters/RationalFunctionAdapter.h"#include "storm/storage/expressions/ExpressionEvaluator.h"#include "storm/storage/expressions/ExpressionManager.h"#include "storm/storage/expressions/PolynomialToExpression.h"
Include dependency graph for PolynomialToExpressionTest.cpp:
Go to the source code of this file.
Functions | |
| TEST (PolynomialToExpressionTest, ConvertsPowers) | |
| TEST (PolynomialToExpressionTest, ConvertsMixedVariableProducts) | |
| TEST (PolynomialToExpressionTest, ConvertsNonUnitRationalCoefficients) | |
| TEST (PolynomialToExpressionTest, ConvertsZeroAndConstants) | |
| TEST (PolynomialToExpressionTest, ConvertsNegativeCoefficients) | |
| TEST (PolynomialToExpressionTest, ConvertsTermsIndependentlyOfTheirOrder) | |
| TEST (PolynomialToExpressionTest, DeclaresTheVariablesItNeeds) | |
| TEST (PolynomialToExpressionTest, DoesNotDeclareUnusedVariables) | |
| TEST (PolynomialToExpressionTest, ReusesPreviouslyDeclaredVariables) | |
| TEST (PolynomialToExpressionTest, ConvertsAPolynomialWithoutVariablesToAConstant) | |
Function Documentation
◆ TEST() [1/10]
| TEST | ( | PolynomialToExpressionTest | , |
| ConvertsAPolynomialWithoutVariablesToAConstant | ) |
Definition at line 236 of file PolynomialToExpressionTest.cpp.
◆ TEST() [2/10]
| TEST | ( | PolynomialToExpressionTest | , |
| ConvertsMixedVariableProducts | ) |
Definition at line 143 of file PolynomialToExpressionTest.cpp.
◆ TEST() [3/10]
| TEST | ( | PolynomialToExpressionTest | , |
| ConvertsNegativeCoefficients | ) |
Definition at line 180 of file PolynomialToExpressionTest.cpp.
◆ TEST() [4/10]
| TEST | ( | PolynomialToExpressionTest | , |
| ConvertsNonUnitRationalCoefficients | ) |
Definition at line 152 of file PolynomialToExpressionTest.cpp.
◆ TEST() [5/10]
| TEST | ( | PolynomialToExpressionTest | , |
| ConvertsPowers | ) |
Definition at line 132 of file PolynomialToExpressionTest.cpp.
◆ TEST() [6/10]
| TEST | ( | PolynomialToExpressionTest | , |
| ConvertsTermsIndependentlyOfTheirOrder | ) |
Definition at line 190 of file PolynomialToExpressionTest.cpp.
◆ TEST() [7/10]
| TEST | ( | PolynomialToExpressionTest | , |
| ConvertsZeroAndConstants | ) |
Definition at line 163 of file PolynomialToExpressionTest.cpp.
◆ TEST() [8/10]
| TEST | ( | PolynomialToExpressionTest | , |
| DeclaresTheVariablesItNeeds | ) |
Definition at line 196 of file PolynomialToExpressionTest.cpp.
◆ TEST() [9/10]
| TEST | ( | PolynomialToExpressionTest | , |
| DoesNotDeclareUnusedVariables | ) |
Definition at line 211 of file PolynomialToExpressionTest.cpp.
◆ TEST() [10/10]
| TEST | ( | PolynomialToExpressionTest | , |
| ReusesPreviouslyDeclaredVariables | ) |
Definition at line 222 of file PolynomialToExpressionTest.cpp.
