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

Author: Fabio Bossi bossi@cs.unipr.it Date: Thu Sep 17 17:30:05 2009 +0200

Do not reset strong closure manually since add_octagonal_constraint already does it automatically.

---

src/Octagonal_Shape.templates.hh | 3 --- 1 files changed, 0 insertions(+), 3 deletions(-)

diff --git a/src/Octagonal_Shape.templates.hh b/src/Octagonal_Shape.templates.hh index e33df08..7710b61 100644 --- a/src/Octagonal_Shape.templates.hh +++ b/src/Octagonal_Shape.templates.hh @@ -724,9 +724,6 @@ Octagonal_Shape<T>::refine_with_linear_form_inequality(

// General case.

- // In the following, strong closure will be definitely lost. - reset_strongly_closed(); - // FIRST, update the binary constraints for each pair of DIFFERENT variables // in `left' and `right'.