From 9c28ed990e50f92736c6d5cf604e77d352ef3e62 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Wed, 29 May 2019 18:48:21 +0200
Subject: [PATCH] Use isBasicElement() instead of type

---
 src/storm-dft/modelchecker/dft/DFTASFChecker.cpp | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/storm-dft/modelchecker/dft/DFTASFChecker.cpp b/src/storm-dft/modelchecker/dft/DFTASFChecker.cpp
index 0ed94401d..b43edf72b 100644
--- a/src/storm-dft/modelchecker/dft/DFTASFChecker.cpp
+++ b/src/storm-dft/modelchecker/dft/DFTASFChecker.cpp
@@ -619,8 +619,7 @@ namespace storm {
             // Count dependent events
             for (size_t i = 0; i < dft.nrElements(); ++i) {
                 std::shared_ptr<storm::storage::DFTElement<ValueType> const> element = dft.getElement(i);
-                if (element->type() == storm::storage::DFTElementType::BE_EXP ||
-                    element->type() == storm::storage::DFTElementType::BE_CONST) {
+                if (element->isBasicElement()) {
                     auto be = std::static_pointer_cast<storm::storage::DFTBE<double> const>(element);
                     if (be->hasIngoingDependencies()) {
                         ++nrDepEvents;