Interval

class Interval(arg0: SupportsFloat | SupportsIndex)
class Interval(
arg0: SupportsFloat | SupportsIndex,
arg1: SupportsFloat | SupportsIndex,
)
class Interval(
arg0: SupportsFloat | SupportsIndex,
arg1: stormpy.numbers.developer.BoundType,
arg2: SupportsFloat | SupportsIndex,
arg3: stormpy.numbers.developer.BoundType,
)

Bases: pybind11_object

abs(self: stormpy.numbers.Interval) → stormpy.numbers.Interval
center(self: stormpy.numbers.Interval) → float
complement(
self: stormpy.numbers.Interval,
arg0: stormpy.numbers.Interval,
arg1: stormpy.numbers.Interval,
) → bool
contains(arg0: SupportsFloat | SupportsIndex) → bool
contains(arg0: stormpy.numbers.Interval) → bool
diameter(self: stormpy.numbers.Interval) → float
difference(
self: stormpy.numbers.Interval,
arg0: stormpy.numbers.Interval,
arg1: stormpy.numbers.Interval,
arg2: stormpy.numbers.Interval,
) → bool
div(
self: stormpy.numbers.Interval,
arg0: stormpy.numbers.Interval,
) → stormpy.numbers.Interval
static emptyInterval() → stormpy.numbers.Interval
integralPart(self: stormpy.numbers.Interval) → stormpy.numbers.Interval
intersect(
self: stormpy.numbers.Interval,
arg0: stormpy.numbers.Interval,
) → stormpy.numbers.Interval
intersectsWith(self: stormpy.numbers.Interval, arg0: stormpy.numbers.Interval) → bool
inverse(self: stormpy.numbers.Interval) → stormpy.numbers.Interval
isClosedInterval(self: stormpy.numbers.Interval) → bool
isEmpty(self: stormpy.numbers.Interval) → bool
isHalfBounded(self: stormpy.numbers.Interval) → bool
isInfinite(self: stormpy.numbers.Interval) → bool
isNegative(self: stormpy.numbers.Interval) → bool
isOne(self: stormpy.numbers.Interval) → bool
isOpenInterval(self: stormpy.numbers.Interval) → bool
isPointInterval(self: stormpy.numbers.Interval) → bool
isPositive(self: stormpy.numbers.Interval) → bool
isProperSubset(self: stormpy.numbers.Interval, arg0: stormpy.numbers.Interval) → bool
isSemiNegative(self: stormpy.numbers.Interval) → bool
isSemiPositive(self: stormpy.numbers.Interval) → bool
isSubset(self: stormpy.numbers.Interval, arg0: stormpy.numbers.Interval) → bool
isUnbounded(self: stormpy.numbers.Interval) → bool
isZero(self: stormpy.numbers.Interval) → bool
lower(self: stormpy.numbers.Interval) → float
meets(
self: stormpy.numbers.Interval,
arg0: SupportsFloat | SupportsIndex,
) → bool
sample(self: stormpy.numbers.Interval, arg0: bool) → float
setLower(
self: stormpy.numbers.Interval,
arg0: SupportsFloat | SupportsIndex,
) → None
setUpper(
self: stormpy.numbers.Interval,
arg0: SupportsFloat | SupportsIndex,
) → None
symmetricDifference(
self: stormpy.numbers.Interval,
arg0: stormpy.numbers.Interval,
arg1: stormpy.numbers.Interval,
arg2: stormpy.numbers.Interval,
) → bool
static unboundedInterval() → stormpy.numbers.Interval
unite(
self: stormpy.numbers.Interval,
arg0: stormpy.numbers.Interval,
arg1: stormpy.numbers.Interval,
arg2: stormpy.numbers.Interval,
) → bool
upper(self: stormpy.numbers.Interval) → float
static zeroInterval() → stormpy.numbers.Interval