make_explicit_model_builder

Warning

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

make_explicit_model_builder[ValueType]()

Select a specialization with make_explicit_model_builder[ValueType](...).

The default specialization is make_explicit_model_builder[float].

Template arguments:

• ValueType (type)

Supported specializations: make_explicit_model_builder[float], make_explicit_model_builder[stormpy.numbers.Rational], make_explicit_model_builder[stormpy.numbers.RationalFunction], make_explicit_model_builder[stormpy.numbers.Interval], make_explicit_model_builder[stormpy.numbers.RationalInterval].

For make_explicit_model_builder[float]:

make_explicit_model_builder[ValueType](model: stormpy.io.SymbolicModelDescription, options: stormpy.developer.BuilderOptions, action_mask: stormpy.developer.ActionMask[ValueType] = None, exploration_options: stormpy.developer.ExplicitModelBuilderOptions[ValueType] = ...) -> stormpy.developer.ExplicitModelBuilder[ValueType]

Construct an explicit model builder

For make_explicit_model_builder[stormpy.numbers.Rational], make_explicit_model_builder[stormpy.numbers.RationalFunction], make_explicit_model_builder[stormpy.numbers.Interval], make_explicit_model_builder[stormpy.numbers.RationalInterval]:

make_explicit_model_builder[ValueType](model: stormpy.io.SymbolicModelDescription, options: stormpy.developer.BuilderOptions, action_mask = None, exploration_options: stormpy.developer.ExplicitModelBuilderOptions[ValueType] = ...) -> stormpy.developer.ExplicitModelBuilder[ValueType]

Construct an explicit model builder