[PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Fixed topological closure for unbounded intervals.

[Abramo Bagnara]

Module: ppl/ppl
Branch: bounded_arithmetic
Commit: cbcb69446ece2df3a18078f633b953b873899963
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cbcb69446ece2df3a18078f633b953b873899963

Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Wed May 13 11:39:15 2009 +0200

Fixed topological closure for unbounded intervals.

---

 src/Interval.defs.hh |    7 ++++---
 1 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/src/Interval.defs.hh b/src/Interval.defs.hh
index c2ef9c1..d9b958d 100644
--- a/src/Interval.defs.hh
+++ b/src/Interval.defs.hh
@@ -468,9 +468,10 @@ public:
   void topological_closure_assign() {
     if (!Info::store_open || is_empty())
       return;
-
-    info().set_boundary_property(LOWER, OPEN, false);
-    info().set_boundary_property(UPPER, OPEN, false);
+    if (lower_is_open() && !lower_is_boundary_infinity())
+      info().set_boundary_property(LOWER, OPEN, false);
+    if (upper_is_open() && !upper_is_boundary_infinity())
+      info().set_boundary_property(UPPER, OPEN, false);
   }
 
   void remove_inf() {