CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell@cs.unipr.it 2006-06-05 12:11:25

Modified files: src : Direct_Product.inlines.hh Direct_Product.defs.hh

Log message: Add domain1(), domain2(), reduce_domain1_with_domain2(), reduce_domain2_with_domain1(), reduce(), OK(), ascii methods and operator<<. Implement some of the already defined methods.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.inlines.hh.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.defs.hh.dif...