From 91b1e3f56712456a66ba0b479f4fc5e1e2ba04ec Mon Sep 17 00:00:00 2001
From: mdeutschen <michael.deutschen@rwth-aachen.de>
Date: Sun, 11 Sep 2016 15:30:17 +0200
Subject: [PATCH] Intermediate fix for PDEP/FDEP bug

Former-commit-id: 0b7960126921ee5920b684c603bb4eefc955347a
---
 src/transformations/dft/DftToGspnTransformator.cpp | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/transformations/dft/DftToGspnTransformator.cpp b/src/transformations/dft/DftToGspnTransformator.cpp
index 4a9466987..e53b10497 100644
--- a/src/transformations/dft/DftToGspnTransformator.cpp
+++ b/src/transformations/dft/DftToGspnTransformator.cpp
@@ -544,10 +544,15 @@ namespace storm {
 			template <typename ValueType>
             uint_fast64_t DftToGspnTransformator<ValueType>::getPriority(uint_fast64_t priority, std::shared_ptr<storm::storage::DFTElement<ValueType> const> dftElement)
 			{
+				// TODO: This method is buggy for pdep2.dft and fdep.dft.
+				
 				// If element is the top element, return current priority.
 				if (dftElement->id() == mDft.getTopLevelIndex()) {
 					return priority;
 				}
+				else if (dftElement->type() == storm::storage::DFTElementType::PDEP) { // TODO: Else if Necessary?
+					return UINT_FAST64_MAX;
+				}
 				else { // Else look at all parents.
 					auto parents = dftElement->parents();
 					std::vector<uint_fast64_t> pathLengths;