(stateformula) StateFormula: a StateFormula is a probabilistic path formula

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;
+        }
+
     }
 }

src/storm/logic/StateFormula.h

@@ -12,6 +12,9 @@ namespace storm {
             };
             
             virtual bool isStateFormula() const override;
+
+            virtual bool isProbabilityPathFormula() const override;
+
         };
     }
 }