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?