storm::expressions::ReduceNestingVisitor Class Reference

#include <ReduceNestingVisitor.h>

Inheritance diagram for storm::expressions::ReduceNestingVisitor:

Collaboration diagram for storm::expressions::ReduceNestingVisitor:

Public Member Functions
	ReduceNestingVisitor ()
	Creates a new reduce nesting visitor.
Expression	reduceNesting (Expression const &expression)
	Reduces the nesting in the given 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 8 of file ReduceNestingVisitor.h.

Constructor & Destructor Documentation

ReduceNestingVisitor()

storm::expressions::ReduceNestingVisitor::ReduceNestingVisitor

(

)

Creates a new reduce nesting visitor.

Definition at line 9 of file ReduceNestingVisitor.cpp.

Member Function Documentation

reduceNesting()

Expression storm::expressions::ReduceNestingVisitor::reduceNesting

(

Expression const &

expression

)

Reduces the nesting in the given expression.

Returns

A semantically equivalent expression with reduced nesting

Definition at line 13 of file ReduceNestingVisitor.cpp.

visit() [1/10]

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

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Reimplemented in storm::expressions::JaniReduceNestingExpressionVisitor.

Definition at line 56 of file ReduceNestingVisitor.cpp.

visit() [2/10]

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

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Reimplemented in storm::expressions::JaniReduceNestingExpressionVisitor.

Definition at line 97 of file ReduceNestingVisitor.cpp.

visit() [3/10]

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

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Reimplemented in storm::expressions::JaniReduceNestingExpressionVisitor.

Definition at line 139 of file ReduceNestingVisitor.cpp.

visit() [4/10]

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

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Reimplemented in storm::expressions::JaniReduceNestingExpressionVisitor.

Definition at line 184 of file ReduceNestingVisitor.cpp.

visit() [5/10]

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

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Reimplemented in storm::expressions::JaniReduceNestingExpressionVisitor.

Definition at line 17 of file ReduceNestingVisitor.cpp.

visit() [6/10]

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

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Reimplemented in storm::expressions::JaniReduceNestingExpressionVisitor.

Definition at line 188 of file ReduceNestingVisitor.cpp.

visit() [7/10]

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

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Reimplemented in storm::expressions::JaniReduceNestingExpressionVisitor.

Definition at line 192 of file ReduceNestingVisitor.cpp.

visit() [8/10]

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

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Reimplemented in storm::expressions::JaniReduceNestingExpressionVisitor.

Definition at line 158 of file ReduceNestingVisitor.cpp.

visit() [9/10]

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

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Reimplemented in storm::expressions::JaniReduceNestingExpressionVisitor.

Definition at line 171 of file ReduceNestingVisitor.cpp.

visit() [10/10]

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

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Reimplemented in storm::expressions::JaniReduceNestingExpressionVisitor.

Definition at line 154 of file ReduceNestingVisitor.cpp.

---

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

• src/storm/storage/expressions/ReduceNestingVisitor.h
• src/storm/storage/expressions/ReduceNestingVisitor.cpp