[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=6bfe6ffe46d86ec36adb2deb61408492aafc14fa
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Mon Feb 28 08:56:52 2011 +0100

    Grid_Generator_System: remove the num_columns() method.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6bf55c75b5c5d1a662d3a25ab5f260839888b7db
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Mon Feb 28 08:49:29 2011 +0100

    Grid_Generator_System: replace the higher_space_dimensions() method with set_space_dimension().

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

    Constraint_System, Generator_System, Grid_Generator_System: remove the internal_row_type typedef.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=71de0b164705b826d7b52f9d715aeae3064cc990
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sun Feb 27 22:36:21 2011 +0100

    Grid: avoid using *_System::internal_row_type.

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

    Polyhedron: avoid using *_System::internal_row_type.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6250fb3c8c14787d300ac8639ef7db0f03ada657
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sun Feb 27 22:17:32 2011 +0100

    Constraint_System: contain a Linear_System<Constraint> instead of a Linear_System<Linear_Row>.

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

    Linear_System: avoid copying rows during resize.

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

    Scalar_Products: actually implement the scalar product between a Generator and a Constraint.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e4c73577d79a8fb4a4fa349cb544302f12346a54
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sun Feb 27 20:08:34 2011 +0100

    Grid_Generator_System: contain a Linear_System<Grid_Generator> instead of a Linear_System<Linear_Row>.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=744e4c6d7c9d3031cdcfa6ff441d6f1c8c5276a2
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sun Feb 27 19:42:15 2011 +0100

    Grid_Generator_System: contain a Linear_System object instead of inheriting from Linear_System.

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

    Constraint_System: contain a Linear_System object instead of deriving from Linear_System.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f92e1b8aeaf42da99aa9b89ab9e5ca7c437fb4d6
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sun Feb 27 17:31:30 2011 +0100

    Linear_System: assert OK() at the end of each non-const method; apply some minor changes to avoid triggering assertions.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b5a095599dc55dc510ac523f410274306eaed8ce
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sun Feb 27 17:24:27 2011 +0100

    Polyhedron: keep Linear_System objects valid at each step.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5d680e165cef9772d3f799472b4afe0b11002fa4
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sun Feb 27 17:24:13 2011 +0100

    Constraint_System: keep Linear_System objects valid at each step.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aa7e3e69ffe29ea66fd981b5f10ad45b1160576a
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sun Feb 27 17:21:01 2011 +0100

    Linear_System: update index_first_pending in sort_rows().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e397fa042227f565a812330f773807390e6627ad
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sun Feb 27 17:20:08 2011 +0100

    Linear_System: prepare for adding more assertions.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2eb0ea5460b28419253ce04991515a9d744a06b8
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sun Feb 27 17:19:13 2011 +0100

    Linear_System: empty systems now have the minimum number of columns required by their topology.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=44cec5e2b8c88f1fba17b8ee8067ece6ea7cd6b3
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sun Feb 27 17:10:10 2011 +0100

    Linear_System: avoid using references to access the current object methods and fields; other minor changes.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5c081c212bca122f8b15871ea02edbf6f8805a74
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sun Feb 27 10:45:12 2011 +0100

    Matrix: add a FIXME comment.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1dd7bedc2b44d3c43babdb2e0d2636df2f869f25
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sun Feb 27 09:50:10 2011 +0100

    Constraint_System: don't depend on Polyhedron.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aa7a595428e43deee9c5598beb1de88dad811069
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sun Feb 27 09:42:02 2011 +0100

    Grid_Generator_System: inherit from Linear_System with the 'public' specifier and avoid being friend of Grid.