Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Public Member Functions | Static Public Member Functions | List of all members
storm::jani::JsonExporter Class Reference

#include <JSONExporter.h>

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 93 of file JSONExporter.h.

Constructor & Destructor Documentation

◆ JsonExporter()

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

Member Function Documentation

◆ getEdgeAsJson()

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

Definition at line 1162 of file JSONExporter.cpp.

◆ toFile()

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 806 of file JSONExporter.cpp.

◆ toStream()

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 814 of file JSONExporter.cpp.

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