SparseModelAction

class SparseModelAction[ValueType]

Action for state in sparse model

Template arguments:

• ValueType (type)

Available specializations:

• SparseModelAction[float]

• SparseModelAction[stormpy.numbers.Rational]

• SparseModelAction[stormpy.numbers.Interval]

• SparseModelAction[stormpy.numbers.RationalInterval]

• SparseModelAction[stormpy.numbers.RationalFunction]

Construction

The default specialization is SparseModelAction[float].

Members

property SparseModelAction.id

Id

property SparseModelAction.labels

Get choice labels

property SparseModelAction.origins

Get choice origins

property SparseModelAction.transitions

Get transitions