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

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@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.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.inlines.hh....