[PPL-devel] [GIT] ppl/ppl(deprecated_0_11_removal): More changes related to the removal of the *_and_minimize() methods.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri Apr 17 19:12:46 2009 +0200

More changes related to the removal of the *_and_minimize() methods.

---

 tests/BD_Shape/addconstraints1.cc      |   10 ++--
 tests/BD_Shape/concatenate1.cc         |    4 +-
 tests/BD_Shape/congruences1.cc         |    3 +-
 tests/BD_Shape/intersection1.cc        |    6 +-
 tests/Octagonal_Shape/congruences1.cc  |   52 +----------------------
 tests/Octagonal_Shape/intersection1.cc |   72 +-------------------------------
 tests/Polyhedron/exceptions1.cc        |    6 +-
 tests/Polyhedron/exceptions2.cc        |    8 ++--
 tests/Powerset/intersection1.cc        |    2 +-
 9 files changed, 23 insertions(+), 140 deletions(-)

Diff:   http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=ca295d6ed7b39cb13c96eff02786df923ab308dd