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

Author: Fabio Bossi bossi@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;