ExplicitModelBuilder

Warning

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

class ExplicitModelBuilder[ValueType]

Model builder for sparse models

Template arguments:

• ValueType (type)

Available specializations:

• ExplicitModelBuilder[float]

• ExplicitModelBuilder[stormpy.numbers.Rational]

• ExplicitModelBuilder[stormpy.numbers.RationalFunction]

• ExplicitModelBuilder[stormpy.numbers.Interval]

• ExplicitModelBuilder[stormpy.numbers.RationalInterval]

Members

ExplicitModelBuilder.build(

self: stormpy.developer.ExplicitModelBuilder[ValueType],

) → stormpy.models.SparseModel[ValueType]

Build the model

ExplicitModelBuilder.export_explicit_state_lookup(

self: stormpy.developer.ExplicitModelBuilder[ValueType],

) → stormpy.developer.ExplicitStateLookup

Export lookup of state ids