EndComponentEliminator

Warning

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

class EndComponentEliminator[ValueType]

Elimination of end components

Template arguments:

• ValueType (type)

Available specializations:

• EndComponentEliminator[float]

• EndComponentEliminator[stormpy.numbers.Rational]

• EndComponentEliminator[stormpy.numbers.RationalFunction]

• EndComponentEliminator[stormpy.numbers.Interval]

• EndComponentEliminator[stormpy.numbers.RationalInterval]

Members

static EndComponentEliminator.transform(

original_matrix: stormpy.datastructures.SparseMatrix[ValueType],

subsystem_states: stormpy.datastructures.BitVector,

possible_ec_rows: stormpy.datastructures.BitVector,

add_sink_row_states: stormpy.datastructures.BitVector,

add_self_loop_at_sink_states: bool = False,

) → stormpy.developer.EndComponentEliminatorReturnType[ValueType]

Eliminate end components in the subsystem