CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@cs.unipr.it 2003-04-08 13:08:52

Removed files: src : Polyhedron.cc

Log message: Implementation file Polyhedron.cc has been split in 4 chunks: - Polyhedron_widenings.cc contains the definitions of (non-inline) functions related to widening and extrapolation operators; - Polyhedron_chdims.cc contains the definitions of (non-inline) functions that change the space dimensions; - Polyhedron_public.cc contains the definitions of all the other public (non-inline) functions - Polyhedron_nonpublic.cc contains the definitions of all the other non-public (i.e., private or protected) (non-inline) functions.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroot...