From ed6f3dae9f9dda2da2a6dac2e4c74c6c5b37ba3b Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Sun, 26 Oct 2014 16:23:26 +0100
Subject: [PATCH] Renamed the newly added method.
Former-commit-id: 72ea9afb61aa4f5883d35fc5640ff4ec6a230fb2
---
src/utility/graph.h | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/utility/graph.h b/src/utility/graph.h
index 59c180efb..b41883d7c 100644
--- a/src/utility/graph.h
+++ b/src/utility/graph.h
@@ -80,7 +80,7 @@ namespace storm {
* @return The distances of each state to the initial states of the sarch.
*/
template<typename T>
- std::vector<std::size_t> getReachableStates(storm::storage::SparseMatrix<T> const& transitionMatrix, storm::storage::BitVector const& initialStates) {
+ std::vector<std::size_t> getDistances(storm::storage::SparseMatrix<T> const& transitionMatrix, storm::storage::BitVector const& initialStates) {
std::vector<std::size_t> distances(transitionMatrix.getRowGroupCount());
std::vector<std::pair<storm::storage::sparse::state_type, std::size_t>> stateQueue;