SparseMatrixRows¶
- class SparseMatrixRows[ValueType]¶
Set of rows in a sparse matrix
Template arguments:
ValueType(type)
Available specializations:
SparseMatrixRows[float]SparseMatrixRows[stormpy.numbers.Rational]SparseMatrixRows[stormpy.numbers.Interval]SparseMatrixRows[stormpy.numbers.RationalInterval]SparseMatrixRows[stormpy.numbers.RationalFunction]
Construction
The default specialization is
SparseMatrixRows[float].