Module: ppl/ppl Branch: products Commit: da0ca32ee95f30d2bcd9111eea74d9b820ad1a14 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=da0ca32ee95f3...
Author: Patricia Hill p.m.hill@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=da0ca32ee...