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

[Enea Zaffanella]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	zaffanella at cs.unipr.it	2003-02-03 15:11:54

Modified files:
	src            : Polyhedron.cc Polyhedron.defs.hh 

Log message:
	The quick equivalence check is now a provate method of Polyhedron and it
	is called also by the inclusion test operator<=.
	Improved the computation of the H79widening operator by resorting to
	CH78 when polyhedra x and y have the same dimension.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroot=ppl&r1=1.286&r2=1.287
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cvsroot=ppl&r1=1.179&r2=1.180