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

Author: Abramo Bagnara abramo.bagnara@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;