From 02464909a455289e643a773ff6462ce79b81ee12 Mon Sep 17 00:00:00 2001
From: lukpo <lukas.posch@student.tugraz.at>
Date: Tue, 24 Aug 2021 15:03:16 +0200
Subject: [PATCH] removed unused method getQualitativeResultAtInitialState

---
 .../modelchecker/rpatl/smg/SmgRpatlModelCheckerTest.cpp     | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/src/test/storm/modelchecker/rpatl/smg/SmgRpatlModelCheckerTest.cpp b/src/test/storm/modelchecker/rpatl/smg/SmgRpatlModelCheckerTest.cpp
index 34a805537..a55413e98 100644
--- a/src/test/storm/modelchecker/rpatl/smg/SmgRpatlModelCheckerTest.cpp
+++ b/src/test/storm/modelchecker/rpatl/smg/SmgRpatlModelCheckerTest.cpp
@@ -130,12 +130,6 @@ namespace {
             }
         }
 
-/*        bool getQualitativeResultAtInitialState(std::shared_ptr<storm::models::Model<ValueType>> const& model, std::unique_ptr<storm::modelchecker::CheckResult>& result) {
-            auto filter = getInitialStateFilter(model);
-            result->filter(*filter);
-            return result->asQualitativeCheckResult().forallTrue();
-        }*/
-
         ValueType getQuantitativeResultAtInitialState(std::shared_ptr<storm::models::Model<ValueType>> const& model, std::unique_ptr<storm::modelchecker::CheckResult>& result) {
             auto filter = getInitialStateFilter(model);
             result->filter(*filter);