|
|
Boost : |
Subject: Re: [boost] [review][constrained_value] Review of Constrained Value Library begins today
From: Robert Kawulak (robert.kawulak_at_[hidden])
Date: 2008-12-10 22:35:07
> From: Johan Rade
> The statement is
> "x <= y before truncation implies x <= y after truncation".
Or more specifically:
"x < y before truncation implies x <= y after truncation"
Is this right?
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk