[PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits

[Roberto Bagnara]

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9d91a68c82983fd29c698ded4b088fb3b315b1cd
Author: Marco Poletti <poletti.marco at 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=827c7e001c19654f292c2ceb77b491958eae7a64
Author: Marco Poletti <poletti.marco at 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=3dcf87db1270105622a68792cd48a84630216e9e
Author: Marco Poletti <poletti.marco at 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=6bdf889c27af59244088af25ef94a710a549fd0a
Author: Marco Poletti <poletti.marco at 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=d3769d914b39d66240f3a84a22bcbd6b14bca429
Author: Marco Poletti <poletti.marco at 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=fc748c2a3ca1575465711d724a7d61be41338fbc
Author: Marco Poletti <poletti.marco at 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=b7190f9a30dc0b23cc703b0cc3e4d12bcbb27d7e
Author: Marco Poletti <poletti.marco at 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=2f056375397aa21b293b0d9f8cc74d23b77819a3
Author: Marco Poletti <poletti.marco at 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=16c8b37eb9cc7b160702891450bf231dbaacd2c2
Author: Marco Poletti <poletti.marco at 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=57291a0251e347557d858b9741c3445a17af139c
Author: Marco Poletti <poletti.marco at 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=95e8f47503b12d613b80893116c6864174cb261b
Author: Marco Poletti <poletti.marco at 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=bce7237f46e882b532f317affb93874c6e595fe8
Author: Marco Poletti <poletti.marco at 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=aa5d014be5dc6ee3db85d730acd2e3f769121eb4
Author: Marco Poletti <poletti.marco at 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=a8cf68a9a7b5c012f783c3c66f7b5d0c3f1a4199
Author: Marco Poletti <poletti.marco at 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=c95e5797818b7f7831f557ea090ceb2bdf7644e8
Author: Marco Poletti <poletti.marco at 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.