CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@cs.unipr.it 2003-01-11 22:34:51

Modified files: src : Polyhedron.cc

Log message: Got rid of preprocessing flag NEW_LIMITED_GROWTH_ORDERING: now always using the new lgo in is_BHRZ03_stabilizing(). Added preprocessing flag EVOLVING_RAYS_SATURATORS for testing purposes on the evolving rays technique of BHRZ03_widening_assign(). Some improvements in the variable names and comments of the evolving rays technique. No longer testing for stabilization after applying H79 (unless assertions are turned on).

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroot...