#include <JSONExporter.h>

Inheritance diagram for storm::jani::ExpressionToJson:

[legend]

Collaboration diagram for storm::jani::ExpressionToJson:

[legend]

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)
virtual boost::any	visit (PredicateExpression const &expression, boost::any const &data)
Public Member Functions inherited from storm::expressions::ExpressionVisitor
virtual	~ExpressionVisitor ()=default

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/16]

boost::any storm::expressions::ExpressionVisitor::visit	(	PredicateExpression const &	expression,
		boost::any const &	data )

virtual

Reimplemented from storm::expressions::ExpressionVisitor.

Definition at line 36 of file ExpressionVisitor.cpp.

◆ visit() [2/16]

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() [3/16]

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() [4/16]

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() [5/16]

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() [6/16]

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() [7/16]

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() [8/16]

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() [9/16]

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() [10/16]

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() [11/16]

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() [12/16]

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() [13/16]

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() [14/16]

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() [15/16]

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() [16/16]

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

Public Member Functions

Static Public Member Functions

Detailed Description

Member Function Documentation

◆ translate()

◆ visit() [1/16]

◆ visit() [2/16]

◆ visit() [3/16]

◆ visit() [4/16]

◆ visit() [5/16]

◆ visit() [6/16]

◆ visit() [7/16]

◆ visit() [8/16]

◆ visit() [9/16]

◆ visit() [10/16]

◆ visit() [11/16]

◆ visit() [12/16]

◆ visit() [13/16]

◆ visit() [14/16]

◆ visit() [15/16]

◆ visit() [16/16]