[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=d5c580f81244b5dcb9d8a2641ce3087483102bd6
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Fri Jan 14 21:36:48 2011 +0100

    Merge the matrix1 and densematrix1 tests. Move the sparserow1 test in the Polyhedron directory.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b86714dcd0e85dce8fe6c7d65f8ef7212f7b8684
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Fri Jan 14 21:35:18 2011 +0100

    tests/Polyhedron/memory2: use Matrix<Dense_Row> instead of Dense_Matrix.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f7b3af7f737b41c0f2891eef9309a1c49ee1ff37
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Fri Jan 14 21:34:38 2011 +0100

    tests/Polyhedron/linearsystem1: use Linear_System<Linear_Row> instead of Linear_System.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=807a4390e3fe3e36504a51a97d76232a4c353cfe
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Fri Jan 14 21:32:06 2011 +0100

    Dense_Row: add a clear() method.

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

    Revert "Generator: assert OK() in most constructors and non-const methods."
    
    This reverts commit 9d91a68c82983fd29c698ded4b088fb3b315b1cd.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4bacf4245afb30c359fe9d89b0842253915b74dd
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sat Jan 8 22:53:59 2011 +0100

    Constraint: make some methods public and remove most friend declarations.

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

    Constraint: simplify operator>(const Linear_Expression&,conse Coefficient&).

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=87d42aa70eb976c8f93a1276c001abc810174251
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sat Jan 8 22:44:24 2011 +0100

    Polyhedron: use Dense_Row::resize() in add_recycled_constraints(), improving performance and avoiding calls to the Constraint::set_is_inequality() method.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d09a15453f272fce0057bb5f4085d22491854c2d
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sat Jan 8 22:43:07 2011 +0100

    Polyhedron: use Dense_Row::add_zeroes_and_shift() in concatenate_assign(), improving performance and avoiding calls to the Constraint::set_is_inequality() method.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=672f4837b6ab17e0947f52ee3aed89196588315d
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sat Jan 8 22:40:08 2011 +0100

    Dense_Row: add an add_zeroes_and_shift() method.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=771c88ffd2c50945842ddc55cd0ac6bbb6b67419
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sat Jan 8 20:50:37 2011 +0100

    Constraint: add some methods, to make its interface a superset of Linear_Row.

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

    Constraint.defs.hh: re-order the includes.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=45ac2f171b3890c2b8fca483c3c3c8b5d16799b9
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sat Jan 8 20:36:47 2011 +0100

    Constraint: assert OK() in most constructors and non-const methods.

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

    Constraint: call strong_normalize() in the constructor from a Linear_Expression. Remove such calls in client code.

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

    Constraint: simplify some methods.