mItemLeft" align="right" valign="top">::PROTOBUF_NAMESPACE_ID::RepeatedField&lt; ::PROTOBUF_NAMESPACE_ID::int32 &gt; *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classoperations__research_1_1sat_1_1AutomatonConstraintProto.html#a4392924fce7f5d9851171c0915a478a6">mutable_vars</a> ()</td></tr>
<tr class="separator:a4392924fce7f5d9851171c0915a478a6"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:ac4010681113971e96805102a05520c37"><td class="memItemLeft" ali