="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:a5dc1c232f4ce0a1eb3ff92267e3d61ff"><td class="memItemLeft" align="right" valign="top">enum &#160;</td><td class="memItemRight" valign="bottom">: int { <a class="el" href="classoperations__research_1_1sat_1_1BoolArgumentProto.html#a5dc1c232f4ce0a1eb3ff92267e3d61ffa8d39ebe0490d12a9389064484bb