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.