0a388b53df255f15fbec07e1ac80"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a72d41feda9a93c11089d3d99d6270999"><td class="memItemLeft" align="right" valign="top">int&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classoperations__research_1_1sat_1_1BoolArgumentProto.html#a72d41feda9a93c11089d3d99d6270999">literals_size</a> () const</td></tr>
<tr class="separator:a72d41feda9a93c11089d3d99d6270999"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr cla