SubsystemBuilderOptions

class SubsystemBuilderOptions(self: stormpy.transformations.SubsystemBuilderOptions)

Bases: pybind11_object

Options for constructing a subsystem

Create default options

property build_action_mapping

Build mapping from new to old actions

property build_kept_actions

Build the set of kept actions

property build_state_mapping

Build mapping from new to old states

property check_transitions_outside

Check for transitions leaving the subsystem

property fix_deadlocks

Fix deadlocks by adding self-loops

property make_row_grouping_trivial

Make the row grouping trivial if possible