From af10aa8b4b2bbd33326ee9e8e26e98dc7d6d5b8b Mon Sep 17 00:00:00 2001
From: Joachim Klein <joachim.klein@automata.tools>
Date: Mon, 24 Aug 2020 22:25:09 +0200
Subject: [PATCH] (stateformula) StateFormula: a StateFormula is a
 probabilistic path formula

---
 src/storm/logic/StateFormula.cpp | 7 +++++++
 src/storm/logic/StateFormula.h   | 3 +++
 2 files changed, 10 insertions(+)

diff --git a/src/storm/logic/StateFormula.cpp b/src/storm/logic/StateFormula.cpp
index 688d9f8a9..d6b9b6ca5 100644
--- a/src/storm/logic/StateFormula.cpp
+++ b/src/storm/logic/StateFormula.cpp
@@ -5,5 +5,12 @@ namespace storm {
         bool StateFormula::isStateFormula() const {
             return true;
         }
+
+
+        bool StateFormula::isProbabilityPathFormula() const {
+            // a single state formula can be seen as a path formula as well
+            return true;
+        }
+
     }
 }
diff --git a/src/storm/logic/StateFormula.h b/src/storm/logic/StateFormula.h
index 18f745a8b..b7e82d3ae 100644
--- a/src/storm/logic/StateFormula.h
+++ b/src/storm/logic/StateFormula.h
@@ -12,6 +12,9 @@ namespace storm {
             };
             
             virtual bool isStateFormula() const override;
+
+            virtual bool isProbabilityPathFormula() const override;
+
         };
     }
 }