exp(´0.0) evaluates to 1.0 now

Author: chschulte

changelog.in

@@ -68,6 +68,14 @@ Date: ?-?-?
 [DESCRIPTION]
 New stuff!
 
+[ENTRY]
+Module: minimodel
+What:   bug
+Rank:   minor
+Thanks: Conrad Drescher
+[DESCRIPTION]
+exp(0.0) now correctly evaluates to 1.0 (and not 0.0).
+
 [ENTRY]
 Module: int
 What:   changed

gecode/minimodel/float-arith.cpp

@@ -226,9 +226,10 @@ namespace Gecode { namespace MiniModel {
         {
           assert(n == 1);
           FloatVar x = a[0].post(home);
-          if (x.assigned() && (x.val() == 0.0))
-            y = result(home,ret,x);
-          else {
+          if (x.assigned() && (x.val() == 0.0)) {
+            FloatVar one(home,1.0,1.0);
+            y = result(home,ret,one);
+          } else {
             y = result(home,ret);
             exp(home, x, y);
           }