12 Mar
2007
12 Mar
'07
2:22 p.m.
CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@cs.unipr.it 2007-03-12 14:22:13
Modified files: src : Box.defs.hh
Log message: Added typedef Tmp_Interval_Type for the interval datatype that has to be used when performing internal computations and trying to avoid the accumulation of rounding errors. As for now, this is defined to be the same as Interval.
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.defs.hh.diff?cvsroot=p...