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

#include <JaniExpressionVisitor.h>

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

Public Member Functions

virtual boost::any visit (ValueArrayExpression const &expression, boost::any const &data)=0
 
virtual boost::any visit (ConstructorArrayExpression const &expression, boost::any const &data)=0
 
virtual boost::any visit (ArrayAccessExpression const &expression, boost::any const &data)=0
 
virtual boost::any visit (FunctionCallExpression const &expression, boost::any const &data)=0
 
virtual boost::any visit (TranscendentalNumberLiteralExpression const &expression, boost::any const &data)=0
 

Detailed Description

Definition at line 8 of file JaniExpressionVisitor.h.

Member Function Documentation

◆ visit() [1/5]

virtual boost::any storm::expressions::JaniExpressionVisitor::visit ( ArrayAccessExpression const &  expression,
boost::any const &  data 
)
pure virtual

Implemented in storm::expressions::JaniExpressionSubstitutionVisitor< MapType >, storm::expressions::JaniReduceNestingExpressionVisitor, storm::expressions::JaniSyntacticalEqualityCheckVisitor, storm::jani::detail::ArrayExpressionFinderExpressionVisitor, storm::jani::ExpressionToJson, storm::jani::detail::ArrayReplacementsCollectorExpressionVisitor, storm::jani::detail::ArrayExpressionEliminationVisitor, storm::jani::detail::FunctionEliminationExpressionVisitor, and storm::jani::detail::FunctionCallExpressionFinderExpressionVisitor.

◆ visit() [2/5]

virtual boost::any storm::expressions::JaniExpressionVisitor::visit ( ConstructorArrayExpression const &  expression,
boost::any const &  data 
)
pure virtual

Implemented in storm::expressions::JaniExpressionSubstitutionVisitor< MapType >, storm::expressions::JaniReduceNestingExpressionVisitor, storm::expressions::JaniSyntacticalEqualityCheckVisitor, storm::jani::detail::ArrayExpressionFinderExpressionVisitor, storm::jani::ExpressionToJson, storm::jani::detail::ArrayReplacementsCollectorExpressionVisitor, storm::jani::detail::ArrayExpressionEliminationVisitor, storm::jani::detail::FunctionEliminationExpressionVisitor, and storm::jani::detail::FunctionCallExpressionFinderExpressionVisitor.

◆ visit() [3/5]

virtual boost::any storm::expressions::JaniExpressionVisitor::visit ( FunctionCallExpression const &  expression,
boost::any const &  data 
)
pure virtual

Implemented in storm::expressions::JaniExpressionSubstitutionVisitor< MapType >, storm::expressions::JaniReduceNestingExpressionVisitor, storm::expressions::JaniSyntacticalEqualityCheckVisitor, storm::jani::detail::ArrayReplacementsCollectorExpressionVisitor, storm::jani::detail::ArrayExpressionEliminationVisitor, storm::jani::ExpressionToJson, storm::jani::detail::FunctionEliminationExpressionVisitor, storm::jani::detail::ArrayExpressionFinderExpressionVisitor, and storm::jani::detail::FunctionCallExpressionFinderExpressionVisitor.

◆ visit() [4/5]

virtual boost::any storm::expressions::JaniExpressionVisitor::visit ( TranscendentalNumberLiteralExpression const &  expression,
boost::any const &  data 
)
pure virtual

Implemented in storm::jani::detail::ArrayReplacementsCollectorExpressionVisitor, storm::jani::detail::ArrayExpressionFinderExpressionVisitor, storm::jani::detail::FunctionCallExpressionFinderExpressionVisitor, storm::jani::detail::ArrayExpressionEliminationVisitor, storm::jani::detail::FunctionEliminationExpressionVisitor, storm::jani::ExpressionToJson, storm::expressions::JaniExpressionSubstitutionVisitor< MapType >, storm::expressions::JaniReduceNestingExpressionVisitor, and storm::expressions::JaniSyntacticalEqualityCheckVisitor.

◆ visit() [5/5]

virtual boost::any storm::expressions::JaniExpressionVisitor::visit ( ValueArrayExpression const &  expression,
boost::any const &  data 
)
pure virtual

Implemented in storm::jani::detail::ArrayExpressionFinderExpressionVisitor, storm::jani::ExpressionToJson, storm::jani::detail::ArrayReplacementsCollectorExpressionVisitor, storm::jani::detail::ArrayExpressionEliminationVisitor, storm::jani::detail::FunctionEliminationExpressionVisitor, storm::jani::detail::FunctionCallExpressionFinderExpressionVisitor, storm::expressions::JaniExpressionSubstitutionVisitor< MapType >, storm::expressions::JaniReduceNestingExpressionVisitor, and storm::expressions::JaniSyntacticalEqualityCheckVisitor.

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