#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"

Include dependency graph for FormulaParserTest.cpp:

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, 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/20]

TEST	(	FormulaParserTest	,
		CommentTest
	)

Definition at line 200 of file FormulaParserTest.cpp.

◆ TEST() [2/20]

TEST	(	FormulaParserTest	,
		ComplexLabelTest
	)

Definition at line 20 of file FormulaParserTest.cpp.

◆ TEST() [3/20]

TEST	(	FormulaParserTest	,
		ComplexPathFormulaTest
	)

Definition at line 393 of file FormulaParserTest.cpp.

◆ TEST() [4/20]

TEST	(	FormulaParserTest	,
		ConditionalProbabilityTest
	)

Definition at line 176 of file FormulaParserTest.cpp.

◆ TEST() [5/20]

TEST	(	FormulaParserTest	,
		ExpressionTest
	)

Definition at line 31 of file FormulaParserTest.cpp.

◆ TEST() [6/20]

TEST	(	FormulaParserTest	,
		ExpressionTest2
	)

Definition at line 46 of file FormulaParserTest.cpp.

◆ TEST() [7/20]

TEST	(	FormulaParserTest	,
		ExpressionTest3
	)

Definition at line 59 of file FormulaParserTest.cpp.

◆ TEST() [8/20]

TEST	(	FormulaParserTest	,
		HOAPathFormulaTest
	)

Definition at line 419 of file FormulaParserTest.cpp.

◆ TEST() [9/20]

TEST	(	FormulaParserTest	,
		LabelAndExpressionTest
	)

Definition at line 68 of file FormulaParserTest.cpp.

◆ TEST() [10/20]

TEST	(	FormulaParserTest	,
		LabelTest
	)

Definition at line 10 of file FormulaParserTest.cpp.

◆ TEST() [11/20]

TEST	(	FormulaParserTest	,
		LogicalPrecedenceTest
	)

Definition at line 272 of file FormulaParserTest.cpp.

◆ TEST() [12/20]

TEST	(	FormulaParserTest	,
		MultiObjectiveFormulaTest
	)

Definition at line 245 of file FormulaParserTest.cpp.

◆ TEST() [13/20]

TEST	(	FormulaParserTest	,
		NestedPathFormulaTest
	)

Definition at line 188 of file FormulaParserTest.cpp.

◆ TEST() [14/20]

TEST	(	FormulaParserTest	,
		ProbabilityOperatorTest
	)

Definition at line 86 of file FormulaParserTest.cpp.

◆ TEST() [15/20]

TEST	(	FormulaParserTest	,
		ProbabilityOperatorTest2
	)

Definition at line 98 of file FormulaParserTest.cpp.

◆ TEST() [16/20]

TEST	(	FormulaParserTest	,
		RewardOperatorTest
	)

Definition at line 156 of file FormulaParserTest.cpp.

◆ TEST() [17/20]

TEST	(	FormulaParserTest	,
		TemporalNegationTest
	)

Definition at line 367 of file FormulaParserTest.cpp.

◆ TEST() [18/20]

TEST	(	FormulaParserTest	,
		TemporalPrecedenceTest
	)

Definition at line 336 of file FormulaParserTest.cpp.

◆ TEST() [19/20]

TEST	(	FormulaParserTest	,
		UntilOperatorTest
	)

Definition at line 111 of file FormulaParserTest.cpp.

◆ TEST() [20/20]

TEST	(	FormulaParserTest	,
		WrongFormatTest
	)

Definition at line 213 of file FormulaParserTest.cpp.

Functions