URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cb6b72a143533... Author: Marco Poletti poletti.marco@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=62090db6ccea4... Author: Marco Poletti poletti.marco@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=ff5aae8d1c5a1... Author: Marco Poletti poletti.marco@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=fa10cefceac79... Author: Marco Poletti poletti.marco@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=984e9b1a78372... Author: Marco Poletti poletti.marco@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=ee935d023b13b... Author: Marco Poletti poletti.marco@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=865f341d30d44... Author: Marco Poletti poletti.marco@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=9f5bad8cc0773... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Mar 19 23:12:49 2011 +0100

Linear_System: add a remove_rows() method.