AddUncertainty¶

Warning

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

class AddUncertainty[ValueType](original_model: stormpy.models.SparseModel[ValueType])¶

Transform model into interval model with specified uncertainty

Template arguments:

ValueType (type)

Available specializations:

AddUncertainty[float]
AddUncertainty[stormpy.numbers.Rational]

Construction

Create transformer

The specialization can be inferred from the first positional constructor argument (alternatively, the model or original_model keyword argument).

Members¶

AddUncertainty.transform()¶

For AddUncertainty[float]:

transform(self: stormpy.developer.AddUncertainty[ValueType], additive_uncertainty: typing.SupportsFloat | typing.SupportsIndex, minimal_value: typing.SupportsFloat | typing.SupportsIndex = 0.0001, max_successors: typing.SupportsInt | typing.SupportsIndex | None = None) -> stormpy.models.SparseModel[stormpy.numbers.Interval]

Transform the model

For AddUncertainty[stormpy.numbers.Rational]:

transform(self: stormpy.developer.AddUncertainty[ValueType], additive_uncertainty: ValueType, minimal_value: ValueType = <Rational (gmp)7378697629483821/73786976294838206464>, max_successors: typing.SupportsInt | typing.SupportsIndex | None = None) -> stormpy.models.SparseModel[stormpy.numbers.RationalInterval]

Transform the model