[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=d73822e02b49d1d9bda5bc9fb45130199cfaa8d2
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Sep 20 18:54:50 2011 +0200

    Generator_System: avoid calling Linear_Expression::get_row() and Generator.expression() in some methods.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5b8f47136eb34109251a2d2f6614d6619b35cc8f
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Sep 20 18:44:52 2011 +0200

    Generator: remove the swap() method that takes two dimension_type parameters.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a9c740d3d4f245c81466b90d234cbd8f3cbd672e
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Sep 20 18:41:48 2011 +0200

    Constraint, Generator: use Linear_Expression::ascii_{dump,load}() when needed.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=39ce5f1dcb0a0d7d0210d6faa7960cb035d191cd
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Sep 20 18:41:07 2011 +0200

    Linear_Expression: the ascii_dump() and ascii_load() methods now produce the same output, no matter if the representation is dense or sparse (note that sparse representations are still *not* supported, however).

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=10ba8673ccfc4678fc2540fe471469d0d1cc68f3
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Sep 20 18:29:51 2011 +0200

    Constraint: use the {set_,}epsilon_coefficient() methods.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0a1efe6bf9a56dd252c2bb51eefea90d4f5d99c6
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Sep 20 18:24:02 2011 +0200

    Constraint: add the epsilon_coefficient() and set_epsilon_coefficient() methods.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=705116ceb77c774d967bc103bd0352de3a12ada4
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Sep 20 18:21:56 2011 +0200

    Generator: use the {set_,}epsilon_coefficient() methods.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3bdf40035542750ea16fd113a9a96f593a9e2781
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Sep 20 18:15:33 2011 +0200

    Generator: add the epsilon_coefficient() and set_epsilon_coefficient() methods.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=abefaa121d1965472939b1c71424f31a1330d8c6
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Sep 20 18:12:10 2011 +0200

    Generator: avoid using Linear_Expression::get_row() in several methods (#2).

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=71247a631699ea66cd392e06e2f6f559714ccbbf
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Sep 20 17:59:17 2011 +0200

    Generator: avoid using Linear_Expression::get_row() in several methods.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1dc8351035f4fb6e6c6988db70a11ecb94981706
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Sep 20 17:55:31 2011 +0200

    Generator: use Linear_Expression::permute_space_dimensions() in permute_space_dimensions().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=37d313b16516661195d60d85bdc331207e3dc7d0
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Sep 20 17:54:52 2011 +0200

    Generator: use Linear_Expression::remove_space_dimensions() in remove_space_dimensions().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=230e5eab50312b0614da443dc57228c3209057f1
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Sep 20 17:53:37 2011 +0200

    Generator: avoid calling Linear_Expression::get_row() in point(), closure_point(), ray() and line().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=50a03f9ea4d14156bef78ce01698171906772795
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Sep 20 17:52:09 2011 +0200

    The compare() function for Generator objects now uses the compare() for Linear_Expression, and it is a friend of the Generator class.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9f1709c737e58876fd0cc6802f4591598b686abd
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Sep 20 17:50:06 2011 +0200

    Constraint: avoid calling Linear_Expression::get_row() in sign_normalize().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=311eaed59352545ea31099d6e86171ded770a49c
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Sep 20 17:48:55 2011 +0200

    The compare() function for Constrant objects now uses the compare() for Linear_Expression, and it is a friend of the Constraint class.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cde9d339178e319458d3431cc4f0116e3d08788b
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Sep 20 17:47:18 2011 +0200

    Add a compare() function for Linear_Expression objects.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ce285788f5c15eb62c7a9443f7cfbab9fec5ed6d
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Mon Sep 19 10:59:42 2011 +0200

    Constraint, Generator, Grid_Generator: remove the linear_combine() method that takes a dimension_type.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=72492f5097c5e872433232f737a9e309d420734e
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Mon Sep 19 11:10:52 2011 +0200

    Linear_System: avoid using the linear_combine() method that takes a dimension_type (#3).

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e37fd996d375cff621b887815ab9139057d16a4c
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Mon Sep 19 11:10:47 2011 +0200

    Linear_System: avoid using the linear_combine() method that takes a dimension_type (#2).

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7577a99fd78501ea2a37c5b18f86645e88628266
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Mon Sep 19 11:10:27 2011 +0200

    Linear_System: avoid using the linear_combine() method that takes a dimension_type (#1).

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=46d836ec76556597abb273007b37c016f3e097bc
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Mon Sep 19 10:53:21 2011 +0200

    Polyhedron: use Generator::linear_combine_inhomogeneous() instead of the linear_combine() method that takes a dimension_type, in BHRZ03_evolving_points().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a9c868e733c74399df6282e28011dd50b4b32647
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Mon Sep 19 10:51:37 2011 +0200

    Grid_Generator: add a linear_combine() method a a linear_combine_inhomogeneous() method.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5c2af1eaec85436d6b128a4e0cf97c15b8b1ab9f
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Mon Sep 19 10:49:29 2011 +0200

    Generator: add a linear_combine() method a a linear_combine_inhomogeneous() method.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7ef60b409c105542a66f032cf5e34577c5bd9c8d
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Mon Sep 19 10:49:07 2011 +0200

    Constraint: add a linear_combine() method a a linear_combine_inhomogeneous() method.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=84230b7a7ece0323335fcddfdbfcc56b62377e2f
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Mon Sep 19 10:17:15 2011 +0200

    Linear_Expression: add a linear_combine() method a a linear_combine_inhomogeneous() method.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0e43e5d8be77c6e2a6f4b439cc5233ca0c35e067
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sun Sep 18 19:07:04 2011 +0200

    Constraint: remove some calls to Linear_Expression::get_row() (#2).

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=069a3d528bb4fd63ad4ab2d430dd7a262e0fce1d
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sun Sep 18 19:06:33 2011 +0200

    Replace an assert() with PPL_ASSERT().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d63368fb307567fa69b4c6b7d014755459d345f
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sun Sep 18 18:40:17 2011 +0200

    Constraint: remove some calls to Linear_Expression::get_row() (#1).

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1ab03cc46ddd9e27f3646c54f56922c9dd5d5c28
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sun Sep 18 18:39:34 2011 +0200

    Linear_Expression: add some methods.