CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@cs.unipr.it 2006-03-05 22:29:35

Modified files: tests : print.hh tests/Grid : bhz03widening1.cc certificate1.cc

Log message: Removed redundant code from Grid/certificate1.cc Added print_congruences for powersets in print.hh and use it in Grid/bhz03widening1.cc

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/print.hh.diff?cvsroot=pp... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/bhz03widening1.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/certificate1.cc.dif...