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

[Angela Stazzone]

CVSROOT:	/usr/local/cvsroot/pma2000
Module name:	Polyhedra
Changes by:	stazzone at sandbox.cs.unipr.it	01/06/11 17:00:45

Modified files:
	src            : GenSys.cc GenSys.defs.hh GenSys.inlines.hh 

Log message:
	Removed some useless doxygen \fn directive.
	Small changes in comments.
	Still something not clear in generators_satisfy_constraint()
	and some AP comment to understand.