From a1f50253d9a2927ec0e7945c0c29c5206b5effb8 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@gmail.com>
Date: Fri, 8 May 2020 17:23:50 -0700
Subject: [PATCH] compact output of winning region

---
 src/storm-pomdp/analysis/WinningRegion.cpp | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/src/storm-pomdp/analysis/WinningRegion.cpp b/src/storm-pomdp/analysis/WinningRegion.cpp
index 2014d773b..26e2c333e 100644
--- a/src/storm-pomdp/analysis/WinningRegion.cpp
+++ b/src/storm-pomdp/analysis/WinningRegion.cpp
@@ -108,9 +108,13 @@ namespace pomdp {
     void WinningRegion::print() const {
         uint64_t observation = 0;
         std::vector<uint64_t> winningObservations;
+        std::vector<uint64_t> loosingObservations;
+
         for (auto const& winningSupport : winningRegion) {
             if (observationIsWinning(observation)) {
                 winningObservations.push_back(observation);
+            } else if(winningRegion[observation].empty()) {
+                loosingObservations.push_back(observation);
             } else {
                 std::cout << "***** observation" << observation << std::endl;
                 for (auto const& support : winningSupport) {
@@ -120,11 +124,15 @@ namespace pomdp {
             }
             observation++;
         }
-        std::cout << " and " << winningObservations.size() << " winning observations: (";
+        std::cout << "and  " << winningObservations.size() << " winning observations: (";
         for (auto const& obs : winningObservations) {
             std::cout << obs << " ";
         }
-        std::cout << ")" << std::endl;
+        std::cout << ") and " << loosingObservations.size() << " loosing observations: (";
+        for (auto const& obs : loosingObservations) {
+            std::cout << obs << " ";
+        }
+
     }
 
     /**