gn="right" valign="top"><a class="el" href="classoperations__research_1_1sat_1_1AutomatonConstraintProto.html">AutomatonConstraintProto</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classoperations__research_1_1sat_1_1AutomatonConstraintProto.html#a936a05ccb8c44cf24916412a57fbb685">operator=</a> (<a class="el" href="classoperations__research_1_1sat_1_1AutomatonConstraintProto.html">AutomatonConstraintProto</a> &amp;&amp;from) noexcept</td></tr>
<tr class="separator:a936a05