Adaption to changes in BEs

6 years ago · 521461737a
1 changed files with 2 additions and 1 deletions
--- a/src/storm-dft/modelchecker/dft/DFTASFChecker.cpp
+++ b/src/storm-dft/modelchecker/dft/DFTASFChecker.cpp
@ -95,7 +95,8 @@ namespace storm {
                }

                switch (element->type()) {
-                    case storm::storage::DFTElementType::BE:
+                    case storm::storage::DFTElementType::BE_EXP:
+                    case storm::storage::DFTElementType::BE_CONST:
                        // BEs were already considered before
                        break;
                    case storm::storage::DFTElementType::AND: