CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell@cs.unipr.it 2005-11-08 13:32:22

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

Log message: Add Grid(cs), add_constraint_and_minimize(c), add_constraints_and_minimize(cs), add_recycled_constraints(cs) and add_recycled_constraints_and_minimize(cs). In all of the constraint adding methods allow the addition of any kind of constraint (instead of only equalities). In add_constraints(cs) use Congruence_System(cs) to add the constraints. Improve some method descriptions.

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