[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=c46cd9cf6f042b38eb44f6ec266d01d5ce10df99
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Wed Feb 9 19:23:20 2011 +0100

    Congruence: replace the copy constructor that specifies the size and the capacity with a copy constructor that specifies the space dimension.

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

    Congruence: remove the copy constructor that takes a const Coefficient&.

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

    Congruence: add a set_modulus() method.

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

    Congruence_System: simplify the concatenate() method.

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

    Congruence: add a shift_coefficients() method.

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

    Congruence_System: avoid accessing a Congruence's coefficients directly (#3).

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

    Congruence: add the add_space_dimensions(), remove_space_dimensions() and set_space_dimension() methods.

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

    Scalar_products: avoid accessing a Congruence's coefficients directly.

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

    Linear_Expression: avoid accessing a Congruence's coefficients directly.

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

    Congruence_System: avoid accessing a Congruence's coefficients directly (#2).

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

    Congruence_System: avoid accessing a Congruence's coefficients directly (#1).

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

    Congruence: add a set_coefficient() method.

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

    Congruence_System: use Congruence::max_space_dimension() to implement max_space_dimension().

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

    Congruence_System: remove the second argument of the add_rows() method.

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

    Constraint: avoid using Congruence::operator[] (#2).

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

    Constraint: avoid using Congruence::operator[] (#1).

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

    Congruence_System is now implemented with a vector of Congruence instead of a vector of Dense_Row.

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

    Congruience: add a default constructor and a two-argument swap() method.

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

    Polyhedron: don't assume that Generator_System, Constraint_System, Grid_Generator_System inherit from Linear_System.

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

    Congruence_System: replace inheritance with containment.

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

    Congruence_System: remove all friend declarations.

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

    Congruence_System: derive from Swapping_Vector<Dense_Row> instead of Matrix<Dense_Row>.

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

    Constraint: inherit from Linear_Row with the 'public' specifier and remove most friend declarations.

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

    Congruence: inherit from Dense_Row with the 'public' specifier and remove all friend declarations.

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

    Grid_Generator: inherit from Linear_Row with the 'public' specifier and remove most friend declarations.

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

    Linear_System: there's no need to include Row.defs.hh anymore.