[PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits

Thu Jan 20 17:40:10 CET 2011

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a05f9b54899bf4f51044429def0c3886c6db4e60
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Thu Jan 20 16:27:19 2011 +0100

    Grid_Generator: remove operator[].

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=281a232780ce22986141d6672cb18f70db8b7ac7
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Thu Jan 20 16:25:51 2011 +0100

    Grid_Generator is now implemented using a Linear_Row instead of a Generator.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a54f7ec355652100f866c700d1581e8af3289c3b
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Thu Jan 20 16:16:25 2011 +0100

    Grid_Generator: implement operator=() directly, instead of calling Generator::operator=().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f4086a5294855e0ce4a1d83594f09b614041a7a5
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Wed Jan 19 16:59:15 2011 +0100

    Grid_Generator: improve readability of is_equivalent_to(). Patch by Enea Zaffanella.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2c868346ef5734f14d95e480b1965dabab2c5c66
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Wed Jan 19 15:46:50 2011 +0100

    Grid_Generator: implement the type() method directly, instead of calling Generator::type(). Patch by Enea Zaffanella.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e4c603c8f002f02b173f19b9e4dd1193556898c7
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Wed Jan 19 13:48:56 2011 +0100

    Grid_Generator: implement is_parameter() directly, instead of calling Generator::is_ray(). Patch by Enea Zaffanella.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e2d2c92966d1481939653b9699a5ce99eb87ceb0
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Wed Jan 19 13:33:42 2011 +0100

    Grid_Generator: implement some methods direcly, instead of relying on the corresponding Generator methods. Patch by Enea Zaffanella.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0ef21389ee535b6f2146531f82d2b5ac36fcbea1
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Wed Jan 19 08:53:24 2011 +0100

    Grid_Generator: improve the readability of the divisor() method.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cf871f377326d116bafe20a180054c62d09620ba
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Wed Jan 19 08:51:20 2011 +0100

    Grid_Generator: improve the readability of is_equal_at_dimension(). Patch by Enea Zaffanella.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e521cc2bb815b55695ebd1f28c40ff723bebe668
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Wed Jan 19 08:49:59 2011 +0100

    Grid_Generator: improve the readability of set_divisor(). Patch by Enea Zaffanella.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=76ba3206dd667595b87b3f99f70ac1ef55242275
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Wed Jan 19 08:48:39 2011 +0100

    Grid_Generator: improve the documentation of scale_to_divisor() and strong_normalize(). Patch by Enea Zaffanella.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f0e8292192ffe29542cd7265f9e04d80f41026c5
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Wed Jan 19 08:45:25 2011 +0100

    Grid_Generator: simplify the implementation of all_homogeneous_terms_are_zero(). Patch by Enea Zaffanella.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c9d8f2263f4ae79938a4e5e527f1a4465f33b4ad
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Wed Jan 19 08:44:32 2011 +0100

    Grid_Generator: simplify the scale_to_divisor() implementation. Patch by Enea Zaffanella.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ed78231b2f7b16584538e68b8f443f95d8b89cfc
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Wed Jan 19 08:38:50 2011 +0100

    Grid_Generator: make the is_equivalent_to() method's implementation more readable. Patch by Enea Zaffanella.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8ad66cacbc0734ebd3827d77e313d68ab50b7e7c
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Wed Jan 19 08:36:51 2011 +0100

    Grid_Generator: rewrite the OK() method. Patch by Enea Zaffanella.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a9b95ead469224dbd7e46eb979a20671a468f3a0
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Wed Jan 19 08:33:41 2011 +0100

    Grid_Generator: add a constructor from a Linear_Expression. Patch by Enea Zaffanella.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=53c27842a4da8bf9a0dc11b895d2777223b79c8d
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Wed Jan 19 08:30:39 2011 +0100

    Grid_Generator: fix a comment. Patch by Enea Zaffanella.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=131ff82fcc35170fb5134f24642f444c50209bfc
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Wed Jan 19 08:28:22 2011 +0100

    Grid_Generator: indentation fixes. Patch by Enea Zaffanella.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bea956d168b4cfb0201aaa9084528395e2269a9d
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Wed Jan 19 08:26:19 2011 +0100

    Grid_Generator: simplify the set_is_parameter() method. Patch by Enea Zaffanella.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=96df7a6db424941e0082e69c5b2a045f50831973
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Wed Jan 19 08:24:06 2011 +0100

    Grid_Generator: add a comment in coefficient_swap(). Patch by Enea Zaffanella.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=84fa9afa91c4b8fd780617eaa0bb48c191e91a3e
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Wed Jan 19 08:23:13 2011 +0100

    Grid_Generator: use the set_is_parameter_or_point() method instead of set_is_ray_or_point_or_inequality(). Patch by Enea Zaffanella.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=35c6ed900bc8c1c8b86de4039ea70a58d7661089
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Wed Jan 19 08:20:07 2011 +0100

    Grid_Generator: use the Grid_Generator::Type enum instead of Generator::Type. Patch by Enea Zaffanella.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=caf8af6fbf6cfda7b98807788516ca5e0bfb6c3f
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Jan 18 22:37:44 2011 +0100

    Grid_Generator: improve readability of the coefficient_swap() method. Patch by Enea Zaffanella.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=02c3f9f51dc219c8989765006bb47b1d3d69203c
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Jan 18 22:32:13 2011 +0100

    Grid_Generator: use Linear_Row::set_is_ray_or_point_or_inequality() instead of Generator::set_is_ray_or_point(). Patch by Enea Zaffanella.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cf4605eaefa27a0bbecd170565e2f13ae8a47fed
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Jan 18 22:21:42 2011 +0100

    Grid_Generator: indentation fixes. Patch by Enea Zaffanella.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a170b378a43cfb75b944e7030bcba5bef699ffaa
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Jan 18 22:21:15 2011 +0100

    Grid_Generator: use a constaint in the parameter() method. Patch by Enea Zaffanella.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7cd325b3bbb679198dfa4cb4191329ec0322f271
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Jan 18 22:16:04 2011 +0100

    Grid_Generator: add a throw_dimensions_incompatible() method. Patch by Enea Zaffanella.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9bf4f7da73800617f3fc50242a6db54f3dd7f675
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Jan 18 22:07:12 2011 +0100

    Grid_Generator: change the semantic of the negate() method. Patch by Enea Zaffanella.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8a2a2a8f8d8c6e2692b8e81cbaafe8e56c574d94
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Jan 18 21:50:32 2011 +0100

    Grid_Generator_System: inherit from Linear_System<Linear_Row> instead of Generator_System. Patch by Enea Zaffanella.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a9d8ed3baa4b4aae065aa3c1248ea928ce636dc7
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Jan 18 21:41:07 2011 +0100

    Grid_Generator_System: call Grid_Generator_System::remove_invalid_lines_and_parameters() instead of Generator_System::remove_invalid_lines_and_rays(), in the affine_image() method. Patch by Enea Zaffanella.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f21cda61b26b23951faab2574182fa7c7c57d940
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Jan 18 21:33:00 2011 +0100

    Grid_Generator_System: improve the implementation of the insert() method and update some comments. Patch by Enea Zaffanella.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1e5e24acb47819fa691812652898e976d046b0da
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Jan 18 21:24:02 2011 +0100

    Grid_Generator_System: replace nested if statements with a single one, in the insert() method. Patch by Enea Zaffanella.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=319b98dafc35a61d8379767ab3bdac2a028295c0
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Jan 18 21:18:35 2011 +0100

    Grid_Generator_System: remove a block enclosing part of the insert() code. Patch by Enea Zaffanella.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=041a015df9faba24de971a9b0b973f3724f379da
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Jan 18 21:10:57 2011 +0100

    Grid_Generator_System: implement the has_points(), num_parameters() and num_lines() methods directly, instead of relying on the corresponding methods of Generator_System. Patch by Enea Zaffanella.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3727526016e6b8f1e54ee3f31b25dd328a93b186
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Jan 18 20:56:01 2011 +0100

    Grid_Generator_System: add a remove_invalid_lines_and_parameters() method. Patch by Enea Zaffanella.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=41286cf2cc27340d777038969e412fca130af71a
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Jan 18 20:48:59 2011 +0100

    Grid_Generator: fix a typo in example code included in a comment. Patch by Enea Zaffanella.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2fc71833aeedfc367b12f89a899879738dafb7f6
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Jan 18 20:39:34 2011 +0100

    Congruence: change the semantic of the negate() method. Patch by Enea Zaffanella.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b06545d03bed9be6d0c0adb096ebccf2a4929a1f
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Jan 18 19:39:24 2011 +0100

    Generator_System: fix typo in a comment, in adjust_topology_and_space_dimension(). Patch by Enea Zaffanella.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c8a950afea01f54165d1f8a2b89c3142a0d064b7
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Jan 18 19:37:54 2011 +0100

    Grid_chdims: improve code readability. Patch by Enea Zaffanella.