SparseModelStates¶
- class SparseModelStates[ValueType]¶
States in sparse model
Template arguments:
ValueType(type)
Available specializations:
SparseModelStates[float]SparseModelStates[stormpy.numbers.Rational]SparseModelStates[stormpy.numbers.Interval]SparseModelStates[stormpy.numbers.RationalInterval]SparseModelStates[stormpy.numbers.RationalFunction]
Construction
The default specialization is
SparseModelStates[float].