CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@cs.unipr.it 2008-11-03 10:23:18

Modified files: src : BD_Shape.defs.hh Octagonal_Shape.defs.hh

Log message: In the detailed documentation for Octagonal_Shape, say explicitly which constraints/congruences are optimally supported. Exploiting this, simplify the documentation for methods add_*.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.defs.hh.di...