ExplicitModelParserOptions

class ExplicitModelParserOptions(self: stormpy.io.ExplicitModelParserOptions)

Bases: pybind11_object

Options for the explicit model parser

Create default options

property build_choice_labels

Whether to build choice labels.

property fix_deadlocks

If set, deadlocks states will be fixed by adding a self-loop with probability 1.