CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@cs.unipr.it 2008-10-23 15:03:08

Modified files: . : TODO doc : definitions.dox src : Polyhedron.defs.hh

Log message: Improved the documentation for boxes, intervals and the bounded extrapolations. Replace the brief descriptions of the bounded extrapolations in Polyhedron.defs.hh by shorter descriptions that ju st refer to the relevant paragraphs in definitions.dox. Removed the out-of-date paragraph about the domains in section 1.1 of the main user's manual. Removed a todo item.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cv...