Storm 1.11.1.1
A Modern Probabilistic Model Checker
|
#include "storm-config.h"
#include "storm-parsers/parser/FormulaParser.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"
#include "test/storm_gtest.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) | |
TEST | ( | FormulaParserTest | , |
CommentTest | |||
) |
Definition at line 244 of file FormulaParserTest.cpp.
TEST | ( | FormulaParserTest | , |
ComplexLabelTest | |||
) |
Definition at line 20 of file FormulaParserTest.cpp.
TEST | ( | FormulaParserTest | , |
ComplexPathFormulaTest | |||
) |
Definition at line 437 of file FormulaParserTest.cpp.
TEST | ( | FormulaParserTest | , |
ConditionalProbabilityTest | |||
) |
Definition at line 176 of file FormulaParserTest.cpp.
TEST | ( | FormulaParserTest | , |
DiscountedFormulaTest | |||
) |
Definition at line 200 of file FormulaParserTest.cpp.
TEST | ( | FormulaParserTest | , |
ExpressionTest | |||
) |
Definition at line 31 of file FormulaParserTest.cpp.
TEST | ( | FormulaParserTest | , |
ExpressionTest2 | |||
) |
Definition at line 46 of file FormulaParserTest.cpp.
TEST | ( | FormulaParserTest | , |
ExpressionTest3 | |||
) |
Definition at line 59 of file FormulaParserTest.cpp.
TEST | ( | FormulaParserTest | , |
HOAPathFormulaTest | |||
) |
Definition at line 463 of file FormulaParserTest.cpp.
TEST | ( | FormulaParserTest | , |
LabelAndExpressionTest | |||
) |
Definition at line 68 of file FormulaParserTest.cpp.
TEST | ( | FormulaParserTest | , |
LabelTest | |||
) |
Definition at line 10 of file FormulaParserTest.cpp.
TEST | ( | FormulaParserTest | , |
LogicalPrecedenceTest | |||
) |
Definition at line 316 of file FormulaParserTest.cpp.
TEST | ( | FormulaParserTest | , |
MultiObjectiveFormulaTest | |||
) |
Definition at line 289 of file FormulaParserTest.cpp.
TEST | ( | FormulaParserTest | , |
NestedPathFormulaTest | |||
) |
Definition at line 188 of file FormulaParserTest.cpp.
TEST | ( | FormulaParserTest | , |
ProbabilityOperatorTest | |||
) |
Definition at line 86 of file FormulaParserTest.cpp.
TEST | ( | FormulaParserTest | , |
ProbabilityOperatorTest2 | |||
) |
Definition at line 98 of file FormulaParserTest.cpp.
TEST | ( | FormulaParserTest | , |
RewardOperatorTest | |||
) |
Definition at line 156 of file FormulaParserTest.cpp.
TEST | ( | FormulaParserTest | , |
TemporalNegationTest | |||
) |
Definition at line 411 of file FormulaParserTest.cpp.
TEST | ( | FormulaParserTest | , |
TemporalPrecedenceTest | |||
) |
Definition at line 380 of file FormulaParserTest.cpp.
TEST | ( | FormulaParserTest | , |
UntilOperatorTest | |||
) |
Definition at line 111 of file FormulaParserTest.cpp.
TEST | ( | FormulaParserTest | , |
WrongFormatTest | |||
) |
Definition at line 257 of file FormulaParserTest.cpp.