- PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Updated.
by Roberto Bagnara 02 Aug '10

02 Aug '10

Module: ppl/ppl Branch: master Commit: ec57cb1f01a45b198dde1c3dad3d6832373b50b4 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ec57cb1f01a4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 2 15:22:26 2010 +0200 Updated. --- README | 288 +++++++++++++++++++++++++++++++++++++++++-------------- Watchdog/README | 22 +++-- 2 files changed, 227 insertions(+), 83 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=ec57cb1f…

1 0

[GIT] ppl/ppl(master): Updated.
by Roberto Bagnara 02 Aug '10

02 Aug '10

Module: ppl/ppl Branch: master Commit: c7ff1fcda7cbabf18148b9a56270d0ed8c5f4c02 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c7ff1fcda7cb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 2 15:08:37 2010 +0200 Updated. --- README.configure | 22 ++++++++++------------ 1 files changed, 10 insertions(+), 12 deletions(-) diff --git a/README.configure b/README.configure index 930514e..5a09c82 100644 --- a/README.configure +++ b/README.configure @@ -141,28 +141,26 @@ It should be noted that no version of GCC prior to 4.0.3 is known to reliably compile PPL 0.10. Here is an example of a configuration that uses the Intel C/C++ compiler -version 10.1.x. Assuming you have configured GMP with a command like +version 11.1.x. Assuming you have configured GMP with a command like - CC=icc CXX=icpc /path/to/gmp-4.2.4/configure --enable-cxx \ - --prefix=/opt/intel/cce/10.1.018 + CC=icc CXX=icpc /path/to/gmp-5.0.1/configure --enable-cxx \ + --prefix=/opt/intel/Compiler/11.1/072 \ + --libdir=/opt/intel/Compiler/11.1/072/lib/intel64 you can configure the PPL with a command like - CPPFLAGS=-D_GCC_LIMITS_H_ /path/to/ppl-x.y/configure \ - --with-cxx=icpc --with-cc=icc \ + /path/to/ppl-x.y/configure --with-cxx=icpc --with-cc=icc \ --with-cxxflags=-pch \ - --with-gmp-prefix=/opt/intel/cce/10.1.018 + --with-gmp-prefix=/opt/intel/Compiler/11.1/072 -Notice that the `CPPFLAGS=-D_GCC_LIMITS_H_' environment variable -assignment is required in order to overcome a bug in the Intel C/C++ -compiler version 10.1.x. Notice also that the `--with-cxxflags' option -is not essential here and is only included to show how extra -compiler options can be passed to the configure script. +Notice that the `--with-cxxflags' option is not essential here and is +only included to show how extra compiler options can be passed to the +configure script. As another example, here is how you can compile the PPL with Comeau C/C++ 4.3.10.1. First configure GMP with a command like - CXX=como /path/to/gmp-4.2.4/configure --enable-cxx \ + CXX=como /path/to/gmp-5.0.1/configure --enable-cxx \ --disable-shared --prefix=/opt/comeau/local Then you can configure the PPL with a command like

1 0

[GIT] ppl/ppl(master): Updated.
by Roberto Bagnara 02 Aug '10

02 Aug '10

Module: ppl/ppl Branch: master Commit: de73fc626c082d0f94f277ef634c85c82d7ae5d3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=de73fc626c08… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 2 15:03:33 2010 +0200 Updated. --- demos/ppl_lcdd/ppl_lcdd.1 | 2 +- demos/ppl_lpsol/ppl_lpsol.1 | 2 +- demos/ppl_pips/ppl_pips.1 | 2 +- doc/libppl.3 | 2 +- doc/libppl_c.3 | 2 +- doc/ppl-config.1 | 2 +- 6 files changed, 6 insertions(+), 6 deletions(-) diff --git a/demos/ppl_lcdd/ppl_lcdd.1 b/demos/ppl_lcdd/ppl_lcdd.1 index f3737cb..46908ca 100644 --- a/demos/ppl_lcdd/ppl_lcdd.1 +++ b/demos/ppl_lcdd/ppl_lcdd.1 @@ -1,5 +1,5 @@ .\" DO NOT MODIFY THIS FILE! It was generated by help2man 1.36. -.TH PPL_LCDD "1" "May 2010" "ppl_lcdd 0.11" "User Commands" +.TH PPL_LCDD "1" "August 2010" "ppl_lcdd 0.11" "User Commands" .SH NAME ppl_lcdd \- a PPL-based program for vertex/facet enumeration of convex polyhedra .SH SYNOPSIS diff --git a/demos/ppl_lpsol/ppl_lpsol.1 b/demos/ppl_lpsol/ppl_lpsol.1 index db6b5fd..3c33e93 100644 --- a/demos/ppl_lpsol/ppl_lpsol.1 +++ b/demos/ppl_lpsol/ppl_lpsol.1 @@ -1,5 +1,5 @@ .\" DO NOT MODIFY THIS FILE! It was generated by help2man 1.36. -.TH PPL_LPSOL "1" "May 2010" "ppl_lpsol 0.11" "User Commands" +.TH PPL_LPSOL "1" "August 2010" "ppl_lpsol 0.11" "User Commands" .SH NAME ppl_lpsol \- a PPL-based mixed integer programming problem solver .SH SYNOPSIS diff --git a/demos/ppl_pips/ppl_pips.1 b/demos/ppl_pips/ppl_pips.1 index 6b8806b..0302609 100644 --- a/demos/ppl_pips/ppl_pips.1 +++ b/demos/ppl_pips/ppl_pips.1 @@ -1,5 +1,5 @@ .\" DO NOT MODIFY THIS FILE! It was generated by help2man 1.36. -.TH PPL_PIPS "1" "May 2010" "ppl_pips 0.11" "User Commands" +.TH PPL_PIPS "1" "August 2010" "ppl_pips 0.11" "User Commands" .SH NAME ppl_pips \- a PPL-based parametric integer programming problem solver .SH SYNOPSIS diff --git a/doc/libppl.3 b/doc/libppl.3 index 0ff3e52..f8d6432 100644 --- a/doc/libppl.3 +++ b/doc/libppl.3 @@ -1,4 +1,4 @@ -.TH libppl "3" "April 2009" "PPL 0.11" "libppl overview" +.TH libppl "3" "August 2010" "PPL 0.11" "libppl overview" .SH NAME libppl \- the C++ interface of the Parma Polyhedra Library diff --git a/doc/libppl_c.3 b/doc/libppl_c.3 index d48f19d..9e8ee1c 100644 --- a/doc/libppl_c.3 +++ b/doc/libppl_c.3 @@ -1,4 +1,4 @@ -.TH libppl_c "3" "April 2009" "PPL 0.11" "libppl_c overview" +.TH libppl_c "3" "August 2010" "PPL 0.11" "libppl_c overview" .SH NAME libppl_c \- the C interface of the Parma Polyhedra Library diff --git a/doc/ppl-config.1 b/doc/ppl-config.1 index 5e54525..2e50341 100644 --- a/doc/ppl-config.1 +++ b/doc/ppl-config.1 @@ -1,5 +1,5 @@ .\" DO NOT MODIFY THIS FILE! It was generated by help2man 1.36. -.TH PPL-CONFIG "1" "May 2010" "ppl-config 0.11" "User Commands" +.TH PPL-CONFIG "1" "August 2010" "ppl-config 0.11" "User Commands" .SH NAME ppl-config \- obtain information about an installation of the Parma Polyhedra Library .SH SYNOPSIS

1 0

[GIT] ppl/ppl(master): Missing sections added.
by Roberto Bagnara 02 Aug '10

02 Aug '10

Module: ppl/ppl Branch: master Commit: a2765aa095520c639466ba9e8bc27bb77e231d13 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a2765aa09552… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 2 10:06:57 2010 +0200 Missing sections added. --- doc/definitions.dox | 18 ++++++++++++++---- 1 files changed, 14 insertions(+), 4 deletions(-) diff --git a/doc/definitions.dox b/doc/definitions.dox index 7cdb3cd..b94d2e8 100644 --- a/doc/definitions.dox +++ b/doc/definitions.dox @@ -439,12 +439,24 @@ that are consistent with respect to the desired results. \section Approximating_Integers Approximating Integers -FIXME(0.11): to be written. +The Parma Polyhedra Library provides support for approximating +integer computations using the geometric descriptors it provides. +In this section we briefly explain these facilities. \subsection Dropping_Non_Integer_Points Dropping Non-Integer Points -FIXME(0.11): to be written. +When a geometric descriptor is used to approximate integer quantities, +all the points with non-integral coordinates represent an imprecision +of the description. Of course, removing all these points may be +impossible (because of convexity) or too expensive. The PPL provides +the operator <CODE>drop_some_non_integer_points</CODE> to possibly +tighten a descriptor by dropping some points with non-integer +coordinates, using algorithms whose complexity is bounded by +a parameter. The set of dimensions that represent integer quantities +can be optionally specified. It is worth to stress the role of +<EM>some</EM> in the operator name: in general no optimality guarantee +is provided. \subsection Approximating_Bounded_Integers Approximating Bounded Integers @@ -502,8 +514,6 @@ Supported overflow behaviors are: </DD> </DL> -FIXME(0.11): to be continued. - \subsubsection Wrapping_Operator Wrapping Operator

1 0

[GIT] ppl/ppl(master): Updated.
by Roberto Bagnara 02 Aug '10

02 Aug '10

Module: ppl/ppl Branch: master Commit: b99dd92358b6e510c335c70f87767f92a6728936 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b99dd92358b6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 2 09:17:16 2010 +0200 Updated. --- Watchdog/config.guess | 4 ++-- config.guess | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/Watchdog/config.guess b/Watchdog/config.guess index 115f944..4e621ac 100755 --- a/Watchdog/config.guess +++ b/Watchdog/config.guess @@ -4,7 +4,7 @@ # 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010 # Free Software Foundation, Inc. -timestamp='2010-04-03' +timestamp='2010-07-29' # This file is free software; you can redistribute it and/or modify it # under the terms of the GNU General Public License as published by @@ -552,7 +552,7 @@ EOF echo rs6000-ibm-aix3.2 fi exit ;; - *:AIX:*:[456]) + *:AIX:*:[4567]) IBM_CPU_ID=`/usr/sbin/lsdev -C -c processor -S available | sed 1q | awk '{ print $1 }'` if /usr/sbin/lsattr -El ${IBM_CPU_ID} | grep ' POWER' >/dev/null 2>&1; then IBM_ARCH=rs6000 diff --git a/config.guess b/config.guess index 115f944..4e621ac 100755 --- a/config.guess +++ b/config.guess @@ -4,7 +4,7 @@ # 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010 # Free Software Foundation, Inc. -timestamp='2010-04-03' +timestamp='2010-07-29' # This file is free software; you can redistribute it and/or modify it # under the terms of the GNU General Public License as published by @@ -552,7 +552,7 @@ EOF echo rs6000-ibm-aix3.2 fi exit ;; - *:AIX:*:[456]) + *:AIX:*:[4567]) IBM_CPU_ID=`/usr/sbin/lsdev -C -c processor -S available | sed 1q | awk '{ print $1 }'` if /usr/sbin/lsattr -El ${IBM_CPU_ID} | grep ' POWER' >/dev/null 2>&1; then IBM_ARCH=rs6000

1 0

[GIT] ppl/ppl(master): FIXMEs resolved.
by Roberto Bagnara 02 Aug '10

02 Aug '10

Module: ppl/ppl Branch: master Commit: fc8238d53a79691953a8533c79362fcfc7bc6244 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fc8238d53a79… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 2 08:32:33 2010 +0200 FIXMEs resolved. --- src/Grid.defs.hh | 18 ++++++------------ src/Grid_public.cc | 23 +++++++++-------------- 2 files changed, 15 insertions(+), 26 deletions(-) diff --git a/src/Grid.defs.hh b/src/Grid.defs.hh index 8ce547c..062d3ae 100644 --- a/src/Grid.defs.hh +++ b/src/Grid.defs.hh @@ -1564,21 +1564,18 @@ public: bool wrap_individually = true); /*! \brief - Possibly tightens \p *this by dropping some points with non-integer + Possibly tightens \p *this by dropping all points with non-integer coordinates. \param complexity - The maximal complexity of any algorithms used. - - \note - Currently there is no optimality guarantee, not even if - \p complexity is <CODE>ANY_COMPLEXITY</CODE>. + This argument is ignored as the algorithm used has polynomial + complexity. */ void drop_some_non_integer_points(Complexity_Class complexity = ANY_COMPLEXITY); /*! \brief - Possibly tightens \p *this by dropping some points with non-integer + Possibly tightens \p *this by dropping all points with non-integer coordinates for the space dimensions corresponding to \p vars. \param vars @@ -1586,11 +1583,8 @@ public: can be discarded. \param complexity - The maximal complexity of any algorithms used. - - \note - Currently there is no optimality guarantee, not even if - \p complexity is <CODE>ANY_COMPLEXITY</CODE>. + This argument is ignored as the algorithm used has polynomial + complexity. */ void drop_some_non_integer_points(const Variables_Set& vars, Complexity_Class complexity diff --git a/src/Grid_public.cc b/src/Grid_public.cc index 10c7843..e85cf9a 100644 --- a/src/Grid_public.cc +++ b/src/Grid_public.cc @@ -2852,30 +2852,21 @@ PPL::Grid::wrap_assign(const Variables_Set& vars, } } -// FIXME(0.11): Check if this is the correct interpretation of the -// specification. -// By adding integral congruences for each dimension to the congruence system, -// defining \p *this, the grid will keep only those points that have integral -// coordinates. All points in \p *this with non-integral coordinates are -// removed. void PPL::Grid::drop_some_non_integer_points(Complexity_Class) { if (marked_empty() || space_dim == 0) return; + // By adding integral congruences for each dimension to the + // congruence system, defining \p *this, the grid will keep only + // those points that have integral coordinates. All points in \p + // *this with non-integral coordinates are removed. for (dimension_type i = space_dim; i-- > 0; ) add_congruence(Variable(i) %= 0); PPL_ASSERT(OK()); } -// FIXME(0.11): Check if this is the correct interpretation of the -// specification. -// By adding the integral congruences for each dimension in vars -// to the congruence system defining \p *this, the grid will keep -// only those points that have integer coordinates for all the -// dimensions in vars. All points in \p *this with non-integral coordinates -// for the dimensions in vars are removed. void PPL::Grid::drop_some_non_integer_points(const Variables_Set& vars, Complexity_Class) { @@ -2888,6 +2879,11 @@ PPL::Grid::drop_some_non_integer_points(const Variables_Set& vars, if (marked_empty() || min_space_dim == 0) return; + // By adding the integral congruences for each dimension in vars to + // the congruence system defining \p *this, the grid will keep only + // those points that have integer coordinates for all the dimensions + // in vars. All points in \p *this with non-integral coordinates for + // the dimensions in vars are removed. for (Variables_Set::const_iterator i = vars.begin(), vars_end = vars.end(); i != vars.end(); ++i) add_congruence(Variable(*i) %= 0); @@ -2895,7 +2891,6 @@ PPL::Grid::drop_some_non_integer_points(const Variables_Set& vars, PPL_ASSERT(OK()); } - /*! \relates Parma_Polyhedra_Library::Grid */ std::ostream& PPL::IO_Operators::operator<<(std::ostream& s, const Grid& gr) {

1 0

[GIT] ppl/ppl(master): Commented out code concerning affine spaces.
by Roberto Bagnara 01 Aug '10

01 Aug '10

Module: ppl/ppl Branch: master Commit: 170fcba9094733b6fca9475ce1d57a2b095162d9 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=170fcba90947… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Aug 1 23:13:47 2010 +0200 Commented out code concerning affine spaces. --- .../constraintsproduct1.cc | 12 +++++++++--- 1 files changed, 9 insertions(+), 3 deletions(-) diff --git a/tests/Partially_Reduced_Product/constraintsproduct1.cc b/tests/Partially_Reduced_Product/constraintsproduct1.cc index 6d592a3..91c9025 100644 --- a/tests/Partially_Reduced_Product/constraintsproduct1.cc +++ b/tests/Partially_Reduced_Product/constraintsproduct1.cc @@ -28,7 +28,9 @@ typedef NNC_Polyhedron Poly; typedef Domain_Product<Poly, Grid>::Constraints_Product PolyGrid; typedef Domain_Product<Poly, TBox>::Constraints_Product PolyBox; +#if 0 typedef Domain_Product<Affine_Space, TBox>::Constraints_Product AffBox; +#endif typedef Domain_Product<Grid, TBox>::Constraints_Product GridBox; namespace { @@ -294,6 +296,7 @@ test08() { return ok; } +#if 0 bool test09() { Variable A(0); @@ -326,6 +329,7 @@ test09() { return ok; } +#endif // space_dimension() bool @@ -348,6 +352,7 @@ test10() { return cons_ok; } +#if 0 // Example taken from SenS07 (figure 5(a) bool test11() { @@ -527,6 +532,7 @@ test12() { return ok; } +#endif } // namespace @@ -539,8 +545,8 @@ BEGIN_MAIN DO_TEST(test06); DO_TEST(test07); DO_TEST(test08); - DO_TEST(test09); +//DO_TEST(test09); DO_TEST(test10); - DO_TEST_F8(test11); - DO_TEST(test12); +//DO_TEST_F8(test11); +//DO_TEST(test12); END_MAIN

1 0

[GIT] ppl/ppl(master): Avoid variable length arrays: use a std:: vector instead.
by Enea Zaffanella 01 Aug '10

01 Aug '10

Module: ppl/ppl Branch: master Commit: 38a6cd94ccc6c445875353afd22eac46e44bbcc0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=38a6cd94ccc6… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Aug 1 23:08:32 2010 +0200 Avoid variable length arrays: use a std::vector instead. --- demos/ppl_pips/ppl_pips.cc | 53 ++++++++++++++++++++++++-------------------- 1 files changed, 29 insertions(+), 24 deletions(-) diff --git a/demos/ppl_pips/ppl_pips.cc b/demos/ppl_pips/ppl_pips.cc index 9487dff..46a4fe9 100644 --- a/demos/ppl_pips/ppl_pips.cc +++ b/demos/ppl_pips/ppl_pips.cc @@ -215,14 +215,17 @@ public: pip_display_sol(out, solution, params, vars, pip.space_dimension()); } + typedef std::vector<PPL::Coefficient> Coeff_Vector; + typedef std::vector<int> Int_Vector; + bool update_pip(PPL::dimension_type num_vars, PPL::dimension_type num_params, PPL::dimension_type num_constraints, PPL::dimension_type num_ctx_rows, - const PPL::Coefficient* constraints, - const PPL::Coefficient* context, - const int constraint_type[], - const int ctx_type[], + const Coeff_Vector& constraints, + const Coeff_Vector& context, + const Int_Vector& constraint_type, + const Int_Vector& ctx_type, PPL::dimension_type bignum_column) { pip.add_space_dimensions_and_embed(num_vars, num_params); for (PPL::dimension_type k = 0, i = 0; i < num_constraints; ++i) { @@ -275,15 +278,14 @@ public: PPL_ASSERT(num_params >= 2); num_params -= 2; - PPL::Coefficient context[num_ctx_rows][num_params+1]; - int ctx_type[num_ctx_rows]; - + Coeff_Vector context(num_ctx_rows * (1+num_params)); + Int_Vector ctx_type(num_ctx_rows); for (PPL::dimension_type i = 0; i < num_ctx_rows; ++i) { getline_nocomment(in, line); std::istringstream sin(line); sin >> ctx_type[i]; for (PPL::dimension_type j = 0; j <= num_params; ++j) { - sin >> context[i][j]; + sin >> context[i * num_ctx_rows + j]; } } @@ -305,14 +307,14 @@ public: constraint_width -= 1; num_vars = constraint_width - num_params - 1; - PPL::Coefficient constraints[num_constraints][constraint_width]; - int constraint_type[num_constraints]; + Coeff_Vector constraints(num_constraints * constraint_width); + Int_Vector constraint_type(num_constraints); for (PPL::dimension_type i = 0; i < num_constraints; ++i) { getline_nocomment(in, line); std::istringstream sin(line); sin >> constraint_type[i]; for (PPL::dimension_type j = 0; j < constraint_width; ++j) { - sin >> constraints[i][j]; + sin >> constraints[i * constraint_width + j]; } } @@ -322,7 +324,7 @@ public: bool result = update_pip(num_vars, num_params, num_constraints, num_ctx_rows, - &constraints[0][0], &context[0][0], + constraints, context, constraint_type, ctx_type, bignum_column); return result; @@ -374,25 +376,25 @@ public: if (!expect(in, '(')) return false; PPL::dimension_type constraint_width = num_vars+num_params+1; - PPL::Coefficient constraints[num_constraints][constraint_width]; - int constraint_type[num_constraints]; + Coeff_Vector constraints(num_constraints * constraint_width); + Int_Vector constraint_type(num_constraints); for (PPL::dimension_type i = 0; i < num_constraints; ++i) constraint_type[i] = 1; for (PPL::dimension_type i = 0; i < num_constraints; ++i) - if (!read_vector(in, constraint_width, num_vars, constraints[i])) + if (!read_vector(in, i, constraint_width, num_vars, constraints)) return false; - PPL::Coefficient context[num_ctx_rows][num_params+1]; - int ctx_type[num_ctx_rows]; + Coeff_Vector context(num_ctx_rows * (1+num_params)); + Int_Vector ctx_type(num_ctx_rows); for (PPL::dimension_type i = 0; i < num_ctx_rows; ++i) ctx_type[i] = 1; for (PPL::dimension_type i = 0; i < num_ctx_rows; ++i) - if (!read_vector(in, num_params+1, num_params, context[i])) + if (!read_vector(in, i, num_params+1, num_params, context)) return false; bool result = update_pip(num_vars, num_params, num_constraints, num_ctx_rows, - &constraints[0][0], &context[0][0], + constraints, context, constraint_type, ctx_type, bignum_column); return result; @@ -424,9 +426,11 @@ protected: return a == c; } - static bool read_vector(std::istream& in, PPL::dimension_type size, + static bool read_vector(std::istream& in, + PPL::dimension_type row_index, + PPL::dimension_type row_size, PPL::dimension_type cst_col, - PPL::Coefficient tab[]) { + Coeff_Vector& tab) { if (!expect(in, '#')) return false; if (!expect(in, '[')) @@ -435,13 +439,14 @@ protected: if (getline(in, s, ']').bad()) return false; std::istringstream iss(s); - PPL::dimension_type k = 0; + PPL::dimension_type start_index = row_index * row_size; + PPL::dimension_type k = start_index; for (PPL::dimension_type i = 0; i < cst_col; ++i) if (!(iss >> tab[k++])) return false; - if (!(iss >> tab[size-1])) + if (!(iss >> tab[start_index + row_size - 1])) return false; - for (PPL::dimension_type i = cst_col + 1; i < size; ++i) + for (PPL::dimension_type i = cst_col + 1; i < row_size; ++i) if (!(iss >> tab[k++])) return false; return true;

1 0

[GIT] ppl/ppl(master): Commented out code concerning affine spaces.
by Roberto Bagnara 01 Aug '10

01 Aug '10

Module: ppl/ppl Branch: master Commit: 304c0dc5f4c445888e6cd17d5b60d8f90358c28c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=304c0dc5f4c4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Aug 1 22:43:15 2010 +0200 Commented out code concerning affine spaces. --- tests/ppl_test.cc | 2 ++ 1 files changed, 2 insertions(+), 0 deletions(-) diff --git a/tests/ppl_test.cc b/tests/ppl_test.cc index a115b29..7f609f3 100644 --- a/tests/ppl_test.cc +++ b/tests/ppl_test.cc @@ -352,11 +352,13 @@ print_constraints(const Polyhedron& ph, print_constraints(ph.constraints(), intro, s); } +#if 0 void print_constraints(const Affine_Space& affs, const std::string& intro, std::ostream& s) { print_constraints(affs.constraints(), intro, s); } +#endif void print_constraints(const Constraint_System& cs,

1 0

[GIT] ppl/ppl(master): Commented out code concerning affine spaces.
by Roberto Bagnara 01 Aug '10

01 Aug '10

Module: ppl/ppl Branch: master Commit: 43d231e2876628411e04c627c2e66436311b407e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=43d231e28766… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Aug 1 20:00:30 2010 +0200 Commented out code concerning affine spaces. --- tests/ppl_test.hh | 2 ++ 1 files changed, 2 insertions(+), 0 deletions(-) diff --git a/tests/ppl_test.hh b/tests/ppl_test.hh index fa4bd88..449e137 100644 --- a/tests/ppl_test.hh +++ b/tests/ppl_test.hh @@ -972,10 +972,12 @@ print_constraints(const Polyhedron& ph, const std::string& intro = "", std::ostream& s = nout); +#if 0 void print_constraints(const Affine_Space& affs, const std::string& intro = "", std::ostream& s = nout); +#endif template <typename Interval> void

1 0