| 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 > | |
| multiplyAndReduceBackward(OptimizationDirection const &dir, std::vector< uint64_t > const &rowGroupIndices, std::vector< storm::RationalFunction > const &vector, std::vector< storm::RationalFunction > const *b, std::vector< storm::RationalFunction > &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 > | |
| multiplyAndReduceForward(OptimizationDirection const &dir, std::vector< uint64_t > const &rowGroupIndices, std::vector< storm::RationalFunction > const &vector, std::vector< storm::RationalFunction > const *b, std::vector< storm::RationalFunction > &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 > | |
| performWalkerChaeStep(std::vector< Interval > const &x, std::vector< Interval > const &rowSums, std::vector< Interval > const &b, std::vector< Interval > const &ax, std::vector< Interval > &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 > | |