DdBisimulationOptions

Warning

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

class DdBisimulationOptions(self: stormpy.developer._core.DdBisimulationOptions)

Bases: pybind11_object

Options for bisimulation on symbolic models

Create default options

property initial_partition_mode

Initial partition mode

property refinement_mode

Refinement mode

property reuse_mode

Reuse mode

property show_progress_delay

Delay between progress outputs

property use_original_variables

Whether to use the original variables

property use_representatives

Whether to use representatives

property verbose

Whether to print verbose output