#include <ToExpressionVisitor.h>

Inheritance diagram for storm::logic::ToExpressionVisitor:

Collaboration diagram for storm::logic::ToExpressionVisitor:

Public Member Functions
storm::expressions::Expression	toExpression (Formula const &f, storm::expressions::ExpressionManager const &manager) const
virtual boost::any	visit (AtomicExpressionFormula const &f, boost::any const &data) const override
virtual boost::any	visit (AtomicLabelFormula const &f, boost::any const &data) const override
virtual boost::any	visit (BinaryBooleanStateFormula const &f, boost::any const &data) const override
virtual boost::any	visit (BinaryBooleanPathFormula const &f, boost::any const &data) const override
virtual boost::any	visit (BooleanLiteralFormula const &f, boost::any const &data) const override
virtual boost::any	visit (BoundedUntilFormula const &f, boost::any const &data) const override
virtual boost::any	visit (ConditionalFormula const &f, boost::any const &data) const override
virtual boost::any	visit (CumulativeRewardFormula const &f, boost::any const &data) const override
virtual boost::any	visit (EventuallyFormula const &f, boost::any const &data) const override
virtual boost::any	visit (TimeOperatorFormula const &f, boost::any const &data) const override
virtual boost::any	visit (GloballyFormula const &f, boost::any const &data) const override
virtual boost::any	visit (GameFormula const &f, boost::any const &data) const override
virtual boost::any	visit (InstantaneousRewardFormula const &f, boost::any const &data) const override
virtual boost::any	visit (LongRunAverageOperatorFormula const &f, boost::any const &data) const override
virtual boost::any	visit (LongRunAverageRewardFormula const &f, boost::any const &data) const override
virtual boost::any	visit (MultiObjectiveFormula const &f, boost::any const &data) const override
virtual boost::any	visit (QuantileFormula const &f, boost::any const &data) const override
virtual boost::any	visit (NextFormula const &f, boost::any const &data) const override
virtual boost::any	visit (ProbabilityOperatorFormula const &f, boost::any const &data) const override
virtual boost::any	visit (RewardOperatorFormula const &f, boost::any const &data) const override
virtual boost::any	visit (TotalRewardFormula const &f, boost::any const &data) const override
virtual boost::any	visit (UnaryBooleanStateFormula const &f, boost::any const &data) const override
virtual boost::any	visit (UnaryBooleanPathFormula const &f, boost::any const &data) const override
virtual boost::any	visit (UntilFormula const &f, boost::any const &data) const override
virtual boost::any	visit (WeakUntilFormula const &f, boost::any const &data) const override
virtual boost::any	visit (ReleaseFormula const &f, boost::any const &data) const override
virtual boost::any	visit (HOAPathFormula const &f, boost::any const &data) const override
virtual boost::any	visit (DiscountedCumulativeRewardFormula const &f, boost::any const &data) const override
virtual boost::any	visit (DiscountedTotalRewardFormula const &f, boost::any const &data) const override
Public Member Functions inherited from storm::logic::FormulaVisitor
virtual	~FormulaVisitor ()=default

Detailed Description

Definition at line 10 of file ToExpressionVisitor.h.

Member Function Documentation

◆ toExpression()

storm::expressions::Expression storm::logic::ToExpressionVisitor::toExpression	(	Formula const &	f,
		storm::expressions::ExpressionManager const &	manager ) const

Definition at line 14 of file ToExpressionVisitor.cpp.

◆ visit() [1/29]

boost::any storm::logic::ToExpressionVisitor::visit	(	AtomicExpressionFormula const &	f,
		boost::any const &	data ) const

overridevirtual

Implements storm::logic::FormulaVisitor.

Definition at line 19 of file ToExpressionVisitor.cpp.

◆ visit() [2/29]

boost::any storm::logic::ToExpressionVisitor::visit	(	AtomicLabelFormula const &	f,
		boost::any const &	data ) const

overridevirtual

Implements storm::logic::FormulaVisitor.

Definition at line 23 of file ToExpressionVisitor.cpp.

◆ visit() [3/29]

boost::any storm::logic::ToExpressionVisitor::visit	(	BinaryBooleanPathFormula const &	f,
		boost::any const &	data ) const

overridevirtual

Implements storm::logic::FormulaVisitor.

Definition at line 40 of file ToExpressionVisitor.cpp.

◆ visit() [4/29]

boost::any storm::logic::ToExpressionVisitor::visit	(	BinaryBooleanStateFormula const &	f,
		boost::any const &	data ) const

overridevirtual

Implements storm::logic::FormulaVisitor.

Definition at line 28 of file ToExpressionVisitor.cpp.

◆ visit() [5/29]

boost::any storm::logic::ToExpressionVisitor::visit	(	BooleanLiteralFormula const &	f,
		boost::any const &	data ) const

overridevirtual

Implements storm::logic::FormulaVisitor.

Definition at line 44 of file ToExpressionVisitor.cpp.

◆ visit() [6/29]

boost::any storm::logic::ToExpressionVisitor::visit	(	BoundedUntilFormula const &	f,
		boost::any const &	data ) const

overridevirtual

Implements storm::logic::FormulaVisitor.

Definition at line 54 of file ToExpressionVisitor.cpp.

◆ visit() [7/29]

boost::any storm::logic::ToExpressionVisitor::visit	(	ConditionalFormula const &	f,
		boost::any const &	data ) const

overridevirtual

Implements storm::logic::FormulaVisitor.

Definition at line 58 of file ToExpressionVisitor.cpp.

◆ visit() [8/29]

boost::any storm::logic::ToExpressionVisitor::visit	(	CumulativeRewardFormula const &	f,
		boost::any const &	data ) const

overridevirtual

Implements storm::logic::FormulaVisitor.

Definition at line 62 of file ToExpressionVisitor.cpp.

◆ visit() [9/29]

boost::any storm::logic::ToExpressionVisitor::visit	(	DiscountedCumulativeRewardFormula const &	f,
		boost::any const &	data ) const

overridevirtual

Implements storm::logic::FormulaVisitor.

Definition at line 147 of file ToExpressionVisitor.cpp.

◆ visit() [10/29]

boost::any storm::logic::ToExpressionVisitor::visit	(	DiscountedTotalRewardFormula const &	f,
		boost::any const &	data ) const

overridevirtual

Implements storm::logic::FormulaVisitor.

Definition at line 151 of file ToExpressionVisitor.cpp.

◆ visit() [11/29]

boost::any storm::logic::ToExpressionVisitor::visit	(	EventuallyFormula const &	f,
		boost::any const &	data ) const

overridevirtual

Implements storm::logic::FormulaVisitor.

Definition at line 66 of file ToExpressionVisitor.cpp.

◆ visit() [12/29]

boost::any storm::logic::ToExpressionVisitor::visit	(	GameFormula const &	f,
		boost::any const &	data ) const

overridevirtual

Implements storm::logic::FormulaVisitor.

Definition at line 78 of file ToExpressionVisitor.cpp.

◆ visit() [13/29]

boost::any storm::logic::ToExpressionVisitor::visit	(	GloballyFormula const &	f,
		boost::any const &	data ) const

overridevirtual

Implements storm::logic::FormulaVisitor.

Definition at line 74 of file ToExpressionVisitor.cpp.

◆ visit() [14/29]

boost::any storm::logic::ToExpressionVisitor::visit	(	HOAPathFormula const &	f,
		boost::any const &	data ) const

overridevirtual

Implements storm::logic::FormulaVisitor.

Definition at line 143 of file ToExpressionVisitor.cpp.

◆ visit() [15/29]

boost::any storm::logic::ToExpressionVisitor::visit	(	InstantaneousRewardFormula const &	f,
		boost::any const &	data ) const

overridevirtual

Implements storm::logic::FormulaVisitor.

Definition at line 82 of file ToExpressionVisitor.cpp.

◆ visit() [16/29]

boost::any storm::logic::ToExpressionVisitor::visit	(	LongRunAverageOperatorFormula const &	f,
		boost::any const &	data ) const

overridevirtual

Implements storm::logic::FormulaVisitor.

Definition at line 86 of file ToExpressionVisitor.cpp.

◆ visit() [17/29]

boost::any storm::logic::ToExpressionVisitor::visit	(	LongRunAverageRewardFormula const &	f,
		boost::any const &	data ) const

overridevirtual

Implements storm::logic::FormulaVisitor.

Definition at line 90 of file ToExpressionVisitor.cpp.

◆ visit() [18/29]

boost::any storm::logic::ToExpressionVisitor::visit	(	MultiObjectiveFormula const &	f,
		boost::any const &	data ) const

overridevirtual

Implements storm::logic::FormulaVisitor.

Definition at line 94 of file ToExpressionVisitor.cpp.

◆ visit() [19/29]

boost::any storm::logic::ToExpressionVisitor::visit	(	NextFormula const &	f,
		boost::any const &	data ) const

overridevirtual

Implements storm::logic::FormulaVisitor.

Definition at line 102 of file ToExpressionVisitor.cpp.

◆ visit() [20/29]

boost::any storm::logic::ToExpressionVisitor::visit	(	ProbabilityOperatorFormula const &	f,
		boost::any const &	data ) const

overridevirtual

Implements storm::logic::FormulaVisitor.

Definition at line 106 of file ToExpressionVisitor.cpp.

◆ visit() [21/29]

boost::any storm::logic::ToExpressionVisitor::visit	(	QuantileFormula const &	f,
		boost::any const &	data ) const

overridevirtual

Implements storm::logic::FormulaVisitor.

Definition at line 98 of file ToExpressionVisitor.cpp.

◆ visit() [22/29]

boost::any storm::logic::ToExpressionVisitor::visit	(	ReleaseFormula const &	f,
		boost::any const &	data ) const

overridevirtual

Implements storm::logic::FormulaVisitor.

Definition at line 139 of file ToExpressionVisitor.cpp.

◆ visit() [23/29]

boost::any storm::logic::ToExpressionVisitor::visit	(	RewardOperatorFormula const &	f,
		boost::any const &	data ) const

overridevirtual

Implements storm::logic::FormulaVisitor.

Definition at line 110 of file ToExpressionVisitor.cpp.

◆ visit() [24/29]

boost::any storm::logic::ToExpressionVisitor::visit	(	TimeOperatorFormula const &	f,
		boost::any const &	data ) const

overridevirtual

Implements storm::logic::FormulaVisitor.

Definition at line 70 of file ToExpressionVisitor.cpp.

◆ visit() [25/29]

boost::any storm::logic::ToExpressionVisitor::visit	(	TotalRewardFormula const &	f,
		boost::any const &	data ) const

overridevirtual

Implements storm::logic::FormulaVisitor.

Definition at line 114 of file ToExpressionVisitor.cpp.

◆ visit() [26/29]

boost::any storm::logic::ToExpressionVisitor::visit	(	UnaryBooleanPathFormula const &	f,
		boost::any const &	data ) const

overridevirtual

Implements storm::logic::FormulaVisitor.

Definition at line 127 of file ToExpressionVisitor.cpp.

◆ visit() [27/29]

boost::any storm::logic::ToExpressionVisitor::visit	(	UnaryBooleanStateFormula const &	f,
		boost::any const &	data ) const

overridevirtual

Implements storm::logic::FormulaVisitor.

Definition at line 118 of file ToExpressionVisitor.cpp.

◆ visit() [28/29]

boost::any storm::logic::ToExpressionVisitor::visit	(	UntilFormula const &	f,
		boost::any const &	data ) const

overridevirtual

Implements storm::logic::FormulaVisitor.

Definition at line 131 of file ToExpressionVisitor.cpp.

◆ visit() [29/29]

boost::any storm::logic::ToExpressionVisitor::visit	(	WeakUntilFormula const &	f,
		boost::any const &	data ) const

overridevirtual

Implements storm::logic::FormulaVisitor.

Definition at line 135 of file ToExpressionVisitor.cpp.

The documentation for this class was generated from the following files:

src/storm/logic/ToExpressionVisitor.h
src/storm/logic/ToExpressionVisitor.cpp

Public Member Functions

Detailed Description

Member Function Documentation

◆ toExpression()

◆ visit() [1/29]

◆ visit() [2/29]

◆ visit() [3/29]

◆ visit() [4/29]

◆ visit() [5/29]

◆ visit() [6/29]

◆ visit() [7/29]

◆ visit() [8/29]

◆ visit() [9/29]

◆ visit() [10/29]

◆ visit() [11/29]

◆ visit() [12/29]

◆ visit() [13/29]

◆ visit() [14/29]

◆ visit() [15/29]

◆ visit() [16/29]

◆ visit() [17/29]

◆ visit() [18/29]

◆ visit() [19/29]

◆ visit() [20/29]

◆ visit() [21/29]

◆ visit() [22/29]

◆ visit() [23/29]

◆ visit() [24/29]

◆ visit() [25/29]

◆ visit() [26/29]

◆ visit() [27/29]

◆ visit() [28/29]

◆ visit() [29/29]