[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=cb6b72a143533789287d57e1ff7a17e85ee5b5de
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Wed Mar 9 23:27:15 2011 +0100

    Linear_System: simplify and improve the remove_rows() method, adding a helper swap_row_intervals() method.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=62090db6ccea44a045aca106f533fade32d0b84a
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Wed Mar 9 22:23:14 2011 +0100

    Generator_System: add a remove_rows() method.

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

    Constraint_System: add a remove_rows() method.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fa10cefceac796a9e105a6ee698d52ac532c2b10
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Wed Mar 9 18:32:37 2011 +0100

    Polyhedron: call *_System::remove_row() when appropriate, in the constructor from a Box.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=984e9b1a7837292f205efe53e1ee62d00afcf4d9
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Wed Mar 9 18:16:39 2011 +0100

    Polyhedron: call *_System::remove_rows() when needed, in conversion().

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

    Generator_System: add a remove_rows() method.

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

    Constraint_System: add a remove_rows() method.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9f5bad8cc07737cd80984e4891057fc72c78abc9
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sat Mar 19 23:12:49 2011 +0100

    Linear_System: add a remove_rows() method.