o">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="classoperations__research_1_1sat_1_1BoolArgumentProto.html">BoolArgumentProto</a> </td>
          <td>(</td>
          <td class="paramname"></td><td>)</td>
          <td></td>
        </tr>
      </table>
</div><div class="memdoc">

</div>
</div>
<a id="a7711670a8a8b22d2d4e3a89e8a0ba939"></a>
<h2 class="memtitle"><span class="permalink"><a href="#a7711670a8a8b22d2d4e3a89e8a0ba939">&#9670;&nbsp;</a></span>~BoolA