SparseMatrix

class SparseMatrix[ValueType]

Sparse matrix

Template arguments:

  • ValueType (type)

Available specializations:

  • SparseMatrix[float]

  • SparseMatrix[stormpy.numbers.Rational]

  • SparseMatrix[stormpy.numbers.Interval]

  • SparseMatrix[stormpy.numbers.RationalInterval]

  • SparseMatrix[stormpy.numbers.RationalFunction]

Construction

The default specialization is SparseMatrix[float].

Members

SparseMatrix.get_row(
self: stormpy.datastructures.SparseMatrix[ValueType],
row: SupportsInt | SupportsIndex,
)

Get row

SparseMatrix.get_row_group_end(
self: stormpy.datastructures.SparseMatrix[ValueType],
arg0: SupportsInt | SupportsIndex,
) → int
SparseMatrix.get_row_group_start(
self: stormpy.datastructures.SparseMatrix[ValueType],
arg0: SupportsInt | SupportsIndex,
) → int
SparseMatrix.get_rows_for_group(
self: stormpy.datastructures.SparseMatrix[ValueType],
row_group: SupportsInt | SupportsIndex,
) → list[int]

Get rows within a row group

SparseMatrix.get_submatrix(
self: stormpy.datastructures.SparseMatrix[ValueType],
use_groups: bool,
row_constraint: stormpy.datastructures.BitVector,
column_constraint: stormpy.datastructures.BitVector,
insert_diagonal_entries: bool = False,
make_zero_columns: stormpy.datastructures.BitVector = ...,
) → stormpy.datastructures.SparseMatrix[ValueType]

Select a submatrix using Storm’s argument order

property SparseMatrix.has_trivial_row_grouping

Trivial row grouping

SparseMatrix.make_row_grouping_trivial(self: stormpy.datastructures.SparseMatrix[ValueType]) → None

Makes row groups trivial. Use with care.

property SparseMatrix.nr_columns

Number of columns

property SparseMatrix.nr_entries

Number of non-zero entries

property SparseMatrix.nr_rows

Number of rows

SparseMatrix.print_row(
self: stormpy.datastructures.SparseMatrix[ValueType],
row: SupportsInt | SupportsIndex,
) → str

Print rows from start to end

SparseMatrix.row_iter(
self: stormpy.datastructures.SparseMatrix[ValueType],
row_start: SupportsInt | SupportsIndex,
row_end: SupportsInt | SupportsIndex,
) → collections.abc.Iterator[stormpy.datastructures.SparseMatrixEntry[ValueType]]

Get iterator from start to end