[PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits

[Roberto Bagnara]

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4526acc4ca7e3d6122ee8eb3c8369dcff21cc790
Author: Marco Poletti <poletti.marco at 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=63db6fb26a9e29f93e32e1ae91434f53d86062b4
Author: Marco Poletti <poletti.marco at 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=8b669b04812335ea67cea9af1b35f76b11db4bc2
Author: Marco Poletti <poletti.marco at 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=8c3389e8e435c50c55fb3c1a87d94fa05ab9a85c
Author: Marco Poletti <poletti.marco at 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=93d75097e3659ef7339ed72426ae8981fb3df506
Author: Marco Poletti <poletti.marco at 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=133566986c2f79d526b75ebd61647b097ead6854
Author: Marco Poletti <poletti.marco at 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=543ff21acc898d75ff372f9096e38e83d2afb8d3
Author: Marco Poletti <poletti.marco at 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=7282f55a6f1e8fd3e0b6ec3368b3f9ea06be59d6
Author: Marco Poletti <poletti.marco at 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=3dba0e04570f9082807f4f3140dbc192d96f24da
Author: Marco Poletti <poletti.marco at 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=912f07d75fd9494713669e4b9b93ca9cae08a7ce
Author: Marco Poletti <poletti.marco at 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=44c6c7dbd6601d372b4ebc3cfa4956e6468be370
Author: Marco Poletti <poletti.marco at 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=17a00c08c0535814973b1c7ecf0b3f55211bd980
Author: Marco Poletti <poletti.marco at 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=94596fd9b98843669611a27ad9bff76f95b221fd
Author: Marco Poletti <poletti.marco at 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=7db546492b8e0b637c2735ab83f8265dac791404
Author: Marco Poletti <poletti.marco at 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=3fa4beba1d44bc2f08e622b0b7020fda9dfd97c0
Author: Marco Poletti <poletti.marco at 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=4896719f9f2f85923af5129ccc006b1dddf9a0b6
Author: Marco Poletti <poletti.marco at 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=114d03a2b3573d8e9568dcdb1d7bcacbea0c15a6
Author: Marco Poletti <poletti.marco at 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=dc6960a115fbd09e1b3fbfaa98d8d158ffa99792
Author: Marco Poletti <poletti.marco at 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=81c5c773250f92c3021adf126af5924ab8fe0888
Author: Marco Poletti <poletti.marco at 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=37a855344a127b62b9ca17d07a4141127172cf24
Author: Marco Poletti <poletti.marco at 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=507a73933eebf6c6bba1403fea500f08297c905f
Author: Marco Poletti <poletti.marco at 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=1a30b23b10853daa811a85a2128de58121603466
Author: Marco Poletti <poletti.marco at 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=aa7ced24b2cb66c7cdc2a30bc2b6b86789572dc9
Author: Marco Poletti <poletti.marco at 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=bcaac6457a576a867038d7c95fb6d2211c1bc6c4
Author: Marco Poletti <poletti.marco at 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=0bed321b3873173f8eb22c4e292ec08e40f5dacc
Author: Marco Poletti <poletti.marco at 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=88d0e766ee510d6935010269d3535848003f3e27
Author: Marco Poletti <poletti.marco at 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=6537eaa678db40d1b571842df3a564f1f17c34fa
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sat Feb 5 17:42:20 2011 +0100

    Linear_System: add a swap_rows() method.