CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell@cs.unipr.it 2006-06-15 23:29:30
Modified files: src : Direct_Product.templates.hh Direct_Product.inlines.hh Direct_Product.defs.hh
Log message: Define more of the adding methods (add_congruence(), etc). Take out the constraint parameter congruence adding method declarations. Correct some of the predicate methods. Add to Open_Product the remaining constructors, ~Open_Product() and operator=. Define Open_Product::is_universe().
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.templates.h... 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...