Storm 1.13.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
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: