a> of file <a class="el" href="cp__model_8pb_8h_source.html">cp_model.pb.h</a>.</p>
</div><table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-types"></a>
Public Types</h2></td></tr>
<tr class="memitem:a8843093f61888f041550f03637af5395"><td class="memItemLeft" align="right" valign="top">enum &#160;</td><td class="memItemRight" valign="bottom">: int { <br />
&#160;&#160;<a class="el" href="classoperations__research_1_1sat_1_1AutomatonConstraintProto.html#a88430