is_negative_infinity

is_negative_infinity(value: Any) → bool

Check whether the value is negative infinity.

Parameters:

value – Value, e.g., float, Rational or stormpy.results.BoundedValue (checks its value).

Returns:

True iff the value is negative infinity.