[PPL-devel] [GIT] ppl/ppl(floating_point): Added two TODO notes.

[Fabio Bossi]

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

Author: Fabio Bossi <bossi at cs.unipr.it>
Date:   Thu Oct  1 15:06:16 2009 +0200

Added two TODO notes.

---

 src/Octagonal_Shape.inlines.hh |    1 +
 src/Polyhedron.inlines.hh      |    1 +
 2 files changed, 2 insertions(+), 0 deletions(-)

diff --git a/src/Octagonal_Shape.inlines.hh b/src/Octagonal_Shape.inlines.hh
index 0776a7e..030ce7f 100644
--- a/src/Octagonal_Shape.inlines.hh
+++ b/src/Octagonal_Shape.inlines.hh
@@ -621,6 +621,7 @@ Octagonal_Shape<T>::generalized_refine_with_linear_form_inequality(
                     const Relation_Symbol relsym) {
   switch (relsym) {
   case EQUAL:
+    // TODO: see if we can handle this case more efficiently.
     refine_with_linear_form_inequality(left, right);
     refine_with_linear_form_inequality(right, left);
     break;
diff --git a/src/Polyhedron.inlines.hh b/src/Polyhedron.inlines.hh
index 8005c95..861c201 100644
--- a/src/Polyhedron.inlines.hh
+++ b/src/Polyhedron.inlines.hh
@@ -381,6 +381,7 @@ Polyhedron::generalized_refine_with_linear_form_inequality(
             const Box< Interval<FP_Format, Interval_Info> >& store) {
   switch (relsym) {
   case EQUAL:
+    // TODO: see if we can handle this case more efficiently.
     refine_with_linear_form_inequality(left, right, store, false);
     refine_with_linear_form_inequality(right, left, store, false);
     break;