From 57ad89adea5ac8de0b46af38c3858e19592a9587 Mon Sep 17 00:00:00 2001
From: Alexander Bork <alexander.bork@rwth-aachen.de>
Date: Mon, 28 May 2018 23:06:14 +0200
Subject: [PATCH] Added dependency don't care support

---
 src/storm-dft/transformations/DftToGspnTransformator.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/storm-dft/transformations/DftToGspnTransformator.h b/src/storm-dft/transformations/DftToGspnTransformator.h
index 7753fb509..0c2d9ce55 100644
--- a/src/storm-dft/transformations/DftToGspnTransformator.h
+++ b/src/storm-dft/transformations/DftToGspnTransformator.h
@@ -225,6 +225,7 @@ namespace storm {
                 std::map<uint64_t, uint64_t> unavailablePlaces;
                 std::map<uint64_t, uint64_t> activePlaces;
                 std::map<uint64_t, uint64_t> disabledPlaces;
+                std::map<uint64_t, uint64_t> dependencyPropagationPlaces;
                 std::map<uint64_t, uint64_t> dontcareTransitions;
 
                 static constexpr const char *STR_FAILING = "_failing";          // Name standard for transitions that point towards a place, which in turn indicates the failure of a gate.