URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4526acc4ca7e3... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Feb 6 16:27:00 2011 +0100

Grid: add an assertion.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=63db6fb26a9e2... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Feb 6 16:26:48 2011 +0100

Grid: rewrite part of the conversion() method, to keep the Linear_System subobject valid at each step.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8b669b0481233... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Feb 6 16:24:36 2011 +0100

Linear_System: disable part of the OK() method, to avoid triggering assertions for valid Grid_Generator_System objects.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8c3389e8e435c... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Feb 6 16:23:44 2011 +0100

Linear_System: add the release_rows() and take_ownerhip_of_rows() methods.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=93d75097e3659... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Feb 6 15:24:55 2011 +0100

Grid: reverse the order of a loop, in conversion().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=133566986c2f7... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Feb 6 14:49:59 2011 +0100

Grid: prefer const references to non-const ones.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=543ff21acc898... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Feb 6 13:39:30 2011 +0100

Constraint_System: use swap_rows() when needed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7282f55a6f1e8... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Feb 6 13:39:08 2011 +0100

Constraint_System: rewrite the ascii_load() method, to keep the Constraint_System object valid at each step.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3dba0e04570f9... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Feb 6 13:32:36 2011 +0100

Grid_Generator_System: use swap_rows() when needed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=912f07d75fd94... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Feb 6 13:31:45 2011 +0100

Grid_Generator_System: rewrite the ascii_load() method, to keep the Grid_Generator_System object valid at each step.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=44c6c7dbd6601... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Feb 6 13:26:56 2011 +0100

Linear_System: fix resize_no_copy().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=17a00c08c0535... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Feb 6 13:26:29 2011 +0100

Linear_System: add a set_topology() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=94596fd9b9884... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Feb 6 13:10:55 2011 +0100

Grid_Generator: add an assertion.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7db546492b8e0... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Feb 6 13:10:38 2011 +0100

Grid_Generator: call set_necessarily_closed() in ascii_load().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3fa4beba1d44b... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Feb 6 13:10:01 2011 +0100

Grid_Generator: add a default constructor.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4896719f9f2f8... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Feb 6 12:28:22 2011 +0100

Generator_System: use swap_rows() when needed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=114d03a2b3573... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Feb 6 12:26:44 2011 +0100

Generator_System: rewrite the ascii_load() method, to keep the Generator_System object valid at each step.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dc6960a115fbd... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Feb 6 12:24:35 2011 +0100

Generator_System: add a convert_into_non_necessarily_closed() helper method and use it when needed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=81c5c773250f9... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Feb 6 11:38:06 2011 +0100

Generator: add a default constructor.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=37a855344a127... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Feb 5 19:01:48 2011 +0100

Swapping_Vector: avoid copying elements in the erase() methods.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=507a73933eebf... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Feb 5 18:57:11 2011 +0100

Polyhedron: use a separate vector for recyclable rows, in conversion().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1a30b23b10853... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Feb 5 18:56:19 2011 +0100

Linear_System: fix the remove_trailing_rows() and release_row() methods.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aa7ced24b2cb6... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Feb 5 18:30:48 2011 +0100

Linear_System: add an increase_space_dimension() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bcaac6457a576... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Feb 5 18:21:51 2011 +0100

Linear_System: add a release_row() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0bed321b38731... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Feb 5 18:07:58 2011 +0100

Swapping_Vector: add a pop_back() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=88d0e766ee510... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Feb 5 17:49:07 2011 +0100

Polyhedron: call Linear_System::swap_rows() when needed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6537eaa678db4... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Feb 5 17:42:20 2011 +0100

Linear_System: add a swap_rows() method.