URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=37eeb423372cf... Merge: 589bf4de085f009119cb15027050ee6465e19b61 21e65da7eb5060d87ccdcd8f0d74fc525abd3cb6 Author: Marco Poletti poletti.marco@gmail.com Date: Wed Dec 7 21:17:15 2011 +0100

Merge branch 'master' into sparse_matrices

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=589bf4de085f0... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Dec 7 19:41:09 2011 +0100

Grid_Generator_System: make the insert() method that recycles the input consistent with the one that doesn't.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8f4213782495e... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Dec 7 19:25:59 2011 +0100

Constraint_System:optimize the constructor from a Congruence_System.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ce0f55f4d5255... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Dec 7 19:14:01 2011 +0100

Constraint_System: make the insert() methods that recycle input consistent with those that don't.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e90141bc67cb8... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Dec 7 19:00:32 2011 +0100

Linear_System: remove the add_*row*() methods, and add a insert_pending_no_ok() instead.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=28b0a0d0ecf03... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Dec 7 18:54:33 2011 +0100

Constraint_System, Generator_System, Grid_Generator_System: make some methods private.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a203238c276fd... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Dec 7 18:54:06 2011 +0100

termination: remove a useless helper function and move assign_all_inequalities_approximation() into Termination_Helpers.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1563b94fa1655... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Dec 7 18:07:13 2011 +0100

Congruence_System: make some methods private.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=089d088733687... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Dec 7 11:44:27 2011 +0100

Linear_System: optimize the merge_rows_assign() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7821f9f5da843... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Dec 7 17:49:18 2011 +0100

Constraint, Generator, Grid_Generator: now constructors that take a space dimension actually construct an object with that space dimension (even in the NNC topology).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=08f0ba4972223... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Dec 7 16:54:07 2011 +0100

Constraint, Congruence, Generator, Grid_Generator: remove the constructor that takes a space dimension.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1bca85aa8b942... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Dec 7 12:20:16 2011 +0100

Generator: don't be friend of Grid_Generator.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6f2b99e77012b... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Dec 7 12:17:32 2011 +0100

Congruence: avoid including Constraint.defs.hh in Congruence.inlines.hh.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=16557da594483... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Dec 7 11:53:02 2011 +0100

Linear_System: simplify some methods.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d607407b52080... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Dec 7 11:42:00 2011 +0100

Linear_System: fix the set_representation() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=479908f2ecee8... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Dec 7 11:37:25 2011 +0100

Generator: simplify the OK() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a404707ecd15a... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Dec 7 11:34:09 2011 +0100

Congruence: make is_equal_at_dimension() private.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f79604eaefa77... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Dec 7 11:30:13 2011 +0100

Congruence: remove some related functions/operators.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c10e6b8c598b6... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Dec 7 11:29:35 2011 +0100

Grid: avoid using operator-=() and sub_mul_assign() on Congruences.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b89b87cb1ad4e... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Dec 7 11:11:42 2011 +0100

Congruence: simplify one of the create() methods.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b51813e25b1b9... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Dec 7 10:39:42 2011 +0100

Constraint: avoid resizing Linear_Expressions when possible.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1535ef339e963... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Dec 7 10:39:12 2011 +0100

Constraint: improve readability and simplify the implementation.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7159b960372cc... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Dec 7 10:24:39 2011 +0100

Use the copy-and-swap idiom in the assignment operator, in various classes.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=070a43df7480d... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Dec 7 11:32:34 2011 +0100

Constraint_System, Generator_System: declare the swap() function in the header file.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9c6423f796163... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Dec 7 11:32:06 2011 +0100

Implement swapping of Variables.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8a8a48c628fe1... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Dec 7 10:08:33 2011 +0100

BD_Shape: avoid iterating through coefficients known to be 0, in generalized_affine_image().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3826ae74551a9... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Dec 7 10:05:37 2011 +0100

BD_Shape: clarify the contract of extract_bounded_difference().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d791ea0bb403a... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Dec 7 10:01:51 2011 +0100

Constraint: remove the constructor from Congruence with a specified size.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d280f17c07ca... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Dec 7 00:25:43 2011 +0100

Constraint, Generator, Grid_Generator: make all Topology-related constructors and methods private.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dd24906e74e3d... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Dec 6 23:24:09 2011 +0100

Generator: make Kind, the constructors that take a Kind, and the [set_]is_line_or_equality() and [set_]is_ray_or_point_or_inequality() methods private.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a785c6a65358... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Dec 6 23:12:08 2011 +0100

Constraint: reorder the method declarations.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=31e40bf245715... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Dec 6 22:53:48 2011 +0100

Constraint: make the [set_]is_line_or_equality() and [set_]is_ray_or_point_or_inequality() methods private.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5cdc1566416c6... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Dec 6 22:47:03 2011 +0100

Constraint: make Kind and the constructors that take a Kind private.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fbc5f334cd5fd... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Dec 7 14:03:58 2011 +0100

tests/Polyhedron/linearsystem1: avoid using a low-level constructor of Constraint.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a74dd27b7a927... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Dec 6 22:35:27 2011 +0100

Congruence: remove the set_inhomogeneous_term() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7cc646cad3693... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Dec 6 20:44:00 2011 +0100

Congruence: remove the shift_coefficients() method, use shift_space_dimensions() instead.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42bb58afe4fdd... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Dec 6 20:40:07 2011 +0100

Congruence: remove the add_space_dimensions() and add_space_dimensions() methods.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dc94560729492... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Dec 6 20:37:32 2011 +0100

Congruence: now the is_equal_at_dimension() method takes a Variable instead of a dimension_type.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b126355c24784... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Dec 6 20:31:11 2011 +0100

Congruence: remove the modulus() method that returns a non-const reference.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b320062ed62ae... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Dec 6 18:56:00 2011 +0100

Linear_Expression: make the negate() method private.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e42807438bbb3... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Dec 5 22:55:43 2011 +0100

*_System: remove the release_row(s)() and take_ownership_of_rows() methods. Adapt client code.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=21e65da7eb506... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Dec 7 10:11:02 2011 +0100

demos/ppl_pips: remove two unused functions.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e3f2f5bb5091c... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Dec 5 21:15:40 2011 +0100

*_System (except Congruence_System): add a Representation field and a Representation parameter to all constructors. Make sure that all the rows have the same representation.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8339ae043697f... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Dec 7 08:33:45 2011 +0100

Indentation fixed. Detected by ECLAIR service indntion.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=09fb1cd97f41a... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Dec 5 21:14:09 2011 +0100

Implement the representation() and set_representation() methods, in various classes.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=96e5d59a311c0... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Dec 5 19:49:47 2011 +0100

Constraint_System, Generator_System, Grid_Generator_System: use Linear_System's ascii_dump() and ascii_load() methods.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=adf670d460160... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Dec 7 00:34:51 2011 +0100

Linear_System: fix the ascii_dump() method by adding a missing space.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4069226068c53... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Dec 5 19:06:51 2011 +0100

Congruece_System: make some methods public/private.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=65beb73160ef9... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Dec 5 18:28:33 2011 +0100

Congruence_System, Linear_System: remove the internal_row_type typedef.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=22c74b3c15c78... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Dec 5 18:26:26 2011 +0100

*_System, Matrix: remove the resize_no_copy() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3c4de27dd3245... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Dec 5 18:06:23 2011 +0100

Congruence_System: make the API higher-level: use the space dimension instead of the number of columns.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c9d40c9eecbd1... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Dec 5 17:26:06 2011 +0100

Congruence_System: add a Representation field and a Representation parameter to all constructors. Make sure that all the rows have the same representation.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cad52ef1eae4d... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Dec 5 17:20:54 2011 +0100

Add ascii_load()/ascii_dump() functions for the Representation enum.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8460d58c518c1... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Dec 6 16:07:04 2011 +0100

Grid: fix a bug in relation_with().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c1a92689efa92... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Dec 6 11:56:49 2011 +0100

tests/Grid: use the Recycle_Input tag in the tests, fixing compilation errors.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=edb5c61bf8305... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Dec 6 10:43:47 2011 +0100

test/Polyhedron/sparserow1: rename m_swap() into coefficient_swap(), fixing compilation errors.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c748c6e420b29... Merge: 4c0dab73bb9776cef6cac6bf16b834f82b1d644f aad573256afaa3204f9d2f090a61c59f4d0c32ec Author: Marco Poletti poletti.marco@gmail.com Date: Mon Dec 5 12:02:21 2011 +0100

Merge branch 'master' into sparse_matrices

Conflicts: src/CO_Tree.cc

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4c0dab73bb977... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Dec 5 12:01:17 2011 +0100

Constraint, Generator, Grid_Generator, Congruence: add a default_representation constant and a Representation argument to constructors and factory methods.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aad573256afaa... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Dec 4 18:27:44 2011 +0100

tests/BD_Shape/cc76extrapolation1: avoid unused expression warnings by casting to void.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e78400a9a2998... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Dec 4 18:03:29 2011 +0100

Disable all abstractions based on machine floating-point numbers when clang++ is detected.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fa6a077aa6dad... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Dec 4 15:04:11 2011 +0100

Detect when clang++ is used, and disable -frounding-math in that case.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a434f2b0372ab... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Dec 4 13:27:48 2011 +0100

Grid_Generator: remove an obsolete typedef for row_type.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4280ced47bdce... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Dec 4 13:24:42 2011 +0100

Use Constraint::Expression, Generator::Expression, Grid_Generator::Expression, Congruence::Expression instead of const Linear_Expression& when relevant.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=46c05339d8464... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Dec 4 13:10:35 2011 +0100

Congruence: remove the non-const expression() method and add an Expression typedef, for consistency with Constraint, Generator and Grid_Generator and to allow different implementations in the future.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=adaf75007f258... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Dec 4 13:03:39 2011 +0100

*_System: use the Recycle_Input tag instead of adding 'recycled' or 'recycling' to the method's name.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a0f059a8cbefb... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Dec 4 12:21:33 2011 +0100

Grid_Generator: make some methods private.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ea378d9e5a815... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Dec 4 12:17:18 2011 +0100

Generator: make some methods private.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e886a32baed52... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Dec 4 12:14:48 2011 +0100

Constraint: make some methods private.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fed5b613c6cf1... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Dec 4 12:14:23 2011 +0100

MIP_Problem, PIP_Problem: don't check Constraint::OK(), the Constraint class is responsible for making sure that all constraints are OK().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e5f1a4955638c... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Dec 4 12:13:17 2011 +0100

Octagonal_Shape: remove an unused variable.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f5aa780d07de0... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Dec 4 12:13:04 2011 +0100

Box: remove an unused variable.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c7d2895da620c... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Dec 4 11:55:22 2011 +0100

tests/Concrete_Expression: avoid using unnamed types as template arguments.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=db4eb1cdc8342... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Dec 4 00:31:01 2011 +0100

CO_Tree: avoid static_casts between Coefficient* and void*. Use an allocator instead.