div">
<h2><span class="refentrytitle">Function template public_function</span></h2>
<p>boost::contract::public_function &#8212; Program contracts for public functions that are not static, not virtual, and do not not override. </p>
</div>
<h2 xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" class="refsynopsisdiv-title">Synopsis</h2>
<div xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" class="refsynopsisdiv"><pre class="synopsis"><span class="comment">// In header: &lt;<a 