storm::expressions::ChangeManagerVisitor Class Reference

#include <ChangeManagerVisitor.h>

Inheritance diagram for storm::expressions::ChangeManagerVisitor:

Collaboration diagram for storm::expressions::ChangeManagerVisitor:

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]

boost::any storm::expressions::ChangeManagerVisitor::visit ( BinaryBooleanFunctionExpression const &  expression, boost::any const &  data  )

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 23 of file ChangeManagerVisitor.cpp.

visit() [2/10]

boost::any storm::expressions::ChangeManagerVisitor::visit ( BinaryNumericalFunctionExpression const &  expression, boost::any const &  data  )

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 30 of file ChangeManagerVisitor.cpp.

visit() [3/10]

boost::any storm::expressions::ChangeManagerVisitor::visit ( BinaryRelationExpression const &  expression, boost::any const &  data  )

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 37 of file ChangeManagerVisitor.cpp.

visit() [4/10]

boost::any storm::expressions::ChangeManagerVisitor::visit ( BooleanLiteralExpression const &  expression, boost::any const &  data  )

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 58 of file ChangeManagerVisitor.cpp.

visit() [5/10]

boost::any storm::expressions::ChangeManagerVisitor::visit ( IfThenElseExpression const &  expression, boost::any const &  data  )

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 16 of file ChangeManagerVisitor.cpp.

visit() [6/10]

boost::any storm::expressions::ChangeManagerVisitor::visit ( IntegerLiteralExpression const &  expression, boost::any const &  data  )

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 62 of file ChangeManagerVisitor.cpp.

visit() [7/10]

boost::any storm::expressions::ChangeManagerVisitor::visit ( RationalLiteralExpression const &  expression, boost::any const &  data  )

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 66 of file ChangeManagerVisitor.cpp.

visit() [8/10]

boost::any storm::expressions::ChangeManagerVisitor::visit ( UnaryBooleanFunctionExpression const &  expression, boost::any const &  data  )

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 48 of file ChangeManagerVisitor.cpp.

visit() [9/10]

boost::any storm::expressions::ChangeManagerVisitor::visit ( UnaryNumericalFunctionExpression const &  expression, boost::any const &  data  )

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 53 of file ChangeManagerVisitor.cpp.

visit() [10/10]

boost::any storm::expressions::ChangeManagerVisitor::visit ( VariableExpression const &  expression, boost::any const &  data  )

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