</table>
</div><div class="memdoc">

<p class="definition">Definition at line <a class="el" href="cp__model_8pb_8h_source.html#l07839">7839</a> of file <a class="el" href="cp__model_8pb_8h_source.html">cp_model.pb.h</a>.</p>

</div>
</div>
<a id="afeaa27c943df0fdda9cdd0470ed864f6"></a>
<h2 class="memtitle"><span class="permalink"><a href="#afeaa27c943df0fdda9cdd0470ed864f6">&#9670;&nbsp;</a></span>mutable_transition_tail()</h2>

<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <