URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3ea01c9bba1e8... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Mar 27 19:01:11 2011 +0200

Grid_Generator: contain a Linear_Expression object instead of deriving from Linear_Expression.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=13918c9948b33... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Mar 27 19:00:58 2011 +0200

Congruence: add the expression() methods.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fa9ca981b0573... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Mar 27 16:52:27 2011 +0200

Generator: contain a Linear_Expression object instead of deriving from Linear_Expression.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bb3a7d277aca7... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Mar 27 16:33:53 2011 +0200

Constraint: contain a Linear_Expression object instead of deriving from Linear_Expression.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f735489673b14... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Mar 27 16:23:05 2011 +0200

Generator: add an expression() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9ed26259f0595... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Mar 27 13:42:08 2011 +0200

Remove the Linear_Row class.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1b003e65bf86f... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Mar 27 13:39:11 2011 +0200

Grid_Generator: inherit directly from Linear_Expression instead of Linear_Row.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e88dcdf52e688... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Mar 27 13:38:56 2011 +0200

Generator: inherit directly from Linear_Expression instead of Linear_Row.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=71ad73f5e70b5... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Mar 27 13:38:47 2011 +0200

Constraint: inherit directly from Linear_Expression instead of Linear_Row.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9569181f9b680... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Mar 27 13:01:16 2011 +0200

Congruence: remove an unnecessary include.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b235654846597... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Mar 27 13:00:58 2011 +0200

Polyhedron: fix a comment.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4b6c0fde526b0... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Mar 27 13:00:31 2011 +0200

Polyhedron: add an include.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b3803c60c5f78... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Mar 27 13:00:05 2011 +0200

MIP_Problem: add an include.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0df4eea117e33... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Mar 27 12:18:12 2011 +0200

Linear_Row: remove all methods.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9ea65ac019d54... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Mar 27 11:50:17 2011 +0200

Grid_Generator: remove the Topology field, as Grid_Generator objects are always closed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0eaad935e8239... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Mar 27 11:42:36 2011 +0200

Grid_Generator: contain a Kind field and a Topology field instead of a Flags field.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=743be7ba65a42... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Mar 27 11:25:36 2011 +0200

Generator: contain a Kind field and a Topology field instead of a Flags field.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=79065d5228d28... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Mar 27 10:57:55 2011 +0200

Constraint: contain a Kind field and a Topology field instead of a Flags field.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=72266fa541cb9... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Mar 27 10:56:42 2011 +0200

Generator: add a constructor.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=66f094f073759... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Mar 27 10:43:53 2011 +0200

Linear_System: remove the add_pending_row() method that takes a Row::Flags argument.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0a4af546896e9... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Mar 26 17:56:05 2011 +0100

Linear_Row: move the flags and all the methods involving flags to derived classes (Constraint, Generator and Grid_Generator).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2e0e596309729... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Mar 26 13:59:13 2011 +0100

Revert "Generator: use neg_assign(Linear_Expression&) in the point() method."

This reverts commit d89a15285d09313240874daf86f430b78a60502e.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a2955cbf8addd... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Mar 26 13:57:50 2011 +0100

Revert "Grid_Generator: use neg_assign(Linear_Expression&) in the parameter() and grid_poin() methods."

This reverts commit 1544a3e194059ac1d51c460f71c81679f55bd158.