>Initial value:</b><div class="fragment"><div class="line">=</div>
<div class="line">    18</div>
</div><!-- fragment -->
<p class="definition">Definition at line <a class="el" href="cp__model_8pb_8h_source.html#l03377">3377</a> of file <a class="el" href="cp__model_8pb_8h_source.html">cp_model.pb.h</a>.</p>

</div>
</div>
<hr/>The documentation for this class was generated from the following file:<ul>
<li><a class="el" href="cp__model_8pb_8h_source.html">cp_model.pb.h</a></li>
</ul>
</div><!-- contents -->