added some missing clone functions for check results

src/storm-pars/modelchecker/results/RegionCheckResult.cpp

@@ -27,6 +27,11 @@ namespace storm {
             initFractions(overallArea);
         }
 
+        template<typename ValueType>
+        std::unique_ptr<CheckResult> RegionCheckResult<ValueType>::clone() const {
+            return std::make_unique<RegionCheckResult<ValueType>>(this->regionResults);
+        }
+        
         template<typename ValueType>
         bool RegionCheckResult<ValueType>::isRegionCheckResult() const {
             return true;
@@ -108,7 +113,6 @@ namespace storm {
             // Filtering has no effect as we only store the result w.r.t. a single state anyway.
             // Hence, this is intentionally left empty.
         }
-
         
 #ifdef STORM_HAVE_CARL
         template class RegionCheckResult<storm::RationalFunction>;

src/storm-pars/modelchecker/results/RegionCheckResult.h

@@ -29,6 +29,8 @@ namespace storm {
 
             virtual void filter(QualitativeCheckResult const& filter) override;
             
+            virtual std::unique_ptr<CheckResult> clone() const override;
+
         protected:
             virtual void initFractions(typename storm::storage::ParameterRegion<ValueType>::CoefficientType const& overallArea);
             

src/storm-pars/modelchecker/results/RegionRefinementCheckResult.cpp

@@ -29,6 +29,11 @@ namespace storm {
         storm::storage::ParameterRegion<ValueType> const& RegionRefinementCheckResult<ValueType>::getParameterSpace() const {
             return parameterSpace;
         }
+        
+        template<typename ValueType>
+        std::unique_ptr<CheckResult> RegionRefinementCheckResult<ValueType>::clone() const {
+            return std::make_unique<RegionRefinementCheckResult<ValueType>>(this->regionResults, this->parameterSpace);
+        }
 
         template<typename ValueType>
         std::ostream& RegionRefinementCheckResult<ValueType>::writeIllustrationToStream(std::ostream& out) const {

src/storm-pars/modelchecker/results/RegionRefinementCheckResult.h

@@ -21,7 +21,8 @@ namespace storm {
             storm::storage::ParameterRegion<ValueType> const& getParameterSpace() const;
 
             virtual std::ostream& writeIllustrationToStream(std::ostream& out) const override;
-            
+
+            virtual std::unique_ptr<CheckResult> clone() const override;
 
         protected:
             storm::storage::ParameterRegion<ValueType> parameterSpace;