storm::gspn::GspnJsonExporter Class Reference

Exports a GSPN into the JSON format for visualizing it. More...

#include <GspnJsonExporter.h>

Public Types
typedef storm::json< double >	Json

Static Public Member Functions
static void	toStream (storm::gspn::GSPN const &gspn, std::ostream &os)
static Json	translate (storm::gspn::GSPN const &gspn)

Detailed Description

Exports a GSPN into the JSON format for visualizing it.

Definition at line 13 of file GspnJsonExporter.h.

Member Typedef Documentation

Json

typedef storm::json<double> storm::gspn::GspnJsonExporter::Json

Definition at line 15 of file GspnJsonExporter.h.

Member Function Documentation

toStream()

void storm::gspn::GspnJsonExporter::toStream ( storm::gspn::GSPN const &  gspn, std::ostream &  os  )

static

Definition at line 16 of file GspnJsonExporter.cpp.

translate()

GspnJsonExporter::Json storm::gspn::GspnJsonExporter::translate ( storm::gspn::GSPN const &  gspn )

static

Definition at line 20 of file GspnJsonExporter.cpp.

---

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

• src/storm-gspn/storage/gspn/GspnJsonExporter.h
• src/storm-gspn/storage/gspn/GspnJsonExporter.cpp