storm::JsonSerialization Struct Reference

Helper struct to enable json serialization. More...

#include <JsonSerializationAdapter.h>

Detailed Description

Helper struct to enable json serialization.

Definition at line 13 of file JsonSerializationAdapter.h.

---

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

• src/storm/adapters/JsonSerializationAdapter.h