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

#include <VariableSetPredicateSplitter.h>

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

Public Member Functions

 VariableSetPredicateSplitter (std::set< storm::expressions::Variable > const &irrelevantVariables)
 
std::vector< storm::expressions::Expression > split (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 14 of file VariableSetPredicateSplitter.h.

Constructor & Destructor Documentation

◆ VariableSetPredicateSplitter()

storm::expressions::VariableSetPredicateSplitter::VariableSetPredicateSplitter ( std::set< storm::expressions::Variable > const &  irrelevantVariables)

Definition at line 11 of file VariableSetPredicateSplitter.cpp.

Member Function Documentation

◆ split()

std::vector< storm::expressions::Expression > storm::expressions::VariableSetPredicateSplitter::split ( storm::expressions::Expression const &  expression)

Definition at line 16 of file VariableSetPredicateSplitter.cpp.

◆ visit() [1/10]

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

Implements storm::expressions::ExpressionVisitor.

Definition at line 72 of file VariableSetPredicateSplitter.cpp.

◆ visit() [2/10]

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

Implements storm::expressions::ExpressionVisitor.

Definition at line 115 of file VariableSetPredicateSplitter.cpp.

◆ visit() [3/10]

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

Implements storm::expressions::ExpressionVisitor.

Definition at line 119 of file VariableSetPredicateSplitter.cpp.

◆ visit() [4/10]

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

Implements storm::expressions::ExpressionVisitor.

Definition at line 182 of file VariableSetPredicateSplitter.cpp.

◆ visit() [5/10]

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

Implements storm::expressions::ExpressionVisitor.

Definition at line 35 of file VariableSetPredicateSplitter.cpp.

◆ visit() [6/10]

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

Implements storm::expressions::ExpressionVisitor.

Definition at line 186 of file VariableSetPredicateSplitter.cpp.

◆ visit() [7/10]

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

Implements storm::expressions::ExpressionVisitor.

Definition at line 190 of file VariableSetPredicateSplitter.cpp.

◆ visit() [8/10]

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

Implements storm::expressions::ExpressionVisitor.

Definition at line 156 of file VariableSetPredicateSplitter.cpp.

◆ visit() [9/10]

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

Implements storm::expressions::ExpressionVisitor.

Definition at line 178 of file VariableSetPredicateSplitter.cpp.

◆ visit() [10/10]

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

Implements storm::expressions::ExpressionVisitor.

Definition at line 149 of file VariableSetPredicateSplitter.cpp.

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