nondetTs may also be gameNondetTs in LraViHelper

4 years ago · 33b78d5a6f
1 changed files with 1 additions and 1 deletions
--- a/src/storm/modelchecker/helper/infinitehorizon/internal/LraViHelper.cpp
+++ b/src/storm/modelchecker/helper/infinitehorizon/internal/LraViHelper.cpp
@ -485,7 +485,7 @@ namespace storm {
                
                template <typename ValueType, typename ComponentType, LraViTransitionsType TransitionsType>
                bool LraViHelper<ValueType, ComponentType, TransitionsType>::nondetTs() const {
-                    return TransitionsType == LraViTransitionsType::NondetTsNoIs;
+                    return TransitionsType == LraViTransitionsType::NondetTsNoIs || gameNondetTs();
                }
                
                template <typename ValueType, typename ComponentType, LraViTransitionsType TransitionsType>