JsonExporter

Warning

The stormpy developer API is internal and can be subject to change.

class JsonExporter

Bases: pybind11_object

Export JANI models to JSON

static to_file(model: stormpy.io.JaniModel, properties: collections.abc.Sequence[storm::jani::Property], filepath: str, check_valid: bool = True, compact: bool = False) → None

Write a JANI model and properties to a file