From 1b2a78e9ac70b96020b742ef0a58e85599bd5557 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Thu, 3 Sep 2020 13:55:22 +0200
Subject: [PATCH] Abstract equation solver: added getOptionalRelevantValues

---
 src/storm/solver/AbstractEquationSolver.cpp | 5 +++++
 src/storm/solver/AbstractEquationSolver.h   | 1 +
 2 files changed, 6 insertions(+)

diff --git a/src/storm/solver/AbstractEquationSolver.cpp b/src/storm/solver/AbstractEquationSolver.cpp
index d8e3e7b91..c068e5d31 100644
--- a/src/storm/solver/AbstractEquationSolver.cpp
+++ b/src/storm/solver/AbstractEquationSolver.cpp
@@ -66,6 +66,11 @@ namespace storm {
             return relevantValues.get();
         }
         
+        template<typename ValueType>
+        boost::optional<storm::storage::BitVector> const& AbstractEquationSolver<ValueType>::getOptionalRelevantValues() const {
+            return relevantValues;
+        }
+        
         template<typename ValueType>
         void AbstractEquationSolver<ValueType>::setRelevantValues(storm::storage::BitVector&& relevantValues) {
             this->relevantValues = std::move(relevantValues);
diff --git a/src/storm/solver/AbstractEquationSolver.h b/src/storm/solver/AbstractEquationSolver.h
index 8e303f042..0301ad42e 100644
--- a/src/storm/solver/AbstractEquationSolver.h
+++ b/src/storm/solver/AbstractEquationSolver.h
@@ -52,6 +52,7 @@ namespace storm {
              * Retrieves the relevant values (if there are any).
              */
             storm::storage::BitVector const& getRelevantValues() const;
+            boost::optional<storm::storage::BitVector> const& getOptionalRelevantValues() const;
             
             /*!
              * Sets the relevant values.