
<p class="definition">Definition at line <a class="el" href="cp__model_8pb_8h_source.html#l07673">7673</a> of file <a class="el" href="cp__model_8pb_8h_source.html">cp_model.pb.h</a>.</p>

</div>
</div>
<a id="a4290e4a16ab8557489049ab8509de9ef"></a>
<h2 class="memtitle"><span class="permalink"><a href="#a4290e4a16ab8557489049ab8509de9ef">&#9670;&nbsp;</a></span>set_starting_state()</h2>

<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table cla