storm::expressions::FullPredicateSplitter Class Reference

#include <FullPredicateSplitter.h>

Inheritance diagram for storm::expressions::FullPredicateSplitter:

Collaboration diagram for storm::expressions::FullPredicateSplitter:

Public Member Functions
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 11 of file FullPredicateSplitter.h.

Member Function Documentation

split()

std::vector< storm::expressions::Expression > storm::expressions::FullPredicateSplitter::split

(

storm::expressions::Expression const &

expression

)

Definition at line 16 of file FullPredicateSplitter.cpp.

visit() [1/10]

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

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 40 of file FullPredicateSplitter.cpp.

visit() [2/10]

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

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 46 of file FullPredicateSplitter.cpp.

visit() [3/10]

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

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 50 of file FullPredicateSplitter.cpp.

visit() [4/10]

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

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 71 of file FullPredicateSplitter.cpp.

visit() [5/10]

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

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 35 of file FullPredicateSplitter.cpp.

visit() [6/10]

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

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 75 of file FullPredicateSplitter.cpp.

visit() [7/10]

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

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 79 of file FullPredicateSplitter.cpp.

visit() [8/10]

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

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 62 of file FullPredicateSplitter.cpp.

visit() [9/10]

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

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 67 of file FullPredicateSplitter.cpp.

visit() [10/10]

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

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 55 of file FullPredicateSplitter.cpp.

---

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

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