[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=fd93ad98361ec98b2357d2eb5b2a7f303e837d0c
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sun Mar 20 23:49:39 2011 +0100

    Linear_System: all rows now have the same space dimension instead of the same number of columns.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=03a8a0f5004b973cc20f052629bcd53bacb1491b
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Mon Mar 21 22:16:42 2011 +0100

    Partially_Reduced_Product: if the space dimension is greater than max_space_dimension(), throw an error directly instead of constructing objects with the wrong dimensions and expecting them to throw.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=95d1cf11a33c9b1abec2d931a470977fa20ea95b
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sun Mar 20 23:32:47 2011 +0100

    Linear_System: the remove_space_dimensions() method now removes invalid rows from the system and uses the remove_space_dimensions() methods of rows objects.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=67d69d12cb526036f2cab4946e3a661137f78dd7
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sun Mar 20 23:30:55 2011 +0100

    Grid_Generator: add a remove_space_dimensions() method.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=28716a577f6cc193a4157f3002b1bbb28e9dd6f6
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sun Mar 20 23:30:29 2011 +0100

    Generator: add a remove_space_dimensions() method.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eb9d5834c63663c4802ea0ab96e53a071f18363c
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sun Mar 20 23:30:13 2011 +0100

    Constraint: add a remove_space_dimensions() method.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=750f191932827282601b7df89fa2874ea47aecf0
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sun Mar 20 23:14:53 2011 +0100

    Generator: use a more meaningful format in ascii representation, and use it in Generator_System.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b7ce400ab50a6e3e00f99ff614f3b814c4df746a
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sun Mar 20 23:06:15 2011 +0100

    tests/Polyhedron/linearsystem1: test Linear_System<Constraint> instead of Linear_System<Linear_Row>.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=df12ea8473102968c689cfe321d4190b75abf72a
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sun Mar 20 19:09:42 2011 +0100

    Linear_Row: add the mark_as_{,not_}necessarily_closed() methods and change the semantics of set_topology() and set_{,not_}necessarily_closed(). Update client code to match.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f0d82a2217d27370c5a3daa7cae77eb91e043bfe
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sun Mar 20 19:09:36 2011 +0100

    Generator: construct a valid object in the default constructor.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d90529862261de612356fdc82c6a6ba13425e63c
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sun Mar 20 12:35:01 2011 +0100

    Polyhedron: use a Linear_System<Constraint> instead of a Linear_System<Linear_Row>, in simplify_using_context_assign().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7f7eb492a0e56123bef5dc99b00f4cae03d3dfe6
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sun Mar 20 11:54:33 2011 +0100

    Linear_System: remove the increase_space_dimension() method, use set_space_dimension() instead.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0502008385d2a0e3e2637108fc1832753ce54c4b
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sun Mar 20 11:24:16 2011 +0100

    Generator_System: affine_image() now takes a Variable instead of a column index.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7306b5675f80f3901fb9b5c8799a3e6ba49a7dcb
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sun Mar 20 11:04:10 2011 +0100

    Constraint_System: affine_preimage() now takes a Variable instead of a column index.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6a8bca38fea462535067fce7883ddbcb3d8da7ef
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sun Mar 20 10:45:54 2011 +0100

    Swapping_Vector: use a swap() method instead of std::swap().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c51dee5b2ad6903ba79121a4727a6773c48922c1
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sun Mar 20 10:38:39 2011 +0100

    Fix typos.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=330efa536accf062ce79cea9888c710524483aee
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sun Mar 20 10:26:26 2011 +0100

    *_System: remove the swap_rows() method.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=452671e165080be94fa84e17cb55ccdbaf748616
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sun Mar 20 10:23:49 2011 +0100

    Polyhedron: use *_System::remove_row(), in simplify() (#2).

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=939801064fe9c73f82b730023f9b5a0764c1aca2
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sun Mar 20 10:16:15 2011 +0100

    Polyhedron: use *_System::remove_row(), in simplify().