August 2012 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Use a standard comment header block.
by Roberto Bagnara 16 Aug '12

16 Aug '12

Module: ppl/ppl Branch: master Commit: 079da25d79e9c5a4f6773efa6b77811dc25d2924 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=079da25d79e9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Aug 16 11:58:16 2012 +0200 Use a standard comment header block. Detected by ECLAIR service cmntfile. --- src/Expression_Adapter.defs.hh | 1 + 1 files changed, 1 insertions(+), 0 deletions(-) diff --git a/src/Expression_Adapter.defs.hh b/src/Expression_Adapter.defs.hh index 4fb691b..32fc2e5 100644 --- a/src/Expression_Adapter.defs.hh +++ b/src/Expression_Adapter.defs.hh @@ -1,4 +1,5 @@ /* Expression_Adapter class declaration. + Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL).

1 0

[GIT] ppl/ppl(master): Literals fixed.
by Roberto Bagnara 15 Aug '12

15 Aug '12

Module: ppl/ppl Branch: master Commit: 88e9d4926cd3182140061421a5a7ad969193b17f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=88e9d4926cd3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Aug 15 15:56:13 2012 +0200 Literals fixed. --- src/checked_float.inlines.hh | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/checked_float.inlines.hh b/src/checked_float.inlines.hh index 44ab5ee..30c9088 100644 --- a/src/checked_float.inlines.hh +++ b/src/checked_float.inlines.hh @@ -1002,7 +1002,7 @@ template <> inline void assign_mpq_numeric_float(mpq_class& to, const long double from) { to = 0; - if (from == 0) + if (from == 0.0L) return; mpz_class& num = to.get_num(); mpz_class& den = to.get_den(); @@ -1021,7 +1021,7 @@ assign_mpq_numeric_float(mpq_class& to, const long double from) { long double intpart = std::floor(n); num += static_cast<unsigned long>(intpart); n -= intpart; - if (n == 0) + if (n == 0.0L) break; num <<= bits; }

1 0

[GIT] ppl/ppl(master): Comment improved.
by Roberto Bagnara 15 Aug '12

15 Aug '12

Module: ppl/ppl Branch: master Commit: d9ca22ec68e0a3c0673454f9d9cb76c69d40e6b7 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d9ca22ec68e0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Aug 15 15:40:52 2012 +0200 Comment improved. --- src/Grid_Generator.defs.hh | 7 +++++-- 1 files changed, 5 insertions(+), 2 deletions(-) diff --git a/src/Grid_Generator.defs.hh b/src/Grid_Generator.defs.hh index ccebf57..aa8b999 100644 --- a/src/Grid_Generator.defs.hh +++ b/src/Grid_Generator.defs.hh @@ -582,8 +582,11 @@ private: bool is_equal_at_dimension(dimension_type dim, const Grid_Generator& gg) const; - //! Another print functions, with fancy output, more human-friendly. - //! This is used by operator<<(); + /*! \brief + A print function, with fancy, more human-friendly output. + + This is used by operator<<(). + */ void fancy_print(std::ostream& s) const; //! Converts the Grid_Generator into a parameter.

1 0

[GIT] ppl/ppl(master): Do not use comments to "comment out" code.
by Roberto Bagnara 15 Aug '12

15 Aug '12

Module: ppl/ppl Branch: master Commit: c7decce2dd41a1ba453a8a351464e8065c884823 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c7decce2dd41… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Aug 15 15:39:11 2012 +0200 Do not use comments to "comment out" code. Detected by ECLAIR service cmntdout. --- src/Generator.defs.hh | 7 +++++-- src/Linear_System.templates.hh | 11 ++++++----- 2 files changed, 11 insertions(+), 7 deletions(-) diff --git a/src/Generator.defs.hh b/src/Generator.defs.hh index d3d9b7c..5f82e51 100644 --- a/src/Generator.defs.hh +++ b/src/Generator.defs.hh @@ -718,8 +718,11 @@ private: */ bool check_strong_normalized() const; - //! Another print functions, with fancy output, more human-friendly. - //! This is used by operator<<(); + /*! \brief + A print function, with fancy, more human-friendly output. + + This is used by operator<<(). + */ void fancy_print(std::ostream& s) const; friend class Expression_Adapter<Generator>; diff --git a/src/Linear_System.templates.hh b/src/Linear_System.templates.hh index 58b88ee..cbe70eb 100644 --- a/src/Linear_System.templates.hh +++ b/src/Linear_System.templates.hh @@ -240,11 +240,12 @@ Linear_System<Row>::insert_pending_no_ok(Row& r, Recycle_Input) { // TODO: A Grid_Generator_System may contain non-normalized lines that // represent parameters, so this check is disabled. Consider re-enabling it // when it's possibile. - /* - // The added row must be strongly normalized and have the same - // number of elements as the existing rows of the system. - PPL_ASSERT(r.check_strong_normalized()); - */ +#if 0 + // The added row must be strongly normalized and have the same + // number of elements as the existing rows of the system. + PPL_ASSERT(r.check_strong_normalized()); +#endif + PPL_ASSERT(r.topology() == topology()); r.set_representation(representation());

1 0

[GIT] ppl/ppl(master): Use a standard comment header block.
by Roberto Bagnara 15 Aug '12

15 Aug '12

Module: ppl/ppl Branch: master Commit: 60feec935a435ebbfa7276cb493aee90954bf13e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=60feec935a43… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Aug 15 15:35:07 2012 +0200 Use a standard comment header block. Detected by ECLAIR service cmntfile. --- src/Expression_Adapter.types.hh | 3 ++- 1 files changed, 2 insertions(+), 1 deletions(-) diff --git a/src/Expression_Adapter.types.hh b/src/Expression_Adapter.types.hh index 5fe3798..b2232e3 100644 --- a/src/Expression_Adapter.types.hh +++ b/src/Expression_Adapter.types.hh @@ -1,4 +1,5 @@ -/* Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) +/* Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> + Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without

1 0

[GIT] ppl/ppl(master): Code should not be on the same line as a null statement.
by Roberto Bagnara 15 Aug '12

15 Aug '12

Module: ppl/ppl Branch: master Commit: 0b783b0e686d983759983346d2c5583dbc4f225b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0b783b0e686d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Aug 15 14:30:32 2012 +0200 Code should not be on the same line as a null statement. Detected by ECLAIR service nullstmt. --- src/Polyhedron_nonpublic.cc | 3 ++- 1 files changed, 2 insertions(+), 1 deletions(-) diff --git a/src/Polyhedron_nonpublic.cc b/src/Polyhedron_nonpublic.cc index ccecd0e..e7eb309 100644 --- a/src/Polyhedron_nonpublic.cc +++ b/src/Polyhedron_nonpublic.cc @@ -2181,7 +2181,8 @@ PPL::Polyhedron::drop_some_non_integer_points(const Variables_Set* vars_p, changed = true; } - next_constraint: ; + next_constraint: + ; } con_sys.set_sorted(!changed && con_sys_was_sorted);

1 0

[GIT] ppl/ppl(master): Do not use C-style casts.
by Roberto Bagnara 15 Aug '12

15 Aug '12

Module: ppl/ppl Branch: master Commit: 93c41b7c1deca42ec41d5732042eb536352de3ac URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=93c41b7c1dec… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Aug 15 14:27:37 2012 +0200 Do not use C-style casts. Detected by ECLAIR service castexpr. --- src/checked_float.inlines.hh | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/checked_float.inlines.hh b/src/checked_float.inlines.hh index 254e8c4..44ab5ee 100644 --- a/src/checked_float.inlines.hh +++ b/src/checked_float.inlines.hh @@ -1019,7 +1019,7 @@ assign_mpq_numeric_float(mpq_class& to, const long double from) { n *= mult; exp -= bits; long double intpart = std::floor(n); - num += (unsigned long)intpart; + num += static_cast<unsigned long>(intpart); n -= intpart; if (n == 0) break;

1 0

[GIT] ppl/ppl(master): Detected by ECLAIR service inclmixd.
by Roberto Bagnara 15 Aug '12

15 Aug '12

Module: ppl/ppl Branch: master Commit: 2b67686580fa7ca3e4c75dac6d9b74791eedb521 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2b67686580fa… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Aug 15 14:24:30 2012 +0200 Detected by ECLAIR service inclmixd. --- src/globals.defs.hh | 110 ++++++++++++++++++++++++++++---------------------- 1 files changed, 62 insertions(+), 48 deletions(-) diff --git a/src/globals.defs.hh b/src/globals.defs.hh index 15340c2..c0a61ac 100644 --- a/src/globals.defs.hh +++ b/src/globals.defs.hh @@ -32,6 +32,68 @@ site: http://bugseng.com/products/ppl/ . */ #include <exception> #include <gmpxx.h> +#ifndef PPL_PROFILE_ADD_WEIGHT +#define PPL_PROFILE_ADD_WEIGHT 0 +#endif + +#if defined(NDEBUG) && PPL_PROFILE_ADD_WEIGHT +#include "Weight_Profiler.defs.hh" +#endif + +#if defined(NDEBUG) + +#if PPL_PROFILE_ADD_WEIGHT + +#define WEIGHT_BEGIN() Weight_Profiler::begin() + +#define WEIGHT_ADD(delta) \ + do { \ + static Weight_Profiler wp__(__FILE__, __LINE__, delta); \ + wp__.end(); \ + } while (false) + +#define WEIGHT_ADD_MUL(delta, factor) \ + do { \ + static Weight_Profiler wp__(__FILE__, __LINE__, delta); \ + wp__.end(factor); \ + } while (false) + +#else // !PPL_PROFILE_ADD_WEIGHT + +#define WEIGHT_BEGIN() \ + do { \ + } while (false) + +#define WEIGHT_ADD(delta) \ + do { \ + Weightwatch_Traits::weight += (delta); \ + } while (false) + +#define WEIGHT_ADD_MUL(delta, factor) \ + do { \ + Weightwatch_Traits::weight += (delta)*(factor); \ + } while (false) + +#endif // !PPL_PROFILE_ADD_WEIGHT + +#else // !defined(NDEBUG) + +#define WEIGHT_BEGIN() + +#define WEIGHT_ADD(delta) \ + do { \ + if (!In_Assert::asserting()) \ + Weightwatch_Traits::weight += delta; \ + } while (false) + +#define WEIGHT_ADD_MUL(delta, factor) \ + do { \ + if (!In_Assert::asserting()) \ + Weightwatch_Traits::weight += delta * factor; \ + } while (false) + +#endif // !defined(NDEBUG) + namespace Parma_Polyhedra_Library { @@ -497,54 +559,6 @@ least_significant_one_mask(dimension_type i); #define PPL_USE_SPARSE_MATRIX 1 #endif -#ifndef PPL_PROFILE_ADD_WEIGHT -#define PPL_PROFILE_ADD_WEIGHT 0 -#endif - -#if defined(NDEBUG) && PPL_PROFILE_ADD_WEIGHT -#include "Weight_Profiler.defs.hh" -#endif - -#if defined(NDEBUG) -#if PPL_PROFILE_ADD_WEIGHT -#define WEIGHT_BEGIN() Weight_Profiler::begin() -#define WEIGHT_ADD(delta) \ - do { \ - static Weight_Profiler wp__(__FILE__, __LINE__, delta); \ - wp__.end(); \ - } while (false) -#define WEIGHT_ADD_MUL(delta, factor) \ - do { \ - static Weight_Profiler wp__(__FILE__, __LINE__, delta); \ - wp__.end(factor); \ - } while (false) -#else -#define WEIGHT_BEGIN() \ - do { \ - } while (false) -#define WEIGHT_ADD(delta) \ - do { \ - Weightwatch_Traits::weight += (delta); \ - } while (false) -#define WEIGHT_ADD_MUL(delta, factor) \ - do { \ - Weightwatch_Traits::weight += (delta)*(factor); \ - } while (false) -#endif -#else -#define WEIGHT_BEGIN() -#define WEIGHT_ADD(delta) \ - do { \ - if (!In_Assert::asserting()) \ - Weightwatch_Traits::weight += delta; \ - } while (false) -#define WEIGHT_ADD_MUL(delta, factor) \ - do { \ - if (!In_Assert::asserting()) \ - Weightwatch_Traits::weight += delta * factor; \ - } while (false) -#endif - #include "globals.inlines.hh" #endif // !defined(PPL_globals_defs_hh)

1 0

[GIT] ppl/ppl(master): Fixed a couple of name hiding issues in Expression_Hide_Inhomo adapter.
by Enea Zaffanella 14 Aug '12

14 Aug '12

Module: ppl/ppl Branch: master Commit: 19bb7a9c716c6b4bbd1b61a0a5dd39170fbed5e7 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=19bb7a9c716c… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Aug 14 16:26:45 2012 +0200 Fixed a couple of name hiding issues in Expression_Hide_Inhomo adapter. This commit is meanto to be part of 9e4c9c57ae8ffca73bb9ee6c75a43d6ed6cd4096 --- src/BD_Shape.templates.hh | 20 ++++++++++++-------- src/Expression_Hide_Inhomo.defs.hh | 13 +++++++++++++ src/Expression_Hide_Inhomo.inlines.hh | 19 +++++++++++++++++++ src/Generator.defs.hh | 4 ---- 4 files changed, 44 insertions(+), 12 deletions(-) diff --git a/src/BD_Shape.templates.hh b/src/BD_Shape.templates.hh index 6649a27..f5aad6e 100644 --- a/src/BD_Shape.templates.hh +++ b/src/BD_Shape.templates.hh @@ -90,14 +90,16 @@ BD_Shape<T>::BD_Shape(const Generator_System& gs) const Coefficient& g_i = g.expression().get(Variable(i - 1)); DB_Row<N>& dbm_i = dbm[i]; for (dimension_type j = space_dim; j > 0; --j) - if (i != j) - div_round_up(dbm_i[j], - g.expression().get(Variable(j - 1)) - g_i, - d); + if (i != j) { + const Coefficient& g_j = g.expression().get(Variable(j - 1)); + div_round_up(dbm_i[j], g_j - g_i, d); + } div_round_up(dbm_i[0], -g_i, d); } - for (dimension_type j = space_dim; j > 0; --j) - div_round_up(dbm_0[j], g.expression().get(Variable(j - 1)), d); + for (dimension_type j = space_dim; j > 0; --j) { + const Coefficient& g_j = g.expression().get(Variable(j - 1)); + div_round_up(dbm_0[j], g_j, d); + } // Note: no need to initialize the first element of the main diagonal. } else { @@ -111,14 +113,16 @@ BD_Shape<T>::BD_Shape(const Generator_System& gs) DB_Row<N>& dbm_i = dbm[i]; // The loop correctly handles the case when i == j. for (dimension_type j = space_dim; j > 0; --j) { - div_round_up(tmp, g.expression().get(Variable(j - 1)) - g_i, d); + const Coefficient& g_j = g.expression().get(Variable(j - 1)); + div_round_up(tmp, g_j - g_i, d); max_assign(dbm_i[j], tmp); } div_round_up(tmp, -g_i, d); max_assign(dbm_i[0], tmp); } for (dimension_type j = space_dim; j > 0; --j) { - div_round_up(tmp, g.expression().get(Variable(j - 1)), d); + const Coefficient& g_j = g.expression().get(Variable(j - 1)); + div_round_up(tmp, g_j, d); max_assign(dbm_0[j], tmp); } } diff --git a/src/Expression_Hide_Inhomo.defs.hh b/src/Expression_Hide_Inhomo.defs.hh index b6386dd..ffe2076 100644 --- a/src/Expression_Hide_Inhomo.defs.hh +++ b/src/Expression_Hide_Inhomo.defs.hh @@ -55,6 +55,15 @@ public: //! Returns the i-th coefficient. Coefficient_traits::const_reference get(dimension_type i) const; + //! Returns the coefficient of v. + Coefficient_traits::const_reference get(Variable v) const; + + /*! \brief + Returns <CODE>true</CODE> if the coefficient of each variable in + \p vars[i] is \f$0\f$. + */ + bool all_zeroes(const Variables_Set& vars) const; + /*! \brief Returns <CODE>true</CODE> if (*this)[i] is \f$0\f$, for each i in [start, end). @@ -72,6 +81,10 @@ public: */ Coefficient gcd(dimension_type start, dimension_type end) const; + //! Returns the index of the last nonzero element, or 0 if there are no + //! nonzero elements. + dimension_type last_nonzero() const; + //! Returns the index of the last nonzero element in [first,last), or last //! if there are no nonzero elements. dimension_type last_nonzero(dimension_type first, dimension_type last) const; diff --git a/src/Expression_Hide_Inhomo.inlines.hh b/src/Expression_Hide_Inhomo.inlines.hh index 16e2b2e..603a0bd 100644 --- a/src/Expression_Hide_Inhomo.inlines.hh +++ b/src/Expression_Hide_Inhomo.inlines.hh @@ -67,6 +67,19 @@ Expression_Hide_Inhomo<T>::get(dimension_type i) const { } template <typename T> +inline Coefficient_traits::const_reference +Expression_Hide_Inhomo<T>::get(Variable v) const { + return this->obj_expr().get(v); +} + +template <typename T> +inline bool +Expression_Hide_Inhomo<T> +::all_zeroes(const Variables_Set& vars) const { + return this->obj_expr().all_zeroes(vars); +} + +template <typename T> inline bool Expression_Hide_Inhomo<T>::all_zeroes(dimension_type start, dimension_type end) const { @@ -105,6 +118,12 @@ Expression_Hide_Inhomo<T>::gcd(dimension_type start, template <typename T> inline dimension_type +Expression_Hide_Inhomo<T>::last_nonzero() const { + return this->obj_expr().last_nonzero(); +} + +template <typename T> +inline dimension_type Expression_Hide_Inhomo<T>::last_nonzero(dimension_type first, dimension_type last) const { if (first == last) diff --git a/src/Generator.defs.hh b/src/Generator.defs.hh index ae931fa..d3d9b7c 100644 --- a/src/Generator.defs.hh +++ b/src/Generator.defs.hh @@ -736,10 +736,6 @@ private: friend class Parma_Polyhedra_Library::MIP_Problem; friend class Parma_Polyhedra_Library::Grid; - // friend - // Parma_Polyhedra_Library - // ::Linear_Expression::Linear_Expression(const Generator& g); - friend std::ostream& Parma_Polyhedra_Library::IO_Operators::operator<<(std::ostream& s, const Generator& g);

1 0

[GIT] ppl/ppl(master): Changed the way of accessing the underlying expression in classes
by Enea Zaffanella 14 Aug '12

14 Aug '12

Module: ppl/ppl Branch: master Commit: 9e4c9c57ae8ffca73bb9ee6c75a43d6ed6cd4096 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9e4c9c57ae8f… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Aug 14 11:35:55 2012 +0200 Changed the way of accessing the underlying expression in classes Constraint, Generator, Congruence and Grid_Generator. The public methods expression() systematically returns (a const reference to) an expression adapter derived from template Expression_Adapter (including Expression_Hide_Inhomo and Expression_Hide_Last). These adapters provide a *read-only* interface enabling most (but not all) of the operations that can be performed on a Linear_Expression. Added four templatic constructors to Linear_Expression accepting any such adapter. Removed a dozen specific constructors that were tailored to the four classes Constraint, Generator, Congruence and Grid_Generator. As a consequence previous code such as Linear_Expression expr(gen); will no longer compile and should be replaced by Linear_Expression expr(gen.expression()); The systematic use of the new adapters, besides removing some indirections, also decreases the memory overhead of classes Constraint, Generator and Grid_Generator, as we no longer need members `wrapped_expr' and `semi_wrapped_expr'. While at it, corrected a few latent bugs in adapter Expression_Hide_Inhomo (these could not manifest as real failures because currently the Hide_Inhomo adapter is always re-wrapped using the Expression_Hide_Last adapter). --- interfaces/C/ppl_c_implementation_common.cc | 6 +- src/BD_Shape.templates.hh | 20 ++- src/Box.templates.hh | 6 +- src/C_Polyhedron.cc | 7 +- src/Congruence.defs.hh | 12 +- src/Congruence.inlines.hh | 14 ++- src/Constraint.cc | 11 +- src/Constraint.defs.hh | 12 +- src/Constraint.inlines.hh | 34 ++-- src/Expression_Adapter.defs.hh | 200 ++++++++++++++++++++ src/Expression_Adapter.inlines.hh | 229 +++++++++++++++++++++++ src/Expression_Adapter.types.hh | 22 +++ src/Expression_Hide_Inhomo.defs.hh | 99 ++-------- src/Expression_Hide_Inhomo.inlines.hh | 262 +++++++------------------- src/Expression_Hide_Inhomo.types.hh | 2 +- src/Expression_Hide_Last.defs.hh | 80 ++------ src/Expression_Hide_Last.inlines.hh | 261 ++++++++++----------------- src/Expression_Hide_Last.types.hh | 2 +- src/Generator.cc | 4 +- src/Generator.defs.hh | 19 +- src/Generator.inlines.hh | 42 ++--- src/Grid_Generator.defs.hh | 14 +- src/Grid_Generator.inlines.hh | 32 ++-- src/Grid_nonpublic.cc | 6 +- src/Grid_public.cc | 6 +- src/Grid_widenings.cc | 7 +- src/Linear_Expression.cc | 95 ---------- src/Linear_Expression.defs.hh | 241 +++++-------------------- src/Linear_Expression.inlines.hh | 130 ++++---------- src/Linear_Expression_Impl.defs.hh | 14 +-- src/Linear_Expression_Impl.templates.hh | 15 +- src/Makefile.am | 3 + src/Octagonal_Shape.templates.hh | 10 +- src/Partially_Reduced_Product.templates.hh | 20 +- src/Pointset_Powerset.cc | 2 +- src/Pointset_Powerset.templates.hh | 4 +- src/Polyhedron_nonpublic.cc | 7 +- src/Polyhedron_public.cc | 24 ++-- src/Polyhedron_widenings.cc | 2 +- src/Scalar_Products.cc | 14 +- src/termination.cc | 16 +- tests/Grid/congruence1.cc | 34 ++-- tests/Grid/generator1.cc | 47 +++--- tests/Grid/partition1.cc | 2 +- tests/Polyhedron/bhrz03widening3.cc | 22 ++- tests/Polyhedron/disjoint1.cc | 2 +- tests/Polyhedron/disjoint2.cc | 2 +- 47 files changed, 993 insertions(+), 1122 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=9e4c9c57…

1 0