From e7fa826fe4d37afd576e2c6a3635b23ae11d8e71 Mon Sep 17 00:00:00 2001
From: Stefan Pranger <stefan.pranger@student.tugraz.at>
Date: Sat, 27 Mar 2021 22:07:10 +0100
Subject: [PATCH] Compare *equal now correctly compare

---
 src/storm/utility/constants.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/storm/utility/constants.h b/src/storm/utility/constants.h
index f381a0555..e0f353b8d 100644
--- a/src/storm/utility/constants.h
+++ b/src/storm/utility/constants.h
@@ -54,7 +54,7 @@ namespace storm {
 
             struct DoubleLessEqual {
                 bool operator()(double a, double b) const {
-                    return (a == 0.0 && b >= 0.0) || (b - a >= 1e-17);
+                    return (a == 0.0 && b >= 0.0) || std::fabs(a - b) < 1e-17 || (b - a >= 1e-17);
                 }
             };
 
@@ -86,7 +86,7 @@ namespace storm {
 
             struct DoubleGreaterEqual {
                 bool operator()(double a, double b) const {
-                    return (b == 0.0 && a >= 0.0) || (a - b >= 1e-17);
+                    return (b == 0.0 && a >= 0.0) || std::fabs(a - b) < 1e-17 || (a - b > 1e-17);
                 }
             };