[PPL-devel] ppl src/Grid_public.cc src/Grid.defs.hh ./TODO

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell@cs.unipr.it 2005-11-07 14:35:09

Modified files: src : Grid_public.cc Grid.defs.hh . : TODO

Log message: Add add_congruences(cs). In add_congruences_and_minimize(cs) add the congruences with add_recycled_congruences_and_minimize.

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.defs.hh.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&only...