Halfspace

Warning

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

class Halfspace[ValueType]

Halfspace given by normal_vector * x <= offset

Template arguments:

• ValueType (type)

Available specializations:

• Halfspace[float]

• Halfspace[stormpy.numbers.Rational]

Construction

Create halfspace

The default specialization is Halfspace[float].

Constructor signatures vary by specialization:

• Halfspace[float](normal_vector: collections.abc.Sequence[typing.SupportsFloat | typing.SupportsIndex], offset: typing.SupportsFloat | typing.SupportsIndex)

• Halfspace[stormpy.numbers.Rational](normal_vector: collections.abc.Sequence[stormpy.numbers.Rational], offset: stormpy.numbers.Rational)

Members

Halfspace.contains()

For Halfspace[float]:

contains(self: stormpy.developer.storage.Halfspace[ValueType], point: collections.abc.Sequence[typing.SupportsFloat | typing.SupportsIndex]) -> bool

Whether the point is contained in the halfspace

For Halfspace[stormpy.numbers.Rational]:

contains(self: stormpy.developer.storage.Halfspace[ValueType], point: collections.abc.Sequence[ValueType]) -> bool

Whether the point is contained in the halfspace

Halfspace.distance()

For Halfspace[float]:

distance(self: stormpy.developer.storage.Halfspace[ValueType], point: collections.abc.Sequence[typing.SupportsFloat | typing.SupportsIndex]) -> ValueType

Distance of the point from the halfspace, scaled by the 2-norm of the normal vector

For Halfspace[stormpy.numbers.Rational]:

distance(self: stormpy.developer.storage.Halfspace[ValueType], point: collections.abc.Sequence[ValueType]) -> ValueType

Distance of the point from the halfspace, scaled by the 2-norm of the normal vector

property Halfspace.normal_vector

Normal vector

property Halfspace.offset

Offset