From fbce6a479598544949421558f3984fbfc5649c8a Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Thu, 28 Jun 2018 13:02:29 +0200
Subject: [PATCH] added function to check whether a vector has a zero element

---
 src/storm/utility/vector.h | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/storm/utility/vector.h b/src/storm/utility/vector.h
index ac73e48d5..67cdd9838 100644
--- a/src/storm/utility/vector.h
+++ b/src/storm/utility/vector.h
@@ -1120,6 +1120,11 @@ namespace storm {
             bool hasNonZeroEntry(std::vector<T> const& v){
                 return std::any_of(v.begin(), v.end(), [](T value){return !storm::utility::isZero(value);});
             }
+            
+            template<typename T>
+            bool hasZeroEntry(std::vector<T> const& v){
+                return std::any_of(v.begin(), v.end(), [](T value){return storm::utility::isZero(value);});
+            }
 
             inline std::set<storm::RationalFunctionVariable> getVariables(std::vector<storm::RationalFunction> const& vector) {
                 std::set<storm::RationalFunctionVariable> result;