olspan="2">&#160;</td></tr>
<tr class="memitem:aa220e57a4617b172cb0546066812eb8e"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classoperations__research_1_1sat_1_1AutomatonConstraintProto.html#aa220e57a4617b172cb0546066812eb8e">clear_transition_tail</a> ()</td></tr>
<tr class="separator:aa220e57a4617b172cb0546066812eb8e"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a067e2b08a4dff8ddf2e14409358f99d3"