CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@cs.unipr.it 2002-06-11 11:54:59
Modified files: src : GenSys.cc GenSys.defs.hh GenSys.inlines.hh Polyhedron.cc
Log message: Added method GenSys::const_iterator::skip_forward(): if the generator currently pointed is a closure point and the next generator is the point matching this closure point, then it skips to the next generator. This method is used to skip redundant closure points when iterating through strongly-minimized generator systems. Added note to Polyhedron::strongly_minimize_generators() stating that the approach is correct if the generator system is sorted.
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=ppl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.inlines.hh.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroot...