setBoundedGloballyFormulasAllowed in FragmentSpecification.*

src/storm/logic/FragmentSpecification.cpp

@@ -68,6 +68,7 @@ namespace storm {
             rpatl.setUntilFormulasAllowed(true);
             rpatl.setGloballyFormulasAllowed(true);
             rpatl.setNextFormulasAllowed(true);
+            rpatl.setBoundedGloballyFormulasAllowed(true);
 
             return rpatl;
         }
@@ -316,6 +317,15 @@ namespace storm {
             return *this;
         }
 
+        bool FragmentSpecification::areBoundedGloballyFormulasAllowed() const {
+            return boundedGloballyFormula;
+        }
+
+        FragmentSpecification& FragmentSpecification::setBoundedGloballyFormulasAllowed(bool newValue) {
+            this->boundedGloballyFormula = newValue;
+            return *this;
+        }
+
         bool FragmentSpecification::areAtomicExpressionFormulasAllowed() const {
             return atomicExpressionFormula;
         }

src/storm/logic/FragmentSpecification.h

@@ -52,6 +52,9 @@ namespace storm {
             bool areBoundedUntilFormulasAllowed() const;
             FragmentSpecification& setBoundedUntilFormulasAllowed(bool newValue);
 
+            bool areBoundedGloballyFormulasAllowed() const;
+            FragmentSpecification& setBoundedGloballyFormulasAllowed(bool newValue);
+
             bool areAtomicExpressionFormulasAllowed() const;
             FragmentSpecification& setAtomicExpressionFormulasAllowed(bool newValue);
 
@@ -176,6 +179,7 @@ namespace storm {
             bool nextFormula;
             bool untilFormula;
             bool boundedUntilFormula;
+            bool boundedGloballyFormula;
 
             bool atomicExpressionFormula;
             bool atomicLabelFormula;