[PPL-devel] ppl/src Generator.cc

[Enea Zaffanella]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	zaffanella at cs.unipr.it	2002-04-10 12:28:25

Modified files:
	src            : Generator.cc 

Log message:
	The OK() function for Generator no longer checks that, for points,
	the epsilon coordinate is less than or equal to 1
	(because strong minimization does not maintain this invariant).

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.cc.diff?cvsroot=ppl&r1=1.28&r2=1.29