SparseModelState

class SparseModelState[ValueType]

State in sparse model

Template arguments:

• ValueType (type)

Available specializations:

• SparseModelState[float]

• SparseModelState[stormpy.numbers.Rational]

• SparseModelState[stormpy.numbers.Interval]

• SparseModelState[stormpy.numbers.RationalInterval]

• SparseModelState[stormpy.numbers.RationalFunction]

Construction

The default specialization is SparseModelState[float].

Members

property SparseModelState.actions

Get actions

property SparseModelState.id

Id

property SparseModelState.labels

Get state labels

property SparseModelState.valuations

Get state valuations