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 - std::vector getReachableStates(storm::storage::SparseMatrix const& transitionMatrix, storm::storage::BitVector const& initialStates) { + std::vector getDistances(storm::storage::SparseMatrix const& transitionMatrix, storm::storage::BitVector const& initialStates) { std::vector distances(transitionMatrix.getRowGroupCount()); std::vector> stateQueue;