From d38e7eeeb879457ef04a05ba45f2faac30b942fb Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Wed, 6 Mar 2013 17:19:31 +0100
Subject: [PATCH] Implemented new utility functions and improved existing ones.

---
 src/utility/Vector.h | 14 +++++++++++---
 1 file changed, 11 insertions(+), 3 deletions(-)

diff --git a/src/utility/Vector.h b/src/utility/Vector.h
index 87ed40b29..fce8c18e1 100644
--- a/src/utility/Vector.h
+++ b/src/utility/Vector.h
@@ -54,12 +54,20 @@ void selectVectorValues(std::vector<T>* vector, const storm::storage::BitVector&
 template<class T>
 void selectVectorValues(std::vector<T>* vector, const storm::storage::BitVector& positions, const std::vector<uint_fast64_t>& rowMapping, std::vector<T> const& values) {
 	uint_fast64_t oldPosition = 0;
-	uint_fast64_t rowMappingPosition = 0;
 	for (auto position : positions) {
-		for (uint_fast64_t i = rowMapping[rowMappingPosition]; i < rowMapping[rowMappingPosition + 1]; ++i) {
+		for (uint_fast64_t i = rowMapping[position]; i < rowMapping[position + 1]; ++i) {
+			(*vector)[oldPosition++] = values[i];
+		}
+	}
+}
+
+template<class T>
+void selectVectorValuesRepeatedly(std::vector<T>* vector, const storm::storage::BitVector& positions, const std::vector<uint_fast64_t>& rowMapping, std::vector<T> const& values) {
+	uint_fast64_t oldPosition = 0;
+	for (auto position : positions) {
+		for (uint_fast64_t i = rowMapping[position]; i < rowMapping[position + 1]; ++i) {
 			(*vector)[oldPosition++] = values[position];
 		}
-		++rowMappingPosition;
 	}
 }