Re: [boost] Review Request: Creasing (Sequence Properties)

Subject: Re: [boost] Review Request: Creasing (Sequence Properties)
From: Stewart, Robert (Robert.Stewart_at_[hidden])
Date: 2010-01-27 16:43:29

Joachim Faulhaber wrote:
>
> 'is_sorted' is an important predicate. But it lives as an invariant
> to be maintained rather than a function to computed. So we have
> happily coded all kinds of sorted things without explicitly using
> and not necessarily needing it.
>
> My question: Other than inside BOOST_ASSERTS, where do we really
> need is_sorted in production code. Are there convincing use cases?

That's an excellent question.  I, too, foresaw its usefulness in assertions.  I can imagine those doing DBC would like it, too.  However, I can imagine examining file, network, or user input to ensure the data fits some ordering criteria, too.

_____
Rob Stewart                           robert.stewart_at_[hidden]
Software Engineer, Core Software      using std::disclaimer;
Susquehanna International Group, LLP  http://www.sig.com

IMPORTANT: The information contained in this email and/or its attachments is confidential. If you are not the intended recipient, please notify the sender immediately by reply and immediately delete this message and all its attachments. Any review, use, reproduction, disclosure or dissemination of this message or any attachment by an unintended recipient is strictly prohibited. Neither this message nor any attachment is intended as or should be construed as an offer, solicitation or recommendation to buy or sell any security or other financial instrument. Neither the sender, his or her employer nor any of their respective affiliates makes any warranties as to the completeness or accuracy of any of the information contained herein or that this message or any of its attachments is free of viruses.