From 83d05eb360866316557808a7e115dbb5d7d4d64b Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 11 Apr 2008 08:03:28 +0000 Subject: [PATCH] Bug fix: Apply logarithm function. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@732 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- cudd/cudd/cuddAddApply.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/cudd/cudd/cuddAddApply.c b/cudd/cudd/cuddAddApply.c index 0dd6f80f..c418ba08 100644 --- a/cudd/cudd/cuddAddApply.c +++ b/cudd/cudd/cuddAddApply.c @@ -1086,8 +1086,8 @@ Cudd_addLogXY( F = *f; G = *g; if (cuddIsConstant(F) && cuddIsConstant(G)) { - // If base is <0 or ==1 (or +Inf/NaN), then result is NaN - if (cuddV(G) < 0 || cuddV(G) == 1.0 || G==DD_PLUS_INFINITY(dd) || cuddV(G) != cuddV(G)) value = (0.0/0.0); + // If base is <=0 or ==1 (or +Inf/NaN), then result is NaN + if (cuddV(G) <= 0 || cuddV(G) == 1.0 || G==DD_PLUS_INFINITY(dd) || cuddV(G) != cuddV(G)) value = (0.0/0.0); // If arg is <0 or NaN, then result is NaN else if (cuddV(F) < 0 || cuddV(F) != cuddV(F)) value = (0.0/0.0); // If arg is +Inf, then result is +Inf