URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a05f9b54899bf... Author: Marco Poletti poletti.marco@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=281a232780ce2... Author: Marco Poletti poletti.marco@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=a54f7ec355652... Author: Marco Poletti poletti.marco@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=f4086a5294855... Author: Marco Poletti poletti.marco@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=2c868346ef573... Author: Marco Poletti poletti.marco@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=e4c603c8f002f... Author: Marco Poletti poletti.marco@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=e2d2c92966d14... Author: Marco Poletti poletti.marco@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=0ef21389ee535... Author: Marco Poletti poletti.marco@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=cf871f377326d... Author: Marco Poletti poletti.marco@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=e521cc2bb815b... Author: Marco Poletti poletti.marco@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=76ba3206dd667... Author: Marco Poletti poletti.marco@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=f0e8292192ffe... Author: Marco Poletti poletti.marco@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=c9d8f2263f4ae... Author: Marco Poletti poletti.marco@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=ed78231b2f7b1... Author: Marco Poletti poletti.marco@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=8ad66cacbc073... Author: Marco Poletti poletti.marco@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=a9b95ead46922... Author: Marco Poletti poletti.marco@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=53c27842a4da8... Author: Marco Poletti poletti.marco@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=131ff82fcc351... Author: Marco Poletti poletti.marco@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=bea956d168b4c... Author: Marco Poletti poletti.marco@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=96df7a6db4249... Author: Marco Poletti poletti.marco@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=84fa9afa91c4b... Author: Marco Poletti poletti.marco@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=35c6ed900bc8c... Author: Marco Poletti poletti.marco@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=caf8af6fbf6cf... Author: Marco Poletti poletti.marco@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=02c3f9f51dc21... Author: Marco Poletti poletti.marco@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=cf4605eaefa27... Author: Marco Poletti poletti.marco@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=a170b378a43cf... Author: Marco Poletti poletti.marco@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=7cd325b3bbb67... Author: Marco Poletti poletti.marco@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=9bf4f7da73800... Author: Marco Poletti poletti.marco@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=8a2a2a8f8d8c6... Author: Marco Poletti poletti.marco@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=a9d8ed3baa4b4... Author: Marco Poletti poletti.marco@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=f21cda61b26b2... Author: Marco Poletti poletti.marco@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=1e5e24acb4781... Author: Marco Poletti poletti.marco@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=319b98dafc35a... Author: Marco Poletti poletti.marco@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=041a015df9fab... Author: Marco Poletti poletti.marco@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=3727526016e6b... Author: Marco Poletti poletti.marco@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=41286cf2cc273... Author: Marco Poletti poletti.marco@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=2fc71833aeedf... Author: Marco Poletti poletti.marco@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=b06545d03bed9... Author: Marco Poletti poletti.marco@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=c8a950afea01f... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Jan 18 19:37:54 2011 +0100

Grid_chdims: improve code readability. Patch by Enea Zaffanella.