URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9d91a68c82983... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Jan 8 19:10:56 2011 +0100
Generator: assert OK() in most constructors and non-const methods.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=827c7e001c196... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Jan 8 19:03:18 2011 +0100
Generator: call strong_normalize() in the constructor from a Linear_Expression. Remove such calls in client code.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3dcf87db12701... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Jan 8 18:58:02 2011 +0100
Grid_Generator: avoid constructing an invalid Generator and fixing it afterwards.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6bdf889c27af5... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Jan 8 17:51:09 2011 +0100
Generator: avoid constructing an invalid Generator and fixing it afterwards.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d3769d914b39d... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Jan 8 17:40:42 2011 +0100
Linear_System: pass the optional parameters to swapping_sort() and swapping_unique(), to make sure the right iter_swap() is used.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fc748c2a3ca15... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Jan 8 17:38:32 2011 +0100
swapping_sort(), swapping_unique(): add an optional parameter that specifies the iter_swap algorithm.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b7190f9a30dc0... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Jan 6 19:30:34 2011 +0100
Linear_Row: change the two-argument copy constructor semantic to match the Constraint's and Generator's ones.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2f056375397aa... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Jan 6 19:26:57 2011 +0100
Linear_System: avoid using the Linear_Row copy constructor with specified capacity.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=16c8b37eb9cc7... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Jan 6 18:36:50 2011 +0100
Polyhedron: let all methods support Linear_System objects with different Row type.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=57291a0251e34... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Jan 6 18:33:37 2011 +0100
Constraint: inherit from Linear_Row using the `public' specifier.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=95e8f47503b12... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Jan 6 17:56:07 2011 +0100
Do not include Linear_Row.defs.hh in Linear_System.defs.hh.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bce7237f46e88... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Jan 6 17:55:12 2011 +0100
Linear_System: use Row instead of Linear_Row.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aa5d014be5dc6... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Jan 6 17:44:04 2011 +0100
Constraint_System, Generator_System, Grid_Generator_System, Polyhedron: use Linear_System<Linear_Row> instead of Linear_System<Dense_Row>.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a8cf68a9a7b5c... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Jan 6 17:27:58 2011 +0100
Make Linear_System and Linear_System_With_Bit_Matrix_Iterator class templates. Replace uses of Linear_System and Linear_System_With_Bit_Matrix_Iterator with uses of Linear_System<Dense_Row> and Linear_System_With_Bit_Matrix_Iterator<Dense_Row>.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c95e5797818b7... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Jan 6 17:10:46 2011 +0100
Split the Linear_System::With_Bit_Matrix_iterator class out of Linear_System and rename it to Linear_System_With_Bit_Matrix_iterator.