From 598dd85972bd063bf59ea96208ee454ddf702418 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Wed, 15 Feb 2017 16:22:43 +0100
Subject: [PATCH] SymbolicModel: getDeadlockStates

---
 src/storm/models/symbolic/Model.cpp | 5 +++++
 src/storm/models/symbolic/Model.h   | 7 ++++++-
 2 files changed, 11 insertions(+), 1 deletion(-)

diff --git a/src/storm/models/symbolic/Model.cpp b/src/storm/models/symbolic/Model.cpp
index 38f87d438..e88895560 100644
--- a/src/storm/models/symbolic/Model.cpp
+++ b/src/storm/models/symbolic/Model.cpp
@@ -71,6 +71,11 @@ namespace storm {
             storm::dd::Bdd<Type> const& Model<Type, ValueType>::getInitialStates() const {
                 return initialStates;
             }
+
+            template<storm::dd::DdType Type, typename ValueType>
+            storm::dd::Bdd<Type> const& Model<Type, ValueType>::getDeadlockStates() const {
+                return deadlockStates;
+            }
             
             template<storm::dd::DdType Type, typename ValueType>
             storm::dd::Bdd<Type> Model<Type, ValueType>::getStates(std::string const& label) const {
diff --git a/src/storm/models/symbolic/Model.h b/src/storm/models/symbolic/Model.h
index f3db59f26..4d70fbf1d 100644
--- a/src/storm/models/symbolic/Model.h
+++ b/src/storm/models/symbolic/Model.h
@@ -130,7 +130,12 @@ namespace storm {
                  * @return The initial states of the model.
                  */
                 storm::dd::Bdd<Type> const& getInitialStates() const;
-                
+
+                /*
+                 * Retrieves the deadlock states of the model.
+                 */
+                storm::dd::Bdd<Type> const& getDeadlockStates() const;
+
                 /*!
                  * Returns the sets of states labeled with the given label.
                  *