From 76c689a0017a232617fbb9607c7c1819b437d092 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Wed, 14 Apr 2021 12:19:56 +0200
Subject: [PATCH] flagging multi-objective formulae as State formulae

---
 src/storm/logic/MultiObjectiveFormula.cpp | 4 ++++
 src/storm/logic/MultiObjectiveFormula.h   | 1 +
 2 files changed, 5 insertions(+)

diff --git a/src/storm/logic/MultiObjectiveFormula.cpp b/src/storm/logic/MultiObjectiveFormula.cpp
index edae6a1ea..dec0fc6cd 100644
--- a/src/storm/logic/MultiObjectiveFormula.cpp
+++ b/src/storm/logic/MultiObjectiveFormula.cpp
@@ -19,6 +19,10 @@ namespace storm {
             return true;
         }
         
+        bool MultiObjectiveFormula::isStateFormula() const {
+            return true;
+        }
+        
         bool MultiObjectiveFormula::hasQualitativeResult() const {
             for(auto const& subformula : this->subformulas){
                 if(subformula->hasQuantitativeResult()){
diff --git a/src/storm/logic/MultiObjectiveFormula.h b/src/storm/logic/MultiObjectiveFormula.h
index faf774958..bee816a61 100644
--- a/src/storm/logic/MultiObjectiveFormula.h
+++ b/src/storm/logic/MultiObjectiveFormula.h
@@ -12,6 +12,7 @@ namespace storm {
             virtual ~MultiObjectiveFormula();
             
             virtual bool isMultiObjectiveFormula() const override;
+            virtual bool isStateFormula() const override;
             
             virtual bool hasQualitativeResult() const override; // Result is true or false
             virtual bool hasQuantitativeResult() const override; // Result is numerical or a pareto curve