Fixed strict inqualities for Float relations (fixes #7)

Author: Christian Schulte

changelog.in

@@ -68,6 +68,14 @@ Date: TBD
 [DESCRIPTION]
 Changes
 
+[ENTRY]
+Module: minimodel
+What:   bug
+Rank:   minor
+Thanks: Matthias Balzer
+[DESCRIPTION]
+Fixed strict inequalities for Float relations.
+
 [ENTRY]
 Module: support
 What:   bug

gecode/minimodel/float-expr.cpp

@@ -157,7 +157,9 @@ namespace Gecode {
     } else if (n->t==NT_SUB && n->r->t==NT_NONLIN && n->l==NULL) {
       switch (frt) {
       case FRT_LQ: frt=FRT_GQ; break;
+      case FRT_LE: frt=FRT_GR; break;
       case FRT_GQ: frt=FRT_LQ; break;
+      case FRT_GR: frt=FRT_LE; break;
       default: break;
       }
       n->r->sum.ne->post(home,frt,n->c);