#include <ChangeManagerVisitor.h>
Public Member Functions | |
| ChangeManagerVisitor (ExpressionManager const &manager) | |
| Expression | changeManager (storm::expressions::Expression const &expression) |
| virtual boost::any | visit (IfThenElseExpression const &expression, boost::any const &data) override |
| virtual boost::any | visit (BinaryBooleanFunctionExpression const &expression, boost::any const &data) override |
| virtual boost::any | visit (BinaryNumericalFunctionExpression const &expression, boost::any const &data) override |
| virtual boost::any | visit (BinaryRelationExpression const &expression, boost::any const &data) override |
| virtual boost::any | visit (VariableExpression const &expression, boost::any const &data) override |
| virtual boost::any | visit (UnaryBooleanFunctionExpression const &expression, boost::any const &data) override |
| virtual boost::any | visit (UnaryNumericalFunctionExpression const &expression, boost::any const &data) override |
| virtual boost::any | visit (BooleanLiteralExpression const &expression, boost::any const &data) override |
| virtual boost::any | visit (IntegerLiteralExpression const &expression, boost::any const &data) override |
| virtual boost::any | visit (RationalLiteralExpression const &expression, boost::any const &data) override |
 Public Member Functions inherited from storm::expressions::ExpressionVisitor | |
| virtual | ~ExpressionVisitor ()=default |
| virtual boost::any | visit (PredicateExpression const &expression, boost::any const &data) |
Detailed Description
Definition at line 11 of file ChangeManagerVisitor.h.
Constructor & Destructor Documentation
◆ ChangeManagerVisitor()
| storm::expressions::ChangeManagerVisitor::ChangeManagerVisitor | ( | ExpressionManager const & | manager | ) |
Definition at line 8 of file ChangeManagerVisitor.cpp.
Member Function Documentation
◆ changeManager()
| Expression storm::expressions::ChangeManagerVisitor::changeManager | ( | storm::expressions::Expression const & | expression | ) |
Definition at line 12 of file ChangeManagerVisitor.cpp.
◆ visit() [1/10]
|
overridevirtual |
Implements storm::expressions::ExpressionVisitor.
Definition at line 23 of file ChangeManagerVisitor.cpp.
◆ visit() [2/10]
|
overridevirtual |
Implements storm::expressions::ExpressionVisitor.
Definition at line 30 of file ChangeManagerVisitor.cpp.
◆ visit() [3/10]
|
overridevirtual |
Implements storm::expressions::ExpressionVisitor.
Definition at line 37 of file ChangeManagerVisitor.cpp.
◆ visit() [4/10]
|
overridevirtual |
Implements storm::expressions::ExpressionVisitor.
Definition at line 58 of file ChangeManagerVisitor.cpp.
◆ visit() [5/10]
|
overridevirtual |
Implements storm::expressions::ExpressionVisitor.
Definition at line 16 of file ChangeManagerVisitor.cpp.
◆ visit() [6/10]
|
overridevirtual |
Implements storm::expressions::ExpressionVisitor.
Definition at line 62 of file ChangeManagerVisitor.cpp.
◆ visit() [7/10]
|
overridevirtual |
Implements storm::expressions::ExpressionVisitor.
Definition at line 66 of file ChangeManagerVisitor.cpp.
◆ visit() [8/10]
|
overridevirtual |
Implements storm::expressions::ExpressionVisitor.
Definition at line 48 of file ChangeManagerVisitor.cpp.
◆ visit() [9/10]
|
overridevirtual |
Implements storm::expressions::ExpressionVisitor.
Definition at line 53 of file ChangeManagerVisitor.cpp.
◆ visit() [10/10]
|
overridevirtual |
Implements storm::expressions::ExpressionVisitor.
Definition at line 44 of file ChangeManagerVisitor.cpp.
The documentation for this class was generated from the following files:
- src/storm/storage/expressions/ChangeManagerVisitor.h
- src/storm/storage/expressions/ChangeManagerVisitor.cpp
