Path

class Path[ValueType]

Entry of the shortest path tree: the k-th shortest path to a state via its predecessor and the path’s probability

Template arguments:

• ValueType (type)

Available specializations:

• Path[float]

• Path[stormpy.numbers.Rational]

Construction

The default specialization is Path[float].

Constructor signatures vary by specialization:

• Path[float](predecessor_node: typing.SupportsInt | typing.SupportsIndex, predecessor_k: typing.SupportsInt | typing.SupportsIndex, distance: typing.SupportsFloat | typing.SupportsIndex)

• Path[float](predecessor_k: typing.SupportsInt | typing.SupportsIndex, distance: typing.SupportsFloat | typing.SupportsIndex)

• Path[stormpy.numbers.Rational](predecessor_node: typing.SupportsInt | typing.SupportsIndex, predecessor_k: typing.SupportsInt | typing.SupportsIndex, distance: stormpy.numbers.Rational)

• Path[stormpy.numbers.Rational](predecessor_k: typing.SupportsInt | typing.SupportsIndex, distance: stormpy.numbers.Rational)

Members

property Path.distance

property Path.predecessor_k

property Path.predecessor_node