href="classcom_1_1google_1_1ortools_1_1sat_1_1IntegerVariableProto-members.html">List of all members</a>  </div>
  <div class="headertitle">
<div class="title">IntegerVariableProto</div>  </div>
</div><!--header-->
<div class="contents">
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
<div class="textblock"><pre>
An integer variable.
It will be referred to by an int32 corresponding to its index in a
<a class="el" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProto