#include <ExpressionSubstitutionVisitor.h>

Inheritance diagram for storm::logic::ExpressionSubstitutionVisitor:

[legend]

Collaboration diagram for storm::logic::ExpressionSubstitutionVisitor:

[legend]

Public Member Functions
	ExpressionSubstitutionVisitor ()=default

std::shared_ptr< Formula >	substitute (Formula const &f, std::function< storm::expressions::Expression(storm::expressions::Expression const &)> const &substitutionFunction) const

virtual boost::any	visit (TimeOperatorFormula 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 (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 (BoundedUntilFormula 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 (InstantaneousRewardFormula const &f, boost::any const &data) const override

virtual boost::any	visit (AtomicExpressionFormula const &f, boost::any const &data) const override

Public Member Functions inherited from storm::logic::CloneVisitor
std::shared_ptr< Formula >	clone (Formula const &f) const

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 (ConditionalFormula 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 (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 (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 (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 (HOAPathFormula const &f, boost::any const &data) const override

Public Member Functions inherited from storm::logic::FormulaVisitor
virtual	~FormulaVisitor ()=default

Detailed Description

Definition at line 14 of file ExpressionSubstitutionVisitor.h.

Constructor & Destructor Documentation

◆ ExpressionSubstitutionVisitor()

storm::logic::ExpressionSubstitutionVisitor::ExpressionSubstitutionVisitor ( )

default

Member Function Documentation

◆ substitute()

std::shared_ptr< Formula > storm::logic::ExpressionSubstitutionVisitor::substitute	(	Formula const &	f,
		std::function< storm::expressions::Expression(storm::expressions::Expression const &)> const &	substitutionFunction
	)		const