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.