[PPL-devel] ppl/src Polyhedron.defs.hh Polyhedron.cc
Elisa Ricci
ericci at spartacus.cs.unipr.it
Fri Oct 19 12:15:46 CEST 2001
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: ericci at cs.unipr.it 2001-10-19 12:15:46
Modified files:
src : Polyhedron.defs.hh Polyhedron.cc
Log message:
In functions widening_assign and limited_widening_assign considered
the case of empty-polyhedron and the exception for the different
dimension of the polyhedra and the matrix (this for the limited_widening);
added some explanations for the parameters.
In function assign_variable and substitute_variable considered the
exceptions for the variable that is not inside the polyhedron and the
expression that does not have the right dimension.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cvsroot=ppl&r1=1.31&r2=1.32
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroot=ppl&r1=1.24&r2=1.25
More information about the PPL-devel
mailing list