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