URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c46cd9cf6f042... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Feb 9 19:23:20 2011 +0100

Congruence: replace the copy constructor that specifies the size and the capacity with a copy constructor that specifies the space dimension.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=210bb2211c47d... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Feb 9 19:19:04 2011 +0100

Congruence: remove the copy constructor that takes a const Coefficient&.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5c08a532b526d... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Feb 9 19:02:20 2011 +0100

Congruence: add a set_modulus() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=10e7e1cfb6890... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Feb 9 18:19:23 2011 +0100

Congruence_System: simplify the concatenate() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1100652628538... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Feb 9 18:15:46 2011 +0100

Congruence: add a shift_coefficients() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4bf60507c0142... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Feb 9 18:06:13 2011 +0100

Congruence_System: avoid accessing a Congruence's coefficients directly (#3).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5a16342beabfc... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Feb 9 18:05:27 2011 +0100

Congruence: add the add_space_dimensions(), remove_space_dimensions() and set_space_dimension() methods.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=892e482e69100... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Feb 9 17:48:27 2011 +0100

Scalar_products: avoid accessing a Congruence's coefficients directly.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2f6b77e45cb56... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Feb 9 17:45:42 2011 +0100

Linear_Expression: avoid accessing a Congruence's coefficients directly.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=25dd0c1a8aeff... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Feb 9 17:43:49 2011 +0100

Congruence_System: avoid accessing a Congruence's coefficients directly (#2).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3027c664cdaaa... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Feb 9 17:37:41 2011 +0100

Congruence_System: avoid accessing a Congruence's coefficients directly (#1).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cccc923e6390e... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Feb 9 17:37:16 2011 +0100

Congruence: add a set_coefficient() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=68e8b4b61be20... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Feb 9 17:29:02 2011 +0100

Congruence_System: use Congruence::max_space_dimension() to implement max_space_dimension().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=94f12a968de93... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Feb 9 17:26:23 2011 +0100

Congruence_System: remove the second argument of the add_rows() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ae17541517191... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Feb 9 17:17:17 2011 +0100

Constraint: avoid using Congruence::operator[] (#2).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4aca73068306f... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Feb 9 17:15:10 2011 +0100

Constraint: avoid using Congruence::operator[] (#1).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8258c0fb5cd29... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Feb 9 15:14:20 2011 +0100

Congruence_System is now implemented with a vector of Congruence instead of a vector of Dense_Row.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f9067f74d64fc... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Feb 9 15:13:06 2011 +0100

Congruience: add a default constructor and a two-argument swap() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9aa4821e0067e... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Feb 9 14:08:23 2011 +0100

Polyhedron: don't assume that Generator_System, Constraint_System, Grid_Generator_System inherit from Linear_System.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=05f40e33acf98... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Feb 9 11:19:20 2011 +0100

Congruence_System: replace inheritance with containment.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fa9b82703332b... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Feb 9 11:07:05 2011 +0100

Congruence_System: remove all friend declarations.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3f6c09f179f1f... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Feb 9 10:50:59 2011 +0100

Congruence_System: derive from Swapping_Vector<Dense_Row> instead of Matrix<Dense_Row>.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ac087e9717c5b... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Feb 9 09:24:40 2011 +0100

Constraint: inherit from Linear_Row with the 'public' specifier and remove most friend declarations.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1d5cbc6b24b88... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Feb 9 09:03:26 2011 +0100

Congruence: inherit from Dense_Row with the 'public' specifier and remove all friend declarations.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3689ffe7c683f... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Feb 9 08:43:50 2011 +0100

Grid_Generator: inherit from Linear_Row with the 'public' specifier and remove most friend declarations.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cb49c8a27660a... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Feb 9 08:42:48 2011 +0100

Linear_System: there's no need to include Row.defs.hh anymore.