[PPL-devel] ppl/src Polyhedron.cc

7 Oct 2002


      CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	zaffanella@cs.unipr.it	2002-10-07 11:31:22
Modified files:
    src            : Polyhedron.cc
Log message:
    Modified method Polyhedron::is_BBRZ02_stabilizing(x, y) so that:
    - we check for a decreasing number of rays lying inside the faces
    of an orthant.
    - we check whether x and y do happens to be the same polyhedron.
    Modified method  Polyhedron::BBRZ02_widening_assign(y) to apply,
    as a last resort, the widening H79.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroot...

[PPL-devel] ppl/src Polyhedron.cc

Enea Zaffanella