rations__research_1_1sat_1_1AutomatonConstraintProto.html">AutomatonConstraintProto</a> &amp;from)</td></tr>
<tr class="separator:aa09e7b21f5c9368afe0752e6197f499d"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a03072e1fbb45edb7bb8ac7f9e77c4c92"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classoperations__research_1_1sat_1_1AutomatonConstraintProto.html#a03072e1fbb45edb7bb8ac7f9e77c4c92">AutomatonConstr