From 3836fd42c00c95c5b37641f90e952f34852b52c6 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Mon, 29 Apr 2019 11:44:51 +0200
Subject: [PATCH] utility/vector: Added hasZeroEntry and hasInfinityEntry
---
src/storm/utility/vector.h | 10 ++++++++++
1 file changed, 10 insertions(+)
diff --git a/src/storm/utility/vector.h b/src/storm/utility/vector.h
index 53e89cacc..153f74a36 100644
--- a/src/storm/utility/vector.h
+++ b/src/storm/utility/vector.h
@@ -1155,6 +1155,16 @@ 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);});
+ }
+
+ template<typename T>
+ bool hasInfinityEntry(std::vector<T> const& v){
+ return std::any_of(v.begin(), v.end(), [](T value){return storm::utility::isInfinity(value);});
+ }
inline std::set<storm::RationalFunctionVariable> getVariables(std::vector<storm::RationalFunction> const& vector) {
std::set<storm::RationalFunctionVariable> result;