From f559e0adb8291b777a8e43049c30341168c91130 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Fri, 7 Aug 2015 15:47:05 +0000
Subject: [PATCH] Return NaN for DD_FindMin / DD_FindMax on CUDD out of memory

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10486 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/dd/dd_term.cc | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/prism/src/dd/dd_term.cc b/prism/src/dd/dd_term.cc
index 1855ae92..6fdd1046 100644
--- a/prism/src/dd/dd_term.cc
+++ b/prism/src/dd/dd_term.cc
@@ -31,6 +31,7 @@
 #include "dd_term.h"
 #include "dd_export.h"
 #include "dd_cudd.h"
+#include <limits>  // for NaN value
 
 //------------------------------------------------------------------------------
 
@@ -228,7 +229,7 @@ DdNode *dd
 	DdNode *v = Cudd_addFindMin(ddman, dd);
 	if (v == NULL) {
 		DD_SetErrorFlag();
-		return 0.0;
+		return std::numeric_limits<double>::quiet_NaN();
 	}
 	return Cudd_V(v);
 }
@@ -244,7 +245,7 @@ DdNode *dd
 	DdNode *v = Cudd_addFindMax(ddman, dd);
 	if (v == NULL) {
 		DD_SetErrorFlag();
-		return 0.0;
+		return std::numeric_limits<double>::quiet_NaN();
 	}
 	return Cudd_V(v);
 }