CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell@cs.unipr.it 2005-11-23 00:06:35

Modified files: src : Grid_public.cc Grid_nonpublic.cc Grid_minimize.cc Grid.defs.hh Congruence_System.cc

Log message: Move the code in the static minimize methods into update_congruences and update_generators. Call update_congruences and update_generators instead of the static minimize methods in methods add_recycled_congruences_and_minimize and add_recycled_generators_and_minimize. In OK test congruence to generator conversion via a temporary grid instead of a temporary congruence system.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_nonpublic.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_minimize.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.cc.diff?...