From 7788d45ab513c2b26f8e9bee3bcf6c00b3f0fe91 Mon Sep 17 00:00:00 2001
From: Mavo <matthias.volk@rwth-aachen.de>
Date: Wed, 17 Feb 2016 11:22:15 +0100
Subject: [PATCH] No distinction between successful dependency and no
dependency at all
Former-commit-id: b51149328313e653ac2896ebbb3e294785f2807f
---
src/storage/dft/DFTState.cpp | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/src/storage/dft/DFTState.cpp b/src/storage/dft/DFTState.cpp
index 53d0f8761..9916bbe0e 100644
--- a/src/storage/dft/DFTState.cpp
+++ b/src/storage/dft/DFTState.cpp
@@ -91,7 +91,9 @@ namespace storm {
template<typename ValueType>
void DFTState<ValueType>::setDependencySuccessful(size_t id) {
- mStatus.set(mDft.failureIndex(id));
+ // No distinction between successful dependency and no dependency at all
+ // -> we do not set bit
+ //mStatus.set(mDft.failureIndex(id));
}
template<typename ValueType>