gnment* Arena::CreateMaybeMessage&lt;::operations_research::sat::BooleanAssignment &gt; </td>
          <td>(</td>
          <td class="paramtype">Arena *&#160;</td>
          <td class="paramname"></td><td>)</td>
          <td></td>
        </tr>
      </table>
</div><div class="memdoc">

</div>
</div>
<a id="ab7b9f3d8de786e766dd296fe34d835b1"></a>
<h2 class="memtitle"><span class="permalink"><a href="#ab7b9f3d8de786e766dd296fe34d835b1">&#9670;&nbsp;</a></span>Arena::CreateMaybeMessage&lt;::operations_rese