[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=83f3dc89a83769b0e0f5228d707758f79b216731
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Fri Mar 4 09:50:36 2011 +0100

    Linear_System, Constraint_System: remove the raw_*() methods.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1b749eb47941c42a27c51415aa00233836f49a11
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Fri Mar 4 09:47:15 2011 +0100

    Linear_System: avoid using raw_set_topology() in ascii_load().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fbaf1e1637e3e02c679cf9247d6ff35790a618b2
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Fri Mar 4 09:46:35 2011 +0100

    Polyhedron: use the mark_as_{,not_}necessarily_closed() methods instead of the raw_set_{,not_}necessarily_closed() ones.

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

    Constraint_System: add the mark_as_{,not_}necessarily_closed() methods.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3b981c4cec1902487908a46ad526f27022e32184
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Fri Mar 4 09:45:28 2011 +0100

    Linear_System: add the mark_as_{,not_}necessarily_closed() methods.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0346bd83b7cdf477ac8abfeb426237f470ae69c7
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Fri Mar 4 09:08:06 2011 +0100

    Grid_Generator_System: use higher-level methods of Linear_System, in ascii_load().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b0f0dfa0984a89b8bdd9ff3725495a4a68a019a8
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Fri Mar 4 09:07:10 2011 +0100

    Generator_System: use higher-level methods of Linear_System, in ascii_load().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c19de5e7c3cb8d191a517adb56e5301d2e4d887a
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Fri Mar 4 09:06:51 2011 +0100

    Generator_System: use higher-level methods of Linear_System, in convert_into_non_necessarily_closed().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=85a2c16a11e2df06d1ef20038745624af2cdcbf4
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Fri Mar 4 09:04:30 2011 +0100

    Constraint_System: use higher-level methods of Linear_System, in ascii_load().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a136a7f80f99aec2327e0db696dc7e2a2c91a5a
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Fri Mar 4 09:04:17 2011 +0100

    Constraint_System: use higher-level methods of Linear_System, in insert() and insert_pending().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9e5c6073c0de55a6ee800f15f1c858120b944fa8
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Fri Mar 4 08:58:14 2011 +0100

    Generator_System: simplify the adjust_topology_and_space_dimension() method, using higher-level operations.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a005b04895b2106656eaf9a5fc663d246a539268
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Fri Mar 4 08:48:46 2011 +0100

    Constraint_System: simplify the adjust_topology_and_space_dimension() method, using higher-level operations.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3cdeef32f4b0149ed6971007fe1436adb59bf4c8
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Fri Mar 4 08:47:57 2011 +0100

    Linear_System: add the set_topology() and set_{,not_}necessarily_closed() methods.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c2375f5e10ef2b53e545fdfb93e359f7391020e8
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Thu Mar 3 00:36:44 2011 +0100

    *_System: rename the set_topology() and set_*necessarily_closed() methods into raw_set_topology() and raw_set_necessarily_closed(). Also implement Linear_Row set_*necessarily_closed() methods in term of set_topology().