[PPL-devel] ppl/src Polyhedron.defs.hh Polyhedron.cc
ericci at spartacus.cs.unipr.it
Fri Oct 19 12:15:46 CEST 2001
Module name: ppl
Changes by: ericci at cs.unipr.it 2001-10-19 12:15:46
src : Polyhedron.defs.hh Polyhedron.cc
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.
More information about the PPL-devel