From c25889bc3ee94876c329eafb26fcdcb0e61179ed Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Fri, 19 Feb 2016 13:57:38 +0100
Subject: [PATCH] minor

Former-commit-id: 1a746c86f203a21c3b613850c556af7a28f56cf6
---
 src/storage/dft/DFT.cpp       | 10 ++++++++++
 src/storage/dft/DFT.h         |  1 +
 src/storage/dft/DFTElements.h |  2 ++
 3 files changed, 13 insertions(+)

diff --git a/src/storage/dft/DFT.cpp b/src/storage/dft/DFT.cpp
index d56166f60..a52cf8984 100644
--- a/src/storage/dft/DFT.cpp
+++ b/src/storage/dft/DFT.cpp
@@ -172,11 +172,21 @@ namespace storm {
             return ISD;
         }
 
+        template<typename ValueType>
+        std::vector<size_t> DFT<ValueType>::immediateFailureCauses(size_t index) const {
+            if(isGate(index)) {
+
+            } else {
+                return {index};
+            }
+        }
+
         template<typename ValueType>
         DFTColouring<ValueType> DFT<ValueType>::colourDFT() const {
             return DFTColouring<ValueType>(*this);
         }
 
+
         template<typename ValueType>
         DFTIndependentSymmetries DFT<ValueType>::findSymmetries(DFTColouring<ValueType> const& colouring) const {
             std::vector<size_t> vec;
diff --git a/src/storage/dft/DFT.h b/src/storage/dft/DFT.h
index 1583cc8d5..61f286619 100644
--- a/src/storage/dft/DFT.h
+++ b/src/storage/dft/DFT.h
@@ -232,6 +232,7 @@ namespace storm {
 
             DFTIndependentSymmetries findSymmetries(DFTColouring<ValueType> const& colouring) const;
 
+            std::vector<size_t> immediateFailureCauses(size_t index) const;
         private:
             std::pair<std::vector<size_t>, std::vector<size_t>> getSortedParentAndOutDepIds(size_t index) const;
             
diff --git a/src/storage/dft/DFTElements.h b/src/storage/dft/DFTElements.h
index c352bd38e..1a3c5b512 100644
--- a/src/storage/dft/DFTElements.h
+++ b/src/storage/dft/DFTElements.h
@@ -173,6 +173,8 @@ namespace storm {
             }
             
             virtual void extendSpareModule(std::set<size_t>& elementsInModule) const;
+
+           // virtual void extendImmediateFailureCausePathEvents(std::set<size_t>& ) const;
             
             virtual size_t nrChildren() const = 0;