[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=cf2f437c7280274e29e4a814818e30490c37c2d8
Author: Marco Poletti <poletti.marco at 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=c18dffc65bbccd02fb8f2443dd3cc6f8c99b4391
Author: Marco Poletti <poletti.marco at 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=81fd96afeeca1832ebe81c79cd57b601eec03b6c
Author: Marco Poletti <poletti.marco at 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=91167edeb81cb784453a66bc9619f03f4d999c87
Author: Marco Poletti <poletti.marco at 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=a7dbd165d7231c38730aec2eef39a2b2bf772300
Author: Marco Poletti <poletti.marco at 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=b4ecf493f06ea4afc2ac61fd6944a8eb3f7a482e
Author: Marco Poletti <poletti.marco at 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=fa06188655ac752198d7b7aba1a2d15fa41eb639
Author: Marco Poletti <poletti.marco at 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=392b3108184c2fe9bcf4a75b81ac2106bf09fca6
Author: Marco Poletti <poletti.marco at 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=c5bcc0f12b3f3a88076d193fa4913d65a78deb89
Author: Marco Poletti <poletti.marco at 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=62dc90dfd45a6f5bdeec87e900bbdb15e69c6a77
Author: Marco Poletti <poletti.marco at 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=fa8a1ab34947eea0a3b71cf86eba2237d99ae3ef
Author: Marco Poletti <poletti.marco at 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=b3d032074f1c5ace7e4a4df547954a4599a146e2
Author: Marco Poletti <poletti.marco at 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=de9a59d2707fb0d34946c236c4dd1292c2a8b0ec
Author: Marco Poletti <poletti.marco at 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=bce9f48e0e358b23ab8e2e0ed29b6aaf8fde767c
Author: Marco Poletti <poletti.marco at 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=2f0bfb84298708458b31213f3acf12aaf29f0ec6
Author: Marco Poletti <poletti.marco at 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=4d177a74f818c0b054aa321699266d4ef6d4c504
Author: Marco Poletti <poletti.marco at 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=2c7092ccbf5e33a676e5f144ad2944144a5aa996
Author: Marco Poletti <poletti.marco at 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=c201fe1d70e5b4f230aa0dbca786517dc8e1ba61
Author: Marco Poletti <poletti.marco at 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=f60eda0fab0a10125764fe35e08338c296272401
Author: Marco Poletti <poletti.marco at 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=70799b2ea2d1f21d59a2da728e8facf135a149c0
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Mar 22 19:22:51 2011 +0100

    Linear_Expression: rename the get_linear_row() methods into get_row().