Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Public Member Functions | List of all members
storm::logic::CloneVisitor Class Reference

#include <CloneVisitor.h>

Inheritance diagram for storm::logic::CloneVisitor:
Inheritance graph
[legend]
Collaboration diagram for storm::logic::CloneVisitor:
Collaboration graph
[legend]

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
 
- Public Member Functions inherited from storm::logic::FormulaVisitor
virtual ~FormulaVisitor ()=default
 

Detailed Description

Definition at line 11 of file CloneVisitor.h.

Member Function Documentation

◆ clone()

std::shared_ptr< Formula > storm::logic::CloneVisitor::clone ( Formula const &  f) const

Definition at line 9 of file CloneVisitor.cpp.

◆ visit() [1/25]

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 14 of file CloneVisitor.cpp.

◆ visit() [2/25]

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 18 of file CloneVisitor.cpp.

◆ visit() [3/25]

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 28 of file CloneVisitor.cpp.

◆ visit() [4/25]

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

Implements storm::logic::FormulaVisitor.

Definition at line 22 of file CloneVisitor.cpp.

◆ visit() [5/25]

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

Implements storm::logic::FormulaVisitor.

Definition at line 34 of file CloneVisitor.cpp.

◆ visit() [6/25]

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 38 of file CloneVisitor.cpp.

◆ visit() [7/25]

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

Implements storm::logic::FormulaVisitor.

Definition at line 69 of file CloneVisitor.cpp.

◆ visit() [8/25]

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 75 of file CloneVisitor.cpp.

◆ visit() [9/25]

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 79 of file CloneVisitor.cpp.

◆ visit() [10/25]

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

Implements storm::logic::FormulaVisitor.

Definition at line 98 of file CloneVisitor.cpp.

◆ visit() [11/25]

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 93 of file CloneVisitor.cpp.

◆ visit() [12/25]

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

Implements storm::logic::FormulaVisitor.

Definition at line 164 of file CloneVisitor.cpp.

◆ visit() [13/25]

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 103 of file CloneVisitor.cpp.

◆ visit() [14/25]

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 107 of file CloneVisitor.cpp.

◆ visit() [15/25]

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 112 of file CloneVisitor.cpp.

◆ visit() [16/25]

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 116 of file CloneVisitor.cpp.

◆ visit() [17/25]

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 129 of file CloneVisitor.cpp.

◆ visit() [18/25]

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 134 of file CloneVisitor.cpp.

◆ visit() [19/25]

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

Implements storm::logic::FormulaVisitor.

Definition at line 124 of file CloneVisitor.cpp.

◆ visit() [20/25]

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 139 of file CloneVisitor.cpp.

◆ visit() [21/25]

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 88 of file CloneVisitor.cpp.

◆ visit() [22/25]

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 144 of file CloneVisitor.cpp.

◆ visit() [23/25]

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 153 of file CloneVisitor.cpp.

◆ visit() [24/25]

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

Implements storm::logic::FormulaVisitor.

Definition at line 148 of file CloneVisitor.cpp.

◆ visit() [25/25]

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 158 of file CloneVisitor.cpp.

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