- PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(floating_point): New commits
by Roberto Bagnara 13 Jan '11

13 Jan '11

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2941cea03d8a… Merge: dc027679371676490ea74a3356c5c5aa6e9b735f 0fd2de73dd626465d1c77d925eb63e2adb639648 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jan 13 08:37:26 2011 +0100 Merge branch 'master' into floating_point URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0fd2de73dd62… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Jan 8 17:23:18 2011 +0100 Replaced a call to PPL_ASSERT by PPL_ASSERT_HEAVY. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1c16cf1e891f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jan 7 18:39:22 2011 +0100 Cyclic dependency avoided. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8d3d269f7907… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Jan 6 11:44:48 2011 +0100 Fixed documentation copy-and-paste error. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=27d130ce3196… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jan 6 10:42:46 2011 +0100 Replaced several occurrences of assert() by PPL_ASSERT(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7a0f1627560d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jan 6 09:31:27 2011 +0100 Added missing parameter documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=87b7c0d322e1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jan 6 08:57:57 2011 +0100 Do not build documentation for interfaces that are not enabled. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6ba95253a8b9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Jan 5 17:02:18 2011 +0100 Added missing `use_module' directive. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b86dc7a898cd… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Dec 30 14:44:10 2010 +0100 Dense_Row: simplify the exception safety implementation by using an implementation subobject. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a24129e95d80… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Dec 27 17:05:58 2010 +0100 Dense_Row: improve exception safety in constructors. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff7564a57ae5… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Dec 27 09:20:53 2010 +0100 Dense_Row: remove useless debugging code from the OK() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=242769b816b4… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Dec 26 22:57:26 2010 +0100 Dense_Row, Sparse_Row, Linear_Row: modify the flags' getter and setter methods, to follow strict aliasing rules. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c85e31fb4f45… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Dec 25 10:50:44 2010 +0100 Dense_Row, Sparse_Row: remove the construct() methods and add a constructor from Flags. Update client code. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ecffa9a026c3… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Dec 25 10:46:23 2010 +0100 Dense_Row: simplify the internal representation and implementation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e5c712fb8577… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Dec 24 12:02:23 2010 +0100 Avoid a couple of doxygen warnings. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bae9231e876e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Dec 24 11:59:17 2010 +0100 Memory leaks fixed. (Patch by Marco Poletti.) URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=84600dacfb4b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Dec 20 09:13:43 2010 +0100 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=96604c0b3612… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Dec 19 12:05:02 2010 +0100 Added a workaround to a space efficiency bug affecting MIP_Problem. The baseline patch has been contributed by Marco Poletti. MIP_Problem now stores the input constraints as a sequence of Constraint*. In this sequence, we distinguish between owned constraints (whose resources are under control of the current MIP_Problem object) and inherited constraints (whose resources are shared with, and owned by, another MIP_Problem object). When starting a branch-and-bound computation looking for an integral feasible/optimal solution, we now inherit (rather than copy) the input constraints. The workaround greatly improves space/time efficiency on (mixed) integral problems, also providing a (simple and reasonable) partial solution to https://www.cs.unipr.it/mantis/view.php?id=62 The solution is still partial: a complete solution requires the implementation of a backtracking mechanism for incrementally added constraints. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b7c689f3a1f8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Dec 19 10:53:04 2010 +0100 Obsolete comment removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b952f1fa47bc… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Dec 19 10:49:37 2010 +0100 No longer include BD_Shape<int8_t> among the instantiations enabled by default. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=99a25a1ecae2… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sun Dec 19 10:08:48 2010 +0100 Replaced $(cmd) with `cmd` in m4 autoconf files. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=533d88da39b8… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Dec 11 18:27:07 2010 +0100 Avoid using identifier PS, since Solaris has a macro with that name.

1 0

[GIT] ppl/w3ppl(master): Links to GMP's home page updated.
by Roberto Bagnara 12 Jan '11

12 Jan '11

Module: ppl/w3ppl Branch: master Commit: dd3cf19481ea829a4f628a05aa23ba37659cbdd3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=dd3cf19481… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Jan 12 07:26:14 2011 +0100 Links to GMP's home page updated. --- htdocs/Download/requirements.raw | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/htdocs/Download/requirements.raw b/htdocs/Download/requirements.raw index 2455ec9..b89e2a4 100644 --- a/htdocs/Download/requirements.raw +++ b/htdocs/Download/requirements.raw @@ -41,7 +41,7 @@ in the source distribution for more details on the subject. <A NAME="GMP"> <H3>GMP: the GNU Multiple Precision library</H3> -<A HREF="http://www.swox.com/gmp/">GMP</A> is a free library for +<A HREF="http://gmplib.org/">GMP</A> is a free library for arbitrary precision arithmetic, operating on signed integers, rational numbers, and floating point numbers. There is no limit to the precision except that implied by the available memory in the @@ -69,7 +69,7 @@ Since binary distributions of GMP may contain a version of the C++ interface compiled with a C++ compiler implementing a different ABI than the compiler you will use to compile the PPL, the most reliable way to satisfy the points -above is to visit the <A HREF="http://www.swox.com/gmp/">GMP web site</A>, +above is to visit the <A HREF="http://gmplib.org/">GMP web site</A>, download the sources of the last available version, and then follow the steps detailed in <A HREF="@BASE_DIR@Download/ftp/releases/LATEST/README.configure"><CODE>README.configure</CODE></A>

1 0

[GIT] ppl/ppl(ppl-0_11-branch): Replaced a call to PPL_ASSERT by PPL_ASSERT_HEAVY.
by Enea Zaffanella 09 Jan '11

09 Jan '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: f6bc2ee2fcc49c9b2d7d4c7ba15aa7577e2ce525 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f6bc2ee2fcc4… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Jan 9 11:17:16 2011 +0100 Replaced a call to PPL_ASSERT by PPL_ASSERT_HEAVY. --- src/Partially_Reduced_Product.inlines.hh | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/Partially_Reduced_Product.inlines.hh b/src/Partially_Reduced_Product.inlines.hh index 2e24c89..bbd14f1 100644 --- a/src/Partially_Reduced_Product.inlines.hh +++ b/src/Partially_Reduced_Product.inlines.hh @@ -357,7 +357,7 @@ Partially_Reduced_Product<D1, D2, R> y.reduce(); d1.time_elapse_assign(y.d1); d2.time_elapse_assign(y.d2); - PPL_ASSERT(OK()); + PPL_ASSERT_HEAVY(OK()); } template <typename D1, typename D2, typename R>

1 0

[GIT] ppl/ppl(sparse_matrices): New commits
by Roberto Bagnara 08 Jan '11

08 Jan '11

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9d91a68c8298… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Jan 8 19:10:56 2011 +0100 Generator: assert OK() in most constructors and non-const methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=827c7e001c19… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Jan 8 19:03:18 2011 +0100 Generator: call strong_normalize() in the constructor from a Linear_Expression. Remove such calls in client code. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3dcf87db1270… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Jan 8 18:58:02 2011 +0100 Grid_Generator: avoid constructing an invalid Generator and fixing it afterwards. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6bdf889c27af… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Jan 8 17:51:09 2011 +0100 Generator: avoid constructing an invalid Generator and fixing it afterwards. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d3769d914b39… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Jan 8 17:40:42 2011 +0100 Linear_System: pass the optional parameters to swapping_sort() and swapping_unique(), to make sure the right iter_swap() is used. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fc748c2a3ca1… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Jan 8 17:38:32 2011 +0100 swapping_sort(), swapping_unique(): add an optional parameter that specifies the iter_swap algorithm. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b7190f9a30dc… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Jan 6 19:30:34 2011 +0100 Linear_Row: change the two-argument copy constructor semantic to match the Constraint's and Generator's ones. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2f056375397a… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Jan 6 19:26:57 2011 +0100 Linear_System: avoid using the Linear_Row copy constructor with specified capacity. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=16c8b37eb9cc… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Jan 6 18:36:50 2011 +0100 Polyhedron: let all methods support Linear_System objects with different Row type. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=57291a0251e3… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Jan 6 18:33:37 2011 +0100 Constraint: inherit from Linear_Row using the `public' specifier. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=95e8f47503b1… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Jan 6 17:56:07 2011 +0100 Do not include Linear_Row.defs.hh in Linear_System.defs.hh. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bce7237f46e8… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Jan 6 17:55:12 2011 +0100 Linear_System: use Row instead of Linear_Row. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aa5d014be5dc… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Jan 6 17:44:04 2011 +0100 Constraint_System, Generator_System, Grid_Generator_System, Polyhedron: use Linear_System<Linear_Row> instead of Linear_System<Dense_Row>. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a8cf68a9a7b5… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Jan 6 17:27:58 2011 +0100 Make Linear_System and Linear_System_With_Bit_Matrix_Iterator class templates. Replace uses of Linear_System and Linear_System_With_Bit_Matrix_Iterator with uses of Linear_System<Dense_Row> and Linear_System_With_Bit_Matrix_Iterator<Dense_Row>. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c95e5797818b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Jan 6 17:10:46 2011 +0100 Split the Linear_System::With_Bit_Matrix_iterator class out of Linear_System and rename it to Linear_System_With_Bit_Matrix_iterator.

1 0

[GIT] ppl/ppl(master): Replaced a call to PPL_ASSERT by PPL_ASSERT_HEAVY.
by Enea Zaffanella 08 Jan '11

08 Jan '11

Module: ppl/ppl Branch: master Commit: 0fd2de73dd626465d1c77d925eb63e2adb639648 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0fd2de73dd62… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Jan 8 17:23:18 2011 +0100 Replaced a call to PPL_ASSERT by PPL_ASSERT_HEAVY. --- src/Partially_Reduced_Product.inlines.hh | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/Partially_Reduced_Product.inlines.hh b/src/Partially_Reduced_Product.inlines.hh index 2e24c89..bbd14f1 100644 --- a/src/Partially_Reduced_Product.inlines.hh +++ b/src/Partially_Reduced_Product.inlines.hh @@ -357,7 +357,7 @@ Partially_Reduced_Product<D1, D2, R> y.reduce(); d1.time_elapse_assign(y.d1); d2.time_elapse_assign(y.d2); - PPL_ASSERT(OK()); + PPL_ASSERT_HEAVY(OK()); } template <typename D1, typename D2, typename R>

1 0

[GIT] ppl/ppl(master): Cyclic dependency avoided.
by Roberto Bagnara 07 Jan '11

07 Jan '11

Module: ppl/ppl Branch: master Commit: 1c16cf1e891f14f71c5c1d935c9df0e145bdcce1 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1c16cf1e891f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jan 7 18:39:22 2011 +0100 Cyclic dependency avoided. --- src/globals.inlines.hh | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/globals.inlines.hh b/src/globals.inlines.hh index 8fd6be5..f44e435 100644 --- a/src/globals.inlines.hh +++ b/src/globals.inlines.hh @@ -67,7 +67,7 @@ maybe_abandon() { inline dimension_type compute_capacity(const dimension_type requested_size, const dimension_type maximum_size) { - PPL_ASSERT(requested_size <= maximum_size); + assert(requested_size <= maximum_size); // Speculation factor 2. return (requested_size < maximum_size / 2) ? 2*(requested_size + 1)

1 0

[GIT] ppl/ppl(ppl-0_11-branch): Cyclic dependency avoided.
by Roberto Bagnara 07 Jan '11

07 Jan '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: 210f11e1f0b3f0890ca63f7305ba181105200e18 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=210f11e1f0b3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jan 7 18:20:30 2011 +0100 Cyclic dependency avoided. --- src/globals.inlines.hh | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/globals.inlines.hh b/src/globals.inlines.hh index 8fd6be5..f44e435 100644 --- a/src/globals.inlines.hh +++ b/src/globals.inlines.hh @@ -67,7 +67,7 @@ maybe_abandon() { inline dimension_type compute_capacity(const dimension_type requested_size, const dimension_type maximum_size) { - PPL_ASSERT(requested_size <= maximum_size); + assert(requested_size <= maximum_size); // Speculation factor 2. return (requested_size < maximum_size / 2) ? 2*(requested_size + 1)

1 0

checking for version 0.10 of PPL... no
by Dennis Clarke 06 Jan '11

06 Jan '11

I see this in the configure stage of GCC 4.5.2 20101208 : . . . checking build system type... x86_64-pc-linux-gnu checking host system type... x86_64-pc-linux-gnu checking target system type... x86_64-pc-linux-gnu checking for a BSD-compatible install... /usr/bin/install -c checking whether ln works... yes checking whether ln -s works... yes checking for a sed that does not truncate output... /bin/sed checking for gawk... no checking for mawk... mawk checking for x86_64-linux-gnu-gcc... gcc checking for C compiler default output file name... a.out checking whether the C compiler works... yes checking whether we are cross compiling... no checking for suffix of executables... checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking whether we are using the GNU C++ compiler... no checking whether CC accepts -g... no checking for x86_64-linux-gnu-gnatbind... no checking for gnatbind... no checking for x86_64-linux-gnu-gnatmake... no checking for gnatmake... no checking whether compiler driver understands Ada... no checking how to compare bootstrapped objects... cmp --ignore-initial=16 $$f1 $$f2 checking for objdir... .libs checking for version 0.10 of PPL... no checking how to run the C preprocessor... gcc -E checking for grep that handles long lines and -e... /bin/grep checking for egrep... /bin/grep -E checking for ANSI C header files... yes . . . As a bit of a followup to the ppl issues I ran into on Solaris I can now report something on Linux ( Debian Squeeze ) in which the most recent GCC 4.5.2 Release Candidate seems to go looking for ppl 0.10 in the configure stage. This of course will not be found because the latest RC for ppl is in fact 0.11.1. Not sure how one is to build and test the ppl Release Candidate and then have it become part of the build within the GCC 4.5.2 Release Candidate on Linux or Solaris. My objective is to have a complete GCC with ppl and cloog implemented across both Linux and Solaris with equal performance results in terms of clean testsuite. I think that a package release into the Solaris world would be of some great value. I am using the Debian Squeeze build process as a test reference control data point. I am labouring under the assumption that all of this should 'just work' with a recent and solid Linux and that the struggles will be in the baseline Solaris world. Suggestions are of course needed here. -- Dennis Clarke dclarke(a)opensolaris.ca <- Email related to the open source Solaris dclarke(a)blastwave.org <- Email related to open source for Solaris ---------------------------- Original Message ---------------------------- Subject: Re: [PPL-devel] powerset1.cc: In function 'bool<unnamed>::test01()': From: "Roberto Bagnara" <bagnara(a)cs.unipr.it> Date: Fri, December 10, 2010 16:28 To: dclarke(a)blastwave.org Cc: "ppl user maillist" <ppl-devel(a)cs.unipr.it> -------------------------------------------------------------------------- On 12/10/10 17:38, Dennis Clarke wrote: > > While trying to build ppl-0.10.2 on Solaris 8 with GCC 4.4.4 I have seen > the following error in the 'make check' stage : > > [...] > > The sources were taken from > http://www.cs.unipr.it/ppl/Download/ftp/ppl/releases/LATEST/solaris/ > > Not sure if ppl can be compiled on Solaris 8. Certainly gmp, mpfr and mpc > all work flawlessly. I would certainly like to incorporate ppl into the > next GCC release if it could pass the testsuite. Hi Dennis. The PPL 0.10 series is no longer supported. We plan to release PPL 0.11.1 really soon now. You can download the current release candidate from http://www.cs.unipr.it/ppl/Download/ftp/snapshots/ Please let us know how it goes: we will be glad to incorporate improvements for Solaris 8 (or any other platform) into PPL 0.11.1. All the best, Roberto -- Prof. Roberto Bagnara Applied Formal Methods Laboratory Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

3 2

[GIT] ppl/ppl(ppl-0_11-branch): Fixed documentation copy-and-paste error.
by Enea Zaffanella 06 Jan '11

06 Jan '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: 708d4eb3d218be8c41c3f549a38975023f50e647 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=708d4eb3d218… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Jan 6 11:47:01 2011 +0100 Fixed documentation copy-and-paste error. --- src/MIP_Problem.defs.hh | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/MIP_Problem.defs.hh b/src/MIP_Problem.defs.hh index 0f6a03c..d05a8a4 100644 --- a/src/MIP_Problem.defs.hh +++ b/src/MIP_Problem.defs.hh @@ -596,7 +596,7 @@ private: is \c true if the variable is known to be nonnegative (and hence should not be split into a positive and a negative part). - \param is_nonnegative_variable + \param is_remergeable_variable This container of Boolean flags is initially empty. On exit, it size is equal to \c internal_space_dim. For each variable (index), the corresponding element of this container

1 0

[GIT] ppl/ppl(master): Fixed documentation copy-and-paste error.
by Enea Zaffanella 06 Jan '11

06 Jan '11

Module: ppl/ppl Branch: master Commit: 8d3d269f790746289a0e07a0260f808ad398814f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8d3d269f7907… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Jan 6 11:44:48 2011 +0100 Fixed documentation copy-and-paste error. --- src/MIP_Problem.defs.hh | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/MIP_Problem.defs.hh b/src/MIP_Problem.defs.hh index d02cae1..f994b6e 100644 --- a/src/MIP_Problem.defs.hh +++ b/src/MIP_Problem.defs.hh @@ -687,7 +687,7 @@ private: is \c true if the variable is known to be nonnegative (and hence should not be split into a positive and a negative part). - \param is_nonnegative_variable + \param is_remergeable_variable This container of Boolean flags is initially empty. On exit, it size is equal to \c internal_space_dim. For each variable (index), the corresponding element of this container

1 0