SparseMatrixEntry

class SparseMatrixEntry[ValueType]

Entry of sparse matrix

Template arguments:

• ValueType (type)

Available specializations:

• SparseMatrixEntry[float]

• SparseMatrixEntry[stormpy.numbers.Rational]

• SparseMatrixEntry[stormpy.numbers.Interval]

• SparseMatrixEntry[stormpy.numbers.RationalInterval]

• SparseMatrixEntry[stormpy.numbers.RationalFunction]

Construction

The default specialization is SparseMatrixEntry[float].

Members

property SparseMatrixEntry.column

Column

SparseMatrixEntry.get_value(self: stormpy.datastructures.SparseMatrixEntry[ValueType]) → ValueType

Value

SparseMatrixEntry.set_value()

For SparseMatrixEntry[float]:

set_value(self: stormpy.datastructures.SparseMatrixEntry[ValueType], value: typing.SupportsFloat | typing.SupportsIndex) -> None

Set value

For SparseMatrixEntry[stormpy.numbers.Rational], SparseMatrixEntry[stormpy.numbers.Interval], SparseMatrixEntry[stormpy.numbers.RationalInterval], SparseMatrixEntry[stormpy.numbers.RationalFunction]:

set_value(self: stormpy.datastructures.SparseMatrixEntry[ValueType], value: ValueType) -> None

Set value

property SparseMatrixEntry.value

Value of the matrix entry