[PPL-devel] ppl/src Polyhedron.defs.hh Polyhedron.templates.hh
Enea Zaffanella
zaffanella at cs.unipr.it
Thu Sep 4 13:57:13 CEST 2008
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella at cs.unipr.it 2008-09-04 13:57:13
Modified files:
src : Polyhedron.defs.hh Polyhedron.templates.hh
Log message:
The templatic constructor of a Polyhedron from a box now requires that
the box is indeed an instantiation of the Box class template; documentation
simplified accordingly.
Fixed documentation regarding the addition of congruences, so as to better
specify when an exception is thrown.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cvsroot=ppl&r1=1.345&r2=1.346
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.templates.hh.diff?cvsroot=ppl&r1=1.20&r2=1.21
More information about the PPL-devel
mailing list