storm::jani::ExpressionToJson Class Reference

#include <JSONExporter.h>

Inheritance diagram for storm::jani::ExpressionToJson:

Collaboration diagram for storm::jani::ExpressionToJson:

Public Member Functions
virtual boost::any	visit (storm::expressions::IfThenElseExpression const &expression, boost::any const &data)
virtual boost::any	visit (storm::expressions::BinaryBooleanFunctionExpression const &expression, boost::any const &data)
virtual boost::any	visit (storm::expressions::BinaryNumericalFunctionExpression const &expression, boost::any const &data)
virtual boost::any	visit (storm::expressions::BinaryRelationExpression const &expression, boost::any const &data)
virtual boost::any	visit (storm::expressions::VariableExpression const &expression, boost::any const &data)
virtual boost::any	visit (storm::expressions::UnaryBooleanFunctionExpression const &expression, boost::any const &data)
virtual boost::any	visit (storm::expressions::UnaryNumericalFunctionExpression const &expression, boost::any const &data)
virtual boost::any	visit (storm::expressions::BooleanLiteralExpression const &expression, boost::any const &data)
virtual boost::any	visit (storm::expressions::IntegerLiteralExpression const &expression, boost::any const &data)
virtual boost::any	visit (storm::expressions::RationalLiteralExpression const &expression, boost::any const &data)
virtual boost::any	visit (storm::expressions::ValueArrayExpression const &expression, boost::any const &data)
virtual boost::any	visit (storm::expressions::ConstructorArrayExpression const &expression, boost::any const &data)
virtual boost::any	visit (storm::expressions::ArrayAccessExpression const &expression, boost::any const &data)
virtual boost::any	visit (storm::expressions::FunctionCallExpression const &expression, boost::any const &data)
virtual boost::any	visit (storm::expressions::TranscendentalNumberLiteralExpression const &expression, boost::any const &data)
Public Member Functions inherited from storm::expressions::ExpressionVisitor
virtual	~ExpressionVisitor ()=default
virtual boost::any	visit (PredicateExpression const &expression, boost::any const &data)

Static Public Member Functions
static ExportJsonType	translate (storm::expressions::Expression const &expr, std::vector< storm::jani::Constant > const &constants, VariableSet const &globalVariables, VariableSet const &localVariables, std::unordered_set< std::string > const &auxiliaryVariables)

Detailed Description

Definition at line 16 of file JSONExporter.h.

Member Function Documentation

translate()

ExportJsonType storm::jani::ExpressionToJson::translate ( storm::expressions::Expression const &  expr, std::vector< storm::jani::Constant > const &  constants, VariableSet const &  globalVariables, VariableSet const &  localVariables, std::unordered_set< std::string > const &  auxiliaryVariables  )

static

Definition at line 724 of file JSONExporter.cpp.

visit() [1/15]

boost::any storm::jani::ExpressionToJson::visit ( storm::expressions::ArrayAccessExpression const &  expression, boost::any const &  data  )

virtual

Implements storm::expressions::JaniExpressionVisitor.

Definition at line 858 of file JSONExporter.cpp.

visit() [2/15]

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

virtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 742 of file JSONExporter.cpp.

visit() [3/15]

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

virtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 749 of file JSONExporter.cpp.

visit() [4/15]

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

virtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 765 of file JSONExporter.cpp.

visit() [5/15]

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

virtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 808 of file JSONExporter.cpp.

visit() [6/15]

boost::any storm::jani::ExpressionToJson::visit ( storm::expressions::ConstructorArrayExpression const &  expression, boost::any const &  data  )

virtual

Implements storm::expressions::JaniExpressionVisitor.

Definition at line 845 of file JSONExporter.cpp.

visit() [7/15]

boost::any storm::jani::ExpressionToJson::visit ( storm::expressions::FunctionCallExpression const &  expression, boost::any const &  data  )

virtual

Implements storm::expressions::JaniExpressionVisitor.

Definition at line 866 of file JSONExporter.cpp.

visit() [8/15]

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

virtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 734 of file JSONExporter.cpp.

visit() [9/15]

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

virtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 811 of file JSONExporter.cpp.

visit() [10/15]

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

virtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 814 of file JSONExporter.cpp.

visit() [11/15]

boost::any storm::jani::ExpressionToJson::visit ( storm::expressions::TranscendentalNumberLiteralExpression const &  expression, boost::any const &  data  )

virtual

Implements storm::expressions::JaniExpressionVisitor.

Definition at line 878 of file JSONExporter.cpp.

visit() [12/15]

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

virtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 790 of file JSONExporter.cpp.

visit() [13/15]

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

virtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 796 of file JSONExporter.cpp.

visit() [14/15]

boost::any storm::jani::ExpressionToJson::visit ( storm::expressions::ValueArrayExpression const &  expression, boost::any const &  data  )

virtual

Implements storm::expressions::JaniExpressionVisitor.

Definition at line 833 of file JSONExporter.cpp.

visit() [15/15]

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

virtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 772 of file JSONExporter.cpp.

---

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

• src/storm/storage/jani/visitor/JSONExporter.h
• src/storm/storage/jani/visitor/JSONExporter.cpp