[PPL-devel] ppl/src Box.defs.hh

[Enea Zaffanella]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	zaffanella at 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=ppl&r1=1.21&r2=1.22