Module: ppl/ppl Branch: bounded_arithmetic Commit: cbcb69446ece2df3a18078f633b953b873899963 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cbcb69446ece2...
Author: Abramo Bagnara abramo.bagnara@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() {