 <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname">void VisitIntegerVariable </td>
          <td>(</td>
          <td class="paramtype">const IntVar *const&#160;</td>
          <td class="paramname"><em>variable</em>, </td>
        </tr>
        <tr>
          <td class="paramkey"></td>
          <td></td>
          <td class="paramtype">const std::string &amp;&#160;</td>
          <td class="paramname"><em>operation</em>, </td>
        </tr>
        <