From 55c2d5c03fcf0cf25fcd717b8ac67e4fa8880d58 Mon Sep 17 00:00:00 2001
From: gereon <gereon.kremer@rwth-aachen.de>
Date: Mon, 4 Feb 2013 09:46:44 +0100
Subject: [PATCH] implemented clone for BoundedNaryUntil

---
 src/formula/BoundedNaryUntil.h | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/src/formula/BoundedNaryUntil.h b/src/formula/BoundedNaryUntil.h
index bbd370cd9..2ff54a779 100644
--- a/src/formula/BoundedNaryUntil.h
+++ b/src/formula/BoundedNaryUntil.h
@@ -163,8 +163,11 @@ public:
 			result->setLeft(left->clone());
 		}
 		if (right != NULL) {
-			//TODO: implement clone of std::vector
-			//result->setRight(right->clone());
+			std::vector<std::tuple<AbstractStateFormula<T>*,T,T>>* newright = new std::vector<std::tuple<AbstractStateFormula<T>*,T,T>>();
+			for (auto it = this->right->begin(); it != this->right->end(); ++it) {
+				newright->push_back(std::tuple<AbstractStateFormula<T>*,T,T>(std::get<0>(*it)->clone(), std::get<1>(*it), std::get<2>(*it)));
+			}
+			result->setRight(newright);
 		}
 		return result;
 	}