#include "storm-config.h"#include "test/storm_gtest.h"#include "storm-parsers/parser/FormulaParser.h"#include "storm/adapters/RationalNumberAdapter.h"#include "storm/automata/DeterministicAutomaton.h"#include "storm/exceptions/ExpressionEvaluationException.h"#include "storm/exceptions/WrongFormatException.h"#include "storm/logic/FragmentSpecification.h"#include "storm/storage/expressions/ExpressionManager.h"
Go to the source code of this file.
Functions | |
| TEST (FormulaParserTest, LabelTest) | |
| TEST (FormulaParserTest, ComplexLabelTest) | |
| TEST (FormulaParserTest, ExpressionTest) | |
| TEST (FormulaParserTest, ExpressionTest2) | |
| TEST (FormulaParserTest, ExpressionTest3) | |
| TEST (FormulaParserTest, LabelAndExpressionTest) | |
| TEST (FormulaParserTest, ProbabilityOperatorTest) | |
| TEST (FormulaParserTest, ProbabilityOperatorTest2) | |
| TEST (FormulaParserTest, UntilOperatorTest) | |
| TEST (FormulaParserTest, RewardOperatorTest) | |
| TEST (FormulaParserTest, ConditionalProbabilityTest) | |
| TEST (FormulaParserTest, NestedPathFormulaTest) | |
| TEST (FormulaParserTest, DiscountedFormulaTest) | |
| TEST (FormulaParserTest, CommentTest) | |
| TEST (FormulaParserTest, WrongFormatTest) | |
| TEST (FormulaParserTest, MultiObjectiveFormulaTest) | |
| TEST (FormulaParserTest, LogicalPrecedenceTest) | |
| TEST (FormulaParserTest, TemporalPrecedenceTest) | |
| TEST (FormulaParserTest, TemporalNegationTest) | |
| TEST (FormulaParserTest, ComplexPathFormulaTest) | |
| TEST (FormulaParserTest, HOAPathFormulaTest) | |
Function Documentation
◆ TEST() [1/21]
| TEST | ( | FormulaParserTest | , |
| CommentTest | |||
| ) |
Definition at line 246 of file FormulaParserTest.cpp.
◆ TEST() [2/21]
| TEST | ( | FormulaParserTest | , |
| ComplexLabelTest | |||
| ) |
Definition at line 22 of file FormulaParserTest.cpp.
◆ TEST() [3/21]
| TEST | ( | FormulaParserTest | , |
| ComplexPathFormulaTest | |||
| ) |
Definition at line 451 of file FormulaParserTest.cpp.
◆ TEST() [4/21]
| TEST | ( | FormulaParserTest | , |
| ConditionalProbabilityTest | |||
| ) |
Definition at line 178 of file FormulaParserTest.cpp.
◆ TEST() [5/21]
| TEST | ( | FormulaParserTest | , |
| DiscountedFormulaTest | |||
| ) |
Definition at line 202 of file FormulaParserTest.cpp.
◆ TEST() [6/21]
| TEST | ( | FormulaParserTest | , |
| ExpressionTest | |||
| ) |
Definition at line 33 of file FormulaParserTest.cpp.
◆ TEST() [7/21]
| TEST | ( | FormulaParserTest | , |
| ExpressionTest2 | |||
| ) |
Definition at line 48 of file FormulaParserTest.cpp.
◆ TEST() [8/21]
| TEST | ( | FormulaParserTest | , |
| ExpressionTest3 | |||
| ) |
Definition at line 61 of file FormulaParserTest.cpp.
◆ TEST() [9/21]
| TEST | ( | FormulaParserTest | , |
| HOAPathFormulaTest | |||
| ) |
Definition at line 477 of file FormulaParserTest.cpp.
◆ TEST() [10/21]
| TEST | ( | FormulaParserTest | , |
| LabelAndExpressionTest | |||
| ) |
Definition at line 70 of file FormulaParserTest.cpp.
◆ TEST() [11/21]
| TEST | ( | FormulaParserTest | , |
| LabelTest | |||
| ) |
Definition at line 12 of file FormulaParserTest.cpp.
◆ TEST() [12/21]
| TEST | ( | FormulaParserTest | , |
| LogicalPrecedenceTest | |||
| ) |
Definition at line 330 of file FormulaParserTest.cpp.
◆ TEST() [13/21]
| TEST | ( | FormulaParserTest | , |
| MultiObjectiveFormulaTest | |||
| ) |
Definition at line 291 of file FormulaParserTest.cpp.
◆ TEST() [14/21]
| TEST | ( | FormulaParserTest | , |
| NestedPathFormulaTest | |||
| ) |
Definition at line 190 of file FormulaParserTest.cpp.
◆ TEST() [15/21]
| TEST | ( | FormulaParserTest | , |
| ProbabilityOperatorTest | |||
| ) |
Definition at line 88 of file FormulaParserTest.cpp.
◆ TEST() [16/21]
| TEST | ( | FormulaParserTest | , |
| ProbabilityOperatorTest2 | |||
| ) |
Definition at line 100 of file FormulaParserTest.cpp.
◆ TEST() [17/21]
| TEST | ( | FormulaParserTest | , |
| RewardOperatorTest | |||
| ) |
Definition at line 158 of file FormulaParserTest.cpp.
◆ TEST() [18/21]
| TEST | ( | FormulaParserTest | , |
| TemporalNegationTest | |||
| ) |
Definition at line 425 of file FormulaParserTest.cpp.
◆ TEST() [19/21]
| TEST | ( | FormulaParserTest | , |
| TemporalPrecedenceTest | |||
| ) |
Definition at line 394 of file FormulaParserTest.cpp.
◆ TEST() [20/21]
| TEST | ( | FormulaParserTest | , |
| UntilOperatorTest | |||
| ) |
Definition at line 113 of file FormulaParserTest.cpp.
◆ TEST() [21/21]
| TEST | ( | FormulaParserTest | , |
| WrongFormatTest | |||
| ) |
Definition at line 259 of file FormulaParserTest.cpp.
