[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=500673bde7d2a8b53645f6bdf3dd96ec477f631e
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Mar 1 09:33:50 2011 +0100

    Constraint_System, Generator_System, Linear_System: replace the three-argument constructor with a two-argument one.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=167784c6f99042a7e30174bf7e4e3a1255fb9bc9
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Mar 1 08:31:15 2011 +0100

    Generator_System: remove the remove_trailing_columns() method.

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

    *_System: resize_no_copy() now takes the number of space dimensions as argument instead of the number of columns.

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

    Constraint_System, Generator_System, Grid_Generator_System: avoid using resize_no_copy() in ascii_load().

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

    Constraint_System, Generator_System: remove the add_columns() method.

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

    Polyhedron: avoid using *_System::num_columns().

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

    Constraint_System, Generator_System: remove the add_zero_columns() method.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=074e0edb14bb38fb41d19c3464450bdfbd69f457
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Mon Feb 28 21:14:57 2011 +0100

    Constraint_System, Generator_System: remove the swap_columns() method.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=904500e9f29efa12bc7bb2d572b63b7376205914
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Mon Feb 28 21:14:33 2011 +0100

    Polyhedron, Grid_Generator_System: use *_System::remove_space_dimensions() when needed.

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

    Linear_System, Constraint_System, Generator_System: add a remove_space_dimensions() method.

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

    Polyhedron: use *_System::set_space_dimension() when needed.

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

    Constraint, Generator, Grid_Generator, Linear_System, Generator_System, Constraint_System: add a set_space_dimension() method.

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

    Linear_System, Constraint_System, Generator_System: add a swap_space_dimensions() method and use it instead of permute_space_dimensions() when it's enough.

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

    Linear_System: move the epsilon coefficients and try to preserve sortedness in add_universe_rows_and_columns().

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

    Linear_System: avoid depending on Linear_Row.

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

    Grid_Generator: improve the documentation of is_equal_to() and simplify its implementation.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=34c5ba9d999b0b86e43f2cf3d4957ad69854630b
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Mon Feb 28 18:24:32 2011 +0100

    Generator: add an is_equal_to() method.

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

    Constraint: add an is_equal_to() method.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4ca45543794eaa3eed85f51d1c94cffede284add
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Mon Feb 28 18:06:56 2011 +0100

    Linear_System: prefer using swap() methods instead of std::swap(), to avoid performance regressions caused by wrong inclusions.

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

    Grid_Generator_System: remove the add_zero_columns() method.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4c0550f13d988ce9f3866c3b748ed815279ddc30
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Mon Feb 28 17:58:40 2011 +0100

    Grid: use Grid_Generator_System::set_space_dimension() instead of Grid_Generator_System::add_zero_columns().

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

    *_System: replace the permute_columns() method with an higher-level permute_space_dimensions().

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

    Grid_Generator_System: affine_image() now takes a Variable argument instead of its space dimension.