[PPL-devel] ppl/src BD_Shape.inlines.hh

[Roberto Bagnara]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	bagnara at cs.unipr.it	2006-09-24 17:54:52

Modified files:
	src            : BD_Shape.inlines.hh 

Log message:
	Fixed is_even() and is_additive_inverse()
	(ROUND_IGNORE evaluates the returned Result info lazily, that is, it
	will happily return V_LGE ---a.k.a. "don't know"--- if returning
	something more precise costs one extra clock cycle).

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?cvsroot=ppl&r1=1.130&r2=1.131