[PPL-devel] ppl src/Partially_Reduced_Product.defs.hh src/ ...

[Patricia Hill]

CVSROOT:	/cvs/ppl
Module name:	ppl
Branch: 	products
Changes by:	hill at cs.unipr.it	2009-01-05 14:54:39

Modified files:
	src            : Partially_Reduced_Product.defs.hh 
	                 Partially_Reduced_Product.inlines.hh 
	                 Partially_Reduced_Product.templates.hh 
	                 Partially_Reduced_Product.types.hh 
	tests/Partially_Reduced_Product: Makefile.am directproduct6.cc 
	                                 partiallyreducedproduct2.cc 
	                                 partiallyreducedproduct3.cc 
Added files:
	tests/Partially_Reduced_Product: shrinkusingcongruences1.cc 

Log message:
	Added a reduction method Shrink_Using_Congruences_Reduction<>
	and the product Shrink_Using_Congruences_Product<>
	that assumes this reduction.
	
	Several "FIXME"s dealt with.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product.defs.hh.diff?cvsroot=ppl&only_with_tag=products&r1=1.39&r2=1.39.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product.inlines.hh.diff?cvsroot=ppl&only_with_tag=products&r1=1.37&r2=1.37.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product.templates.hh.diff?cvsroot=ppl&only_with_tag=products&r1=1.16&r2=1.16.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product.types.hh.diff?cvsroot=ppl&only_with_tag=products&r1=1.5&r2=1.5.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Product/shrinkusingcongruences1.cc?cvsroot=ppl&only_with_tag=products&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Product/Makefile.am.diff?cvsroot=ppl&only_with_tag=products&r1=1.8&r2=1.8.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Product/directproduct6.cc.diff?cvsroot=ppl&only_with_tag=products&r1=1.4&r2=1.4.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Product/partiallyreducedproduct2.cc.diff?cvsroot=ppl&only_with_tag=products&r1=1.4&r2=1.4.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Product/partiallyreducedproduct3.cc.diff?cvsroot=ppl&only_with_tag=products&r1=1.2&r2=1.2.8.1