Interval

Warning

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

class Interval(arg0: stormpy.numbers.RationalFunctionCoefficient)
class Interval(arg0: stormpy.numbers.RationalFunctionCoefficient, arg1: stormpy.numbers.RationalFunctionCoefficient)
class Interval(
arg0: stormpy.numbers.RationalFunctionCoefficient,
arg1: stormpy.numbers.developer._pycarl_core.BoundType,
arg2: stormpy.numbers.RationalFunctionCoefficient,
arg3: stormpy.numbers.developer._pycarl_core.BoundType,
)

Bases: pybind11_object

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