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

#include <LabelSubstitutionVisitor.h>

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

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
 
- 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()

boost::any storm::logic::LabelSubstitutionVisitor::visit ( AtomicLabelFormula const &  f,
boost::any const &  data 
) const
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: