Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Public Member Functions | List of all members
storm::expressions::ExpressionVisitor Class Referenceabstract

#include <ExpressionVisitor.h>

Inheritance diagram for storm::expressions::ExpressionVisitor:
Inheritance graph
[legend]

Public Member Functions

virtual ~ExpressionVisitor ()=default
 
virtual boost::any visit (IfThenElseExpression const &expression, boost::any const &data)=0
 
virtual boost::any visit (BinaryBooleanFunctionExpression const &expression, boost::any const &data)=0
 
virtual boost::any visit (BinaryNumericalFunctionExpression const &expression, boost::any const &data)=0
 
virtual boost::any visit (BinaryRelationExpression const &expression, boost::any const &data)=0
 
virtual boost::any visit (VariableExpression const &expression, boost::any const &data)=0
 
virtual boost::any visit (UnaryBooleanFunctionExpression const &expression, boost::any const &data)=0
 
virtual boost::any visit (UnaryNumericalFunctionExpression const &expression, boost::any const &data)=0
 
virtual boost::any visit (BooleanLiteralExpression const &expression, boost::any const &data)=0
 
virtual boost::any visit (IntegerLiteralExpression const &expression, boost::any const &data)=0
 
virtual boost::any visit (RationalLiteralExpression const &expression, boost::any const &data)=0
 
virtual boost::any visit (PredicateExpression const &expression, boost::any const &data)
 

Detailed Description

Definition at line 22 of file ExpressionVisitor.h.

Constructor & Destructor Documentation

◆ ~ExpressionVisitor()

virtual storm::expressions::ExpressionVisitor::~ExpressionVisitor ( )
virtualdefault

Member Function Documentation

◆ visit() [1/11]

virtual boost::any storm::expressions::ExpressionVisitor::visit ( BinaryBooleanFunctionExpression const &  expression,
boost::any const &  data 
)
pure virtual

Implemented in storm::expressions::ChangeManagerVisitor, storm::expressions::CheckIfThenElseGuardVisitor, storm::expressions::FullPredicateSplitter, storm::expressions::LinearCoefficientVisitor, storm::expressions::LinearityCheckVisitor, storm::expressions::ReduceNestingVisitor, storm::expressions::RestrictSyntaxVisitor, storm::expressions::SubstitutionVisitor< MapType >, storm::expressions::SyntacticalEqualityCheckVisitor, storm::expressions::ToCppVisitor, storm::expressions::ToDiceStringVisitor, storm::expressions::ToExprtkStringVisitor, storm::expressions::ToRationalNumberVisitor< RationalNumberType >, storm::expressions::VariableSetPredicateSplitter, storm::expressions::JaniReduceNestingExpressionVisitor, storm::expressions::JaniSyntacticalEqualityCheckVisitor, storm::gbar::abstraction::ExpressionTranslator< DdType >, storm::jani::ExpressionToJson, storm::adapters::AddExpressionAdapter< Type, ValueType >, storm::jani::detail::ArrayReplacementsCollectorExpressionVisitor, storm::jani::detail::ArrayExpressionEliminationVisitor, storm::jani::detail::FunctionEliminationExpressionVisitor, storm::jani::detail::ArrayExpressionFinderExpressionVisitor, and storm::jani::detail::FunctionCallExpressionFinderExpressionVisitor.

◆ visit() [2/11]

virtual boost::any storm::expressions::ExpressionVisitor::visit ( BinaryNumericalFunctionExpression const &  expression,
boost::any const &  data 
)
pure virtual

Implemented in storm::expressions::ChangeManagerVisitor, storm::expressions::CheckIfThenElseGuardVisitor, storm::expressions::FullPredicateSplitter, storm::expressions::LinearCoefficientVisitor, storm::expressions::LinearityCheckVisitor, storm::expressions::ReduceNestingVisitor, storm::expressions::RestrictSyntaxVisitor, storm::expressions::SubstitutionVisitor< MapType >, storm::expressions::SyntacticalEqualityCheckVisitor, storm::expressions::ToCppVisitor, storm::expressions::ToDiceStringVisitor, storm::expressions::ToExprtkStringVisitor, storm::expressions::ToRationalNumberVisitor< RationalNumberType >, storm::expressions::VariableSetPredicateSplitter, storm::expressions::JaniReduceNestingExpressionVisitor, storm::expressions::JaniSyntacticalEqualityCheckVisitor, storm::gbar::abstraction::ExpressionTranslator< DdType >, storm::jani::ExpressionToJson, storm::adapters::AddExpressionAdapter< Type, ValueType >, storm::jani::detail::ArrayReplacementsCollectorExpressionVisitor, storm::jani::detail::ArrayExpressionEliminationVisitor, storm::jani::detail::FunctionEliminationExpressionVisitor, storm::jani::detail::ArrayExpressionFinderExpressionVisitor, and storm::jani::detail::FunctionCallExpressionFinderExpressionVisitor.

◆ visit() [3/11]

virtual boost::any storm::expressions::ExpressionVisitor::visit ( BinaryRelationExpression const &  expression,
boost::any const &  data 
)
pure virtual

Implemented in storm::expressions::ChangeManagerVisitor, storm::expressions::CheckIfThenElseGuardVisitor, storm::expressions::FullPredicateSplitter, storm::expressions::LinearCoefficientVisitor, storm::expressions::LinearityCheckVisitor, storm::expressions::ReduceNestingVisitor, storm::expressions::RestrictSyntaxVisitor, storm::expressions::SubstitutionVisitor< MapType >, storm::expressions::SyntacticalEqualityCheckVisitor, storm::expressions::ToCppVisitor, storm::expressions::ToDiceStringVisitor, storm::expressions::ToExprtkStringVisitor, storm::expressions::ToRationalNumberVisitor< RationalNumberType >, storm::expressions::VariableSetPredicateSplitter, storm::expressions::JaniReduceNestingExpressionVisitor, storm::expressions::JaniSyntacticalEqualityCheckVisitor, storm::gbar::abstraction::ExpressionTranslator< DdType >, storm::jani::ExpressionToJson, storm::adapters::AddExpressionAdapter< Type, ValueType >, storm::jani::detail::ArrayReplacementsCollectorExpressionVisitor, storm::jani::detail::ArrayExpressionEliminationVisitor, storm::jani::detail::FunctionEliminationExpressionVisitor, storm::jani::detail::ArrayExpressionFinderExpressionVisitor, and storm::jani::detail::FunctionCallExpressionFinderExpressionVisitor.

◆ visit() [4/11]

virtual boost::any storm::expressions::ExpressionVisitor::visit ( BooleanLiteralExpression const &  expression,
boost::any const &  data 
)
pure virtual

Implemented in storm::expressions::ChangeManagerVisitor, storm::expressions::CheckIfThenElseGuardVisitor, storm::expressions::FullPredicateSplitter, storm::expressions::LinearCoefficientVisitor, storm::expressions::LinearityCheckVisitor, storm::expressions::ReduceNestingVisitor, storm::expressions::RestrictSyntaxVisitor, storm::expressions::SubstitutionVisitor< MapType >, storm::expressions::SyntacticalEqualityCheckVisitor, storm::expressions::ToCppVisitor, storm::expressions::ToDiceStringVisitor, storm::expressions::ToExprtkStringVisitor, storm::expressions::ToRationalNumberVisitor< RationalNumberType >, storm::expressions::VariableSetPredicateSplitter, storm::expressions::JaniReduceNestingExpressionVisitor, storm::expressions::JaniSyntacticalEqualityCheckVisitor, storm::jani::detail::ArrayReplacementsCollectorExpressionVisitor, storm::jani::detail::ArrayExpressionFinderExpressionVisitor, storm::jani::detail::FunctionCallExpressionFinderExpressionVisitor, storm::jani::detail::ArrayExpressionEliminationVisitor, storm::jani::detail::FunctionEliminationExpressionVisitor, storm::gbar::abstraction::ExpressionTranslator< DdType >, storm::jani::ExpressionToJson, and storm::adapters::AddExpressionAdapter< Type, ValueType >.

◆ visit() [5/11]

virtual boost::any storm::expressions::ExpressionVisitor::visit ( IfThenElseExpression const &  expression,
boost::any const &  data 
)
pure virtual

Implemented in storm::expressions::ChangeManagerVisitor, storm::expressions::CheckIfThenElseGuardVisitor, storm::expressions::FullPredicateSplitter, storm::expressions::LinearCoefficientVisitor, storm::expressions::LinearityCheckVisitor, storm::expressions::ReduceNestingVisitor, storm::expressions::RestrictSyntaxVisitor, storm::expressions::SubstitutionVisitor< MapType >, storm::expressions::SyntacticalEqualityCheckVisitor, storm::expressions::ToCppVisitor, storm::expressions::ToDiceStringVisitor, storm::expressions::ToExprtkStringVisitor, storm::expressions::ToRationalNumberVisitor< RationalNumberType >, storm::expressions::VariableSetPredicateSplitter, storm::expressions::JaniReduceNestingExpressionVisitor, storm::expressions::JaniSyntacticalEqualityCheckVisitor, storm::gbar::abstraction::ExpressionTranslator< DdType >, storm::jani::ExpressionToJson, storm::adapters::AddExpressionAdapter< Type, ValueType >, storm::jani::detail::ArrayReplacementsCollectorExpressionVisitor, storm::jani::detail::ArrayExpressionEliminationVisitor, storm::jani::detail::FunctionEliminationExpressionVisitor, storm::jani::detail::ArrayExpressionFinderExpressionVisitor, and storm::jani::detail::FunctionCallExpressionFinderExpressionVisitor.

◆ visit() [6/11]

virtual boost::any storm::expressions::ExpressionVisitor::visit ( IntegerLiteralExpression const &  expression,
boost::any const &  data 
)
pure virtual

Implemented in storm::expressions::ChangeManagerVisitor, storm::expressions::CheckIfThenElseGuardVisitor, storm::expressions::FullPredicateSplitter, storm::expressions::LinearCoefficientVisitor, storm::expressions::LinearityCheckVisitor, storm::expressions::ReduceNestingVisitor, storm::expressions::RestrictSyntaxVisitor, storm::expressions::SubstitutionVisitor< MapType >, storm::expressions::SyntacticalEqualityCheckVisitor, storm::expressions::ToCppVisitor, storm::expressions::ToDiceStringVisitor, storm::expressions::ToExprtkStringVisitor, storm::expressions::ToRationalNumberVisitor< RationalNumberType >, storm::expressions::VariableSetPredicateSplitter, storm::expressions::JaniReduceNestingExpressionVisitor, storm::expressions::JaniSyntacticalEqualityCheckVisitor, storm::jani::detail::ArrayReplacementsCollectorExpressionVisitor, storm::jani::detail::ArrayExpressionFinderExpressionVisitor, storm::jani::detail::FunctionCallExpressionFinderExpressionVisitor, storm::jani::detail::ArrayExpressionEliminationVisitor, storm::jani::detail::FunctionEliminationExpressionVisitor, storm::gbar::abstraction::ExpressionTranslator< DdType >, storm::jani::ExpressionToJson, and storm::adapters::AddExpressionAdapter< Type, ValueType >.

◆ visit() [7/11]

boost::any storm::expressions::ExpressionVisitor::visit ( PredicateExpression const &  expression,
boost::any const &  data 
)
virtual

Reimplemented in storm::expressions::RestrictSyntaxVisitor, storm::expressions::SubstitutionVisitor< MapType >, and storm::expressions::ToDiceStringVisitor.

Definition at line 7 of file ExpressionVisitor.cpp.

◆ visit() [8/11]

virtual boost::any storm::expressions::ExpressionVisitor::visit ( RationalLiteralExpression const &  expression,
boost::any const &  data 
)
pure virtual

Implemented in storm::expressions::ChangeManagerVisitor, storm::expressions::CheckIfThenElseGuardVisitor, storm::expressions::FullPredicateSplitter, storm::expressions::LinearCoefficientVisitor, storm::expressions::LinearityCheckVisitor, storm::expressions::ReduceNestingVisitor, storm::expressions::RestrictSyntaxVisitor, storm::expressions::SubstitutionVisitor< MapType >, storm::expressions::SyntacticalEqualityCheckVisitor, storm::expressions::ToCppVisitor, storm::expressions::ToDiceStringVisitor, storm::expressions::ToExprtkStringVisitor, storm::expressions::ToRationalNumberVisitor< RationalNumberType >, storm::expressions::VariableSetPredicateSplitter, storm::expressions::JaniReduceNestingExpressionVisitor, storm::expressions::JaniSyntacticalEqualityCheckVisitor, storm::jani::detail::ArrayReplacementsCollectorExpressionVisitor, storm::jani::detail::ArrayExpressionFinderExpressionVisitor, storm::jani::detail::FunctionCallExpressionFinderExpressionVisitor, storm::jani::detail::ArrayExpressionEliminationVisitor, storm::jani::detail::FunctionEliminationExpressionVisitor, storm::gbar::abstraction::ExpressionTranslator< DdType >, storm::jani::ExpressionToJson, and storm::adapters::AddExpressionAdapter< Type, ValueType >.

◆ visit() [9/11]

virtual boost::any storm::expressions::ExpressionVisitor::visit ( UnaryBooleanFunctionExpression const &  expression,
boost::any const &  data 
)
pure virtual

Implemented in storm::gbar::abstraction::ExpressionTranslator< DdType >, storm::jani::ExpressionToJson, storm::adapters::AddExpressionAdapter< Type, ValueType >, storm::jani::detail::ArrayReplacementsCollectorExpressionVisitor, storm::jani::detail::ArrayExpressionEliminationVisitor, storm::jani::detail::FunctionEliminationExpressionVisitor, storm::jani::detail::ArrayExpressionFinderExpressionVisitor, storm::jani::detail::FunctionCallExpressionFinderExpressionVisitor, storm::expressions::ChangeManagerVisitor, storm::expressions::CheckIfThenElseGuardVisitor, storm::expressions::FullPredicateSplitter, storm::expressions::LinearCoefficientVisitor, storm::expressions::LinearityCheckVisitor, storm::expressions::ReduceNestingVisitor, storm::expressions::RestrictSyntaxVisitor, storm::expressions::SubstitutionVisitor< MapType >, storm::expressions::SyntacticalEqualityCheckVisitor, storm::expressions::ToCppVisitor, storm::expressions::ToDiceStringVisitor, storm::expressions::ToExprtkStringVisitor, storm::expressions::ToRationalNumberVisitor< RationalNumberType >, storm::expressions::VariableSetPredicateSplitter, storm::expressions::JaniReduceNestingExpressionVisitor, and storm::expressions::JaniSyntacticalEqualityCheckVisitor.

◆ visit() [10/11]

virtual boost::any storm::expressions::ExpressionVisitor::visit ( UnaryNumericalFunctionExpression const &  expression,
boost::any const &  data 
)
pure virtual

Implemented in storm::gbar::abstraction::ExpressionTranslator< DdType >, storm::jani::ExpressionToJson, storm::adapters::AddExpressionAdapter< Type, ValueType >, storm::jani::detail::ArrayReplacementsCollectorExpressionVisitor, storm::jani::detail::ArrayExpressionEliminationVisitor, storm::jani::detail::FunctionEliminationExpressionVisitor, storm::jani::detail::ArrayExpressionFinderExpressionVisitor, storm::jani::detail::FunctionCallExpressionFinderExpressionVisitor, storm::expressions::ChangeManagerVisitor, storm::expressions::CheckIfThenElseGuardVisitor, storm::expressions::FullPredicateSplitter, storm::expressions::LinearCoefficientVisitor, storm::expressions::LinearityCheckVisitor, storm::expressions::ReduceNestingVisitor, storm::expressions::RestrictSyntaxVisitor, storm::expressions::SubstitutionVisitor< MapType >, storm::expressions::SyntacticalEqualityCheckVisitor, storm::expressions::ToCppVisitor, storm::expressions::ToDiceStringVisitor, storm::expressions::ToExprtkStringVisitor, storm::expressions::ToRationalNumberVisitor< RationalNumberType >, storm::expressions::VariableSetPredicateSplitter, storm::expressions::JaniReduceNestingExpressionVisitor, and storm::expressions::JaniSyntacticalEqualityCheckVisitor.

◆ visit() [11/11]

virtual boost::any storm::expressions::ExpressionVisitor::visit ( VariableExpression const &  expression,
boost::any const &  data 
)
pure virtual

Implemented in storm::jani::detail::ArrayExpressionFinderExpressionVisitor, storm::jani::detail::FunctionCallExpressionFinderExpressionVisitor, storm::jani::detail::FunctionEliminationExpressionVisitor, storm::gbar::abstraction::ExpressionTranslator< DdType >, storm::jani::ExpressionToJson, storm::adapters::AddExpressionAdapter< Type, ValueType >, storm::jani::detail::ArrayReplacementsCollectorExpressionVisitor, storm::jani::detail::ArrayExpressionEliminationVisitor, storm::expressions::ChangeManagerVisitor, storm::expressions::CheckIfThenElseGuardVisitor, storm::expressions::FullPredicateSplitter, storm::expressions::LinearCoefficientVisitor, storm::expressions::LinearityCheckVisitor, storm::expressions::ReduceNestingVisitor, storm::expressions::RestrictSyntaxVisitor, storm::expressions::SubstitutionVisitor< MapType >, storm::expressions::SyntacticalEqualityCheckVisitor, storm::expressions::ToCppVisitor, storm::expressions::ToDiceStringVisitor, storm::expressions::ToExprtkStringVisitor, storm::expressions::ToRationalNumberVisitor< RationalNumberType >, storm::expressions::VariableSetPredicateSplitter, storm::expressions::JaniReduceNestingExpressionVisitor, and storm::expressions::JaniSyntacticalEqualityCheckVisitor.

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