Boost logo

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" <> 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

Boost list run by bdawes at, gregod at, cpdaniel at, john at