storm::jani::CompositionJsonExporter Class Reference

Inheritance diagram for storm::jani::CompositionJsonExporter:

Collaboration diagram for storm::jani::CompositionJsonExporter:

Public Member Functions
	CompositionJsonExporter (bool allowRecursion)
virtual boost::any	visit (AutomatonComposition const &composition, boost::any const &)
virtual boost::any	visit (ParallelComposition const &composition, boost::any const &data)
Public Member Functions inherited from storm::jani::CompositionVisitor
virtual	~CompositionVisitor ()=default

Static Public Member Functions
static ExportJsonType	translate (storm::jani::Composition const &comp, bool allowRecursion=true)

Detailed Description

Definition at line 57 of file JSONExporter.cpp.

Constructor & Destructor Documentation

CompositionJsonExporter()

storm::jani::CompositionJsonExporter::CompositionJsonExporter ( bool allowRecursion )

inline

Definition at line 59 of file JSONExporter.cpp.

Member Function Documentation

translate()

ExportJsonType storm::jani::CompositionJsonExporter::translate ( storm::jani::Composition const & comp, bool allowRecursion = true )

inlinestatic

Definition at line 61 of file JSONExporter.cpp.

visit() [1/2]

virtual boost::any storm::jani::CompositionJsonExporter::visit ( AutomatonComposition const & composition, boost::any const &  )

inlinevirtual

Implements storm::jani::CompositionVisitor.

Definition at line 66 of file JSONExporter.cpp.

visit() [2/2]

virtual boost::any storm::jani::CompositionJsonExporter::visit ( ParallelComposition const & composition, boost::any const & data )

inlinevirtual

Implements storm::jani::CompositionVisitor.

Definition at line 76 of file JSONExporter.cpp.

---

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

• src/storm/storage/jani/visitor/JSONExporter.cpp