storm::expressions::RestrictSyntaxVisitor Class Reference

#include <RestrictSyntaxVisitor.h>

Inheritance diagram for storm::expressions::RestrictSyntaxVisitor:

Collaboration diagram for storm::expressions::RestrictSyntaxVisitor:

Public Member Functions
	RestrictSyntaxVisitor ()
	Creates a new simplification visitor that replaces predicates by other (simpler?) predicates.
Expression	substitute (Expression const &expression)
	Simplifies based on the configuration.
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
Public Member Functions inherited from storm::expressions::ExpressionVisitor
virtual	~ExpressionVisitor ()=default

Detailed Description

Definition at line 9 of file RestrictSyntaxVisitor.h.

Constructor & Destructor Documentation

RestrictSyntaxVisitor()

storm::expressions::RestrictSyntaxVisitor::RestrictSyntaxVisitor

(

)

Creates a new simplification visitor that replaces predicates by other (simpler?) predicates.

Configuration: Currently, the visitor only replaces nonstandard predicates

Definition at line 12 of file RestrictSyntaxVisitor.cpp.

Member Function Documentation

substitute()

Expression storm::expressions::RestrictSyntaxVisitor::substitute

(

Expression const &

expression

)

Simplifies based on the configuration.

Definition at line 16 of file RestrictSyntaxVisitor.cpp.

visit() [1/11]

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

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 38 of file RestrictSyntaxVisitor.cpp.

visit() [2/11]

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

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 53 of file RestrictSyntaxVisitor.cpp.

visit() [3/11]

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

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 68 of file RestrictSyntaxVisitor.cpp.

visit() [4/11]

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

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 136 of file RestrictSyntaxVisitor.cpp.

visit() [5/11]

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

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 20 of file RestrictSyntaxVisitor.cpp.

visit() [6/11]

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

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 140 of file RestrictSyntaxVisitor.cpp.

visit() [7/11]

boost::any storm::expressions::RestrictSyntaxVisitor::visit ( PredicateExpression const &  expression, boost::any const &  data  )

overridevirtual

Reimplemented from storm::expressions::ExpressionVisitor.

Definition at line 113 of file RestrictSyntaxVisitor.cpp.

visit() [8/11]

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

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 144 of file RestrictSyntaxVisitor.cpp.

visit() [9/11]

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

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 87 of file RestrictSyntaxVisitor.cpp.

visit() [10/11]

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

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 100 of file RestrictSyntaxVisitor.cpp.

visit() [11/11]

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

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 83 of file RestrictSyntaxVisitor.cpp.

---

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

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