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

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell@cs.unipr.it 2005-05-26 16:58:40

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

Log message: Restore the declaration of add_congruence(c), and add a new declaration for add_congruences_and_minimize(cs). Take out the add_congruence_and_minimize(cs) declaration. Improve the ordering of the public definitions. Define add_congruence(c) and add_congruence_and_minimize(c).

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=...