[PPL-devel] Polyhedra/src Polyhedron.cc

[Angela Stazzone]

CVSROOT:	/usr/local/cvsroot/pma2000
Module name:	Polyhedra
Changes by:	stazzone at sandbox.cs.unipr.it	01/06/13 17:25:26

Modified files:
	src            : Polyhedron.cc 

Log message:
	Removed some redundant descriptions.
	Removed some useless \fn and \param Doxygen directives.
	Maybe found a couple of bug (will fix them tomorrow).
	Others little changes in documentations.
	In description of OK() we refer to homogeneization
	(then to positivity constraint and vertex needed): should
	users know about it?