[PPL-devel] ppl/src GenSys.cc GenSys.defs.hh GenSys.inline ...

[Enea Zaffanella]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	zaffanella at 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&r1=1.50&r2=1.51
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsroot=ppl&r1=1.57&r2=1.58
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.inlines.hh.diff?cvsroot=ppl&r1=1.17&r2=1.18
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroot=ppl&r1=1.172&r2=1.173