="separator:ab1a05788afa206a0fd73ba052ac18520"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:ac7a72ff7bd5bde08ba00f944c5aa3168"><td class="memItemLeft" align="right" valign="top">::PROTOBUF_NAMESPACE_ID::int32&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classoperations__research_1_1sat_1_1AutomatonConstraintProto.html#ac7a72ff7bd5bde08ba00f944c5aa3168">vars</a> (int index) const</td></tr>
<tr class="separator:ac7a72ff7bd5bde08ba00f944c5aa3168"><td class=