November 2009 - PPL-devel - BUGSENG Mailman

Re: [PPL-devel] Sample examples of use of PPL
by Étienne André 26 Nov '09

26 Nov '09

Dear PPL developers, I'm facing problems while interfacing OCaml with PPL. I did the following steps, following the instructions read in various installation files: - I installed the last version of OCaml - I installed GMP in /home/{me}/Prog/local/lib - I installed MPFR in /home/{me}/Prog/local/lib - I then installed MLGMP in /home/{me}/Prog/local/lib/gmp/ - I finally installed PPL using the following command: ./configure --prefix=/home/{me}/Prog/local --with-libgmp-prefix=/home/{me}/Prog/local --with-libgmpxx-prefix=/home/{me}/Prog/local --with-mlgmp=/home/{me}/Prog/local/lib/gmp All installations finished successfully. However, if I execute "make check" in ~/Prog/PPL/ppl-0.10.2.toto/interfaces/OCaml/tests, I get the following error: g++ -DHAVE_CONFIG_H -I. -I../.. -I/usr/lib/ocaml -I../../interfaces -I../../src -I../../src -I../../Watchdog/src -I/home/{me}/Prog/local/include -g -O2 -frounding-math -W -Wall -MT ppl_ocaml_Polyhedron.o -MD -MP -MF .deps/ppl_ocaml_Polyhedron.Tpo -c -o ppl_ocaml_Polyhedron.o ppl_ocaml_Polyhedron.cc g++: ppl_ocaml_Polyhedron.cc: Aucun fichier ou dossier de ce type g++: no input files Do you have any idea what could have been wrong in the different tools and libraries I installed? Thank you very much for any advice. Best wishes Étienne 2009/11/10 Roberto Bagnara <bagnara(a)cs.unipr.it> > > Hi Étienne, > > ppl-devel(a)cs.unipr.it is the first mailing list you should refer > to, providing full details about what the problems are. > If that fails, then you could try on caml-list(a)yquem.inria.fr > Cheers, > > Roberto >

2 8

[GIT] ppl/ppl(pip): Fixed a regression.
by François Galea 26 Nov '09

26 Nov '09

Module: ppl/ppl Branch: pip Commit: 2709f6de0c8835f0745133f97d705647b67b2c95 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2709f6de0c88… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Nov 26 10:47:08 2009 +0100 Fixed a regression. --- src/PIP_Problem.cc | 3 ++- 1 files changed, 2 insertions(+), 1 deletions(-) diff --git a/src/PIP_Problem.cc b/src/PIP_Problem.cc index 8e09125..b7100e8 100644 --- a/src/PIP_Problem.cc +++ b/src/PIP_Problem.cc @@ -127,10 +127,11 @@ PPL::PIP_Problem::solve() const { x.external_space_dim = c_space_dim; bool has_nonzero_variable_coefficient = false; for (i = 0; i < c_space_dim; ++i) { - if (c->coefficient(Variable(i)) != 0 && parameters.count(i) == 0) + if (c->coefficient(Variable(i)) != 0 && parameters.count(i) == 0) { /* Constraint should not be inserted in context. */ has_nonzero_variable_coefficient = true; break; + } } if (!has_nonzero_variable_coefficient) { // At this point, the constraint must be translated into context row.

1 0

[GIT] ppl/ppl(pip): PIP_Problem can handle strict inequalities: corresponding checks removed.
by Enea Zaffanella 24 Nov '09

24 Nov '09

Module: ppl/ppl Branch: pip Commit: e46ac63881ab9d0da94232bda7ef8c358e921c19 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e46ac63881ab… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Nov 24 15:22:01 2009 +0100 PIP_Problem can handle strict inequalities: corresponding checks removed. Got rid of internal status SATISFIABLE, which was unused. Corrected several minor typos (missing spaces) in exception messages. Added a new test (pipproblem2.cc, test09) showing what seems to be a bug. --- src/PIP_Problem.cc | 34 +++++------------------------ src/PIP_Problem.defs.hh | 18 ++++++--------- src/PIP_Problem.templates.hh | 27 +++++++++-------------- tests/PIP_Problem/exceptions1.cc | 16 ++++--------- tests/PIP_Problem/pipproblem2.cc | 43 ++++++++++++++++++++++++++++++++++--- 5 files changed, 68 insertions(+), 70 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=e46ac638…

1 0

[GIT] ppl/ppl(pip): Test test07() in pipproblem2. cc shows a bug in PIP_Problem.
by Enea Zaffanella 24 Nov '09

24 Nov '09

Module: ppl/ppl Branch: pip Commit: 9cc933834e49973804e0865ff034f5663b5c2648 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9cc933834e49… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Nov 24 13:06:50 2009 +0100 Test test07() in pipproblem2.cc shows a bug in PIP_Problem. Apparently, we cannot incrementally add new constraints to a PIP_Problem taht was already solved. --- tests/PIP_Problem/pipproblem2.cc | 45 ++++++++++++++++++++++++++++++++++++++ 1 files changed, 45 insertions(+), 0 deletions(-) diff --git a/tests/PIP_Problem/pipproblem2.cc b/tests/PIP_Problem/pipproblem2.cc index a6b5b8c..cbadbbb 100644 --- a/tests/PIP_Problem/pipproblem2.cc +++ b/tests/PIP_Problem/pipproblem2.cc @@ -109,6 +109,48 @@ test04() { return ok; } +bool +test05() { + Variable X(0); + PIP_Problem pip(1); + pip.add_constraint(X == -X); + + bool ok = (pip.solve() == OPTIMIZED_PIP_PROBLEM); + // Solving again a problem already optimized. + ok &= (pip.solve() == OPTIMIZED_PIP_PROBLEM); + + return ok; +} + +bool +test06() { + Variable X(0); + PIP_Problem pip(1); + pip.add_constraint(X == -X); + pip.add_constraint(X >= 1); + + bool ok = (pip.solve() == UNFEASIBLE_PIP_PROBLEM); + // Solving again a problem already detected to be unfeasible. + ok &= (pip.solve() == UNFEASIBLE_PIP_PROBLEM); + + return ok; +} + +bool +test07() { + Variable X(0); + PIP_Problem pip(1); + pip.add_constraint(X == -X); + bool ok = (pip.solve() == OPTIMIZED_PIP_PROBLEM); + + // Incrementally adding a constraint. + pip.add_constraint(X >= 1); + // Solving a problem that was optimized and now is unfeasible. + ok &= (pip.solve() == UNFEASIBLE_PIP_PROBLEM); + + return ok; +} + } // namespace BEGIN_MAIN @@ -116,4 +158,7 @@ BEGIN_MAIN DO_TEST(test02); DO_TEST(test03); DO_TEST(test04); + DO_TEST(test05); + DO_TEST(test06); + DO_TEST_F(test07); END_MAIN

1 0

[GIT] ppl/ppl(pip): Prefer not_a_dimension() as a marker if the big parameter is not set.
by Enea Zaffanella 24 Nov '09

24 Nov '09

Module: ppl/ppl Branch: pip Commit: 06c6a3408fb5967bb29230306b4f71f02120dbd0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=06c6a3408fb5… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Nov 24 12:09:20 2009 +0100 Prefer not_a_dimension() as a marker if the big parameter is not set. --- src/PIP_Problem.cc | 18 ++++++++++-------- src/PIP_Problem.defs.hh | 11 +++++++++-- src/PIP_Problem.inlines.hh | 2 -- src/PIP_Problem.templates.hh | 2 +- src/PIP_Tree.cc | 7 ++++--- src/PIP_Tree.defs.hh | 6 ++++-- tests/PIP_Problem/pipproblem2.cc | 18 ++++++++++++++++++ 7 files changed, 46 insertions(+), 18 deletions(-) diff --git a/src/PIP_Problem.cc b/src/PIP_Problem.cc index 6f4c01c..687f3e6 100644 --- a/src/PIP_Problem.cc +++ b/src/PIP_Problem.cc @@ -42,7 +42,7 @@ PPL::PIP_Problem::PIP_Problem(const dimension_type dim) first_pending_constraint(0), parameters(), initial_context(), - big_parameter_dimension(0) { + big_parameter_dimension(not_a_dimension()) { // Check for space dimension overflow. if (dim > max_space_dimension()) throw std::length_error("PPL::PIP_Problem::PIP_Problem(dim):\n" @@ -247,7 +247,7 @@ PPL::PIP_Problem::OK() const { return false; } - if (big_parameter_dimension != 0 + if (big_parameter_dimension != not_a_dimension() && parameters.count(big_parameter_dimension) == 0) { #ifndef NDEBUG cerr << "The current value for the big parameter is not a parameter " @@ -323,7 +323,9 @@ PPL::PIP_Problem::ascii_dump(std::ostream& s) const { s << "\n"; } - s << "\nbig_parameter_dimension: " << big_parameter_dimension << " \n"; + s << "\nbig_parameter_dimension: " + << big_parameter_dimension + << "\n"; } PPL_OUTPUT_DEFINITIONS(PIP_Problem) @@ -447,7 +449,7 @@ PPL::PIP_Problem::clear() { parameters.clear(); initial_context.clear(); control_parameters_init(); - big_parameter_dimension = 0; + big_parameter_dimension = not_a_dimension(); } void @@ -557,12 +559,12 @@ PPL::PIP_Problem::set_control_parameter(Control_Parameter_Value value) { void PPL::PIP_Problem::set_big_parameter_dimension(dimension_type x) { if (parameters.count(x) == 0) - throw std::invalid_argument("PPL::PIP_Problem::set_big_parameter_dimension" - "(x):\n" + throw std::invalid_argument("PPL::PIP_Problem::" + "set_big_parameter_dimension(x):\n" "dimension 'x' is not a parameter."); if (x < internal_space_dim) - throw std::invalid_argument("PPL::PIP_Problem::set_big_parameter_dimension" - "(x):\n" + throw std::invalid_argument("PPL::PIP_Problem::" + "set_big_parameter_dimension(x):\n" "only newly-added parameters can be" "converted into the big parameter."); big_parameter_dimension = x; diff --git a/src/PIP_Problem.defs.hh b/src/PIP_Problem.defs.hh index af6941f..e075acd 100644 --- a/src/PIP_Problem.defs.hh +++ b/src/PIP_Problem.defs.hh @@ -318,7 +318,11 @@ public: //! Sets the dimension for the big parameter void set_big_parameter_dimension(dimension_type x); - //! Gets the dimension for the big parameter + /*! \brief + Returns the space dimension for the big parameter. + + If a big parameter was not set, returns \c not_a_dimension(). + */ dimension_type get_big_parameter_dimension() const; private: @@ -389,7 +393,10 @@ private: Control_Parameter_Value control_parameters[CONTROL_PARAMETER_NAME_SIZE]; - //! The dimension for the big parameter, or zero if not set. + /*! \brief + The dimension for the big parameter, or \c not_a_dimension() + if not set. + */ dimension_type big_parameter_dimension; }; diff --git a/src/PIP_Problem.inlines.hh b/src/PIP_Problem.inlines.hh index cd052a6..b2f3bc3 100644 --- a/src/PIP_Problem.inlines.hh +++ b/src/PIP_Problem.inlines.hh @@ -73,14 +73,12 @@ PIP_Problem::operator=(const PIP_Problem& y) { return *this; } -//! Returns the control parameter value for parameter name \p n. inline PIP_Problem::Control_Parameter_Value PIP_Problem::get_control_parameter(Control_Parameter_Name n) const { assert(n >= 0 && n < CONTROL_PARAMETER_NAME_SIZE); return control_parameters[n]; } -//! Gets the dimension for the big parameter inline dimension_type PIP_Problem::get_big_parameter_dimension() const { return big_parameter_dimension; diff --git a/src/PIP_Problem.templates.hh b/src/PIP_Problem.templates.hh index 6fe4579..f5fc761 100644 --- a/src/PIP_Problem.templates.hh +++ b/src/PIP_Problem.templates.hh @@ -41,7 +41,7 @@ PIP_Problem::PIP_Problem(dimension_type dim, first_pending_constraint(0), parameters(p_vars), initial_context(), - big_parameter_dimension(0) { + big_parameter_dimension(not_a_dimension()) { // Check that integer Variables_Set does not exceed the space dimension // of the problem. if (p_vars.space_dimension() > external_space_dim) { diff --git a/src/PIP_Tree.cc b/src/PIP_Tree.cc index 1fcb98e..de77be6 100644 --- a/src/PIP_Tree.cc +++ b/src/PIP_Tree.cc @@ -230,7 +230,7 @@ PIP_Solution_Node::PIP_Solution_Node() var_row(), var_column(), special_equality_row(0), - big_dimension(0), + big_dimension(not_a_dimension()), sign(), solution(), solution_valid(false) { @@ -923,7 +923,7 @@ PIP_Solution_Node PIP_Solution_Node::Row_Sign PIP_Solution_Node::row_sign(const Row &x, dimension_type big_dimension) { - if (big_dimension > 0) { + if (big_dimension != not_a_dimension()) { /* If a big parameter has been set and its coefficient is not zero, just return the sign of the coefficient */ const Coefficient &c = x[big_dimension]; @@ -1173,7 +1173,8 @@ PIP_Solution_Node::update_tableau(const PIP_Problem& problem, } } internal_space_dim = external_space_dim; - if (big_dimension == 0 && problem.big_parameter_dimension > 0) { + if (big_dimension == not_a_dimension() + && problem.big_parameter_dimension != not_a_dimension()) { // Compute the column number of big parameter in tableau.t matrix Variables_Set::const_iterator begin = parameters.begin(); Variables_Set::const_iterator pos diff --git a/src/PIP_Tree.defs.hh b/src/PIP_Tree.defs.hh index 3de1cb6..955c100 100644 --- a/src/PIP_Tree.defs.hh +++ b/src/PIP_Tree.defs.hh @@ -372,8 +372,10 @@ private: */ dimension_type special_equality_row; - /*! \brief The column number in the parametric part of the simplex tableau - which corresponds to the big parameter + /*! \brief + The column number in the parametric part of the simplex tableau + which corresponds to the big parameter; \c not_a_dimension() + if not set. */ dimension_type big_dimension; diff --git a/tests/PIP_Problem/pipproblem2.cc b/tests/PIP_Problem/pipproblem2.cc index 068e20d..a6b5b8c 100644 --- a/tests/PIP_Problem/pipproblem2.cc +++ b/tests/PIP_Problem/pipproblem2.cc @@ -92,10 +92,28 @@ test03() { return ok; } +bool +test04() { + PIP_Problem pip(6); + Variables_Set params(Variable(3), Variable(5)); + pip.add_to_parameter_space_dimensions(params); + + bool ok = (pip.get_big_parameter_dimension() == not_a_dimension()); + + pip.set_big_parameter_dimension(3); + ok &= (pip.get_big_parameter_dimension() == 3); + + pip.set_big_parameter_dimension(5); + ok &= (pip.get_big_parameter_dimension() == 5); + + return ok; +} + } // namespace BEGIN_MAIN DO_TEST(test01); DO_TEST(test02); DO_TEST(test03); + DO_TEST(test04); END_MAIN

1 0

[GIT] ppl/ppl(pip): Started adding tests checking for the right PIP_Problem exceptions are thrown .
by Enea Zaffanella 24 Nov '09

24 Nov '09

Module: ppl/ppl Branch: pip Commit: 51bc21cdc8ce64f90f55b3b3ec623fbf21cbd6ed URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=51bc21cdc8ce… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Nov 24 10:49:08 2009 +0100 Started adding tests checking for the right PIP_Problem exceptions are thrown. --- tests/PIP_Problem/Makefile.am | 3 + tests/PIP_Problem/exceptions1.cc | 138 ++++++++++++++++++++++++++++++++++++++ 2 files changed, 141 insertions(+), 0 deletions(-) diff --git a/tests/PIP_Problem/Makefile.am b/tests/PIP_Problem/Makefile.am index 6009243..a01d3af 100644 --- a/tests/PIP_Problem/Makefile.am +++ b/tests/PIP_Problem/Makefile.am @@ -50,6 +50,7 @@ $(top_builddir)/src/libppl.la \ @extra_libraries@ TESTS = \ +exceptions1 \ pipproblem1 pipproblem2 XFAIL_TESTS = @@ -60,6 +61,8 @@ BUGS = # Sources for the tests # +exceptions1_SOURCES = exceptions1.cc + pipproblem1_SOURCES = pipproblem1.cc pipproblem2_SOURCES = pipproblem2.cc diff --git a/tests/PIP_Problem/exceptions1.cc b/tests/PIP_Problem/exceptions1.cc new file mode 100644 index 0000000..071f238 --- /dev/null +++ b/tests/PIP_Problem/exceptions1.cc @@ -0,0 +1,138 @@ +/* Test that the right exceptions are thrown in case of incorrect uses. + Copyright (C) 2001-2009 Roberto Bagnara <bagnara(a)cs.unipr.it> + +This file is part of the Parma Polyhedra Library (PPL). + +The PPL is free software; you can redistribute it and/or modify it +under the terms of the GNU General Public License as published by the +Free Software Foundation; either version 3 of the License, or (at your +option) any later version. + +The PPL is distributed in the hope that it will be useful, but WITHOUT +ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or +FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License +for more details. + +You should have received a copy of the GNU General Public License +along with this program; if not, write to the Free Software Foundation, +Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. + +For the most up-to-date information see the Parma Polyhedra Library +site: http://www.cs.unipr.it/ppl/ . */ + +#include "ppl_test.hh" + +namespace { + +bool +test01() { + Constraint_System cs; + Variable x(0); + Variables_Set params(x); + + try { + // This is an incorrect use of the constructor: + // the parameters in `params' should be space dimensions + // that are valid for the PIP_Problem we are going to build. + PIP_Problem pip(0, cs.begin(), cs.end(), params); + } + catch (std::invalid_argument& e) { + nout << "invalid_argument: " << e.what() << endl << endl; + return true; + } + catch (...) { + } + return false; +} + +bool +test02() { + Constraint_System cs; + + try { + // This is an incorrect use of the constructor: + // invalid space dimension required. + PIP_Problem pip(1 + PIP_Problem::max_space_dimension(), + cs.begin(), cs.end(), Variables_Set()); + } + catch (std::length_error& e) { + nout << "length_error: " << e.what() << endl << endl; + return true; + } + catch (...) { + } + return false; +} + +bool +test03() { + try { + // This is an incorrect use of the constructor: + // invalid space dimension required. + PIP_Problem pip(1 + PIP_Problem::max_space_dimension()); + } + catch (std::length_error& e) { + nout << "length_error: " << e.what() << endl << endl; + return true; + } + catch (...) { + } + return false; +} + +bool +test04() { + Variable X(0); + Constraint_System cs; + cs.insert(X < 1); + + try { + // This is an incorrect use of the constructor: + // strict constraints are not allowed. + PIP_Problem pip(cs.space_dimension(), + cs.begin(), cs.end(), + Variables_Set()); + } + catch (std::invalid_argument& e) { + nout << "invalid_argument: " << e.what() << endl << endl; + return true; + } + catch (...) { + } + return false; +} + +bool +test05() { + Variable X(0); + Variable Y(1); + Variable Z(2); + Constraint_System cs; + cs.insert(X == 0); + cs.insert(Y == 1); + cs.insert(Z <= 2); + + try { + // This is an incorrect use of the constructor: + // the space dimensions of the constraints should not be greater + // than the space dimension of the PIP problem. + PIP_Problem pip(2, cs.begin(), cs.end(), Variables_Set()); + } + catch (std::invalid_argument& e) { + nout << "invalid_argument: " << e.what() << endl << endl; + return true; + } + catch (...) { + } + return false; +} + +} // namespace + +BEGIN_MAIN + DO_TEST(test01); + DO_TEST(test02); + DO_TEST(test03); + DO_TEST(test04); + DO_TEST(test05); +END_MAIN

1 0

[GIT] ppl/ppl(pip): Started adding tests to increase coverage.
by Enea Zaffanella 24 Nov '09

24 Nov '09

Module: ppl/ppl Branch: pip Commit: cfbfb20b161ed7aecb6a500a4d34b73b0660e513 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cfbfb20b161e… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Nov 24 10:18:16 2009 +0100 Started adding tests to increase coverage. --- tests/PIP_Problem/Makefile.am | 3 +- tests/PIP_Problem/pipproblem2.cc | 101 ++++++++++++++++++++++++++++++++++++++ 2 files changed, 103 insertions(+), 1 deletions(-) diff --git a/tests/PIP_Problem/Makefile.am b/tests/PIP_Problem/Makefile.am index da24a57..6009243 100644 --- a/tests/PIP_Problem/Makefile.am +++ b/tests/PIP_Problem/Makefile.am @@ -50,7 +50,7 @@ $(top_builddir)/src/libppl.la \ @extra_libraries@ TESTS = \ -pipproblem1 +pipproblem1 pipproblem2 XFAIL_TESTS = @@ -61,6 +61,7 @@ BUGS = # pipproblem1_SOURCES = pipproblem1.cc +pipproblem2_SOURCES = pipproblem2.cc check_PROGRAMS = \ $(TESTS) \ diff --git a/tests/PIP_Problem/pipproblem2.cc b/tests/PIP_Problem/pipproblem2.cc new file mode 100644 index 0000000..068e20d --- /dev/null +++ b/tests/PIP_Problem/pipproblem2.cc @@ -0,0 +1,101 @@ +/* Test the PIP_Problem class + Copyright (C) 2001-2009 Roberto Bagnara <bagnara(a)cs.unipr.it> + +This file is part of the Parma Polyhedra Library (PPL). + +The PPL is free software; you can redistribute it and/or modify it +under the terms of the GNU General Public License as published by the +Free Software Foundation; either version 3 of the License, or (at your +option) any later version. + +The PPL is distributed in the hope that it will be useful, but WITHOUT +ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or +FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License +for more details. + +You should have received a copy of the GNU General Public License +along with this program; if not, write to the Free Software Foundation, +Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. + +For the most up-to-date information see the Parma Polyhedra Library +site: http://www.cs.unipr.it/ppl/ . */ + +#include "ppl_test.hh" + +namespace { + +bool +test01() { + Variable A(0); + Variable B(1); + Variable P(2); + Variable Q(3); + Variables_Set params(P, Q); + + Constraint_System cs; + cs.insert(A + B >= 0); + cs.insert(A - B <= P); + cs.insert(3*A - 2*B == 5*Q); + + PIP_Problem pip(cs.space_dimension(), cs.begin(), cs.end(), params); + + bool ok = (pip.space_dimension() == 4); + + pip.add_space_dimensions_and_embed(2, 2); + ok &= (pip.space_dimension() == 8); + params.insert(Variable(6)); + params.insert(Variable(7)); + ok &= (pip.parameter_space_dimensions() == params); + + for (PIP_Problem::const_iterator i = pip.constraints_begin(), + i_end = pip.constraints_end(); i != i_end; ++i) + print_constraint(*i); + + return ok; +} + +bool +test02() { + PIP_Problem pip_1(2); + PIP_Problem pip_2(2); + pip_2 = pip_1; + + Variables_Set params(Variable(1)); + pip_2.add_to_parameter_space_dimensions(params); + + std::swap(pip_1, pip_2); + + bool ok = (pip_1.space_dimension() == 2 + && pip_2.space_dimension() == 2 + && pip_1.parameter_space_dimensions() == params + && pip_2.parameter_space_dimensions() == Variables_Set()); + + return ok; +} + +bool +test03() { + PIP_Problem pip; + PIP_Problem::Control_Parameter_Value cp; + + cp = pip.get_control_parameter(PIP_Problem::CUTTING_STRATEGY); + bool ok = (cp == PIP_Problem::CUTTING_STRATEGY_FIRST); + + pip.set_control_parameter(PIP_Problem::CUTTING_STRATEGY_DEEPEST); + cp = pip.get_control_parameter(PIP_Problem::CUTTING_STRATEGY); + ok &= (cp == PIP_Problem::CUTTING_STRATEGY_DEEPEST); + + PIP_Problem pip_copy(pip); + cp = pip_copy.get_control_parameter(PIP_Problem::CUTTING_STRATEGY); + ok &= (cp == PIP_Problem::CUTTING_STRATEGY_DEEPEST); + + return ok; +} + +} // namespace + +BEGIN_MAIN + DO_TEST(test01); + DO_TEST(test02); + DO_TEST(test03); +END_MAIN

1 0

PPL, Windows, MinGW
by Krzysztof Jakubczyk 23 Nov '09

23 Nov '09

Hi, I get following error when trying to compile PPL under MinGW: make[4]: Entering directory `/c/ppl-0.10.2/demos/ppl_lcdd/examples' make[4]: Nothing to be done for `all'. make[4]: Leaving directory `/c/ppl-0.10.2/demos/ppl_lcdd/examples' make[4]: Entering directory `/c/ppl-0.10.2/demos/ppl_lcdd' g++ -DHAVE_CONFIG_H -I. -I../.. -I../.. -I../../src -I../../utils -I/usr/local /include -g -O2 -frounding-math -W -Wall -MT ppl_lcdd.o -MD -MP -MF .deps/ppl_ lcdd.Tpo -c -o ppl_lcdd.o ppl_lcdd.cc ppl_lcdd.cc:138:27: error: sys/resource.h: No such file or directory ppl_lcdd.cc: In function 'void<unnamed>::limit_virtual_memory(unsigned int)': ppl_lcdd.cc:336: error: aggregate '<unnamed>::rlimit t' has incomplete type and cannot be defined ppl_lcdd.cc:338: error: 'RLIMIT_AS' was not declared in this scope ppl_lcdd.cc:338: error: 'getrlimit' was not declared in this scope ppl_lcdd.cc:343: error: 'RLIMIT_AS' was not declared in this scope ppl_lcdd.cc:343: error: 'setrlimit' was not declared in this scope make[4]: *** [ppl_lcdd.o] Error 1 regards, Krzysztof Jakubczyk

2 8

[GIT] ppl/ppl(pip): Minor improvements to avoid assertion failures on iterators.
by Enea Zaffanella 23 Nov '09

23 Nov '09

Module: ppl/ppl Branch: pip Commit: 75564de32ad9f7f70ec2ad75c60d1e7f5ae631ae URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=75564de32ad9… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Nov 23 18:52:37 2009 +0100 Minor improvements to avoid assertion failures on iterators. --- tests/PIP_Problem/pipproblem1.cc | 32 +++++++++++++++++--------------- 1 files changed, 17 insertions(+), 15 deletions(-) diff --git a/tests/PIP_Problem/pipproblem1.cc b/tests/PIP_Problem/pipproblem1.cc index c8a93fb..5594333 100644 --- a/tests/PIP_Problem/pipproblem1.cc +++ b/tests/PIP_Problem/pipproblem1.cc @@ -32,14 +32,15 @@ display_solution(const PIP_Tree pip, const Variables_Set& params, using namespace Parma_Polyhedra_Library::IO_Operators; if (!pip) { nout << setw(indent*2) << "" << "_|_" << endl; - } else { + } + else { Variables_Set parameters(params); dimension_type new_params - = pip->insert_artificials(parameters, space_dimension); + = pip->insert_artificials(parameters, space_dimension); if (new_params > 0) { PIP_Tree_Node::Artificial_Parameter_Sequence::const_iterator i, i_end; i_end = pip->art_parameter_end(); - for (i=pip->art_parameter_begin(); i!=i_end; ++i) { + for (i = pip->art_parameter_begin(); i != i_end; ++i) { nout << setw(indent*2) << "" << "Parameter " << Linear_Expression(Variable(space_dimension++)) << " = " << *i << endl; @@ -49,11 +50,11 @@ display_solution(const PIP_Tree pip, const Variables_Set& params, bool constraints_empty = constraints.empty(); if (!constraints_empty) { nout << setw(indent*2) << "" << "if "; - Constraint_System::const_iterator begin = constraints.begin(); - Constraint_System::const_iterator end = constraints.end(); - Constraint_System::const_iterator i; - for (i = begin; i != end; ++i) - nout << ((i==begin)?"":" and ") << *i; + for (Constraint_System::const_iterator + begin = constraints.begin(), + end = constraints.end(), + i = begin; i != end; ++i) + nout << ((i == begin) ? "" : " and ") << *i; nout << " then" << endl; } const PIP_Decision_Node* dn = pip->as_decision(); @@ -63,14 +64,15 @@ display_solution(const PIP_Tree pip, const Variables_Set& params, nout << setw(indent*2) << "" << "else" << endl; display_solution(dn->child_node(false), parameters, vars, space_dimension, indent+1); - } else { + } + else { const PIP_Solution_Node* sn = pip->as_solution(); - Variables_Set::const_iterator begin = vars.begin(); - Variables_Set::const_iterator end = vars.end(); - Variables_Set::const_iterator i; - nout << setw(indent*2+(constraints_empty?0:2)) << "" << "{"; - for (i=begin; i!=end; ++i) - nout << ((i==begin)?"":" ; ") + nout << setw(indent*2 + (constraints_empty ? 0 : 2)) << "" << "{"; + for (Variables_Set::const_iterator + begin = vars.begin(), + end = vars.end(), + i = begin; i != end; ++i) + nout << ((i == begin) ? "" : " ; ") << sn->parametric_values(Variable(*i), parameters); nout << "}" << endl; if (!constraints_empty) {

1 0

[GIT] ppl/ppl(pip): Started drafting a Prolog interface for PIP_Problem.
by Enea Zaffanella 23 Nov '09

23 Nov '09

Module: ppl/ppl Branch: pip Commit: 108c6bf1ccdb5394788f6ad43f272f1a393f2b82 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=108c6bf1ccdb… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Nov 23 18:51:14 2009 +0100 Started drafting a Prolog interface for PIP_Problem. --- interfaces/Prolog/ppl_prolog_common.cc | 406 ++++++++++++++++++++++++++- interfaces/Prolog/ppl_prolog_common.defs.hh | 107 +++++++ 2 files changed, 511 insertions(+), 2 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=108c6bf1…

1 0