CVSROOT: /usr/local/cvsroot/pma2000
Module name: Polyhedra
Changes by: ericci(a)sandbox.cs.unipr.it 01/10/01 16:49:44
Modified files:
src : Polyhedron.cc
Log message:
Commented the function limited_widening_assign(...).
Added a comment to check_universe().
