Boost logo

Boost :

From: Valentin Bonnard (Bonnard.V_at_[hidden])
Date: 1999-11-10 12:30:43

Darin Adler wrote:

> It seems a bit extreme to leave this up to each individual programmer to
> decide.

Indeed. I would go as far as saying it is silly.

> But I'd like to hear others' thoughts on the matter.

The natural post-condition of a = b is a == b, and it's
the _only_ natural post-condition. This is just

Valentin Bonnard

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