URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d5c580f81244b... Author: Marco Poletti poletti.marco@gmail.com Date: Fri Jan 14 21:36:48 2011 +0100
Merge the matrix1 and densematrix1 tests. Move the sparserow1 test in the Polyhedron directory.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b86714dcd0e85... Author: Marco Poletti poletti.marco@gmail.com Date: Fri Jan 14 21:35:18 2011 +0100
tests/Polyhedron/memory2: use Matrix<Dense_Row> instead of Dense_Matrix.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f7b3af7f737b4... Author: Marco Poletti poletti.marco@gmail.com Date: Fri Jan 14 21:34:38 2011 +0100
tests/Polyhedron/linearsystem1: use Linear_System<Linear_Row> instead of Linear_System.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=807a4390e3fe3... Author: Marco Poletti poletti.marco@gmail.com Date: Fri Jan 14 21:32:06 2011 +0100
Dense_Row: add a clear() method.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b4f498701ef11... Author: Marco Poletti poletti.marco@gmail.com Date: Fri Jan 14 19:26:50 2011 +0100
Revert "Generator: assert OK() in most constructors and non-const methods."
This reverts commit 9d91a68c82983fd29c698ded4b088fb3b315b1cd.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4bacf4245afb3... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Jan 8 22:53:59 2011 +0100
Constraint: make some methods public and remove most friend declarations.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ee363135076aa... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Jan 8 22:53:22 2011 +0100
Constraint: simplify operator>(const Linear_Expression&,conse Coefficient&).
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=87d42aa70eb97... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Jan 8 22:44:24 2011 +0100
Polyhedron: use Dense_Row::resize() in add_recycled_constraints(), improving performance and avoiding calls to the Constraint::set_is_inequality() method.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d09a15453f272... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Jan 8 22:43:07 2011 +0100
Polyhedron: use Dense_Row::add_zeroes_and_shift() in concatenate_assign(), improving performance and avoiding calls to the Constraint::set_is_inequality() method.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=672f4837b6ab1... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Jan 8 22:40:08 2011 +0100
Dense_Row: add an add_zeroes_and_shift() method.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=771c88ffd2c50... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Jan 8 20:50:37 2011 +0100
Constraint: add some methods, to make its interface a superset of Linear_Row.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f9ccf2c1eba57... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Jan 8 20:48:14 2011 +0100
Constraint.defs.hh: re-order the includes.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=45ac2f171b389... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Jan 8 20:36:47 2011 +0100
Constraint: assert OK() in most constructors and non-const methods.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c5263d2eeeca8... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Jan 8 20:36:09 2011 +0100
Constraint: call strong_normalize() in the constructor from a Linear_Expression. Remove such calls in client code.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=73ee75716d523... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Jan 8 20:33:33 2011 +0100
Constraint: simplify some methods.