Loading...
Searching...
No Matches
storm::logic::LabelSubstitutionVisitor Class Reference
#include <LabelSubstitutionVisitor.h>
Inheritance diagram for storm::logic::LabelSubstitutionVisitor:
Collaboration diagram for storm::logic::LabelSubstitutionVisitor:
Public Member Functions | |
| LabelSubstitutionVisitor (std::map< std::string, storm::expressions::Expression > const &labelToExpressionMapping) | |
| LabelSubstitutionVisitor (std::map< std::string, std::string > const &labelToLabelMapping) | |
| std::shared_ptr< Formula > | substitute (Formula const &f) const |
| virtual boost::any | visit (AtomicLabelFormula 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 (AtomicExpressionFormula 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 13 of file LabelSubstitutionVisitor.h.
Constructor & Destructor Documentation
◆ LabelSubstitutionVisitor() [1/2]
| storm::logic::LabelSubstitutionVisitor::LabelSubstitutionVisitor | ( | std::map< std::string, storm::expressions::Expression > const & | labelToExpressionMapping | ) |
Definition at line 9 of file LabelSubstitutionVisitor.cpp.
◆ LabelSubstitutionVisitor() [2/2]
| storm::logic::LabelSubstitutionVisitor::LabelSubstitutionVisitor | ( | std::map< std::string, std::string > const & | labelToLabelMapping | ) |
Definition at line 14 of file LabelSubstitutionVisitor.cpp.
Member Function Documentation
◆ substitute()
| std::shared_ptr< Formula > storm::logic::LabelSubstitutionVisitor::substitute | ( | Formula const & | f | ) | const |
Definition at line 19 of file LabelSubstitutionVisitor.cpp.
◆ visit()
|
overridevirtual |
Reimplemented from storm::logic::CloneVisitor.
Definition at line 24 of file LabelSubstitutionVisitor.cpp.
The documentation for this class was generated from the following files:
- src/storm/logic/LabelSubstitutionVisitor.h
- src/storm/logic/LabelSubstitutionVisitor.cpp
