DirectEncodingParserOptions¶
- class DirectEncodingParserOptions(self: stormpy.io.DirectEncodingParserOptions)¶
Bases:
pybind11_objectOptions for the DRN parser
Create default options
- property build_choice_labeling¶
Build choice labeling
Bases: pybind11_object
Options for the DRN parser
Create default options
Build choice labeling