[PPL-devel] [GIT] ppl/ppl(master): Postponed FIXME.

[Abramo Bagnara]

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

Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Tue Mar 31 16:48:05 2009 +0200

Postponed FIXME.

---

 src/Polyhedron_nonpublic.cc |    8 +++++++-
 1 files changed, 7 insertions(+), 1 deletions(-)

diff --git a/src/Polyhedron_nonpublic.cc b/src/Polyhedron_nonpublic.cc
index a1060d9..da60e84 100644
--- a/src/Polyhedron_nonpublic.cc
+++ b/src/Polyhedron_nonpublic.cc
@@ -650,7 +650,13 @@ PPL::Polyhedron::max_min(const Linear_Expression& expr,
   // The polyhedron is bounded in the right direction and we have
   // computed the extremum: write the result into the caller's structures.
   assert(!first_candidate);
-  // FIXME(0.10.1): avoid these temporaries, if possible.
+  // FIXME: avoid these temporaries, if possible.
+  // This can be done adding an `assign' function working on native
+  // and checked or an operator= that have on one side a checked and
+  // on the other a native or checked.
+  // The reason why now we can't use operator= is the fact that we
+  // still can have Coefficient defined to mpz_class (and not
+  // Checked_Number<mpz_class>).
   ext_n = Coefficient(extremum.get_num());
   ext_d = Coefficient(extremum.get_den());
   included = ext_included;