Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Public Member Functions | List of all members
storm::expressions::RestrictSyntaxVisitor Class Reference

#include <RestrictSyntaxVisitor.h>

Inheritance diagram for storm::expressions::RestrictSyntaxVisitor:
Inheritance graph
[legend]
Collaboration diagram for storm::expressions::RestrictSyntaxVisitor:
Collaboration graph
[legend]

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: