054f9e55bbf4743a577284bc7caa1904">WallTime</a> ()</td></tr>
<tr class="separator:a054f9e55bbf4743a577284bc7caa1904"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a8bdd8eafa82cf805b3628a1466224278"><td class="memItemLeft" align="right" valign="top">double&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classGoogle_1_1OrTools_1_1Sat_1_1SolutionCallback.html#a8bdd8eafa82cf805b3628a1466224278">UserTime</a> ()</td></tr>
<tr class="separator:a8bdd8eafa82cf805b3628