From 0a21431c075caff5d51a487673cfaf7a598e7eff Mon Sep 17 00:00:00 2001
From: Mavo <matthias.volk@rwth-aachen.de>
Date: Mon, 1 Feb 2016 11:00:00 +0100
Subject: [PATCH] Use representant for usage flag in DFTBuilder

Former-commit-id: 9084ce2f2f43492f60527f9ea66b0c60feed35bd
---
 src/builder/ExplicitDFTModelBuilder.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/builder/ExplicitDFTModelBuilder.cpp b/src/builder/ExplicitDFTModelBuilder.cpp
index 811d0fdcb..10534d0a5 100644
--- a/src/builder/ExplicitDFTModelBuilder.cpp
+++ b/src/builder/ExplicitDFTModelBuilder.cpp
@@ -146,7 +146,8 @@ namespace storm {
                     // Set failure rate according to usage
                     bool isUsed = true;
                     if (mDft.hasRepresentant(nextBE->id())) {
-                        isUsed = newState.isUsed(nextBE->id());
+                        DFTElementPointer representant = mDft.getRepresentant(nextBE->id());
+                        isUsed = newState.isUsed(representant->id());
                     }
                     STORM_LOG_TRACE("BE " << nextBE->name() << " is " << (isUsed ? "used" : "not used"));
                     ValueType rate = isUsed ? nextBE->activeFailureRate() : nextBE->passiveFailureRate();