"code" href="namespacecom_1_1google_1_1ortools_1_1sat.html">sat</a>.<a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProtobuf.html">CpModelProtobuf</a>.<a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProtobuf.html#a59e560ee75736dcaacca4641402b059d">getDescriptor</a>().getEnumTypes().get(0);</div>
<div class="line"><a name="l00180"></a><span class="lineno">  180</span>&#160;  }</div>
<div class="line"><a name="l00181"></a><span class="lineno">  181</span>&#160; </div>