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....