[PPL-devel] ppl/src Polyhedron.cc
Enea Zaffanella
zaffanella at spartacus.cs.unipr.it
Tue Apr 8 13:08:52 CEST 2003
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella at 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=ppl&r1=1.321&r2=NONE
More information about the PPL-devel
mailing list