May 2009 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(bounded_arithmetic): New commits
by Roberto Bagnara 05 May '09

05 May '09

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=306db9d46d07… Merge: 7309a3a239bc75074827c6c61bd0df2b278088df 317f48d0d55391b07624e0f55a6228e3b2d39d6f Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue May 5 19:22:47 2009 +0200 Merge branch 'master' into bounded_arithmetic URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=317f48d0d553… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue May 5 19:20:33 2009 +0200 The rename of Determinate was in fact a bad idea: backtracked. The documentation of the class has been improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8e8d5162a1bb… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue May 5 17:31:36 2009 +0200 Added basic timeout support to the C library interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a261c5a9255c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue May 5 08:43:39 2009 +0200 Method COW_Pointset::element() renamed pointset(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3385539e9496… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue May 5 07:51:45 2009 +0200 Method COW_Pointset::element() renamed pointset(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3a1b29cc27b2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue May 5 07:51:25 2009 +0200 Indentation and comments fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=975b9494cf23… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue May 5 06:50:48 2009 +0200 Method COW_Pointset::element() renamed pointset(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=617727237924… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon May 4 23:13:44 2009 +0200 Method COW_Pointset::element() renamed pointset(). Comments improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=138e93f30532… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon May 4 23:12:27 2009 +0200 test02() and test09() fail also with 16-bit coefficients. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2903193cd332… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon May 4 23:02:16 2009 +0200 Systematically write "copy constructor" instead of "copy-constructor." (The verb is "to copy-construct" though.) URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6ed468a18c4e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon May 4 22:18:15 2009 +0200 The `Determinate' class has been renamed `COW_Pointset'. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0157b7348fe2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon May 4 19:03:25 2009 +0200 Completed the \exception section of the documentation for wrap_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0f54288600e9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon May 4 16:20:34 2009 +0200 Added a section on "Approximating Bounded Arithmetic", to be written. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=137d32b6c98d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon May 4 16:09:33 2009 +0200 Documentation of the wrapping methods improved. Typos fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1e712a9a26f8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon May 4 15:30:42 2009 +0200 Two new items added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=405c912f7e33… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon May 4 15:17:21 2009 +0200 Further steps in the definition of the interface of Affine_Space. The widening and extrapolation methods do nothing (except for testing dimension-compatibility). Several comments revised. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cad1f47f089b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon May 4 15:16:39 2009 +0200 Added missing full stops. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3ba2322b9b32… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon May 4 13:51:56 2009 +0200 Documented recent changes in the Java interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f31f10f742cd… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon May 4 11:46:50 2009 +0200 Removed obsolete comments about minimization. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8e981dad7a2b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon May 4 11:44:41 2009 +0200 Fixed some comments. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ea296d657de6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon May 4 10:31:42 2009 +0200 Marked the tests that are expected to fail with 8-bit coefficients. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bae7441bfe49… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon May 4 09:21:15 2009 +0200 Documented a systematic assumption about the C interface opaque pointers. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d6c67069f185… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon May 4 08:07:36 2009 +0200 Fixed a couple of comments for BD and octagonal shapes. When adding constraints/congruences, an exception is thrown if they cannot be accurately represented. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1806a003f1ae… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon May 4 07:53:27 2009 +0200 Cached Java method IDs for class parma_polyhedra_library/Pair. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7df8a012ef10… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon May 4 08:06:25 2009 +0200 Expected behavior made dependent on the range of Coefficient. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b5ea2c6ad7ca… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon May 4 08:01:56 2009 +0200 Test BD_Shape::wrap_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7f8b88c139b3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun May 3 22:25:43 2009 +0200 Check for NaNs only when debugging. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4d1c8a0cea55… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun May 3 17:02:33 2009 +0200 Fixed computation of known results for test01() and test02(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=333cc7aab971… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sun May 3 15:45:56 2009 +0200 Avoid use of constructors in numeric_limits. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=56888c3225c8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun May 3 15:19:10 2009 +0200 Expected result adapted to the different types of coefficients. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b4dcb2959e3c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun May 3 15:19:00 2009 +0200 Fixed PPL_SPECIALIZE_LIMITS_INT. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d88f590328ae… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun May 3 10:34:20 2009 +0200 Debugging print statement added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d02c66706d0… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sun May 3 10:28:04 2009 +0200 Fixed assignment to int. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bd3ff98bdc71… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat May 2 20:59:01 2009 +0200 Files renamed to avoid ambiguity with respect to numerical wrapping. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a08d1d3a98c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat May 2 20:53:47 2009 +0200 No longer use CS and PS as template parameter names. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e13568ef98ab… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat May 2 20:18:34 2009 +0200 Unused variable removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a0d5faafbb0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat May 2 19:41:44 2009 +0200 Bad spacing fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=36b2b16c3022… Merge: b61a3356aa6bab867a721214170f419e7d4bd483 099c11d215bf8bf113bec36fbe1b802d939bf92b Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat May 2 18:22:40 2009 +0200 Merge branch 'bounded_arithmetic' URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b61a3356aa6b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri May 1 22:46:07 2009 +0200 Obsolete test programs removed.

1 0

[GIT] ppl/ppl(master): The rename of Determinate was in fact a bad idea: backtracked.
by Roberto Bagnara 05 May '09

05 May '09

Module: ppl/ppl Branch: master Commit: 317f48d0d55391b07624e0f55a6228e3b2d39d6f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=317f48d0d553… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue May 5 19:20:33 2009 +0200 The rename of Determinate was in fact a bad idea: backtracked. The documentation of the class has been improved. --- NEWS | 2 - src/{COW_Pointset.defs.hh => Determinate.defs.hh} | 116 +++++++++++--------- ..._Pointset.inlines.hh => Determinate.inlines.hh} | 102 +++++++++--------- ...{COW_Pointset.types.hh => Determinate.types.hh} | 8 +- src/Makefile.am | 6 +- src/Pointset_Ask_Tell.cc | 8 +- src/Pointset_Ask_Tell.defs.hh | 8 +- src/Pointset_Ask_Tell.inlines.hh | 12 +- src/Pointset_Ask_Tell.templates.hh | 14 +- src/Pointset_Powerset.cc | 6 +- src/Pointset_Powerset.defs.hh | 8 +- src/Pointset_Powerset.inlines.hh | 24 ++-- src/Pointset_Powerset.templates.hh | 8 +- tests/BD_Shape/membytes1.cc | 2 +- tests/Grid/membytes1.cc | 2 +- tests/Octagonal_Shape/membytes1.cc | 2 +- tests/Polyhedron/membytes1.cc | 2 +- 17 files changed, 169 insertions(+), 161 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=317f48d0…

1 0

[GIT] ppl/ppl(master): Added basic timeout support to the C library interface.
by Enea Zaffanella 05 May '09

05 May '09

Module: ppl/ppl Branch: master Commit: 8e8d5162a1bb648f191bba13afebc99412ac6636 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8e8d5162a1bb… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue May 5 17:31:36 2009 +0200 Added basic timeout support to the C library interface. --- interfaces/C/Makefile.am | 10 ++ interfaces/C/ppl_c_header.h | 40 ++++++++- interfaces/C/ppl_c_implementation_common.cc | 47 ++++++++++ interfaces/C/ppl_c_implementation_common.defs.hh | 24 +++++- interfaces/C/tests/Makefile.am | 23 +++--- interfaces/C/tests/watchdog1.c | 102 ++++++++++++++++++++++ 6 files changed, 233 insertions(+), 13 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=8e8d5162…

1 0

[GIT] ppl/ppl(bounded_arithmetic): Fixed typo on assertion.
by Abramo Bagnara 05 May '09

05 May '09

Module: ppl/ppl Branch: bounded_arithmetic Commit: 7309a3a239bc75074827c6c61bd0df2b278088df URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7309a3a239bc… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue May 5 13:59:21 2009 +0200 Fixed typo on assertion. --- src/Box.templates.hh | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/Box.templates.hh b/src/Box.templates.hh index c1c7156..511fc46 100644 --- a/src/Box.templates.hh +++ b/src/Box.templates.hh @@ -401,7 +401,7 @@ Box<ITV>::Box(const Polyhedron& ph, Complexity_Class complexity) lp.evaluate_objective_function(g, bound_num, bound_den); assign_r(ubound.get_num(), bound_num, ROUND_NOT_NEEDED); assign_r(ubound.get_den(), bound_den, ROUND_NOT_NEEDED); - assert(is_canonical(bound)); + assert(is_canonical(ubound)); upper.set(LESS_OR_EQUAL, ubound); } // Evaluate optimal lower bound.

1 0

[GIT] ppl/ppl(bounded_arithmetic): Added Circular Integer intervals.
by Abramo Bagnara 05 May '09

05 May '09

Module: ppl/ppl Branch: bounded_arithmetic Commit: 962d7b0a74ec0ad148c4fd01d9dd485b6604c08e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=962d7b0a74ec… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue May 5 10:47:36 2009 +0200 Added Circular Integer intervals. --- interfaces/Prolog/ppl_prolog_common.cc | 4 +- src/Bool4.defs.hh | 199 ++++++ src/Boundary.defs.hh | 90 ++-- src/Box.defs.hh | 29 +- src/Box.inlines.hh | 10 +- src/Box.templates.hh | 413 +++++++------- src/Circular_Interval.defs.hh | 1030 ++++++++++++++++++++++++++++++++ src/Interval.defs.hh | 505 +++++----------- src/Interval.inlines.hh | 145 +---- src/Interval.templates.hh | 51 +- src/Interval_Info.defs.hh | 2 - src/Makefile.am | 3 + src/Rational_Interval.hh | 1 - src/Result.defs.hh | 11 +- src/globals.types.hh | 25 +- src/intervals.defs.hh | 418 +++++++++++++ 16 files changed, 2161 insertions(+), 775 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=962d7b0a…

1 0

[GIT] ppl/ppl(master): Method COW_Pointset::element() renamed pointset().
by Roberto Bagnara 05 May '09

05 May '09

Module: ppl/ppl Branch: master Commit: a261c5a9255c15c4043e19b17bb87ec38cc69b57 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a261c5a9255c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue May 5 08:43:39 2009 +0200 Method COW_Pointset::element() renamed pointset(). --- src/COW_Pointset.defs.hh | 2 +- tests/Grid/approximatepartition1.cc | 3 ++- tests/Grid/powersetdifference1.cc | 14 +++++++------- 3 files changed, 10 insertions(+), 9 deletions(-) diff --git a/src/COW_Pointset.defs.hh b/src/COW_Pointset.defs.hh index 0baa4a8..b743f48 100644 --- a/src/COW_Pointset.defs.hh +++ b/src/COW_Pointset.defs.hh @@ -252,7 +252,7 @@ private: Rep(); public: - //! A possibly shared base-level domain element. + //! A possibly shared, base-level pointset. PSET pset; /*! \brief diff --git a/tests/Grid/approximatepartition1.cc b/tests/Grid/approximatepartition1.cc index 651e3ab..2ba8630 100644 --- a/tests/Grid/approximatepartition1.cc +++ b/tests/Grid/approximatepartition1.cc @@ -92,7 +92,8 @@ test02() { Grid known_gr(p); Pointset_Powerset<Grid>::iterator i = (result.second).begin(); - return (i->element() == known_gr); + +return i->pointset() == known_gr; } BEGIN_MAIN diff --git a/tests/Grid/powersetdifference1.cc b/tests/Grid/powersetdifference1.cc index ba067a7..ec06384 100644 --- a/tests/Grid/powersetdifference1.cc +++ b/tests/Grid/powersetdifference1.cc @@ -97,7 +97,7 @@ test02() { known_gr.add_congruence((x %= 0) / 1); Pointset_Powerset<Grid>::iterator i = ps.begin(); - return (i->element() == known_gr); + return i->pointset() == known_gr; } bool @@ -123,7 +123,7 @@ test03() { ps.difference_assign(qs); print_congruences(ps, "*** ps.difference(qs) ***"); - return (ps.begin() == ps.end()); + return ps.begin() == ps.end(); } bool @@ -153,7 +153,7 @@ test04() { known_gr.add_congruence((x %= 0) / 1); Pointset_Powerset<Grid>::iterator i = ps.begin(); - return (i->element() == known_gr); + return i->pointset() == known_gr; } bool @@ -175,7 +175,7 @@ test05() { ps.difference_assign(qs); print_congruences(ps, "*** ps.difference(qs) ***"); - return (ps.begin() == ps.end()); + return ps.begin() == ps.end(); } bool @@ -200,7 +200,7 @@ test06() { Grid known_gr(p); Pointset_Powerset<Grid>::iterator i = ps.begin(); - return (i->element() == known_gr); + return i->pointset() == known_gr; } bool @@ -225,7 +225,7 @@ test07() { Grid known_gr(p); Pointset_Powerset<Grid>::iterator i = ps.begin(); - return (i->element() == known_gr); + return i->pointset() == known_gr; } bool @@ -298,7 +298,7 @@ test09() { ps.difference_assign(qs); print_congruences(ps, "*** ps.difference(qs) ***"); - return (ps.is_empty()); + return ps.is_empty(); } BEGIN_MAIN

1 0

[GIT] ppl/ppl(master): Method COW_Pointset::element() renamed pointset().
by Roberto Bagnara 05 May '09

05 May '09

Module: ppl/ppl Branch: master Commit: 3385539e9496e7240cc2be723e219b61ee664f6a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3385539e9496… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue May 5 07:51:45 2009 +0200 Method COW_Pointset::element() renamed pointset(). --- tests/Polyhedron/linearpartition1.cc | 12 ++++++------ 1 files changed, 6 insertions(+), 6 deletions(-) diff --git a/tests/Polyhedron/linearpartition1.cc b/tests/Polyhedron/linearpartition1.cc index 879bda0..8c1c9c3 100644 --- a/tests/Polyhedron/linearpartition1.cc +++ b/tests/Polyhedron/linearpartition1.cc @@ -40,13 +40,13 @@ aux_test01(const C_Polyhedron& p, NNC_Polyhedron nnc_q(q); typedef Pointset_Powerset<NNC_Polyhedron>::const_iterator iter; for (iter i = s.begin(), s_end = s.end(); i != s_end; ++i) { - const NNC_Polyhedron& a = i->element(); + const NNC_Polyhedron& a = i->pointset(); // All elements of `s' must be disjoint from `p'. if (!a.is_disjoint_from(nnc_p)) return false; iter j = i; for (++j; j != s_end; ++j) { - const NNC_Polyhedron& b = j->element(); + const NNC_Polyhedron& b = j->pointset(); // All elements of `s' must be pairwise disjoint. if (!a.is_disjoint_from(b)) return false; @@ -113,13 +113,13 @@ aux_test02(const C_Polyhedron& p, NNC_Polyhedron nnc_q(q); typedef Pointset_Powerset<NNC_Polyhedron>::const_iterator iter; for (iter i = s.begin(), s_end = s.end(); i != s_end; ++i) { - const NNC_Polyhedron& a = i->element(); + const NNC_Polyhedron& a = i->pointset(); // All elements of `s' must be disjoint from `p'. if (!a.is_disjoint_from(nnc_p)) return false; iter j = i; for (++j; j != s_end; ++j) { - const NNC_Polyhedron& b = j->element(); + const NNC_Polyhedron& b = j->pointset(); // All elements of `s' must be pairwise disjoint. if (!a.is_disjoint_from(b)) return false; @@ -186,13 +186,13 @@ aux_test03(const C_Polyhedron& p, NNC_Polyhedron nnc_q(q); typedef Pointset_Powerset<NNC_Polyhedron>::const_iterator iter; for (iter i = s.begin(), s_end = s.end(); i != s_end; ++i) { - const NNC_Polyhedron& a = i->element(); + const NNC_Polyhedron& a = i->pointset(); // All elements of `s' must be disjoint from `p'. if (!a.is_disjoint_from(nnc_p)) return false; iter j = i; for (++j; j != s_end; ++j) { - const NNC_Polyhedron& b = j->element(); + const NNC_Polyhedron& b = j->pointset(); // All elements of `s' must be pairwise disjoint. if (!a.is_disjoint_from(b)) return false;

1 0

[GIT] ppl/ppl(master): Indentation and comments fixed.
by Roberto Bagnara 05 May '09

05 May '09

Module: ppl/ppl Branch: master Commit: 3a1b29cc27b2724da40e282849b3a0fa6b653a34 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3a1b29cc27b2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue May 5 07:51:25 2009 +0200 Indentation and comments fixed. --- tests/Polyhedron/hybrid.cc | 142 +++++++++++++++++++++----------------------- 1 files changed, 68 insertions(+), 74 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=3a1b29cc…

1 0

[GIT] ppl/ppl(master): Method COW_Pointset::element() renamed pointset().
by Roberto Bagnara 05 May '09

05 May '09

Module: ppl/ppl Branch: master Commit: 975b9494cf23eb81b611a9878b9effac55b69486 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=975b9494cf23… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue May 5 06:50:48 2009 +0200 Method COW_Pointset::element() renamed pointset(). --- tests/Polyhedron/hybrid.cc | 10 +++++----- 1 files changed, 5 insertions(+), 5 deletions(-) diff --git a/tests/Polyhedron/hybrid.cc b/tests/Polyhedron/hybrid.cc index fc4894a..441ecab 100644 --- a/tests/Polyhedron/hybrid.cc +++ b/tests/Polyhedron/hybrid.cc @@ -532,7 +532,7 @@ time_elapse( Pointset_Powerset<NNC_Polyhedron> ps_result(ps.space_dimension(), EMPTY); for (Pointset_Powerset<NNC_Polyhedron>::const_iterator i = ps.begin(), ps_end = ps.end(); i != ps_end; ++i) { - NNC_Polyhedron di = i->element(); + NNC_Polyhedron di = i->pointset(); NNC_Polyhedron d(di); d.time_elapse_assign(ph); ps_result.add_disjunct(d); @@ -550,7 +550,7 @@ affine_image( Pointset_Powerset<NNC_Polyhedron> ps_result(ps.space_dimension(), EMPTY); for (Pointset_Powerset<NNC_Polyhedron>::iterator i = ps.begin(), ps_end = ps.end(); i != ps_end; ++i) { - NNC_Polyhedron phi = i->element(); + NNC_Polyhedron phi = i->pointset(); NNC_Polyhedron ph(phi); ph.affine_image(var, expr, denominator); ps_result.add_disjunct(ph); @@ -565,7 +565,7 @@ powerset_upper_bound(Pointset_Powerset<NNC_Polyhedron>& ps, Pointset_Powerset<NNC_Polyhedron> ps_result(ps.space_dimension(), EMPTY); for (Pointset_Powerset<NNC_Polyhedron>::iterator i = ps.begin(), ps_end = ps.end(); i != ps_end; ++i) { - NNC_Polyhedron phi = i->element(); + NNC_Polyhedron phi = i->pointset(); ph.upper_bound_assign(phi); (void) ph.is_empty(); } @@ -585,10 +585,10 @@ disjunct_covers( for (Pointset_Powerset<NNC_Polyhedron>::iterator i = ps2.begin(), ps2_end = ps2.end(); i != ps2_end; ++i) { bool is_contained = false; - NNC_Polyhedron ph2 = i->element(); + NNC_Polyhedron ph2 = i->pointset(); for (Pointset_Powerset<NNC_Polyhedron>::iterator j = ps1.begin(), ps1_end = ps1.end(); j != ps1_end; ++j) { - NNC_Polyhedron ph1 = j->element(); + NNC_Polyhedron ph1 = j->pointset(); if (ph1.contains(ph2)) { is_contained = true; break;

1 0

[GIT] ppl/ppl(master): Method COW_Pointset::element() renamed pointset(). Comments improved.
by Roberto Bagnara 04 May '09

04 May '09

Module: ppl/ppl Branch: master Commit: 617727237924d806dcbfd87d78077770e0cd54a4 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=617727237924… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon May 4 23:13:44 2009 +0200 Method COW_Pointset::element() renamed pointset(). Comments improved. --- interfaces/C/ppl_interface_generator_c_cc_code.m4 | 4 +- ...ppl_interface_generator_java_classes_cc_code.m4 | 2 +- .../OCaml/ppl_interface_generator_ocaml_cc_code.m4 | 2 +- .../ppl_interface_generator_prolog_cc_code.m4 | 2 +- src/COW_Pointset.defs.hh | 39 +++--- src/COW_Pointset.inlines.hh | 50 ++++---- src/Pointset_Ask_Tell.cc | 8 +- src/Pointset_Ask_Tell.templates.hh | 38 +++--- src/Pointset_Powerset.cc | 30 ++-- src/Pointset_Powerset.templates.hh | 142 ++++++++++---------- src/algorithms.hh | 2 +- tests/Powerset/affinedimension1.cc | 16 +- tests/Powerset/affineimage1.cc | 12 +- tests/Powerset/affinepreimage1.cc | 12 +- tests/Powerset/difference1.cc | 4 +- tests/Powerset/disjunct1.cc | 20 ++-- tests/Powerset/frombdshape1.cc | 24 ++-- tests/Powerset/frombox1.cc | 24 ++-- tests/Powerset/fromgrid1.cc | 24 ++-- tests/Powerset/fromoctagonalshape1.cc | 24 ++-- tests/Powerset/frompolyhedron1.cc | 62 +++++----- tests/Powerset/refinewith1.cc | 10 +- tests/Powerset/simplifyusingcontext1.cc | 18 ++-- 23 files changed, 285 insertions(+), 284 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=61772723…

1 0