[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=5d8f155f5a01b32eb5606d1a050714b6a1f2af8f
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Wed Feb 9 00:25:35 2011 +0100

    Linear_System: make protected methods and fields private.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ae8338d88ffd0040a6702a451bdfe0efb2d9ce3b
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Wed Feb 9 00:25:28 2011 +0100

    Linear_System: 'iterator' does not allow to modify rows anymore.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=987662e2bd2950294d0eb0911792d0f6aa34c33e
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Wed Feb 9 00:25:04 2011 +0100

    Linear_System, Constraint_System, Generator_System, Grid_Generator_System: remove the non-const operator[].

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5cba657b8de1331a5b22d2c5dc8de9095ff43a97
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Wed Feb 9 00:24:20 2011 +0100

    Grid: avoid using the non-const Linear_System::operator[], in the constructor from a Box.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8c1b17b92fe16c46c8272d69b39d1f6fd5a6c333
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Wed Feb 9 00:06:50 2011 +0100

    Polyhedron: avoid using the non-const Linear_System::operator[], in generalized_affine_image() (#2).

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d01b4467d360767ad9c315fd63dc4e4152b9c636
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Feb 8 23:53:57 2011 +0100

    Polyhedron: avoid using the non-const Linear_System::operator[], in topological_closure_assign().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9eaf3ffc4c12ff0182a3c2a990ff24c60aeddb79
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Feb 8 23:52:20 2011 +0100

    Polyhedron: avoid using the non-const Linear_System::operator[], in time_elapse_assign().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8a23adaac4c87e16b92c4686788c1bd75560d242
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Feb 8 23:46:26 2011 +0100

    Polyhedron: avoid using the non-const Linear_System::operator[], in generalized_affine_image().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6eca39a48dd176143e93749737525b393effec9d
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Feb 8 23:25:27 2011 +0100

    Generator_System: add the insert_recycled() and insert_pending_recycled() methods.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5cfd7ac32782ccbe6623d4ba4380a29490405b86
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Feb 8 22:38:26 2011 +0100

    Polyhedron: avoid using the non-const Linear_System::operator[], in add_recycled_generators().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c2c759bd162a87d4c9f81e66fc781dfeab792e3e
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Feb 8 22:29:12 2011 +0100

    Polyhedron: prefer const references to non-const ones.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=34240fb916a35ab156cdf986ab6a283090852c4a
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Feb 8 22:27:28 2011 +0100

    Polyhedron: avoid using the non-const Linear_System::operator[], in add_generator().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bf90bd70c5dc82905bcde6fddf2538936bb47855
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Feb 8 22:18:52 2011 +0100

    Polyhedron: avoid using the non-const Linear_System::operator[], in drop_some_non_integer_points().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d3061d2cfa20fcb14fab838cf5fd699be7746e97
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Feb 8 22:15:33 2011 +0100

    Polyhedron: avoid using the non-const Linear_System::operator[], in strongly_minimize_constraints().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=58664a0a5c421283ea8209e603bcd457c9ba0e88
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Feb 8 22:06:22 2011 +0100

    Polyhedron: avoid using the non-const Linear_System::operator[], in concatenate_assign() (#2).

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b997c0acc4b919dc58824ea6aa50e17074ab155a
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Feb 8 22:00:48 2011 +0100

    Polyhedron: avoid using the non-const Linear_System::operator[], in concatenate_assign().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b3f9f696b6d448e5f10682727a4a1ad6b97b379a
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Feb 8 21:53:09 2011 +0100

    Polyhedron: avoid using the non-const Linear_System::operator[], in add_space_dimensions_and_project().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3974a2029be1868ad3902c8ec7ecee63d2147277
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Feb 8 21:49:08 2011 +0100

    Polyhedron: avoid using the non-const Linear_System::operator[], in add_space_dimensions_and_embed().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=10282f29c959afae2bdf62a4e8c873204a374de9
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Feb 8 21:44:09 2011 +0100

    Polyhedron: use Linear_System::swap_rows() when needed, in simplify().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8be6b90e6b6af73e7f1a8fe5250bdbbb0d584475
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Feb 8 21:35:18 2011 +0100

    Polyhedron: avoid using the non-const Linear_System::operator[], in simplify().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4a00e13b93056becd21a31263e7848bc5f6baa46
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Feb 8 19:46:54 2011 +0100

    Polyhedron: avoid using the non-const Linear_System::operator[], in minimize().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=544fc56fc85b581ab3fed6c23ce6757f2e74c3e5
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Feb 8 19:42:39 2011 +0100

    Polyhedron: avoid using the non-const Linear_System::operator[], in conversion().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d0dffc9ccd5d19299e662b9cf47ce8169b895de6
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Feb 8 19:09:39 2011 +0100

    Polyhedron: avoid using the non-const Linear_System::operator[], in add_space_dimensions().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e402376c61fa38ab2403418639268618e6838eb5
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Feb 8 10:52:13 2011 +0100

    Polyhedron: fix an efficiency bug introduced in commit 436f43.