ExplicitModelBuilderOptions¶

Warning

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

class ExplicitModelBuilderOptions[ValueType]¶

Options for the explicit model builder

Template arguments:

Available specializations:

Construction

Create default options

The default specialization is ExplicitModelBuilderOptions[float].

Members¶

property ExplicitModelBuilderOptions.exploration_order¶: The order in which to explore the model

property ExplicitModelBuilderOptions.exploration_state_limit¶: If set, no further states will be explored once the given number is exceeded.

property ExplicitModelBuilderOptions.fix_deadlocks¶: If set, deadlocks states will be fixed by adding a self-loop with probability 1.