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().