[PPL-devel] [GIT] ppl/ppl(products): Renamed reduction Shrink_Using_Congruences_Reduction to Congruences_Reduction .

[Patricia Hill]

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

Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Sun May  3 17:22:18 2009 +0100

Renamed reduction Shrink_Using_Congruences_Reduction to Congruences_Reduction.

---

 src/Partially_Reduced_Product.defs.hh              |   21 +-
 src/Partially_Reduced_Product.inlines.hh           |    6 +-
 src/Partially_Reduced_Product.templates.hh         |   10 +-
 src/Partially_Reduced_Product.types.hh             |    2 +-
 tests/Partially_Reduced_Product/Makefile.am        |    4 +-
 .../congruencesproduct1.cc                         |  280 ++++++++++++++++++++
 .../shrinkusingcongruences1.cc                     |  280 --------------------
 7 files changed, 301 insertions(+), 302 deletions(-)

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