Module: ppl/ppl Branch: master Commit: 707506c9498a885f2c161836739ff5b3c1b5609d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=707506c9498a8... Author: Patricia Hill <p.m.hill@leeds.ac.uk> Date: Tue Mar 31 11:13:57 2009 +0100 Removed two FIXME(0.10.1)s which have been checked and for which nothing needs to be done. --- src/Pointset_Powerset.templates.hh | 4 ---- 1 files changed, 0 insertions(+), 4 deletions(-) diff --git a/src/Pointset_Powerset.templates.hh b/src/Pointset_Powerset.templates.hh index e87a16d..effdd6f 100644 --- a/src/Pointset_Powerset.templates.hh +++ b/src/Pointset_Powerset.templates.hh @@ -1199,8 +1199,6 @@ Pointset_Powerset<PS>::pairwise_reduce() { const PS& pj = sj->element(); if (pi.upper_bound_assign_if_exact(pj)) { marked[si_index] = marked[sj_index] = true; - // FIXME(0.10.1): check whether the preservation of reduction was - // actually meant here. new_x.add_non_bottom_disjunct_preserve_reduction(pi); ++deleted; goto next; @@ -1255,8 +1253,6 @@ BGP99_heuristics_assign(const Pointset_Powerset& y, Widening wf) { if (pi.contains(pj)) { PS pi_copy = pi; wf(pi_copy, pj); - // FIXME(0.10.1): check whether the preservation of reduction was - // actually meant here. new_x.add_non_bottom_disjunct_preserve_reduction(pi_copy); marked[i_index] = true; }