begin(index_type row) const | storm::storage::SparseMatrix< ValueType > | |
begin(index_type row) | storm::storage::SparseMatrix< ValueType > | |
begin() const | storm::storage::SparseMatrix< ValueType > | |
begin() | storm::storage::SparseMatrix< ValueType > | |
compareRows(index_type i1, index_type i2) const | storm::storage::SparseMatrix< ValueType > | |
const_iterator typedef | storm::storage::SparseMatrix< ValueType > | |
convertToEquationSystem() | storm::storage::SparseMatrix< ValueType > | |
deleteDiagonalEntries(bool dropZeroEntries=false) | storm::storage::SparseMatrix< ValueType > | |
divideRowsInPlace(std::vector< value_type > const &divisors) | storm::storage::SparseMatrix< ValueType > | |
dropZeroEntries() | storm::storage::SparseMatrix< ValueType > | |
duplicateRowsInRowgroups() const | storm::storage::SparseMatrix< ValueType > | |
end(index_type row) const | storm::storage::SparseMatrix< ValueType > | |
end(index_type row) | storm::storage::SparseMatrix< ValueType > | |
end() const | storm::storage::SparseMatrix< ValueType > | |
end() | storm::storage::SparseMatrix< ValueType > | |
filterEntries(storm::storage::BitVector const &rowFilter) const | storm::storage::SparseMatrix< ValueType > | |
getColumnCount() const | storm::storage::SparseMatrix< ValueType > | |
getConstrainedRowGroupSumVector(storm::storage::BitVector const &rowGroupConstraint, storm::storage::BitVector const &columnConstraint) const | storm::storage::SparseMatrix< ValueType > | |
getConstrainedRowSum(index_type row, storm::storage::BitVector const &columns) const | storm::storage::SparseMatrix< ValueType > | |
getConstrainedRowSumVector(storm::storage::BitVector const &rowConstraint, storm::storage::BitVector const &columnConstraint) const | storm::storage::SparseMatrix< ValueType > | |
getDimensionsAsString() const | storm::storage::SparseMatrix< ValueType > | |
getEntryCount() const | storm::storage::SparseMatrix< ValueType > | |
getJacobiDecomposition() const | storm::storage::SparseMatrix< ValueType > | |
getNonconstantEntryCount() const | storm::storage::SparseMatrix< ValueType > | |
getNonconstantRowGroupCount() const | storm::storage::SparseMatrix< ValueType > | |
getNonzeroEntryCount() const | storm::storage::SparseMatrix< ValueType > | |
getNumRowsInRowGroups(storm::storage::BitVector const &groupConstraint) const | storm::storage::SparseMatrix< ValueType > | |
getPointwiseProductRowSum(storm::storage::SparseMatrix< OtherValueType > const &otherMatrix, index_type const &row) const | storm::storage::SparseMatrix< ValueType > | |
getPointwiseProductRowSumVector(storm::storage::SparseMatrix< OtherValueType > const &otherMatrix) const | storm::storage::SparseMatrix< ValueType > | |
getRow(index_type row) const | storm::storage::SparseMatrix< ValueType > | |
getRow(index_type row) | storm::storage::SparseMatrix< ValueType > | |
getRow(index_type rowGroup, index_type offset) const | storm::storage::SparseMatrix< ValueType > | |
getRow(index_type rowGroup, index_type offset) | storm::storage::SparseMatrix< ValueType > | |
getRowCount() const | storm::storage::SparseMatrix< ValueType > | |
getRowFilter(storm::storage::BitVector const &groupConstraint) const | storm::storage::SparseMatrix< ValueType > | |
getRowFilter(storm::storage::BitVector const &groupConstraint, storm::storage::BitVector const &columnConstraints) const | storm::storage::SparseMatrix< ValueType > | |
getRowGroup(index_type rowGroup) const | storm::storage::SparseMatrix< ValueType > | |
getRowGroup(index_type rowGroup) | storm::storage::SparseMatrix< ValueType > | |
getRowGroupCount() const | storm::storage::SparseMatrix< ValueType > | |
getRowGroupEntryCount(index_type const group) const | storm::storage::SparseMatrix< ValueType > | |
getRowGroupFilter(storm::storage::BitVector const &rowConstraint, bool setIfForAllRowsInGroup) const | storm::storage::SparseMatrix< ValueType > | |
getRowGroupIndices() const | storm::storage::SparseMatrix< ValueType > | |
getRowGroupIndices(index_type group) const | storm::storage::SparseMatrix< ValueType > | |
getRowGroupSize(index_type group) const | storm::storage::SparseMatrix< ValueType > | |
getRows(index_type startRow, index_type endRow) const | storm::storage::SparseMatrix< ValueType > | |
getRows(index_type startRow, index_type endRow) | storm::storage::SparseMatrix< ValueType > | |
getRowSum(index_type row) const | storm::storage::SparseMatrix< ValueType > | |
getRowSumVector() const | storm::storage::SparseMatrix< ValueType > | |
getSizeOfLargestRowGroup() const | storm::storage::SparseMatrix< ValueType > | |
getSubmatrix(bool useGroups, storm::storage::BitVector const &rowConstraint, storm::storage::BitVector const &columnConstraint, bool insertDiagonalEntries=false, storm::storage::BitVector const &makeZeroColumns=storm::storage::BitVector()) const | storm::storage::SparseMatrix< ValueType > | |
hash() const | storm::storage::SparseMatrix< ValueType > | |
hasOnlyPositiveEntries() const | storm::storage::SparseMatrix< ValueType > | |
hasTrivialRowGrouping() const | storm::storage::SparseMatrix< ValueType > | |
index_type typedef | storm::storage::SparseMatrix< ValueType > | |
INITIALIZED enum value | storm::storage::SparseMatrix< ValueType > | |
invertDiagonal() | storm::storage::SparseMatrix< ValueType > | |
isIdentityMatrix() const | storm::storage::SparseMatrix< ValueType > | |
isProbabilistic() const | storm::storage::SparseMatrix< ValueType > | |
isSubmatrixOf(SparseMatrix< OtherValueType > const &matrix) const | storm::storage::SparseMatrix< ValueType > | |
iterator typedef | storm::storage::SparseMatrix< ValueType > | |
makeRowDirac(index_type row, index_type column, bool dropZeroEntries=false) | storm::storage::SparseMatrix< ValueType > | |
makeRowGroupingTrivial() | storm::storage::SparseMatrix< ValueType > | |
makeRowGroupsAbsorbing(storm::storage::BitVector const &rowGroupConstraint, bool dropZeroEntries=false) | storm::storage::SparseMatrix< ValueType > | |
makeRowsAbsorbing(storm::storage::BitVector const &rows, bool dropZeroEntries=false) | storm::storage::SparseMatrix< ValueType > | |
MatrixStatus enum name | storm::storage::SparseMatrix< ValueType > | |
multiplyAndReduce(storm::solver::OptimizationDirection const &dir, std::vector< uint64_t > const &rowGroupIndices, std::vector< ValueType > const &vector, std::vector< ValueType > const *summand, std::vector< ValueType > &result, std::vector< uint64_t > *choices) const | storm::storage::SparseMatrix< ValueType > | |
multiplyAndReduceBackward(storm::solver::OptimizationDirection const &dir, std::vector< uint64_t > const &rowGroupIndices, std::vector< ValueType > const &vector, std::vector< ValueType > const *b, std::vector< ValueType > &result, std::vector< uint64_t > *choices) const | storm::storage::SparseMatrix< ValueType > | |
multiplyAndReduceBackward(std::vector< uint64_t > const &rowGroupIndices, std::vector< ValueType > const &vector, std::vector< ValueType > const *b, std::vector< ValueType > &result, std::vector< uint64_t > *choices) const | storm::storage::SparseMatrix< ValueType > | |
multiplyAndReduceForward(storm::solver::OptimizationDirection const &dir, std::vector< uint64_t > const &rowGroupIndices, std::vector< ValueType > const &vector, std::vector< ValueType > const *b, std::vector< ValueType > &result, std::vector< uint64_t > *choices) const | storm::storage::SparseMatrix< ValueType > | |
multiplyAndReduceForward(std::vector< uint64_t > const &rowGroupIndices, std::vector< ValueType > const &vector, std::vector< ValueType > const *summand, std::vector< ValueType > &result, std::vector< uint64_t > *choices) const | storm::storage::SparseMatrix< ValueType > | |
multiplyRowWithVector(index_type row, std::vector< value_type > const &vector) const | storm::storage::SparseMatrix< ValueType > | |
multiplyVectorWithMatrix(std::vector< value_type > const &vector, std::vector< value_type > &result) const | storm::storage::SparseMatrix< ValueType > | |
multiplyWithVector(std::vector< value_type > const &vector, std::vector< value_type > &result, std::vector< value_type > const *summand=nullptr) const | storm::storage::SparseMatrix< ValueType > | |
multiplyWithVectorBackward(std::vector< value_type > const &vector, std::vector< value_type > &result, std::vector< value_type > const *summand=nullptr) const | storm::storage::SparseMatrix< ValueType > | |
multiplyWithVectorForward(std::vector< value_type > const &vector, std::vector< value_type > &result, std::vector< value_type > const *summand=nullptr) const | storm::storage::SparseMatrix< ValueType > | |
negateAllNonDiagonalEntries() | storm::storage::SparseMatrix< ValueType > | |
operator<< | storm::storage::SparseMatrix< ValueType > | friend |
operator=(SparseMatrix< value_type > const &other) | storm::storage::SparseMatrix< ValueType > | |
operator=(SparseMatrix< value_type > &&other) | storm::storage::SparseMatrix< ValueType > | |
operator==(SparseMatrix< value_type > const &other) const | storm::storage::SparseMatrix< ValueType > | |
performSuccessiveOverRelaxationStep(ValueType omega, std::vector< ValueType > &x, std::vector< ValueType > const &b) const | storm::storage::SparseMatrix< ValueType > | |
performWalkerChaeStep(std::vector< ValueType > const &x, std::vector< ValueType > const &columnSums, std::vector< ValueType > const &b, std::vector< ValueType > const &ax, std::vector< ValueType > &result) const | storm::storage::SparseMatrix< ValueType > | |
permuteRowGroupsAndColumns(std::vector< index_type > const &inverseRowGroupPermutation, std::vector< index_type > const &columnPermutation) const | storm::storage::SparseMatrix< ValueType > | |
permuteRows(std::vector< index_type > const &inversePermutation) const | storm::storage::SparseMatrix< ValueType > | |
printAsMatlabMatrix(std::ostream &out) const | storm::storage::SparseMatrix< ValueType > | |
restrictRows(storm::storage::BitVector const &rowsToKeep, bool allowEmptyRowGroups=false) const | storm::storage::SparseMatrix< ValueType > | |
scaleRowsInPlace(std::vector< value_type > const &factors) | storm::storage::SparseMatrix< ValueType > | |
selectRowsFromRowGroups(std::vector< index_type > const &rowGroupToRowIndexMapping, bool insertDiagonalEntries=true) const | storm::storage::SparseMatrix< ValueType > | |
selectRowsFromRowIndexSequence(std::vector< index_type > const &rowIndexSequence, bool insertDiagonalEntries=true) const | storm::storage::SparseMatrix< ValueType > | |
setRowGroupIndices(std::vector< index_type > const &newRowGroupIndices) | storm::storage::SparseMatrix< ValueType > | |
SparseMatrix() | storm::storage::SparseMatrix< ValueType > | |
SparseMatrix(SparseMatrix< value_type > const &other) | storm::storage::SparseMatrix< ValueType > | |
SparseMatrix(SparseMatrix< value_type > const &other, bool insertDiagonalElements) | storm::storage::SparseMatrix< ValueType > | |
SparseMatrix(SparseMatrix< value_type > &&other) | storm::storage::SparseMatrix< ValueType > | |
SparseMatrix(index_type columnCount, std::vector< index_type > const &rowIndications, std::vector< MatrixEntry< index_type, value_type > > const &columnsAndValues, boost::optional< std::vector< index_type > > const &rowGroupIndices) | storm::storage::SparseMatrix< ValueType > | |
SparseMatrix(index_type columnCount, std::vector< index_type > &&rowIndications, std::vector< MatrixEntry< index_type, value_type > > &&columnsAndValues, boost::optional< std::vector< index_type > > &&rowGroupIndices) | storm::storage::SparseMatrix< ValueType > | |
SparseMatrixBuilder< ValueType > | storm::storage::SparseMatrix< ValueType > | friend |
storm::adapters::EigenAdapter | storm::storage::SparseMatrix< ValueType > | friend |
storm::adapters::GmmxxAdapter< ValueType > | storm::storage::SparseMatrix< ValueType > | friend |
storm::adapters::StormAdapter | storm::storage::SparseMatrix< ValueType > | friend |
swapRowGroupIndices(std::vector< index_type > &&newRowGrouping) | storm::storage::SparseMatrix< ValueType > | |
swapRows(index_type const &row1, index_type const &row2) | storm::storage::SparseMatrix< ValueType > | |
toValueType() const | storm::storage::SparseMatrix< ValueType > | inline |
transpose(bool joinGroups=false, bool keepZeros=false) const | storm::storage::SparseMatrix< ValueType > | |
transposeSelectedRowsFromRowGroups(std::vector< uint64_t > const &rowGroupChoices, bool keepZeros=false) const | storm::storage::SparseMatrix< ValueType > | |
UNINITIALIZED enum value | storm::storage::SparseMatrix< ValueType > | |
updateDimensions() const | storm::storage::SparseMatrix< ValueType > | |
updateNonzeroEntryCount() const | storm::storage::SparseMatrix< ValueType > | |
updateNonzeroEntryCount(std::make_signed< index_type >::type difference) | storm::storage::SparseMatrix< ValueType > | |
value_type typedef | storm::storage::SparseMatrix< ValueType > | |