d90e879d1716586bee"><td class="memItemLeft" align="right" valign="top">static constexpr int&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classoperations__research_1_1sat_1_1AutomatonConstraintProto.html#a8473d52a88ddd9d90e879d1716586bee">kIndexInFileMessages</a></td></tr>
<tr class="separator:a8473d52a88ddd9d90e879d1716586bee"><td class="memSeparator" colspan="2">&#160;</td></tr>
</table>
<h2 class="groupheader">Member Enumeration Documentation</h2>
<a id="a8843093f61888f041550f036