CVSROOT: /cvs/ppl
Module name: ppl
Changes by: ericci(a)cs.unipr.it 2002-10-08 09:24:51
Modified files:
src : Polyhedron.cc
Log message:
Modified Polyhedron::is_BBRZ02_stabilizing(): if the number of points
(or closure points) of `y' is smaller than the number of points of `x',
the chain is not stabilizing.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: ericci(a)cs.unipr.it 2002-10-07 17:16:04
Modified files:
src : Polyhedron.cc
Log message:
Made a little improvement to the third technique of
Polyhedron::BBRZ02_widening_assign(): we built a temporary
system of generators and then we use Polyhedron::add_generators_and_minimize()
to add this system to the polyhedron `x'.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: ericci(a)cs.unipr.it 2002-10-07 16:07:03
Modified files:
src : Polyhedron.cc
Log message:
Corrected an error in the second technique of
Polyhedron::BBRZ02_widening_assign(): we add the system of generators
`valid_rays' if the new ray has all homogeneous coefficients equal to zero
or if adding only a ray there is not stabilization.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: ericci(a)cs.unipr.it 2002-10-07 14:38:56
Modified files:
src : Polyhedron.cc
Log message:
Modified the second technique of Polyhedron::BBRZ02_widening_assign()
so that before we add only the averaged ray and if the result is not
stabilizing we add all the rays of `valid_rays'.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella(a)cs.unipr.it 2002-10-07 12:12:23
Modified files:
src : Polyhedron.cc
Log message:
In is_BBRZ02_stabilizing(), corrected a bug in the test on stabilization
based on number of rays.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella(a)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?cvsroo…
