URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cf2f437c72802... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Mar 22 23:21:12 2011 +0100
Fix some comments.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c18dffc65bbcc... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Mar 22 23:15:39 2011 +0100
Polyhedron: use a Constraint_System instead of a Linear_System<Constraint>, in simplify_using_context_assign().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=81fd96afeeca1... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Mar 22 23:12:17 2011 +0100
Polyhedron: the helper add_to_system_and_check_independence() function now takes an arbitrary system instead of a Linear_System.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=91167edeb81cb... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Mar 22 23:09:47 2011 +0100
Polyhedron: don't assume that Constraint IS-A Linear_Row, in topological_closure_assign().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a7dbd165d7231... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Mar 22 23:09:41 2011 +0100
Polyhedron: don't assume that Generator IS-A Linear_Row, in constrains().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b4ecf493f06ea... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Mar 22 23:06:56 2011 +0100
Polyhedron: don't assume that Generator IS-A Linear_Row, in BFT00_poly_hull_assign_if_exact().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fa06188655ac7... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Mar 22 23:00:10 2011 +0100
Linear_System: remove the remove_trailing_space_dimensions() and remove_trailing_space_dimensions_without_normalizing() methods.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=392b3108184c2... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Mar 22 22:41:08 2011 +0100
Linear_System: call Row::swap_space_dimensions() in swap_space_dimensions().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c5bcc0f12b3f3... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Mar 22 22:40:30 2011 +0100
Grid_Generator: add a swap_space_dimensions() method.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=62dc90dfd45a6... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Mar 22 22:40:21 2011 +0100
Generator: add a swap_space_dimensions() method.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fa8a1ab34947e... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Mar 22 22:40:10 2011 +0100
Constraint: add a swap_space_dimensions() method.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b3d032074f1c5... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Mar 22 22:32:35 2011 +0100
Linear_System: use Row::permute_space_dimensions() in permute_space_dimensions().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=de9a59d2707fb... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Mar 22 22:29:46 2011 +0100
Grid_Generator: add a permute_space_dimensions() method.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bce9f48e0e358... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Mar 22 22:29:34 2011 +0100
Generator: add a permute_space_dimensions() method.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2f0bfb8429870... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Mar 22 22:29:20 2011 +0100
Constraint: add a permute_space_dimensions() method.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4d177a74f818c... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Mar 22 21:44:55 2011 +0100
*_System: invariants are now guaranteed, so make the OK() methods private.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2c7092ccbf5e3... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Mar 22 20:22:39 2011 +0100
Linear_System: fix some comments.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c201fe1d70e5b... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Mar 22 20:22:03 2011 +0100
Linear_Expression: contain a Dense_Row instead of a Linear_Row.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f60eda0fab0a1... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Mar 22 19:48:59 2011 +0100
Scalar_Products: (temporarily) work on Dense_Row objects instead of Linear_Row ones.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=70799b2ea2d1f... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Mar 22 19:22:51 2011 +0100
Linear_Expression: rename the get_linear_row() methods into get_row().