Skip to content

Q
qgroundcontrol
Switch branch/tag
Find file
Normal viewHistoryPermalink
IntVar_8java_source.html 28.5 KB
Newer Older
Valentin Platzgummer's avatar
or-tools src added
b443244f
 
Valentin Platzgummer committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
    <head>
        <title>OR-Tools</title>
        <meta http-equiv="Content-Type" content="text/html;"/>
        <meta charset="utf-8"/>
        <!--<link rel='stylesheet' type='text/css' href="https://fonts.googleapis.com/css?family=Ubuntu:400,700,400italic"/>-->
        <link rel="stylesheet" type="text/css" href="ortools.css" title="default" media="screen,print" />
        <script type="text/javascript" src="jquery.js"></script>
        <script type="text/javascript" src="dynsections.js"></script>
    </head>
    <body>
        <div id="banner-container">
            <div id="banner">
                <span id="sfml">Google OR-Tools 7.3</span>
            </div>
        </div>
        <div id="content" style="width: 100%; overflow: hidden;">
        <div style="margin-left: 15px; margin-top: 5px; float: left; color: #145A32;">
        <h2>Java Reference</h2>
        <ul>
          <li><a href="../java/namespacecom_1_1google_1_1ortools_1_1sat.html">CP-SAT</a></li>
          <li><a href="../java/namespacecom_1_1google_1_1ortools_1_1graph.html">Graph</a></li>
          <li><a href="../java/namespacecom_1_1google_1_1ortools_1_1algorithms.html">Knapsack solver</a></li>
          <li><a href="../java/namespacecom_1_1google_1_1ortools_1_1linearsolver.html">Linear solver</a></li>
          <li><a href="../java/namespacecom_1_1google_1_1ortools_1_1constraintsolver.html">Routing</a></li>
          <li><a href="../java/namespacecom_1_1google_1_1ortools_1_1util.html">Util</a></li>
        </ul>
        </div>
        <div id="content">
            <div align="center">
                <h1 style="color: #145A32;">Java Reference</h1>
            </div>
<!-- Generated by Doxygen 1.8.16 -->
  <div id="navrow1" class="tabs">
    <ul class="tablist">
      <li><a href="namespaces.html"><span>Namespaces</span></a></li>
      <li><a href="annotated.html"><span>Classes</span></a></li>
      <li class="current"><a href="files.html"><span>Files</span></a></li>
    </ul>
  </div>
<div id="nav-path" class="navpath">
  <ul>
<li class="navelem"><a class="el" href="dir_a7cc1eeded8f693d0da6c729bc88c45a.html">ortools</a></li><li class="navelem"><a class="el" href="dir_ed7866a075c77e634cb451a432014e49.html">com</a></li><li class="navelem"><a class="el" href="dir_ed93e231cce03906e5c9f1a0e4259679.html">google</a></li><li class="navelem"><a class="el" href="dir_e79f93676144f0f6b8f1180b80d43c5b.html">ortools</a></li><li class="navelem"><a class="el" href="dir_e5ee533e9c8def55a36155ecb53c6410.html">sat</a></li>  </ul>
</div>
</div><!-- top -->
<div class="header">
  <div class="headertitle">
<div class="title">IntVar.java</div>  </div>
</div><!--header-->
<div class="contents">
<a href="IntVar_8java.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno">    1</span>&#160;<span class="comment">// Copyright 2010-2018 Google LLC</span></div>
<div class="line"><a name="l00002"></a><span class="lineno">    2</span>&#160;<span class="comment">// Licensed under the Apache License, Version 2.0 (the &quot;License&quot;);</span></div>
<div class="line"><a name="l00003"></a><span class="lineno">    3</span>&#160;<span class="comment">// you may not use this file except in compliance with the License.</span></div>
<div class="line"><a name="l00004"></a><span class="lineno">    4</span>&#160;<span class="comment">// You may obtain a copy of the License at</span></div>
<div class="line"><a name="l00005"></a><span class="lineno">    5</span>&#160;<span class="comment">//</span></div>
<div class="line"><a name="l00006"></a><span class="lineno">    6</span>&#160;<span class="comment">//     http://www.apache.org/licenses/LICENSE-2.0</span></div>
<div class="line"><a name="l00007"></a><span class="lineno">    7</span>&#160;<span class="comment">//</span></div>
<div class="line"><a name="l00008"></a><span class="lineno">    8</span>&#160;<span class="comment">// Unless required by applicable law or agreed to in writing, software</span></div>
<div class="line"><a name="l00009"></a><span class="lineno">    9</span>&#160;<span class="comment">// distributed under the License is distributed on an &quot;AS IS&quot; BASIS,</span></div>
<div class="line"><a name="l00010"></a><span class="lineno">   10</span>&#160;<span class="comment">// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.</span></div>
<div class="line"><a name="l00011"></a><span class="lineno">   11</span>&#160;<span class="comment">// See the License for the specific language governing permissions and</span></div>
<div class="line"><a name="l00012"></a><span class="lineno">   12</span>&#160;<span class="comment">// limitations under the License.</span></div>
<div class="line"><a name="l00013"></a><span class="lineno">   13</span>&#160; </div>
<div class="line"><a name="l00014"></a><span class="lineno">   14</span>&#160;<span class="keyword">package </span>com.google.ortools.sat;</div>
<div class="line"><a name="l00015"></a><span class="lineno">   15</span>&#160; </div>
<div class="line"><a name="l00016"></a><span class="lineno">   16</span>&#160;<span class="keyword">import</span> <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.<a class="code" href="namespacecom_1_1google_1_1ortools.html">ortools</a>.<a class="code" href="namespacecom_1_1google_1_1ortools_1_1sat.html">sat</a>.<a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProto.html">CpModelProto</a>;</div>
<div class="line"><a name="l00017"></a><span class="lineno">   17</span>&#160;<span class="keyword">import</span> <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.<a class="code" href="namespacecom_1_1google_1_1ortools.html">ortools</a>.<a class="code" href="namespacecom_1_1google_1_1ortools_1_1sat.html">sat</a>.<a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1IntegerVariableProto.html">IntegerVariableProto</a>;</div>
<div class="line"><a name="l00018"></a><span class="lineno">   18</span>&#160;<span class="keyword">import</span> <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.<a class="code" href="namespacecom_1_1google_1_1ortools.html">ortools</a>.util.Domain;</div>
<div class="line"><a name="l00019"></a><span class="lineno">   19</span>&#160; </div>
<div class="line"><a name="l00021"></a><span class="lineno"><a class="line" href="classcom_1_1google_1_1ortools_1_1sat_1_1IntVar.html">   21</a></span>&#160;<span class="keyword">public</span> <span class="keyword">final</span> <span class="keyword">class </span><a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1IntVar.html">IntVar</a> <span class="keyword">implements</span> <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1Literal.html">Literal</a>, <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1LinearExpr.html">LinearExpr</a> {</div>
<div class="line"><a name="l00022"></a><span class="lineno">   22</span>&#160;  <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1IntVar.html">IntVar</a>(CpModelProto.Builder builder, Domain domain, String name) {</div>
<div class="line"><a name="l00023"></a><span class="lineno">   23</span>&#160;    this.modelBuilder = builder;</div>
<div class="line"><a name="l00024"></a><span class="lineno">   24</span>&#160;    this.variableIndex = modelBuilder.getVariablesCount();</div>
<div class="line"><a name="l00025"></a><span class="lineno">   25</span>&#160;    this.varBuilder = modelBuilder.addVariablesBuilder();</div>
<div class="line"><a name="l00026"></a><span class="lineno">   26</span>&#160;    this.varBuilder.setName(name);</div>
<div class="line"><a name="l00027"></a><span class="lineno">   27</span>&#160;    <span class="keywordflow">for</span> (<span class="keywordtype">long</span> b : domain.flattenedIntervals()) {</div>
<div class="line"><a name="l00028"></a><span class="lineno">   28</span>&#160;      this.varBuilder.addDomain(b);</div>
<div class="line"><a name="l00029"></a><span class="lineno">   29</span>&#160;    }</div>
<div class="line"><a name="l00030"></a><span class="lineno">   30</span>&#160;    this.negation_ = <span class="keyword">null</span>;</div>
<div class="line"><a name="l00031"></a><span class="lineno">   31</span>&#160;  }</div>
<div class="line"><a name="l00032"></a><span class="lineno">   32</span>&#160; </div>
<div class="line"><a name="l00033"></a><span class="lineno">   33</span>&#160;  @Override</div>
<div class="line"><a name="l00034"></a><span class="lineno"><a class="line" href="classcom_1_1google_1_1ortools_1_1sat_1_1IntVar.html#ad146fa8579a5f8a876c4688cc5a68520">   34</a></span>&#160;  <span class="keyword">public</span> String <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1IntVar.html#ad146fa8579a5f8a876c4688cc5a68520">toString</a>() {</div>
<div class="line"><a name="l00035"></a><span class="lineno">   35</span>&#160;    <span class="keywordflow">return</span> varBuilder.toString();</div>
<div class="line"><a name="l00036"></a><span class="lineno">   36</span>&#160;  }</div>
<div class="line"><a name="l00037"></a><span class="lineno">   37</span>&#160; </div>
<div class="line"><a name="l00039"></a><span class="lineno"><a class="line" href="classcom_1_1google_1_1ortools_1_1sat_1_1IntVar.html#a78ee178b6a73658d65ca60da4d1e6683">   39</a></span>&#160;  <span class="keyword">public</span> String <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1IntVar.html#a78ee178b6a73658d65ca60da4d1e6683">getName</a>() {</div>
<div class="line"><a name="l00040"></a><span class="lineno">   40</span>&#160;    <span class="keywordflow">return</span> varBuilder.getName();</div>
<div class="line"><a name="l00041"></a><span class="lineno">   41</span>&#160;  }</div>
<div class="line"><a name="l00042"></a><span class="lineno">   42</span>&#160; </div>
<div class="line"><a name="l00044"></a><span class="lineno">   44</span>&#160;  @Override</div>
<div class="line"><a name="l00045"></a><span class="lineno"><a class="line" href="classcom_1_1google_1_1ortools_1_1sat_1_1IntVar.html#a59d053c950ff1e9f8a004d493f34e754">   45</a></span>&#160;  <span class="keyword">public</span> <span class="keywordtype">int</span> <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1IntVar.html#a59d053c950ff1e9f8a004d493f34e754">getIndex</a>() {</div>
<div class="line"><a name="l00046"></a><span class="lineno">   46</span>&#160;    <span class="keywordflow">return</span> variableIndex;</div>
<div class="line"><a name="l00047"></a><span class="lineno">   47</span>&#160;  }</div>
<div class="line"><a name="l00048"></a><span class="lineno">   48</span>&#160; </div>
<div class="line"><a name="l00050"></a><span class="lineno"><a class="line" href="classcom_1_1google_1_1ortools_1_1sat_1_1IntVar.html#adc3207cdb93a02d31bb3c2037a425e49">   50</a></span>&#160;  <span class="keyword">public</span> IntegerVariableProto.Builder <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1IntVar.html#adc3207cdb93a02d31bb3c2037a425e49">getBuilder</a>() {</div>
<div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;    <span class="keywordflow">return</span> varBuilder;</div>
<div class="line"><a name="l00052"></a><span class="lineno">   52</span>&#160;  }</div>
<div class="line"><a name="l00053"></a><span class="lineno">   53</span>&#160; </div>
<div class="line"><a name="l00054"></a><span class="lineno">   54</span>&#160;  <span class="comment">// LinearExpr interface.</span></div>
<div class="line"><a name="l00055"></a><span class="lineno">   55</span>&#160;  @Override</div>
<div class="line"><a name="l00056"></a><span class="lineno"><a class="line" href="classcom_1_1google_1_1ortools_1_1sat_1_1IntVar.html#a59f9cb76db051cd784a42f38220f896d">   56</a></span>&#160;  <span class="keyword">public</span> <span class="keywordtype">int</span> <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1IntVar.html#a59f9cb76db051cd784a42f38220f896d">numElements</a>() {</div>
<div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;    <span class="keywordflow">return</span> 1;</div>
<div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;  }</div>
<div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160; </div>
<div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;  @Override</div>
<div class="line"><a name="l00061"></a><span class="lineno"><a class="line" href="classcom_1_1google_1_1ortools_1_1sat_1_1IntVar.html#aff988e01e71c0dd3c11e6f970a209520">   61</a></span>&#160;  <span class="keyword">public</span> <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1IntVar.html">IntVar</a> <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1IntVar.html#aff988e01e71c0dd3c11e6f970a209520">getVariable</a>(<span class="keywordtype">int</span> index) {</div>
<div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;    assert (index == 0);</div>
<div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;    <span class="keywordflow">return</span> <span class="keyword">this</span>;</div>
<div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;  }</div>
<div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160; </div>
<div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;  @Override</div>
<div class="line"><a name="l00067"></a><span class="lineno"><a class="line" href="classcom_1_1google_1_1ortools_1_1sat_1_1IntVar.html#a2c77626134edecc47b69efe661ea1904">   67</a></span>&#160;  <span class="keyword">public</span> <span class="keywordtype">long</span> <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1IntVar.html#a2c77626134edecc47b69efe661ea1904">getCoefficient</a>(<span class="keywordtype">int</span> index) {</div>
<div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;    assert (index == 0);</div>
<div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;    <span class="keywordflow">return</span> 1;</div>
<div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;  }</div>
<div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160; </div>
<div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;  @Override</div>
<div class="line"><a name="l00074"></a><span class="lineno"><a class="line" href="classcom_1_1google_1_1ortools_1_1sat_1_1IntVar.html#abe2ffdd9c6d616c6f2a5924cd407f585">   74</a></span>&#160;  <span class="keyword">public</span> String <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1IntVar.html#abe2ffdd9c6d616c6f2a5924cd407f585">getShortString</a>() {</div>
<div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;    <span class="keywordflow">if</span> (varBuilder.getName().isEmpty()) {</div>
<div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;      <span class="keywordflow">if</span> (varBuilder.getDomainCount() == 2 &amp;&amp; varBuilder.getDomain(0) == varBuilder.getDomain(1)) {</div>
<div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;        <span class="keywordflow">return</span> String.format(<span class="stringliteral">&quot;%d&quot;</span>, varBuilder.getDomain(0));</div>
<div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;      } <span class="keywordflow">else</span> {</div>
<div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;        <span class="keywordflow">return</span> String.format(<span class="stringliteral">&quot;var_%d(%s)&quot;</span>, <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1IntVar.html#a59d053c950ff1e9f8a004d493f34e754">getIndex</a>(), <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1IntVar.html#a8ace4881c60b23f63a76a63bab8e9870">displayBounds</a>());</div>
<div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;      }</div>
<div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;    } <span class="keywordflow">else</span> {</div>
<div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;      <span class="keywordflow">return</span> String.format(<span class="stringliteral">&quot;%s(%s)&quot;</span>, <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1IntVar.html#a78ee178b6a73658d65ca60da4d1e6683">getName</a>(), <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1IntVar.html#a8ace4881c60b23f63a76a63bab8e9870">displayBounds</a>());</div>
<div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;    }</div>
<div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;  }</div>
<div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160; </div>
<div class="line"><a name="l00087"></a><span class="lineno"><a class="line" href="classcom_1_1google_1_1ortools_1_1sat_1_1IntVar.html#a8ace4881c60b23f63a76a63bab8e9870">   87</a></span>&#160;  <span class="keyword">public</span> String <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1IntVar.html#a8ace4881c60b23f63a76a63bab8e9870">displayBounds</a>() {</div>
<div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;    String out = <span class="stringliteral">&quot;&quot;</span>;</div>
<div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;    <span class="keywordflow">for</span> (<span class="keywordtype">int</span> i = 0; i &lt; varBuilder.getDomainCount(); i += 2) {</div>
<div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;      <span class="keywordflow">if</span> (i != 0) {</div>
<div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;        out += <span class="stringliteral">&quot;, &quot;</span>;</div>
<div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;      }</div>
<div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;      <span class="keywordflow">if</span> (varBuilder.getDomain(i) == varBuilder.getDomain(i + 1)) {</div>
<div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;        out += String.format(<span class="stringliteral">&quot;%d&quot;</span>, varBuilder.getDomain(i));</div>
<div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;      } <span class="keywordflow">else</span> {</div>
<div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;        out += String.format(<span class="stringliteral">&quot;%d..%d&quot;</span>, varBuilder.getDomain(i), varBuilder.getDomain(i + 1));</div>
<div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;      }</div>
<div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;    }</div>
<div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;    <span class="keywordflow">return</span> out;</div>
<div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;  }</div>
<div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160; </div>
<div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;  @Override</div>
<div class="line"><a name="l00104"></a><span class="lineno"><a class="line" href="classcom_1_1google_1_1ortools_1_1sat_1_1IntVar.html#a9e2c0b0299cf2164e32a7fbc543a7ea6">  104</a></span>&#160;  <span class="keyword">public</span> <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1Literal.html">Literal</a> <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1IntVar.html#a9e2c0b0299cf2164e32a7fbc543a7ea6">not</a>() {</div>
<div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;    <span class="keywordflow">if</span> (negation_ == <span class="keyword">null</span>) {</div>
<div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;      negation_ = <span class="keyword">new</span> NotBooleanVariable(<span class="keyword">this</span>);</div>
<div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;    }</div>
<div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;    <span class="keywordflow">return</span> negation_;</div>
<div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;  }</div>
<div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160; </div>
<div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;  <span class="keyword">private</span> <span class="keyword">final</span> CpModelProto.Builder modelBuilder;</div>
<div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;  <span class="keyword">private</span> <span class="keyword">final</span> <span class="keywordtype">int</span> variableIndex;</div>
<div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;  <span class="keyword">private</span> <span class="keyword">final</span> IntegerVariableProto.Builder varBuilder;</div>
<div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;  <span class="keyword">private</span> NotBooleanVariable negation_;</div>
<div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;}</div>
</div><!-- fragment --></div><!-- contents -->
<div class="ttc" id="aclasscom_1_1google_1_1ortools_1_1sat_1_1IntVar_html_a2c77626134edecc47b69efe661ea1904"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1IntVar.html#a2c77626134edecc47b69efe661ea1904">com.google.ortools.sat.IntVar.getCoefficient</a></div><div class="ttdeci">long getCoefficient(int index)</div><div class="ttdoc">Returns the ith coefficient.</div><div class="ttdef"><b>Definition:</b> <a href="IntVar_8java_source.html#l00067">IntVar.java:67</a></div></div>
<div class="ttc" id="aclasscom_1_1google_1_1ortools_1_1sat_1_1IntegerVariableProto_html"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1IntegerVariableProto.html">IntegerVariableProto</a></div></div>
<div class="ttc" id="aclasscom_1_1google_1_1ortools_1_1sat_1_1IntVar_html_a9e2c0b0299cf2164e32a7fbc543a7ea6"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1IntVar.html#a9e2c0b0299cf2164e32a7fbc543a7ea6">com.google.ortools.sat.IntVar.not</a></div><div class="ttdeci">Literal not()</div><div class="ttdoc">Returns the negation of a boolean variable.</div><div class="ttdef"><b>Definition:</b> <a href="IntVar_8java_source.html#l00104">IntVar.java:104</a></div></div>
<div class="ttc" id="aclasscom_1_1google_1_1ortools_1_1sat_1_1IntVar_html_adc3207cdb93a02d31bb3c2037a425e49"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1IntVar.html#adc3207cdb93a02d31bb3c2037a425e49">com.google.ortools.sat.IntVar.getBuilder</a></div><div class="ttdeci">IntegerVariableProto.Builder getBuilder()</div><div class="ttdoc">Returns the variable protobuf builder.</div><div class="ttdef"><b>Definition:</b> <a href="IntVar_8java_source.html#l00050">IntVar.java:50</a></div></div>
<div class="ttc" id="aclasscom_1_1google_1_1ortools_1_1sat_1_1IntVar_html_a8ace4881c60b23f63a76a63bab8e9870"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1IntVar.html#a8ace4881c60b23f63a76a63bab8e9870">com.google.ortools.sat.IntVar.displayBounds</a></div><div class="ttdeci">String displayBounds()</div><div class="ttdoc">Returns the domain as a string without the enclosing [].</div><div class="ttdef"><b>Definition:</b> <a href="IntVar_8java_source.html#l00087">IntVar.java:87</a></div></div>
<div class="ttc" id="ainterfacecom_1_1google_1_1ortools_1_1sat_1_1Literal_html"><div class="ttname"><a href="interfacecom_1_1google_1_1ortools_1_1sat_1_1Literal.html">com.google.ortools.sat.Literal</a></div><div class="ttdoc">Interface to describe a boolean variable or its negation.</div><div class="ttdef"><b>Definition:</b> <a href="Literal_8java_source.html#l00017">Literal.java:17</a></div></div>
<div class="ttc" id="aclasscom_1_1google_1_1ortools_1_1sat_1_1IntVar_html_ad146fa8579a5f8a876c4688cc5a68520"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1IntVar.html#ad146fa8579a5f8a876c4688cc5a68520">com.google.ortools.sat.IntVar.toString</a></div><div class="ttdeci">String toString()</div><div class="ttdef"><b>Definition:</b> <a href="IntVar_8java_source.html#l00034">IntVar.java:34</a></div></div>
<div class="ttc" id="anamespacecom_1_1google_1_1ortools_1_1sat_html"><div class="ttname"><a href="namespacecom_1_1google_1_1ortools_1_1sat.html">com.google.ortools.sat</a></div><div class="ttdef"><b>Definition:</b> <a href="Constraint_8java_source.html#l00014">Constraint.java:14</a></div></div>
<div class="ttc" id="anamespacecom_1_1google_1_1ortools_html"><div class="ttname"><a href="namespacecom_1_1google_1_1ortools.html">com.google.ortools</a></div></div>
<div class="ttc" id="aclasscom_1_1google_1_1ortools_1_1sat_1_1IntVar_html_a59d053c950ff1e9f8a004d493f34e754"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1IntVar.html#a59d053c950ff1e9f8a004d493f34e754">com.google.ortools.sat.IntVar.getIndex</a></div><div class="ttdeci">int getIndex()</div><div class="ttdoc">Internal, returns the index of the variable in the underlying CpModelProto.</div><div class="ttdef"><b>Definition:</b> <a href="IntVar_8java_source.html#l00045">IntVar.java:45</a></div></div>
<div class="ttc" id="anamespacecom_1_1google_html"><div class="ttname"><a href="namespacecom_1_1google.html">com.google</a></div></div>
<div class="ttc" id="anamespacecom_html"><div class="ttname"><a href="namespacecom.html">com</a></div></div>
<div class="ttc" id="aclasscom_1_1google_1_1ortools_1_1sat_1_1IntVar_html"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1IntVar.html">com.google.ortools.sat.IntVar</a></div><div class="ttdoc">An integer variable.</div><div class="ttdef"><b>Definition:</b> <a href="IntVar_8java_source.html#l00021">IntVar.java:21</a></div></div>
<div class="ttc" id="aclasscom_1_1google_1_1ortools_1_1sat_1_1IntVar_html_a78ee178b6a73658d65ca60da4d1e6683"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1IntVar.html#a78ee178b6a73658d65ca60da4d1e6683">com.google.ortools.sat.IntVar.getName</a></div><div class="ttdeci">String getName()</div><div class="ttdoc">Returns the name of the variable given upon creation.</div><div class="ttdef"><b>Definition:</b> <a href="IntVar_8java_source.html#l00039">IntVar.java:39</a></div></div>
<div class="ttc" id="aclasscom_1_1google_1_1ortools_1_1sat_1_1IntVar_html_aff988e01e71c0dd3c11e6f970a209520"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1IntVar.html#aff988e01e71c0dd3c11e6f970a209520">com.google.ortools.sat.IntVar.getVariable</a></div><div class="ttdeci">IntVar getVariable(int index)</div><div class="ttdoc">Returns the ith variable.</div><div class="ttdef"><b>Definition:</b> <a href="IntVar_8java_source.html#l00061">IntVar.java:61</a></div></div>
<div class="ttc" id="aclasscom_1_1google_1_1ortools_1_1sat_1_1IntVar_html_a59f9cb76db051cd784a42f38220f896d"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1IntVar.html#a59f9cb76db051cd784a42f38220f896d">com.google.ortools.sat.IntVar.numElements</a></div><div class="ttdeci">int numElements()</div><div class="ttdoc">Returns the number of elements in the interface.</div><div class="ttdef"><b>Definition:</b> <a href="IntVar_8java_source.html#l00056">IntVar.java:56</a></div></div>
<div class="ttc" id="aclasscom_1_1google_1_1ortools_1_1sat_1_1CpModelProto_html"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProto.html">CpModelProto</a></div></div>
<div class="ttc" id="ainterfacecom_1_1google_1_1ortools_1_1sat_1_1LinearExpr_html"><div class="ttname"><a href="interfacecom_1_1google_1_1ortools_1_1sat_1_1LinearExpr.html">com.google.ortools.sat.LinearExpr</a></div><div class="ttdoc">A linear expression interface that can be parsed.</div><div class="ttdef"><b>Definition:</b> <a href="LinearExpr_8java_source.html#l00017">LinearExpr.java:17</a></div></div>
<div class="ttc" id="aclasscom_1_1google_1_1ortools_1_1sat_1_1IntVar_html_abe2ffdd9c6d616c6f2a5924cd407f585"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1IntVar.html#abe2ffdd9c6d616c6f2a5924cd407f585">com.google.ortools.sat.IntVar.getShortString</a></div><div class="ttdeci">String getShortString()</div><div class="ttdoc">Returns a short string describing the variable.</div><div class="ttdef"><b>Definition:</b> <a href="IntVar_8java_source.html#l00074">IntVar.java:74</a></div></div>
        </div>
        </div>
        <div id="footer-container">
            <div id="footer">
            </div>
        </div>
    </body>
</html>