From 10fc5d18c83a76978b77b8929dfa2c0eb81c84d2 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Mon, 9 Aug 2021 13:49:05 +0200
Subject: [PATCH] Clarified what a complex path formula is.

---
 src/storm/logic/FormulaInformation.h | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/storm/logic/FormulaInformation.h b/src/storm/logic/FormulaInformation.h
index 280fa5e59..6d86ba3fd 100644
--- a/src/storm/logic/FormulaInformation.h
+++ b/src/storm/logic/FormulaInformation.h
@@ -18,6 +18,10 @@ namespace storm {
             bool containsCumulativeRewardFormula() const;
             bool containsRewardBoundedFormula() const;
             bool containsLongRunFormula() const;
+            
+            /*!
+             * @return true iff the formula contains nested temporal operators and/or boolean combinations of path formulas (e.g. '"safe" & F "goal"')
+             */
             bool containsComplexPathFormula() const;
             
             FormulaInformation join(FormulaInformation const& other);