lass="separator:a7454fffe82ad5c70de2529a8dc4b9573"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:af0ba9632526ed1fe4d2934418fb2e660"><td class="memItemLeft" align="right" valign="top">int&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classoperations__research_1_1sat_1_1AutomatonConstraintProto.html#af0ba9632526ed1fe4d2934418fb2e660">transition_tail_size</a> () const</td></tr>
<tr class="separator:af0ba9632526ed1fe4d2934418fb2e660"><td class="memSeparator" c