build_explicit_drn_model

Warning

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

build_explicit_drn_model[ValueType](

drn_file: str,

options: stormpy.io.DirectEncodingParserOptions = ...,

) → stormpy.models.SparseModel[ValueType]

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

The default specialization is build_explicit_drn_model[float].

Template arguments:

• ValueType (type)

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

Build sparse model from DRN file