exception_hpp" title="Header &lt;boost/contract/core/exception.hpp&gt;">boost/contract/core/exception.hpp</a>&gt;

</span>
<span class="identifier">from_failure_handler</span> <span class="keyword">const</span> <span class="special">&amp;</span> 
<span class="identifier">set_postcondition_failure</span><span class="special">(</span><span class="identifier">from_failure_handler</span> <span class="keyword">const</span> <span class="special">&amp;</span> f<span class="special">)</span><span class="special">;<