|
|
Boost : |
Subject: Re: [boost] [Review:Algorithms] Order of args to clamp
From: Dave Abrahams (dave_at_[hidden])
Date: 2011-09-25 09:57:40
on Sun Sep 25 2011, "Phil Endecott" <spam_from_boost_dev-AT-chezphil.org> wrote:
> If you need to prove the correctness of something and this makes that
> difficult for you, you're welcome to use a subset of the
> functionality.
No, no, no. Sorry to be so hard-line about this, but no.
What is the documented behavior of this algorithm going to be?
Note that documenting the behavior in terms of an implementation isn't
acceptable. One important function of documentation is to be a
*different* description of the same semantics so that the algorithm's
correctness can be verified.
-- Dave Abrahams BoostPro Computing http://www.boostpro.com
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk