ass="special">&gt;</span> <a class="link" href="specify_except.html" title="Class specify_except">specify_except</a> <a name="idm45572792081088-bb"></a><span class="identifier">postcondition</span><span class="special">(</span><span class="identifier">F</span> <span class="keyword">const</span> <span class="special">&amp;</span> f<span class="special">)</span><span class="special">;</span></pre>Allow to specify postconditions. <p>

</p>
<div class="variablelist"><table border="0" class="variablelist compact