><td class="memItemRight" valign="bottom"><a class="el" href="classoperations__research_1_1sat_1_1AutomatonConstraintProto.html#ae76c3ed52304fd7b8014f8493eab2789">operator=</a> (const <a class="el" href="classoperations__research_1_1sat_1_1AutomatonConstraintProto.html">AutomatonConstraintProto</a> &amp;from)</td></tr>
<tr class="separator:ae76c3ed52304fd7b8014f8493eab2789"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a936a05ccb8c44cf24916412a57fbb685"><td class="memItemLeft" ali