From 72ef715d68860a8bef068697f4b3f6ed6e15e591 Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Tue, 1 Sep 2015 17:00:12 +0200
Subject: [PATCH] Return type to also include partial schedulers

Former-commit-id: 65bee19f6af76765da247d9ce25e279e5afd7915
---
 .../helper/MDPModelCheckingHelperReturnType.h | 44 +++++++++++++++++++
 1 file changed, 44 insertions(+)
 create mode 100644 src/modelchecker/prctl/helper/MDPModelCheckingHelperReturnType.h

diff --git a/src/modelchecker/prctl/helper/MDPModelCheckingHelperReturnType.h b/src/modelchecker/prctl/helper/MDPModelCheckingHelperReturnType.h
new file mode 100644
index 000000000..d04dd1988
--- /dev/null
+++ b/src/modelchecker/prctl/helper/MDPModelCheckingHelperReturnType.h
@@ -0,0 +1,44 @@
+#ifndef MDPMODELCHECKINGHELPERRETURNTYPE_H
+#define	MDPMODELCHECKINGHELPERRETURNTYPE_H
+
+#include <vector>
+#include <memory>
+#include "src/storage/partialscheduler.h"
+
+namespace storm {
+    namespace storage {
+        class BitVector;
+    }
+    
+    
+    namespace modelchecker {
+
+
+        namespace helper {
+            template<typename ValueType>
+            struct MDPSparseModelCheckingHelperReturnType {
+                MDPSparseModelCheckingHelperReturnType(MDPSparseModelCheckingHelperReturnType const&) = delete;
+                MDPSparseModelCheckingHelperReturnType(MDPSparseModelCheckingHelperReturnType&&) = default;
+                
+                explicit MDPSparseModelCheckingHelperReturnType(std::vector<ValueType> && res) : result(std::move(res))
+                {
+                    
+                }
+                
+                MDPSparseModelCheckingHelperReturnType(std::vector<ValueType> &&  res, std::unique_ptr<storm::storage::PartialScheduler> && pSched) :
+                result(std::move(res)), partScheduler(std::move(pSched)) {}
+
+                virtual ~MDPSparseModelCheckingHelperReturnType() { }
+                
+                
+                std::vector<ValueType> result;
+                std::unique_ptr<storm::storage::PartialScheduler> partScheduler;
+            };
+        }
+
+    }
+}
+
+
+#endif	/* MDPMODELCHECKINGRETURNTYPE_H */
+