[PPL-devel] ppl/src Octagon.defs.hh Octagon.inlines.hh Oct ...
Enea Zaffanella
zaffanella at cs.unipr.it
Wed Apr 26 14:31:16 CEST 2006
CVSROOT: /cvs/ppl
Module name: ppl
Branch: octagons
Changes by: zaffanella at cs.unipr.it 2006-04-26 14:31:15
Modified files:
src : Octagon.defs.hh Octagon.inlines.hh
Octagon.templates.hh
Log message:
In Octagon.defs.hh:
Small formatting and documentation improvements (Use the multiline
Doxygen comment style for comments spanning more lines).
Methods grouped into classes (as done for other domains).
Added declarations for debugging-related output methods.
In Octagon.inlines.hh:
Do not include useless file headers (vector, deque, string).
Avoid lines that are twoo long and trailing whitespace.
Use OR_Matrix::shrink() instead of OR_Matrix::remove_rows().
In OR_Matrix.templates.hh:
Do include header file for strings.
Several optimizations to strong_closure_assign().
Added several missing const modifiers.
Prefer using "\n" to std::endl when printing on streams.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagon.defs.hh.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.1.2.11&r2=1.1.2.12
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagon.inlines.hh.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.1.2.12&r2=1.1.2.13
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagon.templates.hh.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.1.2.17&r2=1.1.2.18
More information about the PPL-devel
mailing list