CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: zaffanella@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?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagon.inlines.hh.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagon.templates.hh.diff?...