From b3d18c236745bb5849ded05f3a0dd5eb621b43d6 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Mon, 16 Feb 2015 19:55:30 +0100
Subject: [PATCH] Enabled probabilities depending on source state variables.
Former-commit-id: 8c12ac975c3eb66fdbeb8e69e17fbb22e627e085
---
src/builder/DdPrismModelBuilder.cpp | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/builder/DdPrismModelBuilder.cpp b/src/builder/DdPrismModelBuilder.cpp
index 4f867f447..ccadd2a9b 100644
--- a/src/builder/DdPrismModelBuilder.cpp
+++ b/src/builder/DdPrismModelBuilder.cpp
@@ -132,8 +132,8 @@ namespace storm {
STORM_LOG_WARN_COND(!updateDd.isZero(), "Update '" << update << "' does not have any effect.");
- double p = update.getLikelihoodExpression().evaluateAsDouble();
- updateDd *= generationInfo.manager->getConstant(p);
+ storm::dd::Dd<Type> probabilityDd = generationInfo.rowExpressionAdapter->translateExpression(update.getLikelihoodExpression());
+ updateDd *= probabilityDd;
commandDd += updateDd;
}