[PPL-devel] [GIT] ppl/ppl(products): Reduction methods ( Constraints and Shrink_Using_Congruences) improved.

[Patricia Hill]

Module: ppl/ppl
Branch: products
Commit: d1cde86de0626030ebb6fa6cae49e3111074a7ee
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d1cde86de0626030ebb6fa6cae49e3111074a7ee

Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Sat May  2 11:00:24 2009 +0100

Reduction methods (Constraints and Shrink_Using_Congruences) improved.

Tests specific to the Constraints_Reduction added.

---

 src/Partially_Reduced_Product.templates.hh         |   25 ++-
 tests/Partially_Reduced_Product/Makefile.am        |    3 +
 .../constraintsproduct1.cc                         |  307 ++++++++++++++++++++
 .../shrinkusingcongruences1.cc                     |   28 ++-
 4 files changed, 351 insertions(+), 12 deletions(-)

Diff:   http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=d1cde86de0626030ebb6fa6cae49e3111074a7ee