[PPL-devel] ppl/src Generator.cc Generator.defs.hh Matrix. ...

[Enea Zaffanella]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	zaffanella at cs.unipr.it	2002-03-28 20:07:47

Modified files:
	src            : Generator.cc Generator.defs.hh Matrix.cc 
	                 NNC_Polyhedron.cc PolyBase.cc 

Log message:
	Added method
	bool Generator::is_corresponding_closure_point(const Generator&) const;
	Methods NNC_Polyhedron::is_necessarily_closed() and PolyBase::NNC_minimize()
	updated to use the above method; this also corrects a bug in the previous
	implementations.
	
	Added a \param Doxygen command in Matrix.cc to avoid a warning.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.cc.diff?cvsroot=ppl&r1=1.26&r2=1.27
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cvsroot=ppl&r1=1.53&r2=1.54
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=ppl&r1=1.33&r2=1.34
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.cc.diff?cvsroot=ppl&r1=1.4&r2=1.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.cc.diff?cvsroot=ppl&r1=1.8&r2=1.9