storm::logic::CloneVisitor Class Reference

#include <CloneVisitor.h>

Inheritance diagram for storm::logic::CloneVisitor:

Collaboration diagram for storm::logic::CloneVisitor:

Public Member Functions
std::shared_ptr< Formula >	clone (Formula const &f) 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 (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 CloneVisitor.h.

Member Function Documentation

clone()

std::shared_ptr< Formula > storm::logic::CloneVisitor::clone

(

Formula const &

f

)

const

Definition at line 10 of file CloneVisitor.cpp.

visit() [1/27]

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

overridevirtual

Implements storm::logic::FormulaVisitor.

Reimplemented in storm::logic::ExpressionSubstitutionVisitor.

Definition at line 15 of file CloneVisitor.cpp.

visit() [2/27]

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

overridevirtual

Implements storm::logic::FormulaVisitor.

Reimplemented in storm::logic::LabelSubstitutionVisitor.

Definition at line 19 of file CloneVisitor.cpp.

visit() [3/27]

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

overridevirtual

Implements storm::logic::FormulaVisitor.

Reimplemented in storm::logic::ExtractMaximalStateFormulasVisitor.

Definition at line 29 of file CloneVisitor.cpp.

visit() [4/27]

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

overridevirtual

Implements storm::logic::FormulaVisitor.

Definition at line 23 of file CloneVisitor.cpp.

visit() [5/27]

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

overridevirtual

Implements storm::logic::FormulaVisitor.

Definition at line 35 of file CloneVisitor.cpp.

visit() [6/27]

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

overridevirtual

Implements storm::logic::FormulaVisitor.

Reimplemented in storm::logic::ExpressionSubstitutionVisitor, storm::logic::ExtractMaximalStateFormulasVisitor, storm::logic::RewardAccumulationEliminationVisitor, and storm::logic::RewardModelNameSubstitutionVisitor.

Definition at line 39 of file CloneVisitor.cpp.

visit() [7/27]

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

overridevirtual

Implements storm::logic::FormulaVisitor.

Definition at line 70 of file CloneVisitor.cpp.

visit() [8/27]

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

overridevirtual

Implements storm::logic::FormulaVisitor.

Reimplemented in storm::logic::ExpressionSubstitutionVisitor, storm::logic::RewardAccumulationEliminationVisitor, and storm::logic::RewardModelNameSubstitutionVisitor.

Definition at line 76 of file CloneVisitor.cpp.

visit() [9/27]

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

overridevirtual

Implements storm::logic::FormulaVisitor.

Reimplemented in storm::logic::ExpressionSubstitutionVisitor, storm::logic::RewardAccumulationEliminationVisitor, and storm::logic::RewardModelNameSubstitutionVisitor.

Definition at line 174 of file CloneVisitor.cpp.

visit() [10/27]

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

overridevirtual

Implements storm::logic::FormulaVisitor.

Reimplemented in storm::logic::ExpressionSubstitutionVisitor, and storm::logic::RewardAccumulationEliminationVisitor.

Definition at line 178 of file CloneVisitor.cpp.

visit() [11/27]

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

overridevirtual

Implements storm::logic::FormulaVisitor.

Reimplemented in storm::logic::ExtractMaximalStateFormulasVisitor, and storm::logic::RewardAccumulationEliminationVisitor.

Definition at line 80 of file CloneVisitor.cpp.

visit() [12/27]

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

overridevirtual

Implements storm::logic::FormulaVisitor.

Definition at line 99 of file CloneVisitor.cpp.

visit() [13/27]

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

overridevirtual

Implements storm::logic::FormulaVisitor.

Reimplemented in storm::logic::ExtractMaximalStateFormulasVisitor.

Definition at line 94 of file CloneVisitor.cpp.

visit() [14/27]

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

overridevirtual

Implements storm::logic::FormulaVisitor.

Definition at line 165 of file CloneVisitor.cpp.

visit() [15/27]

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

overridevirtual

Implements storm::logic::FormulaVisitor.

Reimplemented in storm::logic::ExpressionSubstitutionVisitor.

Definition at line 104 of file CloneVisitor.cpp.

visit() [16/27]

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

overridevirtual

Implements storm::logic::FormulaVisitor.

Reimplemented in storm::logic::ExpressionSubstitutionVisitor, and storm::logic::ExtractMaximalStateFormulasVisitor.

Definition at line 108 of file CloneVisitor.cpp.

visit() [17/27]

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

overridevirtual

Implements storm::logic::FormulaVisitor.

Reimplemented in storm::logic::RewardAccumulationEliminationVisitor.

Definition at line 113 of file CloneVisitor.cpp.

visit() [18/27]

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

overridevirtual

Implements storm::logic::FormulaVisitor.

Reimplemented in storm::logic::ExtractMaximalStateFormulasVisitor.

Definition at line 117 of file CloneVisitor.cpp.

visit() [19/27]

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

overridevirtual

Implements storm::logic::FormulaVisitor.

Reimplemented in storm::logic::ExtractMaximalStateFormulasVisitor.

Definition at line 130 of file CloneVisitor.cpp.

visit() [20/27]

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

overridevirtual

Implements storm::logic::FormulaVisitor.

Reimplemented in storm::logic::ExpressionSubstitutionVisitor, and storm::logic::ExtractMaximalStateFormulasVisitor.

Definition at line 135 of file CloneVisitor.cpp.

visit() [21/27]

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

overridevirtual

Implements storm::logic::FormulaVisitor.

Definition at line 125 of file CloneVisitor.cpp.

visit() [22/27]

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

overridevirtual

Implements storm::logic::FormulaVisitor.

Reimplemented in storm::logic::ExpressionSubstitutionVisitor, storm::logic::ExtractMaximalStateFormulasVisitor, storm::logic::RewardAccumulationEliminationVisitor, and storm::logic::RewardModelNameSubstitutionVisitor.

Definition at line 140 of file CloneVisitor.cpp.

visit() [23/27]

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

overridevirtual

Implements storm::logic::FormulaVisitor.

Reimplemented in storm::logic::ExpectedTimeToExpectedRewardVisitor, storm::logic::ExpressionSubstitutionVisitor, and storm::logic::ExtractMaximalStateFormulasVisitor.

Definition at line 89 of file CloneVisitor.cpp.

visit() [24/27]

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

overridevirtual

Implements storm::logic::FormulaVisitor.

Reimplemented in storm::logic::RewardAccumulationEliminationVisitor.

Definition at line 145 of file CloneVisitor.cpp.

visit() [25/27]

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

overridevirtual

Implements storm::logic::FormulaVisitor.

Reimplemented in storm::logic::ExtractMaximalStateFormulasVisitor.

Definition at line 154 of file CloneVisitor.cpp.

visit() [26/27]

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

overridevirtual

Implements storm::logic::FormulaVisitor.

Definition at line 149 of file CloneVisitor.cpp.

visit() [27/27]

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

overridevirtual

Implements storm::logic::FormulaVisitor.

Reimplemented in storm::logic::ExtractMaximalStateFormulasVisitor.

Definition at line 159 of file CloneVisitor.cpp.

---

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

• src/storm/logic/CloneVisitor.h
• src/storm/logic/CloneVisitor.cpp