[PPL-devel] ppl/src Direct_Product.defs.hh Direct_Product. ...
Patricia Hill
hill at cs.unipr.it
Mon Oct 15 15:36:34 CEST 2007
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: hill at cs.unipr.it 2007-10-15 15:36:34
Modified files:
src : Direct_Product.defs.hh
Direct_Product.inlines.hh
Log message:
Added a short description of a direct product.
Modified the code for constraints(), congruences()
so as to return all the constraints or congruences in the components.
Similarly for minimized_constraints() and the recycled versions.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.defs.hh.diff?cvsroot=ppl&r1=1.38&r2=1.39
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.inlines.hh.diff?cvsroot=ppl&r1=1.31&r2=1.32
More information about the PPL-devel
mailing list