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

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

const_iterator typedefstorm::storage::FlexibleSparseMatrix< ValueType >
createSparseMatrix()storm::storage::FlexibleSparseMatrix< ValueType >
createSparseMatrix(storm::storage::BitVector const &rowConstraint, storm::storage::BitVector const &columnConstraint)storm::storage::FlexibleSparseMatrix< ValueType >
empty() conststorm::storage::FlexibleSparseMatrix< ValueType >
filterEntries(storm::storage::BitVector const &rowConstraint, storm::storage::BitVector const &columnConstraint)storm::storage::FlexibleSparseMatrix< ValueType >
FlexibleSparseMatrix()=defaultstorm::storage::FlexibleSparseMatrix< ValueType >
FlexibleSparseMatrix(index_type rows)storm::storage::FlexibleSparseMatrix< ValueType >
FlexibleSparseMatrix(storm::storage::SparseMatrix< ValueType > const &matrix, bool setAllValuesToOne=false, bool revertEquationSystem=false)storm::storage::FlexibleSparseMatrix< ValueType >
getColumnCount() conststorm::storage::FlexibleSparseMatrix< ValueType >
getNonzeroEntryCount() conststorm::storage::FlexibleSparseMatrix< ValueType >
getRow(index_type)storm::storage::FlexibleSparseMatrix< ValueType >
getRow(index_type) conststorm::storage::FlexibleSparseMatrix< ValueType >
getRow(index_type rowGroup, index_type offset)storm::storage::FlexibleSparseMatrix< ValueType >
getRow(index_type rowGroup, index_type entryInGroup) conststorm::storage::FlexibleSparseMatrix< ValueType >
getRowCount() conststorm::storage::FlexibleSparseMatrix< ValueType >
getRowGroupCount() conststorm::storage::FlexibleSparseMatrix< ValueType >
getRowGroupIndices() conststorm::storage::FlexibleSparseMatrix< ValueType >
getRowGroupSize(index_type group) conststorm::storage::FlexibleSparseMatrix< ValueType >
getRowSum(index_type row) conststorm::storage::FlexibleSparseMatrix< ValueType >
hasTrivialRowGrouping() conststorm::storage::FlexibleSparseMatrix< ValueType >
index_type typedefstorm::storage::FlexibleSparseMatrix< ValueType >
iterator typedefstorm::storage::FlexibleSparseMatrix< ValueType >
operator<<storm::storage::FlexibleSparseMatrix< ValueType >friend
printRow(std::ostream &out, index_type const &rowIndex) conststorm::storage::FlexibleSparseMatrix< ValueType >
reserveInRow(index_type row, index_type numberOfElements)storm::storage::FlexibleSparseMatrix< ValueType >
row_type typedefstorm::storage::FlexibleSparseMatrix< ValueType >
rowHasDiagonalElement(storm::storage::sparse::state_type state)storm::storage::FlexibleSparseMatrix< ValueType >
updateDimensions()storm::storage::FlexibleSparseMatrix< ValueType >
value_type typedefstorm::storage::FlexibleSparseMatrix< ValueType >