Update generated doxygen to v7.7

This commit is contained in:
Mizux Seiha
2020-06-11 12:23:09 +02:00
parent bbdc3b4aa1
commit 12c5f4a97d
4162 changed files with 266346 additions and 183145 deletions

View File

@@ -12,7 +12,7 @@
<body>
<div id="banner-container">
<div id="banner">
<span id="sfml">Google OR-Tools 7.5</span>
<span id="sfml">Google OR-Tools 7.7</span>
</div>
</div>
<div id="content" style="width: 100%; overflow: hidden;">
@@ -31,7 +31,7 @@
<div align="center">
<h1 style="color: #145A32;">Java Reference</h1>
</div>
<!-- Generated by Doxygen 1.8.16 -->
<!-- Generated by Doxygen 1.8.18 -->
<div id="navrow1" class="tabs">
<ul class="tablist">
<li><a href="namespaces.html"><span>Namespaces</span></a></li>
@@ -58,65 +58,65 @@
<div class="line"><a name="l00007"></a><span class="lineno"> 7</span>&#160; <span class="comment">// @@protoc_insertion_point(interface_extends:operations_research.sat.CpSolverResponse)</span></div>
<div class="line"><a name="l00008"></a><span class="lineno"> 8</span>&#160; <a class="code" href="namespacecom.html">com</a>.google.protobuf.MessageOrBuilder {</div>
<div class="line"><a name="l00009"></a><span class="lineno"> 9</span>&#160; </div>
<div class="line"><a name="l00018"></a><span class="lineno"> 18</span>&#160; <span class="keywordtype">int</span> <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a0daa1d36d9ee6b478eb13bff162c0039">getStatusValue</a>();</div>
<div class="line"><a name="l00027"></a><span class="lineno"> 27</span>&#160; <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="enumcom_1_1google_1_1ortools_1_1sat_1_1CpSolverStatus.html">CpSolverStatus</a> <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a13b366999db2d218b3772655c5ae0e80">getStatus</a>();</div>
<div class="line"><a name="l00018"></a><span class="lineno"><a class="line" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a0daa1d36d9ee6b478eb13bff162c0039"> 18</a></span>&#160; <span class="keywordtype">int</span> <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a0daa1d36d9ee6b478eb13bff162c0039">getStatusValue</a>();</div>
<div class="line"><a name="l00027"></a><span class="lineno"><a class="line" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a13b366999db2d218b3772655c5ae0e80"> 27</a></span>&#160; <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="enumcom_1_1google_1_1ortools_1_1sat_1_1CpSolverStatus.html">CpSolverStatus</a> <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a13b366999db2d218b3772655c5ae0e80">getStatus</a>();</div>
<div class="line"><a name="l00028"></a><span class="lineno"> 28</span>&#160; </div>
<div class="line"><a name="l00040"></a><span class="lineno"> 40</span>&#160; java.util.List&lt;java.lang.Long&gt; <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a1c2ee3bbb73113fbb8da70dabd448958">getSolutionList</a>();</div>
<div class="line"><a name="l00052"></a><span class="lineno"> 52</span>&#160; <span class="keywordtype">int</span> <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#ac4fb6919314524bff3d940d61859d97a">getSolutionCount</a>();</div>
<div class="line"><a name="l00065"></a><span class="lineno"> 65</span>&#160; <span class="keywordtype">long</span> <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a838ff59811b38ee21477d1b4642452b7">getSolution</a>(<span class="keywordtype">int</span> index);</div>
<div class="line"><a name="l00040"></a><span class="lineno"><a class="line" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a1c2ee3bbb73113fbb8da70dabd448958"> 40</a></span>&#160; java.util.List&lt;java.lang.Long&gt; <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a1c2ee3bbb73113fbb8da70dabd448958">getSolutionList</a>();</div>
<div class="line"><a name="l00052"></a><span class="lineno"><a class="line" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#ac4fb6919314524bff3d940d61859d97a"> 52</a></span>&#160; <span class="keywordtype">int</span> <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#ac4fb6919314524bff3d940d61859d97a">getSolutionCount</a>();</div>
<div class="line"><a name="l00065"></a><span class="lineno"><a class="line" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a838ff59811b38ee21477d1b4642452b7"> 65</a></span>&#160; <span class="keywordtype">long</span> <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a838ff59811b38ee21477d1b4642452b7">getSolution</a>(<span class="keywordtype">int</span> index);</div>
<div class="line"><a name="l00066"></a><span class="lineno"> 66</span>&#160; </div>
<div class="line"><a name="l00078"></a><span class="lineno"> 78</span>&#160; <span class="keywordtype">double</span> <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a340199108d7279a16fbcd5429aa1bd80">getObjectiveValue</a>();</div>
<div class="line"><a name="l00078"></a><span class="lineno"><a class="line" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a340199108d7279a16fbcd5429aa1bd80"> 78</a></span>&#160; <span class="keywordtype">double</span> <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a340199108d7279a16fbcd5429aa1bd80">getObjectiveValue</a>();</div>
<div class="line"><a name="l00079"></a><span class="lineno"> 79</span>&#160; </div>
<div class="line"><a name="l00090"></a><span class="lineno"> 90</span>&#160; <span class="keywordtype">double</span> <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a8acd7d1e0e85ee50dd3362794d5ec2bb">getBestObjectiveBound</a>();</div>
<div class="line"><a name="l00090"></a><span class="lineno"><a class="line" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a8acd7d1e0e85ee50dd3362794d5ec2bb"> 90</a></span>&#160; <span class="keywordtype">double</span> <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a8acd7d1e0e85ee50dd3362794d5ec2bb">getBestObjectiveBound</a>();</div>
<div class="line"><a name="l00091"></a><span class="lineno"> 91</span>&#160; </div>
<div class="line"><a name="l00105"></a><span class="lineno"> 105</span>&#160; java.util.List&lt;java.lang.Long&gt; <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#afddb1978033de21ccf86e9559b6b7358">getSolutionLowerBoundsList</a>();</div>
<div class="line"><a name="l00119"></a><span class="lineno"> 119</span>&#160; <span class="keywordtype">int</span> <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a8e41ee43403a914beb0de40328bc8be1">getSolutionLowerBoundsCount</a>();</div>
<div class="line"><a name="l00134"></a><span class="lineno"> 134</span>&#160; <span class="keywordtype">long</span> <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#adf2647407706969513e5e0ef345c4b36">getSolutionLowerBounds</a>(<span class="keywordtype">int</span> index);</div>
<div class="line"><a name="l00105"></a><span class="lineno"><a class="line" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#afddb1978033de21ccf86e9559b6b7358"> 105</a></span>&#160; java.util.List&lt;java.lang.Long&gt; <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#afddb1978033de21ccf86e9559b6b7358">getSolutionLowerBoundsList</a>();</div>
<div class="line"><a name="l00119"></a><span class="lineno"><a class="line" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a8e41ee43403a914beb0de40328bc8be1"> 119</a></span>&#160; <span class="keywordtype">int</span> <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a8e41ee43403a914beb0de40328bc8be1">getSolutionLowerBoundsCount</a>();</div>
<div class="line"><a name="l00134"></a><span class="lineno"><a class="line" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#adf2647407706969513e5e0ef345c4b36"> 134</a></span>&#160; <span class="keywordtype">long</span> <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#adf2647407706969513e5e0ef345c4b36">getSolutionLowerBounds</a>(<span class="keywordtype">int</span> index);</div>
<div class="line"><a name="l00135"></a><span class="lineno"> 135</span>&#160; </div>
<div class="line"><a name="l00140"></a><span class="lineno"> 140</span>&#160; java.util.List&lt;java.lang.Long&gt; <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a9d8aeccef3da7a52cc8c084d21e3f95e">getSolutionUpperBoundsList</a>();</div>
<div class="line"><a name="l00145"></a><span class="lineno"> 145</span>&#160; <span class="keywordtype">int</span> <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a0a1c96161f3caa16f1635cb6901ed0bc">getSolutionUpperBoundsCount</a>();</div>
<div class="line"><a name="l00151"></a><span class="lineno"> 151</span>&#160; <span class="keywordtype">long</span> <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a9e015e46419e5afe0e7feedfa1e3b8e3">getSolutionUpperBounds</a>(<span class="keywordtype">int</span> index);</div>
<div class="line"><a name="l00140"></a><span class="lineno"><a class="line" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a9d8aeccef3da7a52cc8c084d21e3f95e"> 140</a></span>&#160; java.util.List&lt;java.lang.Long&gt; <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a9d8aeccef3da7a52cc8c084d21e3f95e">getSolutionUpperBoundsList</a>();</div>
<div class="line"><a name="l00145"></a><span class="lineno"><a class="line" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a0a1c96161f3caa16f1635cb6901ed0bc"> 145</a></span>&#160; <span class="keywordtype">int</span> <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a0a1c96161f3caa16f1635cb6901ed0bc">getSolutionUpperBoundsCount</a>();</div>
<div class="line"><a name="l00151"></a><span class="lineno"><a class="line" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a9e015e46419e5afe0e7feedfa1e3b8e3"> 151</a></span>&#160; <span class="keywordtype">long</span> <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a9e015e46419e5afe0e7feedfa1e3b8e3">getSolutionUpperBounds</a>(<span class="keywordtype">int</span> index);</div>
<div class="line"><a name="l00152"></a><span class="lineno"> 152</span>&#160; </div>
<div class="line"><a name="l00169"></a><span class="lineno"> 169</span>&#160; java.util.List&lt;<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>&gt; </div>
<div class="line"><a name="l00170"></a><span class="lineno"> 170</span>&#160; <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#ace883c2f1d46975246332cf259628fb2">getTightenedVariablesList</a>();</div>
<div class="line"><a name="l00187"></a><span class="lineno"> 187</span>&#160; <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> <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a4891608637afe1b3d62ce9edc5db4065">getTightenedVariables</a>(<span class="keywordtype">int</span> index);</div>
<div class="line"><a name="l00204"></a><span class="lineno"> 204</span>&#160; <span class="keywordtype">int</span> <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a115c1f879d2feaa2a321a4e174180e83">getTightenedVariablesCount</a>();</div>
<div class="line"><a name="l00170"></a><span class="lineno"><a class="line" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#ace883c2f1d46975246332cf259628fb2"> 170</a></span>&#160; <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#ace883c2f1d46975246332cf259628fb2">getTightenedVariablesList</a>();</div>
<div class="line"><a name="l00187"></a><span class="lineno"><a class="line" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a4891608637afe1b3d62ce9edc5db4065"> 187</a></span>&#160; <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> <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a4891608637afe1b3d62ce9edc5db4065">getTightenedVariables</a>(<span class="keywordtype">int</span> index);</div>
<div class="line"><a name="l00204"></a><span class="lineno"><a class="line" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a115c1f879d2feaa2a321a4e174180e83"> 204</a></span>&#160; <span class="keywordtype">int</span> <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a115c1f879d2feaa2a321a4e174180e83">getTightenedVariablesCount</a>();</div>
<div class="line"><a name="l00221"></a><span class="lineno"> 221</span>&#160; java.util.List&lt;? extends <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="interfacecom_1_1google_1_1ortools_1_1sat_1_1IntegerVariableProtoOrBuilder.html">IntegerVariableProtoOrBuilder</a>&gt; </div>
<div class="line"><a name="l00222"></a><span class="lineno"> 222</span>&#160; <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#aaf1f146507e77a429ea9fc9b61472fb7">getTightenedVariablesOrBuilderList</a>();</div>
<div class="line"><a name="l00239"></a><span class="lineno"> 239</span>&#160; <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="interfacecom_1_1google_1_1ortools_1_1sat_1_1IntegerVariableProtoOrBuilder.html">IntegerVariableProtoOrBuilder</a> <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a782744b43e7ff4a132e60cea897211f4">getTightenedVariablesOrBuilder</a>(</div>
<div class="line"><a name="l00222"></a><span class="lineno"><a class="line" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#aaf1f146507e77a429ea9fc9b61472fb7"> 222</a></span>&#160; <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#aaf1f146507e77a429ea9fc9b61472fb7">getTightenedVariablesOrBuilderList</a>();</div>
<div class="line"><a name="l00239"></a><span class="lineno"><a class="line" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a782744b43e7ff4a132e60cea897211f4"> 239</a></span>&#160; <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="interfacecom_1_1google_1_1ortools_1_1sat_1_1IntegerVariableProtoOrBuilder.html">IntegerVariableProtoOrBuilder</a> <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a782744b43e7ff4a132e60cea897211f4">getTightenedVariablesOrBuilder</a>(</div>
<div class="line"><a name="l00240"></a><span class="lineno"> 240</span>&#160; <span class="keywordtype">int</span> index);</div>
<div class="line"><a name="l00241"></a><span class="lineno"> 241</span>&#160; </div>
<div class="line"><a name="l00260"></a><span class="lineno"> 260</span>&#160; java.util.List&lt;java.lang.Integer&gt; <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a80eea42a5f047f52084ece067337f747">getSufficientAssumptionsForInfeasibilityList</a>();</div>
<div class="line"><a name="l00279"></a><span class="lineno"> 279</span>&#160; <span class="keywordtype">int</span> <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a97dbe8cf77e16fea62ae74bc70c80772">getSufficientAssumptionsForInfeasibilityCount</a>();</div>
<div class="line"><a name="l00299"></a><span class="lineno"> 299</span>&#160; <span class="keywordtype">int</span> <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#aa316713926af3e4d0a19299ed8901425">getSufficientAssumptionsForInfeasibility</a>(<span class="keywordtype">int</span> index);</div>
<div class="line"><a name="l00260"></a><span class="lineno"><a class="line" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a80eea42a5f047f52084ece067337f747"> 260</a></span>&#160; java.util.List&lt;java.lang.Integer&gt; <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a80eea42a5f047f52084ece067337f747">getSufficientAssumptionsForInfeasibilityList</a>();</div>
<div class="line"><a name="l00279"></a><span class="lineno"><a class="line" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a97dbe8cf77e16fea62ae74bc70c80772"> 279</a></span>&#160; <span class="keywordtype">int</span> <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a97dbe8cf77e16fea62ae74bc70c80772">getSufficientAssumptionsForInfeasibilityCount</a>();</div>
<div class="line"><a name="l00299"></a><span class="lineno"><a class="line" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#aa316713926af3e4d0a19299ed8901425"> 299</a></span>&#160; <span class="keywordtype">int</span> <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#aa316713926af3e4d0a19299ed8901425">getSufficientAssumptionsForInfeasibility</a>(<span class="keywordtype">int</span> index);</div>
<div class="line"><a name="l00300"></a><span class="lineno"> 300</span>&#160; </div>
<div class="line"><a name="l00312"></a><span class="lineno"> 312</span>&#160; <span class="keywordtype">boolean</span> <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a3529f2aeb759b0e4d4c49437ebd2ccde">getAllSolutionsWereFound</a>();</div>
<div class="line"><a name="l00312"></a><span class="lineno"><a class="line" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a3529f2aeb759b0e4d4c49437ebd2ccde"> 312</a></span>&#160; <span class="keywordtype">boolean</span> <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a3529f2aeb759b0e4d4c49437ebd2ccde">getAllSolutionsWereFound</a>();</div>
<div class="line"><a name="l00313"></a><span class="lineno"> 313</span>&#160; </div>
<div class="line"><a name="l00322"></a><span class="lineno"> 322</span>&#160; <span class="keywordtype">long</span> <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#aef7ad55668a2e13916dbc2239c5dc746">getNumBooleans</a>();</div>
<div class="line"><a name="l00322"></a><span class="lineno"><a class="line" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#aef7ad55668a2e13916dbc2239c5dc746"> 322</a></span>&#160; <span class="keywordtype">long</span> <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#aef7ad55668a2e13916dbc2239c5dc746">getNumBooleans</a>();</div>
<div class="line"><a name="l00323"></a><span class="lineno"> 323</span>&#160; </div>
<div class="line"><a name="l00328"></a><span class="lineno"> 328</span>&#160; <span class="keywordtype">long</span> <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#aa5009158736947a795b7fcf6b323aea2">getNumConflicts</a>();</div>
<div class="line"><a name="l00328"></a><span class="lineno"><a class="line" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#aa5009158736947a795b7fcf6b323aea2"> 328</a></span>&#160; <span class="keywordtype">long</span> <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#aa5009158736947a795b7fcf6b323aea2">getNumConflicts</a>();</div>
<div class="line"><a name="l00329"></a><span class="lineno"> 329</span>&#160; </div>
<div class="line"><a name="l00334"></a><span class="lineno"> 334</span>&#160; <span class="keywordtype">long</span> <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a52da60281a2afd6beaf4640d98dd3255">getNumBranches</a>();</div>
<div class="line"><a name="l00334"></a><span class="lineno"><a class="line" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a52da60281a2afd6beaf4640d98dd3255"> 334</a></span>&#160; <span class="keywordtype">long</span> <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a52da60281a2afd6beaf4640d98dd3255">getNumBranches</a>();</div>
<div class="line"><a name="l00335"></a><span class="lineno"> 335</span>&#160; </div>
<div class="line"><a name="l00340"></a><span class="lineno"> 340</span>&#160; <span class="keywordtype">long</span> <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a50b2ff93a6dbf8c385ce4c425209ffd8">getNumBinaryPropagations</a>();</div>
<div class="line"><a name="l00340"></a><span class="lineno"><a class="line" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a50b2ff93a6dbf8c385ce4c425209ffd8"> 340</a></span>&#160; <span class="keywordtype">long</span> <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a50b2ff93a6dbf8c385ce4c425209ffd8">getNumBinaryPropagations</a>();</div>
<div class="line"><a name="l00341"></a><span class="lineno"> 341</span>&#160; </div>
<div class="line"><a name="l00346"></a><span class="lineno"> 346</span>&#160; <span class="keywordtype">long</span> <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#abbd00d178ac7b00a59344ac2bc5c2bb6">getNumIntegerPropagations</a>();</div>
<div class="line"><a name="l00346"></a><span class="lineno"><a class="line" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#abbd00d178ac7b00a59344ac2bc5c2bb6"> 346</a></span>&#160; <span class="keywordtype">long</span> <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#abbd00d178ac7b00a59344ac2bc5c2bb6">getNumIntegerPropagations</a>();</div>
<div class="line"><a name="l00347"></a><span class="lineno"> 347</span>&#160; </div>
<div class="line"><a name="l00352"></a><span class="lineno"> 352</span>&#160; <span class="keywordtype">double</span> <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#abf978122a6b366c40270b2883fdf8ce8">getWallTime</a>();</div>
<div class="line"><a name="l00352"></a><span class="lineno"><a class="line" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#abf978122a6b366c40270b2883fdf8ce8"> 352</a></span>&#160; <span class="keywordtype">double</span> <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#abf978122a6b366c40270b2883fdf8ce8">getWallTime</a>();</div>
<div class="line"><a name="l00353"></a><span class="lineno"> 353</span>&#160; </div>
<div class="line"><a name="l00358"></a><span class="lineno"> 358</span>&#160; <span class="keywordtype">double</span> <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#aec2eccac43347131fecab5bcdc5e3be6">getUserTime</a>();</div>
<div class="line"><a name="l00358"></a><span class="lineno"><a class="line" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#aec2eccac43347131fecab5bcdc5e3be6"> 358</a></span>&#160; <span class="keywordtype">double</span> <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#aec2eccac43347131fecab5bcdc5e3be6">getUserTime</a>();</div>
<div class="line"><a name="l00359"></a><span class="lineno"> 359</span>&#160; </div>
<div class="line"><a name="l00364"></a><span class="lineno"> 364</span>&#160; <span class="keywordtype">double</span> <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a8558f1993d307f57f7d3e5dab0a49039">getDeterministicTime</a>();</div>
<div class="line"><a name="l00364"></a><span class="lineno"><a class="line" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a8558f1993d307f57f7d3e5dab0a49039"> 364</a></span>&#160; <span class="keywordtype">double</span> <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a8558f1993d307f57f7d3e5dab0a49039">getDeterministicTime</a>();</div>
<div class="line"><a name="l00365"></a><span class="lineno"> 365</span>&#160; </div>
<div class="line"><a name="l00370"></a><span class="lineno"> 370</span>&#160; <span class="keywordtype">double</span> <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a71eae29f1edf42072caf6663bf9d0e60">getPrimalIntegral</a>();</div>
<div class="line"><a name="l00370"></a><span class="lineno"><a class="line" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a71eae29f1edf42072caf6663bf9d0e60"> 370</a></span>&#160; <span class="keywordtype">double</span> <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a71eae29f1edf42072caf6663bf9d0e60">getPrimalIntegral</a>();</div>
<div class="line"><a name="l00371"></a><span class="lineno"> 371</span>&#160; </div>
<div class="line"><a name="l00380"></a><span class="lineno"> 380</span>&#160; java.lang.String <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#ae175662fb21c186058d598af7b1236b8">getSolutionInfo</a>();</div>
<div class="line"><a name="l00380"></a><span class="lineno"><a class="line" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#ae175662fb21c186058d598af7b1236b8"> 380</a></span>&#160; java.lang.String <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#ae175662fb21c186058d598af7b1236b8">getSolutionInfo</a>();</div>
<div class="line"><a name="l00389"></a><span class="lineno"> 389</span>&#160; <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.protobuf.ByteString</div>
<div class="line"><a name="l00390"></a><span class="lineno"> 390</span>&#160; <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a796560eb19ff9e624b4804c9c07fa8f0">getSolutionInfoBytes</a>();</div>
<div class="line"><a name="l00390"></a><span class="lineno"><a class="line" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a796560eb19ff9e624b4804c9c07fa8f0"> 390</a></span>&#160; <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a796560eb19ff9e624b4804c9c07fa8f0">getSolutionInfoBytes</a>();</div>
<div class="line"><a name="l00391"></a><span class="lineno"> 391</span>&#160;}</div>
</div><!-- fragment --></div><!-- contents -->
<div class="ttc" id="ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_aa5009158736947a795b7fcf6b323aea2"><div class="ttname"><a href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#aa5009158736947a795b7fcf6b323aea2">com.google.ortools.sat.CpSolverResponseOrBuilder.getNumConflicts</a></div><div class="ttdeci">long getNumConflicts()</div><div class="ttdoc">int64 num_conflicts = 11;</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">com.google.ortools.sat.IntegerVariableProto</a></div><div class="ttdef"><b>Definition:</b> <a href="IntegerVariableProto_8java_source.html#l00027">IntegerVariableProto.java:27</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">com.google.ortools.sat.IntegerVariableProto</a></div><div class="ttdef"><b>Definition:</b> <a href="IntegerVariableProto_8java_source.html#l00027">IntegerVariableProto.java:30</a></div></div>
<div class="ttc" id="ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_a4891608637afe1b3d62ce9edc5db4065"><div class="ttname"><a href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a4891608637afe1b3d62ce9edc5db4065">com.google.ortools.sat.CpSolverResponseOrBuilder.getTightenedVariables</a></div><div class="ttdeci">com.google.ortools.sat.IntegerVariableProto getTightenedVariables(int index)</div></div>
<div class="ttc" id="ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_a1c2ee3bbb73113fbb8da70dabd448958"><div class="ttname"><a href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a1c2ee3bbb73113fbb8da70dabd448958">com.google.ortools.sat.CpSolverResponseOrBuilder.getSolutionList</a></div><div class="ttdeci">java.util.List&lt; java.lang.Long &gt; getSolutionList()</div></div>
<div class="ttc" id="ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_aaf1f146507e77a429ea9fc9b61472fb7"><div class="ttname"><a href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#aaf1f146507e77a429ea9fc9b61472fb7">com.google.ortools.sat.CpSolverResponseOrBuilder.getTightenedVariablesOrBuilderList</a></div><div class="ttdeci">java.util.List&lt;? extends com.google.ortools.sat.IntegerVariableProtoOrBuilder &gt; getTightenedVariablesOrBuilderList()</div></div>
@@ -124,7 +124,7 @@
<div class="ttc" id="ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_a80eea42a5f047f52084ece067337f747"><div class="ttname"><a href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a80eea42a5f047f52084ece067337f747">com.google.ortools.sat.CpSolverResponseOrBuilder.getSufficientAssumptionsForInfeasibilityList</a></div><div class="ttdeci">java.util.List&lt; java.lang.Integer &gt; getSufficientAssumptionsForInfeasibilityList()</div></div>
<div class="ttc" id="ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_a8acd7d1e0e85ee50dd3362794d5ec2bb"><div class="ttname"><a href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a8acd7d1e0e85ee50dd3362794d5ec2bb">com.google.ortools.sat.CpSolverResponseOrBuilder.getBestObjectiveBound</a></div><div class="ttdeci">double getBestObjectiveBound()</div></div>
<div class="ttc" id="ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_a9d8aeccef3da7a52cc8c084d21e3f95e"><div class="ttname"><a href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a9d8aeccef3da7a52cc8c084d21e3f95e">com.google.ortools.sat.CpSolverResponseOrBuilder.getSolutionUpperBoundsList</a></div><div class="ttdeci">java.util.List&lt; java.lang.Long &gt; getSolutionUpperBoundsList()</div><div class="ttdoc">repeated int64 solution_upper_bounds = 19;</div></div>
<div class="ttc" id="aenumcom_1_1google_1_1ortools_1_1sat_1_1CpSolverStatus_html"><div class="ttname"><a href="enumcom_1_1google_1_1ortools_1_1sat_1_1CpSolverStatus.html">com.google.ortools.sat.CpSolverStatus</a></div><div class="ttdef"><b>Definition:</b> <a href="CpSolverStatus_8java_source.html#l00013">CpSolverStatus.java:13</a></div></div>
<div class="ttc" id="aenumcom_1_1google_1_1ortools_1_1sat_1_1CpSolverStatus_html"><div class="ttname"><a href="enumcom_1_1google_1_1ortools_1_1sat_1_1CpSolverStatus.html">com.google.ortools.sat.CpSolverStatus</a></div><div class="ttdef"><b>Definition:</b> <a href="CpSolverStatus_8java_source.html#l00013">CpSolverStatus.java:14</a></div></div>
<div class="ttc" id="ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_a782744b43e7ff4a132e60cea897211f4"><div class="ttname"><a href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a782744b43e7ff4a132e60cea897211f4">com.google.ortools.sat.CpSolverResponseOrBuilder.getTightenedVariablesOrBuilder</a></div><div class="ttdeci">com.google.ortools.sat.IntegerVariableProtoOrBuilder getTightenedVariablesOrBuilder(int index)</div></div>
<div class="ttc" id="ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_aec2eccac43347131fecab5bcdc5e3be6"><div class="ttname"><a href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#aec2eccac43347131fecab5bcdc5e3be6">com.google.ortools.sat.CpSolverResponseOrBuilder.getUserTime</a></div><div class="ttdeci">double getUserTime()</div><div class="ttdoc">double user_time = 16;</div></div>
<div class="ttc" id="ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_ae175662fb21c186058d598af7b1236b8"><div class="ttname"><a href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#ae175662fb21c186058d598af7b1236b8">com.google.ortools.sat.CpSolverResponseOrBuilder.getSolutionInfo</a></div><div class="ttdeci">java.lang.String getSolutionInfo()</div></div>
@@ -153,8 +153,8 @@
<div class="ttc" id="ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_aef7ad55668a2e13916dbc2239c5dc746"><div class="ttname"><a href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#aef7ad55668a2e13916dbc2239c5dc746">com.google.ortools.sat.CpSolverResponseOrBuilder.getNumBooleans</a></div><div class="ttdeci">long getNumBooleans()</div></div>
<div class="ttc" id="ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_a0daa1d36d9ee6b478eb13bff162c0039"><div class="ttname"><a href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a0daa1d36d9ee6b478eb13bff162c0039">com.google.ortools.sat.CpSolverResponseOrBuilder.getStatusValue</a></div><div class="ttdeci">int getStatusValue()</div></div>
<div class="ttc" id="ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_aa316713926af3e4d0a19299ed8901425"><div class="ttname"><a href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#aa316713926af3e4d0a19299ed8901425">com.google.ortools.sat.CpSolverResponseOrBuilder.getSufficientAssumptionsForInfeasibility</a></div><div class="ttdeci">int getSufficientAssumptionsForInfeasibility(int index)</div></div>
<div class="ttc" id="ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html"><div class="ttname"><a href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html">com.google.ortools.sat.CpSolverResponseOrBuilder</a></div><div class="ttdef"><b>Definition:</b> <a href="CpSolverResponseOrBuilder_8java_source.html#l00006">CpSolverResponseOrBuilder.java:6</a></div></div>
<div class="ttc" id="ainterfacecom_1_1google_1_1ortools_1_1sat_1_1IntegerVariableProtoOrBuilder_html"><div class="ttname"><a href="interfacecom_1_1google_1_1ortools_1_1sat_1_1IntegerVariableProtoOrBuilder.html">com.google.ortools.sat.IntegerVariableProtoOrBuilder</a></div><div class="ttdef"><b>Definition:</b> <a href="IntegerVariableProtoOrBuilder_8java_source.html#l00006">IntegerVariableProtoOrBuilder.java:6</a></div></div>
<div class="ttc" id="ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html"><div class="ttname"><a href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html">com.google.ortools.sat.CpSolverResponseOrBuilder</a></div><div class="ttdef"><b>Definition:</b> <a href="CpSolverResponseOrBuilder_8java_source.html#l00006">CpSolverResponseOrBuilder.java:8</a></div></div>
<div class="ttc" id="ainterfacecom_1_1google_1_1ortools_1_1sat_1_1IntegerVariableProtoOrBuilder_html"><div class="ttname"><a href="interfacecom_1_1google_1_1ortools_1_1sat_1_1IntegerVariableProtoOrBuilder.html">com.google.ortools.sat.IntegerVariableProtoOrBuilder</a></div><div class="ttdef"><b>Definition:</b> <a href="IntegerVariableProtoOrBuilder_8java_source.html#l00006">IntegerVariableProtoOrBuilder.java:8</a></div></div>
<div class="ttc" id="ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_ac4fb6919314524bff3d940d61859d97a"><div class="ttname"><a href="interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#ac4fb6919314524bff3d940d61859d97a">com.google.ortools.sat.CpSolverResponseOrBuilder.getSolutionCount</a></div><div class="ttdeci">int getSolutionCount()</div></div>
</div>
</div>