[PPL-devel] [GIT] ppl/ppl(floating_point): Notify that open intervals should not be allowed.

[Fabio Bossi]

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

Author: Fabio Bossi <bossi at cs.unipr.it>
Date:   Tue Sep  8 11:49:17 2009 +0200

Notify that open intervals should not be allowed.

---

 src/Floating_Point_Expression.defs.hh |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)

diff --git a/src/Floating_Point_Expression.defs.hh b/src/Floating_Point_Expression.defs.hh
index ade7fe8..a3e7b59 100644
--- a/src/Floating_Point_Expression.defs.hh
+++ b/src/Floating_Point_Expression.defs.hh
@@ -59,7 +59,8 @@ struct IEEE754_Double {
 
   - The class template type parameter \p FP_Interval_Type represents the type
   of the intervals used in the abstract domain. The interval bounds
-  should have a floating point type.
+  should have a floating point type and open intervals should not be
+  allowed, otherwise the analysis will not be sound.
   - The class template type parameter \p FP_Format represents the floating
   point format used in the concrete domain.
   This parameter must be a struct which contains \f$3\f$ fields: