CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@cs.unipr.it 2008-04-17 11:05:53

Modified files: src : Polyhedron.defs.hh Polyhedron_public.cc

Log message: Added new methods void unconstrain(Variable var); void unconstrain(const Variable_Set& to_be_unconstrained); that modify the polyhedron by computing the cylindrification on the specified space dimensions. In the documentation, moved the static methods can_recycle_constraints and can_recycle_congruences to a better place.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff?...