[Boost-bugs] [Boost C++ Libraries] #3791: incorrect postcondition in documentation

Subject: [Boost-bugs] [Boost C++ Libraries] #3791: incorrect postcondition in documentation
From: Boost C++ Libraries (noreply_at_[hidden])
Date: 2009-12-22 14:20:40


#3791: incorrect postcondition in documentation
--------------------------+-------------------------------------------------
 Reporter: anonymous | Owner: agurtovoy
     Type: Bugs | Status: new
Milestone: Boost 1.42.0 | Component: mpl
  Version: Boost 1.41.0 | Severity: Cosmetic
 Keywords: |
--------------------------+-------------------------------------------------
 I don't think the following postcondition for "insert" on associative
 sequences is correct:

 typedef insert<s,x>::type r;
 Postcondition:
 size<r>::value == size<s>::value + 1.

 if r contains x, size<r>::value == size<s>::value

-- 
Ticket URL: <https://svn.boost.org/trac/boost/ticket/3791>
Boost C++ Libraries <http://www.boost.org/>
Boost provides free peer-reviewed portable C++ source libraries.

This archive was generated by hypermail 2.1.7 : 2017-02-16 18:50:02 UTC