Browse Source

avoided unnecessary copy of matrix while doing graph analysis. const& was missing somehow.

Former-commit-id: d1abf847c3
tempestpy_adaptions
TimQu 9 years ago
parent
commit
a22c36e38a
  1. 2
      src/utility/graph.h

2
src/utility/graph.h

@ -245,7 +245,7 @@ namespace storm {
* with probability 0 and the second stores all indices of states with probability 1.
*/
template <typename T>
static std::pair<storm::storage::BitVector, storm::storage::BitVector> performProb01(storm::storage::SparseMatrix<T> backwardTransitions, storm::storage::BitVector const& phiStates, storm::storage::BitVector const& psiStates) {
static std::pair<storm::storage::BitVector, storm::storage::BitVector> performProb01(storm::storage::SparseMatrix<T> const& backwardTransitions, storm::storage::BitVector const& phiStates, storm::storage::BitVector const& psiStates) {
std::pair<storm::storage::BitVector, storm::storage::BitVector> result;
result.first = performProbGreater0(backwardTransitions, phiStates, psiStates);
result.second = performProb1(backwardTransitions, phiStates, psiStates, result.first);

Loading…
Cancel
Save