Public Member Functions
	JsonExporter ()=default

Static Public Member Functions
static void	toFile (storm::jani::Model const &janiModel, std::vector< storm::jani::Property > const &formulas, std::string const &filepath, bool checkValid=true, bool compact=false)
static void	toStream (storm::jani::Model const &janiModel, std::vector< storm::jani::Property > const &formulas, std::ostream &ostream, bool checkValid=false, bool compact=false)
static ExportJsonType	getEdgeAsJson (storm::jani::Model const &janiModel, uint64_t automatonIndex, uint64_t edgeIndex, bool commentExpressions=true)

Detailed Description

Definition at line 97 of file JSONExporter.h.

Constructor & Destructor Documentation

storm::jani::JsonExporter::JsonExporter ( )

default

ExportJsonType storm::jani::JsonExporter::getEdgeAsJson	(	storm::jani::Model const &	janiModel,
		uint64_t	automatonIndex,
		uint64_t	edgeIndex,
		bool	commentExpressions = true )

static

Definition at line 1240 of file JSONExporter.cpp.

void storm::jani::JsonExporter::toFile	(	storm::jani::Model const &	janiModel,
		std::vector< storm::jani::Property > const &	formulas,
		std::string const &	filepath,
		bool	checkValid = true,
		bool	compact = false )

static

Definition at line 884 of file JSONExporter.cpp.

void storm::jani::JsonExporter::toStream	(	storm::jani::Model const &	janiModel,
		std::vector< storm::jani::Property > const &	formulas,
		std::ostream &	ostream,
		bool	checkValid = false,
		bool	compact = false )

static

Definition at line 892 of file JSONExporter.cpp.

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