Boost logo

Boost :

Subject: Re: [boost] [contract] toward N3351 concepts
From: Andrew Sutton (asutton.list_at_[hidden])
Date: 2012-10-05 19:52:20

>>> Zero breaks the postconditions of division. So?
>> Not always. Dividing by 0.0 for floating point types is a valid
>> operation resulting in inf.
> Yes, I'm talking about ints.

Were you? I must have mis-interpreted your intent.

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