SolutionBounds

class SolutionBounds[ValueType]

Sound lower and upper bounds on the values of all states of a result. An unknown bound is None.

Template arguments:

• ValueType (type)

Available specializations:

• SolutionBounds[float]

• SolutionBounds[stormpy.numbers.Rational]

• SolutionBounds[stormpy.numbers.RationalFunction]

Members

SolutionBounds.encloses()

Available only for: SolutionBounds[float], SolutionBounds[stormpy.numbers.Rational].

For SolutionBounds[float]:

encloses(self: stormpy.results.SolutionBounds[ValueType], values: collections.abc.Sequence[typing.SupportsFloat | typing.SupportsIndex]) -> bool

Whether every given value lies within the known bounds

For SolutionBounds[stormpy.numbers.Rational]:

encloses(self: stormpy.results.SolutionBounds[ValueType], values: collections.abc.Sequence[ValueType]) -> bool

Whether every given value lies within the known bounds

property SolutionBounds.has_any

Whether at least one of the bounds is known

property SolutionBounds.has_lower

Whether the lower bounds are known

property SolutionBounds.has_upper

Whether the upper bounds are known

property SolutionBounds.is_exact

Whether both bounds are known and coincide

SolutionBounds.is_within_precision()

Available only for: SolutionBounds[float], SolutionBounds[stormpy.numbers.Rational].

For SolutionBounds[float]:

is_within_precision(self: stormpy.results.SolutionBounds[ValueType], values: collections.abc.Sequence[typing.SupportsFloat | typing.SupportsIndex], precision: typing.SupportsFloat | typing.SupportsIndex, relative: bool) -> bool

Whether both bounds are known and neither is further from its value than the given precision allows

For SolutionBounds[stormpy.numbers.Rational]:

is_within_precision(self: stormpy.results.SolutionBounds[ValueType], values: collections.abc.Sequence[ValueType], precision: ValueType, relative: bool) -> bool

Whether both bounds are known and neither is further from its value than the given precision allows

property SolutionBounds.lower

Lower bounds (None if not known)

property SolutionBounds.upper

Upper bounds (None if not known)