From 935018789589f10ba1de3dfd9227c198ab4ed420 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Tue, 27 Jun 2017 12:39:47 +0200
Subject: [PATCH] Fixed tests

---
 .../region/SparseParameterLiftingModelChecker.cpp            | 4 ++--
 src/storm-pars/storage/ParameterRegion.cpp                   | 5 +++++
 src/storm-pars/storage/ParameterRegion.h                     | 1 +
 3 files changed, 8 insertions(+), 2 deletions(-)

diff --git a/src/storm-pars/modelchecker/region/SparseParameterLiftingModelChecker.cpp b/src/storm-pars/modelchecker/region/SparseParameterLiftingModelChecker.cpp
index 95886ffbd..17610df87 100644
--- a/src/storm-pars/modelchecker/region/SparseParameterLiftingModelChecker.cpp
+++ b/src/storm-pars/modelchecker/region/SparseParameterLiftingModelChecker.cpp
@@ -91,8 +91,8 @@ namespace storm {
                 return result;
             }
             
-            bool hasSatPoint = result == RegionResult::ExistsViolated || result == RegionResult::CenterViolated;
-            bool hasViolatedPoint = result == RegionResult::ExistsSat || result == RegionResult::CenterSat;
+            bool hasSatPoint = result == RegionResult::ExistsSat || result == RegionResult::CenterSat;
+            bool hasViolatedPoint = result == RegionResult::ExistsViolated || result == RegionResult::CenterViolated;
             
             // Check if there is a point in the region for which the property is satisfied
             auto vertices = region.getVerticesOfRegion(region.getVariables());
diff --git a/src/storm-pars/storage/ParameterRegion.cpp b/src/storm-pars/storage/ParameterRegion.cpp
index bc3e1d0d5..3d9e36c93 100644
--- a/src/storm-pars/storage/ParameterRegion.cpp
+++ b/src/storm-pars/storage/ParameterRegion.cpp
@@ -7,6 +7,11 @@
 namespace storm {
     namespace storage {
 
+        template<typename ParametricType>
+        ParameterRegion<ParametricType>::ParameterRegion() {
+            init();
+        }
+        
         template<typename ParametricType>
         ParameterRegion<ParametricType>::ParameterRegion(Valuation const& lowerBoundaries, Valuation const& upperBoundaries) : lowerBoundaries(lowerBoundaries), upperBoundaries(upperBoundaries) {
             init();
diff --git a/src/storm-pars/storage/ParameterRegion.h b/src/storm-pars/storage/ParameterRegion.h
index c09c78733..95a98aa87 100644
--- a/src/storm-pars/storage/ParameterRegion.h
+++ b/src/storm-pars/storage/ParameterRegion.h
@@ -13,6 +13,7 @@ namespace storm {
             typedef typename storm::utility::parametric::CoefficientType<ParametricType>::type CoefficientType;
             typedef typename storm::utility::parametric::Valuation<ParametricType> Valuation;
             
+            ParameterRegion();
             ParameterRegion(Valuation const& lowerBoundaries, Valuation const& upperBoundaries);
             ParameterRegion(Valuation&& lowerBoundaries, Valuation&& upperBoundaries);
             ParameterRegion(ParameterRegion const& other) = default;