#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)

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 646 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 780 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 664 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 671 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 687 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 730 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 767 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 788 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 656 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 733 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 736 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 800 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 712 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 718 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 755 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 694 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/15]

◆ visit() [2/15]

◆ visit() [3/15]

◆ visit() [4/15]

◆ visit() [5/15]

◆ visit() [6/15]

◆ visit() [7/15]

◆ visit() [8/15]

◆ visit() [9/15]

◆ visit() [10/15]

◆ visit() [11/15]

◆ visit() [12/15]

◆ visit() [13/15]

◆ visit() [14/15]

◆ visit() [15/15]