ExplicitDFTModelBuilder

Warning

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

class ExplicitDFTModelBuilder[ValueType](env, dft, symmetries)

Builder to generate explicit model from DFT

Template arguments:

• ValueType (type)

Available specializations:

• ExplicitDFTModelBuilder[float]

• ExplicitDFTModelBuilder[stormpy.numbers.RationalFunction]

Construction

Constructor

The specialization can be inferred from the second positional constructor argument (alternatively, the dft keyword argument).

Members

ExplicitDFTModelBuilder.build(self: stormpy.dft.developer.ExplicitDFTModelBuilder[ValueType], iteration: typing.SupportsInt | typing.SupportsIndex, approximation_threshold: typing.SupportsFloat | typing.SupportsIndex = 0.0, approximation_heuristic: stormpy.dft.ApproximationHeuristic = <ApproximationHeuristic.DEPTH: 0>) → None

Build state space of model

ExplicitDFTModelBuilder.get_model(

self: stormpy.dft.developer.ExplicitDFTModelBuilder[ValueType],

) → stormpy.models.SparseModel[ValueType]

Get complete model

ExplicitDFTModelBuilder.get_partial_model(

self: stormpy.dft.developer.ExplicitDFTModelBuilder[ValueType],

lower_bound: bool,

expected_time: bool,

) → stormpy.models.SparseModel[ValueType]

Get partial model