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 654 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 788 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 672 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 679 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 695 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 738 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 775 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 796 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 664 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 741 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 744 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 808 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 720 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 726 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 763 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 702 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