ccb8c44cf24916412a57fbb685"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a34eb34038fea79741bdc6e2972931d87"><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#a34eb34038fea79741bdc6e2972931d87">Swap</a> (<a class="el" href="classoperations__research_1_1sat_1_1AutomatonConstraintProto.html">AutomatonConstraintProto</a> *other)</td></tr>
<tr 