Browse Source

Removed unused method again

tempestpy_adaptions
Matthias Volk 6 years ago
parent
commit
9ebd1af737
  1. 13
      src/storm/storage/SparseMatrix.cpp
  2. 5
      src/storm/storage/SparseMatrix.h

13
src/storm/storage/SparseMatrix.cpp

@ -1306,19 +1306,6 @@ namespace storm {
}
}
}
template<typename ValueType>
void SparseMatrix<ValueType>::deleteDiagonalEntries(storm::storage::BitVector const& states) {
// Iterate over all rows and negate all the elements that are not on the diagonal.
for (index_type group = 0; group < this->getRowGroupCount(); ++group) {
for (auto& entry : this->getRowGroup(group)) {
if (entry.getColumn() == group && states[group]) {
--this->nonzeroEntryCount;
entry.setValue(storm::utility::zero<ValueType>());
}
}
}
}
template<typename ValueType>
typename std::pair<storm::storage::SparseMatrix<ValueType>, std::vector<ValueType>> SparseMatrix<ValueType>::getJacobiDecomposition() const {

5
src/storm/storage/SparseMatrix.h

@ -806,11 +806,6 @@ namespace storm {
* Sets all diagonal elements to zero.
*/
void deleteDiagonalEntries();
/*!
* Sets all diagonal elements to zero.
*/
void deleteDiagonalEntries(storm::storage::BitVector const& states);
/*!
* Calculates the Jacobi decomposition of this sparse matrix. For this operation, the matrix must be square.

Loading…
Cancel
Save