Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::storage::SparseMatrix< ValueType > Member List

This is the complete list of members for storm::storage::SparseMatrix< ValueType >, including all inherited members.

begin(index_type row) conststorm::storage::SparseMatrix< ValueType >
begin(index_type row)storm::storage::SparseMatrix< ValueType >
begin() conststorm::storage::SparseMatrix< ValueType >
begin()storm::storage::SparseMatrix< ValueType >
compareRows(index_type i1, index_type i2) conststorm::storage::SparseMatrix< ValueType >
const_iterator typedefstorm::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() conststorm::storage::SparseMatrix< ValueType >
end(index_type row) conststorm::storage::SparseMatrix< ValueType >
end(index_type row)storm::storage::SparseMatrix< ValueType >
end() conststorm::storage::SparseMatrix< ValueType >
end()storm::storage::SparseMatrix< ValueType >
filterEntries(storm::storage::BitVector const &rowFilter) conststorm::storage::SparseMatrix< ValueType >
getColumnCount() conststorm::storage::SparseMatrix< ValueType >
getConstrainedRowGroupSumVector(storm::storage::BitVector const &rowGroupConstraint, storm::storage::BitVector const &columnConstraint) conststorm::storage::SparseMatrix< ValueType >
getConstrainedRowSum(index_type row, storm::storage::BitVector const &columns) conststorm::storage::SparseMatrix< ValueType >
getConstrainedRowSumVector(storm::storage::BitVector const &rowConstraint, storm::storage::BitVector const &columnConstraint) conststorm::storage::SparseMatrix< ValueType >
getDimensionsAsString() conststorm::storage::SparseMatrix< ValueType >
getEntryCount() conststorm::storage::SparseMatrix< ValueType >
getJacobiDecomposition() conststorm::storage::SparseMatrix< ValueType >
getNonconstantEntryCount() conststorm::storage::SparseMatrix< ValueType >
getNonconstantRowGroupCount() conststorm::storage::SparseMatrix< ValueType >
getNonzeroEntryCount() conststorm::storage::SparseMatrix< ValueType >
getNumRowsInRowGroups(storm::storage::BitVector const &groupConstraint) conststorm::storage::SparseMatrix< ValueType >
getPointwiseProductRowSum(storm::storage::SparseMatrix< OtherValueType > const &otherMatrix, index_type const &row) conststorm::storage::SparseMatrix< ValueType >
getPointwiseProductRowSumVector(storm::storage::SparseMatrix< OtherValueType > const &otherMatrix) conststorm::storage::SparseMatrix< ValueType >
getRow(index_type row) conststorm::storage::SparseMatrix< ValueType >
getRow(index_type row)storm::storage::SparseMatrix< ValueType >
getRow(index_type rowGroup, index_type offset) conststorm::storage::SparseMatrix< ValueType >
getRow(index_type rowGroup, index_type offset)storm::storage::SparseMatrix< ValueType >
getRowCount() conststorm::storage::SparseMatrix< ValueType >
getRowFilter(storm::storage::BitVector const &groupConstraint) conststorm::storage::SparseMatrix< ValueType >
getRowFilter(storm::storage::BitVector const &groupConstraint, storm::storage::BitVector const &columnConstraints) conststorm::storage::SparseMatrix< ValueType >
getRowGroup(index_type rowGroup) conststorm::storage::SparseMatrix< ValueType >
getRowGroup(index_type rowGroup)storm::storage::SparseMatrix< ValueType >
getRowGroupCount() conststorm::storage::SparseMatrix< ValueType >
getRowGroupEntryCount(index_type const group) conststorm::storage::SparseMatrix< ValueType >
getRowGroupFilter(storm::storage::BitVector const &rowConstraint, bool setIfForAllRowsInGroup) conststorm::storage::SparseMatrix< ValueType >
getRowGroupIndices() conststorm::storage::SparseMatrix< ValueType >
getRowGroupIndices(index_type group) conststorm::storage::SparseMatrix< ValueType >
getRowGroupSize(index_type group) conststorm::storage::SparseMatrix< ValueType >
getRows(index_type startRow, index_type endRow) conststorm::storage::SparseMatrix< ValueType >
getRows(index_type startRow, index_type endRow)storm::storage::SparseMatrix< ValueType >
getRowSum(index_type row) conststorm::storage::SparseMatrix< ValueType >
getRowSumVector() conststorm::storage::SparseMatrix< ValueType >
getSizeOfLargestRowGroup() conststorm::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()) conststorm::storage::SparseMatrix< ValueType >
hash() conststorm::storage::SparseMatrix< ValueType >
hasOnlyPositiveEntries() conststorm::storage::SparseMatrix< ValueType >
hasTrivialRowGrouping() conststorm::storage::SparseMatrix< ValueType >
index_type typedefstorm::storage::SparseMatrix< ValueType >
INITIALIZED enum valuestorm::storage::SparseMatrix< ValueType >
invertDiagonal()storm::storage::SparseMatrix< ValueType >
isIdentityMatrix() conststorm::storage::SparseMatrix< ValueType >
isProbabilistic() conststorm::storage::SparseMatrix< ValueType >
isSubmatrixOf(SparseMatrix< OtherValueType > const &matrix) conststorm::storage::SparseMatrix< ValueType >
iterator typedefstorm::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 namestorm::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) conststorm::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) conststorm::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) conststorm::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) conststorm::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) conststorm::storage::SparseMatrix< ValueType >
multiplyRowWithVector(index_type row, std::vector< value_type > const &vector) conststorm::storage::SparseMatrix< ValueType >
multiplyVectorWithMatrix(std::vector< value_type > const &vector, std::vector< value_type > &result) conststorm::storage::SparseMatrix< ValueType >
multiplyWithVector(std::vector< value_type > const &vector, std::vector< value_type > &result, std::vector< value_type > const *summand=nullptr) conststorm::storage::SparseMatrix< ValueType >
multiplyWithVectorBackward(std::vector< value_type > const &vector, std::vector< value_type > &result, std::vector< value_type > const *summand=nullptr) conststorm::storage::SparseMatrix< ValueType >
multiplyWithVectorForward(std::vector< value_type > const &vector, std::vector< value_type > &result, std::vector< value_type > const *summand=nullptr) conststorm::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) conststorm::storage::SparseMatrix< ValueType >
performSuccessiveOverRelaxationStep(ValueType omega, std::vector< ValueType > &x, std::vector< ValueType > const &b) conststorm::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) conststorm::storage::SparseMatrix< ValueType >
permuteRowGroupsAndColumns(std::vector< index_type > const &inverseRowGroupPermutation, std::vector< index_type > const &columnPermutation) conststorm::storage::SparseMatrix< ValueType >
permuteRows(std::vector< index_type > const &inversePermutation) conststorm::storage::SparseMatrix< ValueType >
printAsMatlabMatrix(std::ostream &out) conststorm::storage::SparseMatrix< ValueType >
restrictRows(storm::storage::BitVector const &rowsToKeep, bool allowEmptyRowGroups=false) conststorm::storage::SparseMatrix< ValueType >
scaleRowsInPlace(std::vector< value_type > const &factors)storm::storage::SparseMatrix< ValueType >
selectRowsFromRowGroups(std::vector< index_type > const &rowGroupToRowIndexMapping, bool insertDiagonalEntries=true) conststorm::storage::SparseMatrix< ValueType >
selectRowsFromRowIndexSequence(std::vector< index_type > const &rowIndexSequence, bool insertDiagonalEntries=true) conststorm::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::EigenAdapterstorm::storage::SparseMatrix< ValueType >friend
storm::adapters::GmmxxAdapter< ValueType >storm::storage::SparseMatrix< ValueType >friend
storm::adapters::StormAdapterstorm::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() conststorm::storage::SparseMatrix< ValueType >inline
transpose(bool joinGroups=false, bool keepZeros=false) conststorm::storage::SparseMatrix< ValueType >
transposeSelectedRowsFromRowGroups(std::vector< uint64_t > const &rowGroupChoices, bool keepZeros=false) conststorm::storage::SparseMatrix< ValueType >
UNINITIALIZED enum valuestorm::storage::SparseMatrix< ValueType >
updateDimensions() conststorm::storage::SparseMatrix< ValueType >
updateNonzeroEntryCount() conststorm::storage::SparseMatrix< ValueType >
updateNonzeroEntryCount(std::make_signed< index_type >::type difference)storm::storage::SparseMatrix< ValueType >
value_type typedefstorm::storage::SparseMatrix< ValueType >