Storm
A Modern Probabilistic Model Checker
|
#include <SubstitutionVisitor.h>
Public Member Functions | |
SubstitutionVisitor (MapType const &variableToExpressionMapping) | |
Creates a new substitution visitor that uses the given map to replace variables. | |
Expression | substitute (Expression const &expression) |
Substitutes the identifiers in the given expression according to the previously given map and returns the resulting 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 |
virtual boost::any | visit (PredicateExpression const &expression, boost::any const &data) override |
![]() | |
virtual | ~ExpressionVisitor ()=default |
Protected Attributes | |
MapType const & | variableToExpressionMapping |
Definition at line 12 of file SubstitutionVisitor.h.
storm::expressions::SubstitutionVisitor< MapType >::SubstitutionVisitor | ( | MapType const & | variableToExpressionMapping | ) |
Creates a new substitution visitor that uses the given map to replace variables.
variableToExpressionMapping | A mapping from variables to expressions. |
Definition at line 11 of file SubstitutionVisitor.cpp.
Expression storm::expressions::SubstitutionVisitor< MapType >::substitute | ( | Expression const & | expression | ) |
Substitutes the identifiers in the given expression according to the previously given map and returns the resulting expression.
expression | The expression in which to substitute the identifiers. |
Definition at line 16 of file SubstitutionVisitor.cpp.
|
overridevirtual |
Implements storm::expressions::ExpressionVisitor.
Definition at line 40 of file SubstitutionVisitor.cpp.
|
overridevirtual |
Implements storm::expressions::ExpressionVisitor.
Definition at line 56 of file SubstitutionVisitor.cpp.
|
overridevirtual |
Implements storm::expressions::ExpressionVisitor.
Definition at line 72 of file SubstitutionVisitor.cpp.
|
overridevirtual |
Implements storm::expressions::ExpressionVisitor.
Definition at line 147 of file SubstitutionVisitor.cpp.
|
overridevirtual |
Implements storm::expressions::ExpressionVisitor.
Definition at line 21 of file SubstitutionVisitor.cpp.
|
overridevirtual |
Implements storm::expressions::ExpressionVisitor.
Definition at line 152 of file SubstitutionVisitor.cpp.
|
overridevirtual |
Reimplemented from storm::expressions::ExpressionVisitor.
Definition at line 127 of file SubstitutionVisitor.cpp.
|
overridevirtual |
Implements storm::expressions::ExpressionVisitor.
Definition at line 157 of file SubstitutionVisitor.cpp.
|
overridevirtual |
Implements storm::expressions::ExpressionVisitor.
Definition at line 99 of file SubstitutionVisitor.cpp.
|
overridevirtual |
Implements storm::expressions::ExpressionVisitor.
Definition at line 113 of file SubstitutionVisitor.cpp.
|
overridevirtual |
Implements storm::expressions::ExpressionVisitor.
Definition at line 88 of file SubstitutionVisitor.cpp.
|
protected |
Definition at line 45 of file SubstitutionVisitor.h.