[PPL-devel] Polyhedra/src GenSys.cc

[Sara Bonini]

CVSROOT:	/usr/local/cvsroot/pma2000
Module name:	Polyhedra
Changes by:	bonini at sandbox.cs.unipr.it	01/06/10 13:05:13

Modified files:
	src            : GenSys.cc 

Log message:
	Improvement in generators_satisfy_constraint(...) :
	for(size_t i = 0; i < n_rows; ++i) substituted by
	for(size_t i = n_rows; i-- > 0;),
	added some comments and some FIXME (for little explanation).