[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=511787f4e1adb8c6c3567023f791592dc298420c
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sat Feb 19 23:16:46 2011 +0100

    Congruence: remove the set_coefficient() method, and add a permute_columns() method instead.

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

    Congruence_System: avoid using Congruence::set_coefficient() in add_unit_rows_and_columns().

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

    Congruence: add FIXME comment.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=642901700fa92a53c59ba3bebafffa391c04a2eb
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sat Feb 19 22:54:20 2011 +0100

    Linear_Expression: add a set_space_dimension() method.

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

    Congruence_System: remove the non-const operator[].

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

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

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2e7c4e770f7cd1a2411f190f0e46af752b698657
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sat Feb 19 20:57:50 2011 +0100

    Grid: prepare the simplify() method for further changes.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=08192bd1f6d3ee5af131806270b8ef5bcca202ad
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sat Feb 19 20:42:07 2011 +0100

    Grid: use the appropriate methods of Congruence instead of accessing the modulus and the inhomogeneous term directly, in simplify().

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

    Grid: use a switch instead of nested ifs and gotos, in simplify().

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

    Congruence_System: add a release_row() method.

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

    Grid: avoid using Congruence::operator[], in reduce_congruence_with_equality().

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

    Add operator+=(), operator-=(), add_mul_assign() and sub_mul_assign() for congruences.

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

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

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

    Grid: avoid using the non-const Congruence::operator[], in multiply_grid().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=278524bcc792cab95d8f1e8a36e44236b3f9f71f
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sat Feb 19 19:51:40 2011 +0100

    Grid: avoid using the non-const Congruence_System::operator[], in remove_higher_space_dimensions().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=35d9f176e7bb809e9558a363f8bd6e0d1b1acf13
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sat Feb 19 20:00:52 2011 +0100

    Congruence_System: add a swap_rows() method.

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

    Congruence_System: avoid using the non-const Congruence_System::operator[].

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

    Merge the Row_Flags class into Linear_Row::Flags.

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

    A Row_Flags field is now contained in Linear_Row, instead of Sparse_Row and Dense_Row.

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

    Grid: avoid using the non-const Congruence_System::operator[], in construct().

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

    Congruence: add a set_inhomogeneous_term() method().

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

    Grid: change the signature of the multiply_grid() helper method.

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

    Grid: change the signature of the reduce_congruence_with_equality() helper method.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7c70fad4e560cc78ed5767add037827c5ce77d96
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sat Feb 19 15:02:53 2011 +0100

    Congruence_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=d28d13516a856f4570181c5728ca0512ce52f356
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sat Feb 19 15:01:16 2011 +0100

    Grid: avoid using the Congruence_System::resize_no_copy() method and the non-const Congruence_System::operator[], in conversion().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1fa1d0105f4f01ac65cebabf4c8da4e7656d432c
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sat Feb 19 14:59:29 2011 +0100

    Grid: remove a useless cast in set_empty().

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

    Congruence_System: merge the increase_space_dimension() and hemove_higher_space_dimensions() methods into a single set_space_dimension() method.

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

    Congruence: add the scale() and affine_preimage() methods and use them in Congruence_System.