DirectEncodingExporterOptions¶
- class DirectEncodingExporterOptions(self: stormpy.io.DirectEncodingExporterOptions)¶
Bases:
pybind11_objectOptions for the DRN exporter
Create default options
- property allow_placeholders¶
Allow placeholders for repeated values
- property output_precision¶
Precision of exported values