CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@cs.unipr.it 2007-11-15 14:52:30

Modified files: src : Partially_Reduced_Product.defs.hh Partially_Reduced_Product.inlines.hh Partially_Reduced_Product.templates.hh tests/Grid : partiallyreducedproduct1.cc

Log message: Corrected the set_reduced_flag() to clear_reduced_flag() when building a new product from constraints or congruences. Made 2 additional tests for OK() that checks products after using these constructors. The code implementing OK() now forces reduced() to reduce the copy of *this by setting its "reduced" flag to false. The code for OK() now moved to *.templates.hh Some formatting improvements mainly in *.inlines.hh.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/partiallyreducedpro...