[PPL-devel] ppl doc/definitions.dox src/Polyhedron.defs.hh
Enea Zaffanella
zaffanella at spartacus.cs.unipr.it
Fri Feb 21 16:09:33 CET 2003
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella at cs.unipr.it 2003-02-21 16:09:33
Modified files:
doc : definitions.dox
src : Polyhedron.defs.hh
Log message:
In the documentation, added explanation for the BHRZ03 widening and the
widening with tokens technique.
Broken <a name=...> links replaced by \ref and \anchor.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsroot=ppl&r1=1.105&r2=1.106
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cvsroot=ppl&r1=1.186&r2=1.187
More information about the PPL-devel
mailing list