URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c6004127e80bb... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Feb 27 09:32:40 2011 +0100
Constraint_System: avoid being friend of Polyhedron.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=20720027ac147... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Feb 27 09:20:24 2011 +0100
Generator_System: contain a Linear_System<Generator> instead of a Linear_System<Linear_Row>.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=817e99fb00432... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Feb 27 09:16:23 2011 +0100
Linear_System: always compare rows as Linear_Row objects when sorting the system.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dfe7b0bdafe0b... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Feb 27 09:09:47 2011 +0100
Linear_Row: remove the iter_swap() function.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=04a7154ab58e0... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Feb 27 09:09:14 2011 +0100
Generator: add some constructors/methods calling the corresponding Linear_Row constructors/methods.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2bb1e8d05fc86... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Feb 27 09:07:11 2011 +0100
Generator: inherit from Linear_Row with the 'public' specifier.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=476cfbb3b05c0... Author: Marco Poletti poletti.marco@gmail.com Date: Fri Feb 25 22:01:51 2011 +0100
Congruence: contain a Dense_Row object instead of deriving from the Dense_Row class.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=730fb702b962c... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Feb 26 09:05:52 2011 +0100
Grid: avoid calling Congruence::size(), in reduce_pc_with_pc().