Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Public Types | Static Public Member Functions | List of all members
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: