hasRestrictedInitiialStates convenience

Former-commit-id: 4457d767c9 [formerly 7f48d50845]
Former-commit-id: 82416e0649

src/storage/jani/Automaton.cpp

@@ -333,6 +333,10 @@ namespace storm {
         uint64_t Automaton::getNumberOfEdges() const {
             return edges.size();
         }
+        
+        bool Automaton::hasRestrictedInitialStates() const {
+            return hasInitialStatesRestriction() && !(getInitialStatesExpression().evaluateAsBool());
+        }
 
         bool Automaton::hasInitialStatesRestriction() const {
             return initialStatesRestriction.isInitialized();

src/storage/jani/Automaton.h

@@ -258,6 +258,11 @@ namespace storm {
              */
             uint64_t getNumberOfEdges() const;
             
+            /*!
+             * Retrieves whether the initial restriction is set and unequal to true
+             */
+            bool hasRestrictedInitialStates() const;
+            
             /*!
              * Retrieves whether this automaton has an initial states restriction.
              */