2 May
2006
2 May
'06
9:31 a.m.
CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: zaffanella@cs.unipr.it 2006-05-02 09:31:55 Modified files: src : Octagonal_Shape.templates.hh Log message: A few improvements to comments. Added some missing const qualifiers; removed redundant parentheses. Some improvements to the incremental strong closure procedure (mainly in readability). Corrected strong_coherence_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates....