always-cautious/ortools-clone
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Update java doc

Browse Source
This commit is contained in:
Corentin Le Molgat
2020-01-31 17:05:16 +01:00
parent 659db10ccc
commit 5d6b4560e8
1196 changed files with 264393 additions and 29125 deletions
Download Patch File Download Diff File Expand all files Collapse all files

76
docs/java/CpSolver_8java_source.html
View File

@@ -12,7 +12,7 @@
<body>
<div id="banner-container">
<div id="banner">
<span id="sfml">Google OR-Tools 7.4</span>
<span id="sfml">Google OR-Tools 7.5</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>
@@ -41,7 +41,7 @@
</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>
<li class="navelem"><a class="el" href="dir_a7cc1eeded8f693d0da6c729bc88c45a.html">ortools</a></li><li class="navelem"><a class="el" href="dir_fd73d91b70701748781c9404941baa63.html">java</a></li><li class="navelem"><a class="el" href="dir_a564db54e4252fbd4e4cd0fe58816985.html">com</a></li><li class="navelem"><a class="el" href="dir_265fd14d4e9a0ce57ad38de5d64bb540.html">google</a></li><li class="navelem"><a class="el" href="dir_a1e24e541e9f26a83a2ba9a841f0bcf8.html">ortools</a></li><li class="navelem"><a class="el" href="dir_0070805acb68ef04688e7c31a1e72654.html">sat</a></li> </ul>
</div>
</div><!-- top -->
<div class="header">
@@ -65,7 +65,7 @@
<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_1CpSolverResponse.html">CpSolverResponse</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_1CpSolverStatus.html">CpSolverStatus</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="enumcom_1_1google_1_1ortools_1_1sat_1_1CpSolverStatus.html">CpSolverStatus</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>.<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_1SatParameters.html">SatParameters</a>;</div>
<div class="line"><a name="l00019"></a><span class="lineno"> 19</span>&#160; </div>
<div class="line"><a name="l00026"></a><span class="lineno"><a class="line" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html"> 26</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_1CpSolver.html">CpSolver</a> {</div>
@@ -73,64 +73,64 @@
<div class="line"><a name="l00029"></a><span class="lineno"> 29</span>&#160; this.solveParameters = <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1SatParameters.html">SatParameters</a>.<a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1SatParameters.html#aeff24d3f13ca1e88dc9427c640b64314">newBuilder</a>();</div>
<div class="line"><a name="l00030"></a><span class="lineno"> 30</span>&#160; }</div>
<div class="line"><a name="l00031"></a><span class="lineno"> 31</span>&#160; </div>
<div class="line"><a name="l00033"></a><span class="lineno"><a class="line" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a94cfac9362c485d50a8930688fe81a3e"> 33</a></span>&#160; <span class="keyword">public</span> CpSolverStatus <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a94cfac9362c485d50a8930688fe81a3e">solve</a>(<a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModel.html">CpModel</a> model) {</div>
<div class="line"><a name="l00034"></a><span class="lineno"> 34</span>&#160; solveResponse = SatHelper.solveWithParameters(model.<a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModel.html#a0553dcb0013a4abf06580f642177d776">model</a>(), solveParameters.build());</div>
<div class="line"><a name="l00035"></a><span class="lineno"> 35</span>&#160; <span class="keywordflow">return</span> solveResponse.getStatus();</div>
<div class="line"><a name="l00033"></a><span class="lineno"><a class="line" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a94cfac9362c485d50a8930688fe81a3e"> 33</a></span>&#160; <span class="keyword">public</span> <a class="code" href="enumcom_1_1google_1_1ortools_1_1sat_1_1CpSolverStatus.html">CpSolverStatus</a> <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a94cfac9362c485d50a8930688fe81a3e">solve</a>(<a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModel.html">CpModel</a> model) {</div>
<div class="line"><a name="l00034"></a><span class="lineno"> 34</span>&#160; solveResponse = <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1SatHelper.html">SatHelper</a>.<a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1SatHelper.html#a698e2ad4c0f258423300a64da089a0ff">solveWithParameters</a>(model.<a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModel.html#a0553dcb0013a4abf06580f642177d776">model</a>(), solveParameters.build());</div>
<div class="line"><a name="l00035"></a><span class="lineno"> 35</span>&#160; <span class="keywordflow">return</span> solveResponse.<a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html#a13b366999db2d218b3772655c5ae0e80">getStatus</a>();</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_1CpSolver.html#a4b61919bdcff3d458bf6807086c48be6"> 39</a></span>&#160; <span class="keyword">public</span> CpSolverStatus <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a4b61919bdcff3d458bf6807086c48be6">solveWithSolutionCallback</a>(<a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModel.html">CpModel</a> model, <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverSolutionCallback.html">CpSolverSolutionCallback</a> cb) {</div>
<div class="line"><a name="l00040"></a><span class="lineno"> 40</span>&#160; solveResponse = SatHelper.solveWithParametersAndSolutionCallback(</div>
<div class="line"><a name="l00039"></a><span class="lineno"><a class="line" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a4b61919bdcff3d458bf6807086c48be6"> 39</a></span>&#160; <span class="keyword">public</span> <a class="code" href="enumcom_1_1google_1_1ortools_1_1sat_1_1CpSolverStatus.html">CpSolverStatus</a> <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a4b61919bdcff3d458bf6807086c48be6">solveWithSolutionCallback</a>(<a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModel.html">CpModel</a> model, <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverSolutionCallback.html">CpSolverSolutionCallback</a> cb) {</div>
<div class="line"><a name="l00040"></a><span class="lineno"> 40</span>&#160; solveResponse = <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1SatHelper.html">SatHelper</a>.<a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1SatHelper.html#a8fe384c0541c908eced79e3b1a29597c">solveWithParametersAndSolutionCallback</a>(</div>
<div class="line"><a name="l00041"></a><span class="lineno"> 41</span>&#160; model.<a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModel.html#a0553dcb0013a4abf06580f642177d776">model</a>(), solveParameters.build(), cb);</div>
<div class="line"><a name="l00042"></a><span class="lineno"> 42</span>&#160; <span class="keywordflow">return</span> solveResponse.getStatus();</div>
<div class="line"><a name="l00042"></a><span class="lineno"> 42</span>&#160; <span class="keywordflow">return</span> solveResponse.<a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html#a13b366999db2d218b3772655c5ae0e80">getStatus</a>();</div>
<div class="line"><a name="l00043"></a><span class="lineno"> 43</span>&#160; }</div>
<div class="line"><a name="l00044"></a><span class="lineno"> 44</span>&#160; </div>
<div class="line"><a name="l00057"></a><span class="lineno"><a class="line" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a7ffc251fef14d87ad82ac59f98d96cf9"> 57</a></span>&#160; <span class="keyword">public</span> CpSolverStatus <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a7ffc251fef14d87ad82ac59f98d96cf9">searchAllSolutions</a>(<a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModel.html">CpModel</a> model, <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverSolutionCallback.html">CpSolverSolutionCallback</a> cb) {</div>
<div class="line"><a name="l00057"></a><span class="lineno"><a class="line" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a7ffc251fef14d87ad82ac59f98d96cf9"> 57</a></span>&#160; <span class="keyword">public</span> <a class="code" href="enumcom_1_1google_1_1ortools_1_1sat_1_1CpSolverStatus.html">CpSolverStatus</a> <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a7ffc251fef14d87ad82ac59f98d96cf9">searchAllSolutions</a>(<a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModel.html">CpModel</a> model, <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverSolutionCallback.html">CpSolverSolutionCallback</a> cb) {</div>
<div class="line"><a name="l00058"></a><span class="lineno"> 58</span>&#160; solveParameters.setEnumerateAllSolutions(<span class="keyword">true</span>);</div>
<div class="line"><a name="l00059"></a><span class="lineno"> 59</span>&#160; solveResponse = SatHelper.solveWithParametersAndSolutionCallback(</div>
<div class="line"><a name="l00059"></a><span class="lineno"> 59</span>&#160; solveResponse = <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1SatHelper.html">SatHelper</a>.<a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1SatHelper.html#a8fe384c0541c908eced79e3b1a29597c">solveWithParametersAndSolutionCallback</a>(</div>
<div class="line"><a name="l00060"></a><span class="lineno"> 60</span>&#160; model.<a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModel.html#a0553dcb0013a4abf06580f642177d776">model</a>(), solveParameters.build(), cb);</div>
<div class="line"><a name="l00061"></a><span class="lineno"> 61</span>&#160; solveParameters.setEnumerateAllSolutions(<span class="keyword">true</span>);</div>
<div class="line"><a name="l00062"></a><span class="lineno"> 62</span>&#160; <span class="keywordflow">return</span> solveResponse.getStatus();</div>
<div class="line"><a name="l00062"></a><span class="lineno"> 62</span>&#160; <span class="keywordflow">return</span> solveResponse.<a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html#a13b366999db2d218b3772655c5ae0e80">getStatus</a>();</div>
<div class="line"><a name="l00063"></a><span class="lineno"> 63</span>&#160; }</div>
<div class="line"><a name="l00064"></a><span class="lineno"> 64</span>&#160; </div>
<div class="line"><a name="l00066"></a><span class="lineno"><a class="line" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a192d2a91adc9495a4109c494f976ee4d"> 66</a></span>&#160; <span class="keyword">public</span> <span class="keywordtype">double</span> <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a192d2a91adc9495a4109c494f976ee4d">objectiveValue</a>() {</div>
<div class="line"><a name="l00067"></a><span class="lineno"> 67</span>&#160; <span class="keywordflow">return</span> solveResponse.getObjectiveValue();</div>
<div class="line"><a name="l00067"></a><span class="lineno"> 67</span>&#160; <span class="keywordflow">return</span> solveResponse.<a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html#a340199108d7279a16fbcd5429aa1bd80">getObjectiveValue</a>();</div>
<div class="line"><a name="l00068"></a><span class="lineno"> 68</span>&#160; }</div>
<div class="line"><a name="l00069"></a><span class="lineno"> 69</span>&#160; </div>
<div class="line"><a name="l00074"></a><span class="lineno"><a class="line" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a3675e4eff4f3825c371d8afaa003d365"> 74</a></span>&#160; <span class="keyword">public</span> <span class="keywordtype">double</span> <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a3675e4eff4f3825c371d8afaa003d365">bestObjectiveBound</a>() {</div>
<div class="line"><a name="l00075"></a><span class="lineno"> 75</span>&#160; <span class="keywordflow">return</span> solveResponse.getBestObjectiveBound();</div>
<div class="line"><a name="l00075"></a><span class="lineno"> 75</span>&#160; <span class="keywordflow">return</span> solveResponse.<a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html#a8acd7d1e0e85ee50dd3362794d5ec2bb">getBestObjectiveBound</a>();</div>
<div class="line"><a name="l00076"></a><span class="lineno"> 76</span>&#160; }</div>
<div class="line"><a name="l00077"></a><span class="lineno"> 77</span>&#160; </div>
<div class="line"><a name="l00079"></a><span class="lineno"><a class="line" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a61e7d175c0ca4cd5a12965af3fe358c4"> 79</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_1CpSolver.html#a61e7d175c0ca4cd5a12965af3fe358c4">value</a>(<a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1IntVar.html">IntVar</a> var) {</div>
<div class="line"><a name="l00080"></a><span class="lineno"> 80</span>&#160; <span class="keywordflow">return</span> solveResponse.getSolution(var.<a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1IntVar.html#a59d053c950ff1e9f8a004d493f34e754">getIndex</a>());</div>
<div class="line"><a name="l00080"></a><span class="lineno"> 80</span>&#160; <span class="keywordflow">return</span> solveResponse.<a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html#a838ff59811b38ee21477d1b4642452b7">getSolution</a>(var.<a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1IntVar.html#a59d053c950ff1e9f8a004d493f34e754">getIndex</a>());</div>
<div class="line"><a name="l00081"></a><span class="lineno"> 81</span>&#160; }</div>
<div class="line"><a name="l00082"></a><span class="lineno"> 82</span>&#160; </div>
<div class="line"><a name="l00084"></a><span class="lineno"><a class="line" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#ad6a3705cb3e6ea4939bfb0bb578d4d01"> 84</a></span>&#160; <span class="keyword">public</span> Boolean <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#ad6a3705cb3e6ea4939bfb0bb578d4d01">booleanValue</a>(<a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1Literal.html">Literal</a> var) {</div>
<div class="line"><a name="l00085"></a><span class="lineno"> 85</span>&#160; <span class="keywordtype">int</span> index = var.<a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1Literal.html#a59d053c950ff1e9f8a004d493f34e754">getIndex</a>();</div>
<div class="line"><a name="l00086"></a><span class="lineno"> 86</span>&#160; <span class="keywordflow">if</span> (index &gt;= 0) {</div>
<div class="line"><a name="l00087"></a><span class="lineno"> 87</span>&#160; <span class="keywordflow">return</span> solveResponse.getSolution(index) != 0;</div>
<div class="line"><a name="l00087"></a><span class="lineno"> 87</span>&#160; <span class="keywordflow">return</span> solveResponse.<a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html#a838ff59811b38ee21477d1b4642452b7">getSolution</a>(index) != 0;</div>
<div class="line"><a name="l00088"></a><span class="lineno"> 88</span>&#160; } <span class="keywordflow">else</span> {</div>
<div class="line"><a name="l00089"></a><span class="lineno"> 89</span>&#160; <span class="keywordflow">return</span> solveResponse.getSolution(-index - 1) == 0;</div>
<div class="line"><a name="l00089"></a><span class="lineno"> 89</span>&#160; <span class="keywordflow">return</span> solveResponse.<a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html#a838ff59811b38ee21477d1b4642452b7">getSolution</a>(-index - 1) == 0;</div>
<div class="line"><a name="l00090"></a><span class="lineno"> 90</span>&#160; }</div>
<div class="line"><a name="l00091"></a><span class="lineno"> 91</span>&#160; }</div>
<div class="line"><a name="l00092"></a><span class="lineno"> 92</span>&#160; </div>
<div class="line"><a name="l00094"></a><span class="lineno"><a class="line" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a41cc6d27816df71c3a42837dd3d7548c"> 94</a></span>&#160; <span class="keyword">public</span> CpSolverResponse <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a41cc6d27816df71c3a42837dd3d7548c">response</a>() {</div>
<div class="line"><a name="l00094"></a><span class="lineno"><a class="line" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a41cc6d27816df71c3a42837dd3d7548c"> 94</a></span>&#160; <span class="keyword">public</span> <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html">CpSolverResponse</a> <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a41cc6d27816df71c3a42837dd3d7548c">response</a>() {</div>
<div class="line"><a name="l00095"></a><span class="lineno"> 95</span>&#160; <span class="keywordflow">return</span> solveResponse;</div>
<div class="line"><a name="l00096"></a><span class="lineno"> 96</span>&#160; }</div>
<div class="line"><a name="l00097"></a><span class="lineno"> 97</span>&#160; </div>
<div class="line"><a name="l00099"></a><span class="lineno"><a class="line" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a6eba1a016a99e80decec8801337f35de"> 99</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_1CpSolver.html#a6eba1a016a99e80decec8801337f35de">numBranches</a>() {</div>
<div class="line"><a name="l00100"></a><span class="lineno"> 100</span>&#160; <span class="keywordflow">return</span> solveResponse.getNumBranches();</div>
<div class="line"><a name="l00100"></a><span class="lineno"> 100</span>&#160; <span class="keywordflow">return</span> solveResponse.<a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html#a52da60281a2afd6beaf4640d98dd3255">getNumBranches</a>();</div>
<div class="line"><a name="l00101"></a><span class="lineno"> 101</span>&#160; }</div>
<div class="line"><a name="l00102"></a><span class="lineno"> 102</span>&#160; </div>
<div class="line"><a name="l00104"></a><span class="lineno"><a class="line" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a963b901c7681493ccc15bc769a397be5"> 104</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_1CpSolver.html#a963b901c7681493ccc15bc769a397be5">numConflicts</a>() {</div>
<div class="line"><a name="l00105"></a><span class="lineno"> 105</span>&#160; <span class="keywordflow">return</span> solveResponse.getNumConflicts();</div>
<div class="line"><a name="l00105"></a><span class="lineno"> 105</span>&#160; <span class="keywordflow">return</span> solveResponse.<a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html#aa5009158736947a795b7fcf6b323aea2">getNumConflicts</a>();</div>
<div class="line"><a name="l00106"></a><span class="lineno"> 106</span>&#160; }</div>
<div class="line"><a name="l00107"></a><span class="lineno"> 107</span>&#160; </div>
<div class="line"><a name="l00109"></a><span class="lineno"><a class="line" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a2eb2b2447bd59c1f00a9495e63d6b7e3"> 109</a></span>&#160; <span class="keyword">public</span> <span class="keywordtype">double</span> <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a2eb2b2447bd59c1f00a9495e63d6b7e3">wallTime</a>() {</div>
<div class="line"><a name="l00110"></a><span class="lineno"> 110</span>&#160; <span class="keywordflow">return</span> solveResponse.getWallTime();</div>
<div class="line"><a name="l00110"></a><span class="lineno"> 110</span>&#160; <span class="keywordflow">return</span> solveResponse.<a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html#abf978122a6b366c40270b2883fdf8ce8">getWallTime</a>();</div>
<div class="line"><a name="l00111"></a><span class="lineno"> 111</span>&#160; }</div>
<div class="line"><a name="l00112"></a><span class="lineno"> 112</span>&#160; </div>
<div class="line"><a name="l00114"></a><span class="lineno"><a class="line" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a1cd8aaaecd8d26aeb54f5503a459b1d9"> 114</a></span>&#160; <span class="keyword">public</span> <span class="keywordtype">double</span> <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a1cd8aaaecd8d26aeb54f5503a459b1d9">userTime</a>() {</div>
<div class="line"><a name="l00115"></a><span class="lineno"> 115</span>&#160; <span class="keywordflow">return</span> solveResponse.getUserTime();</div>
<div class="line"><a name="l00115"></a><span class="lineno"> 115</span>&#160; <span class="keywordflow">return</span> solveResponse.<a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html#aec2eccac43347131fecab5bcdc5e3be6">getUserTime</a>();</div>
<div class="line"><a name="l00116"></a><span class="lineno"> 116</span>&#160; }</div>
<div class="line"><a name="l00117"></a><span class="lineno"> 117</span>&#160; </div>
<div class="line"><a name="l00119"></a><span class="lineno"><a class="line" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#ab987e56bbb2a5c4e6f224469986eead3"> 119</a></span>&#160; <span class="keyword">public</span> <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1SatParameters.html">SatParameters</a>.<a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1SatParameters_1_1Builder.html">Builder</a> <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#ab987e56bbb2a5c4e6f224469986eead3">getParameters</a>() {</div>
@@ -138,45 +138,57 @@
<div class="line"><a name="l00121"></a><span class="lineno"> 121</span>&#160; }</div>
<div class="line"><a name="l00122"></a><span class="lineno"> 122</span>&#160; </div>
<div class="line"><a name="l00124"></a><span class="lineno"><a class="line" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#adb1b01f7ab8973fc2b7a5f279dddc185"> 124</a></span>&#160; <span class="keyword">public</span> String <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#adb1b01f7ab8973fc2b7a5f279dddc185">responseStats</a>() {</div>
<div class="line"><a name="l00125"></a><span class="lineno"> 125</span>&#160; <span class="keywordflow">return</span> SatHelper.solverResponseStats(solveResponse);</div>
<div class="line"><a name="l00125"></a><span class="lineno"> 125</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1SatHelper.html">SatHelper</a>.<a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1SatHelper.html#a8d468fc7812b3c3b22ebf22a933c984e">solverResponseStats</a>(solveResponse);</div>
<div class="line"><a name="l00126"></a><span class="lineno"> 126</span>&#160; }</div>
<div class="line"><a name="l00127"></a><span class="lineno"> 127</span>&#160; </div>
<div class="line"><a name="l00128"></a><span class="lineno"> 128</span>&#160; <span class="keyword">private</span> CpSolverResponse solveResponse;</div>
<div class="line"><a name="l00128"></a><span class="lineno"> 128</span>&#160; <span class="keyword">private</span> <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html">CpSolverResponse</a> solveResponse;</div>
<div class="line"><a name="l00129"></a><span class="lineno"> 129</span>&#160; <span class="keyword">private</span> <span class="keyword">final</span> <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1SatParameters.html">SatParameters</a>.<a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1SatParameters_1_1Builder.html">Builder</a> solveParameters;</div>
<div class="line"><a name="l00130"></a><span class="lineno"> 130</span>&#160;}</div>
</div><!-- fragment --></div><!-- contents -->
<div class="ttc" id="aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolver_html_a61e7d175c0ca4cd5a12965af3fe358c4"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a61e7d175c0ca4cd5a12965af3fe358c4">com.google.ortools.sat.CpSolver.value</a></div><div class="ttdeci">long value(IntVar var)</div><div class="ttdoc">Returns the value of a variable in the last solution found.</div><div class="ttdef"><b>Definition:</b> <a href="CpSolver_8java_source.html#l00079">CpSolver.java:79</a></div></div>
<div class="ttc" id="aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolver_html_a41cc6d27816df71c3a42837dd3d7548c"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a41cc6d27816df71c3a42837dd3d7548c">com.google.ortools.sat.CpSolver.response</a></div><div class="ttdeci">CpSolverResponse response()</div><div class="ttdoc">Returns the internal response protobuf that is returned internally by the SAT solver.</div><div class="ttdef"><b>Definition:</b> <a href="CpSolver_8java_source.html#l00094">CpSolver.java:94</a></div></div>
<div class="ttc" id="aclasscom_1_1google_1_1ortools_1_1sat_1_1SatParameters_html"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1SatParameters.html">com.google.ortools.sat.SatParameters</a></div><div class="ttdef"><b>Definition:</b> <a href="SatParameters_8java_source.html#l00015">SatParameters.java:15</a></div></div>
<div class="ttc" id="aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse_html_a340199108d7279a16fbcd5429aa1bd80"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html#a340199108d7279a16fbcd5429aa1bd80">com.google.ortools.sat.CpSolverResponse.getObjectiveValue</a></div><div class="ttdeci">double getObjectiveValue()</div><div class="ttdef"><b>Definition:</b> <a href="CpSolverResponse_8java_source.html#l00341">CpSolverResponse.java:341</a></div></div>
<div class="ttc" id="aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolver_html_a192d2a91adc9495a4109c494f976ee4d"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a192d2a91adc9495a4109c494f976ee4d">com.google.ortools.sat.CpSolver.objectiveValue</a></div><div class="ttdeci">double objectiveValue()</div><div class="ttdoc">Returns the best objective value found during search.</div><div class="ttdef"><b>Definition:</b> <a href="CpSolver_8java_source.html#l00066">CpSolver.java:66</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:13</a></div></div>
<div class="ttc" id="aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolverSolutionCallback_html"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverSolutionCallback.html">com.google.ortools.sat.CpSolverSolutionCallback</a></div><div class="ttdoc">Parent class to create a callback called at each solution.</div><div class="ttdef"><b>Definition:</b> <a href="CpSolverSolutionCallback_8java_source.html#l00039">CpSolverSolutionCallback.java:39</a></div></div>
<div class="ttc" id="aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolver_html_a3675e4eff4f3825c371d8afaa003d365"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a3675e4eff4f3825c371d8afaa003d365">com.google.ortools.sat.CpSolver.bestObjectiveBound</a></div><div class="ttdeci">double bestObjectiveBound()</div><div class="ttdoc">Returns the best lower bound found when minimizing, of the best upper bound found when maximizing.</div><div class="ttdef"><b>Definition:</b> <a href="CpSolver_8java_source.html#l00074">CpSolver.java:74</a></div></div>
<div class="ttc" id="aclasscom_1_1google_1_1ortools_1_1sat_1_1SatParameters_html_aeff24d3f13ca1e88dc9427c640b64314"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1SatParameters.html#aeff24d3f13ca1e88dc9427c640b64314">com.google.ortools.sat.SatParameters.newBuilder</a></div><div class="ttdeci">static Builder newBuilder()</div><div class="ttdef"><b>Definition:</b> <a href="SatParameters_8java_source.html#l08222">SatParameters.java:8222</a></div></div>
<div class="ttc" id="aclasscom_1_1google_1_1ortools_1_1sat_1_1SatParameters_html_aeff24d3f13ca1e88dc9427c640b64314"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1SatParameters.html#aeff24d3f13ca1e88dc9427c640b64314">com.google.ortools.sat.SatParameters.newBuilder</a></div><div class="ttdeci">static Builder newBuilder()</div><div class="ttdef"><b>Definition:</b> <a href="SatParameters_8java_source.html#l08224">SatParameters.java:8224</a></div></div>
<div class="ttc" id="aclasscom_1_1google_1_1ortools_1_1sat_1_1SatHelper_html_a698e2ad4c0f258423300a64da089a0ff"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1SatHelper.html#a698e2ad4c0f258423300a64da089a0ff">com.google.ortools.sat.SatHelper.solveWithParameters</a></div><div class="ttdeci">static com.google.ortools.sat.CpSolverResponse solveWithParameters(com.google.ortools.sat.CpModelProto model_proto, com.google.ortools.sat.SatParameters parameters)</div><div class="ttdef"><b>Definition:</b> <a href="SatHelper_8java_source.html#l00054">SatHelper.java:54</a></div></div>
<div class="ttc" id="aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolver_html_ab987e56bbb2a5c4e6f224469986eead3"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#ab987e56bbb2a5c4e6f224469986eead3">com.google.ortools.sat.CpSolver.getParameters</a></div><div class="ttdeci">SatParameters.Builder getParameters()</div><div class="ttdoc">Returns the builder of the parameters of the SAT solver for modification.</div><div class="ttdef"><b>Definition:</b> <a href="CpSolver_8java_source.html#l00119">CpSolver.java:119</a></div></div>
<div class="ttc" id="aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolver_html_a7ffc251fef14d87ad82ac59f98d96cf9"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a7ffc251fef14d87ad82ac59f98d96cf9">com.google.ortools.sat.CpSolver.searchAllSolutions</a></div><div class="ttdeci">CpSolverStatus searchAllSolutions(CpModel model, CpSolverSolutionCallback cb)</div><div class="ttdoc">Searches for all solutions of a satisfiability problem.</div><div class="ttdef"><b>Definition:</b> <a href="CpSolver_8java_source.html#l00057">CpSolver.java:57</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_1CpSolver_html_a2eb2b2447bd59c1f00a9495e63d6b7e3"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a2eb2b2447bd59c1f00a9495e63d6b7e3">com.google.ortools.sat.CpSolver.wallTime</a></div><div class="ttdeci">double wallTime()</div><div class="ttdoc">Returns the wall time of the search.</div><div class="ttdef"><b>Definition:</b> <a href="CpSolver_8java_source.html#l00109">CpSolver.java:109</a></div></div>
<div class="ttc" id="aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolver_html_a1cd8aaaecd8d26aeb54f5503a459b1d9"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a1cd8aaaecd8d26aeb54f5503a459b1d9">com.google.ortools.sat.CpSolver.userTime</a></div><div class="ttdeci">double userTime()</div><div class="ttdoc">Returns the user time of the search.</div><div class="ttdef"><b>Definition:</b> <a href="CpSolver_8java_source.html#l00114">CpSolver.java:114</a></div></div>
<div class="ttc" id="aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolver_html"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html">com.google.ortools.sat.CpSolver</a></div><div class="ttdoc">Wrapper around the SAT solver.</div><div class="ttdef"><b>Definition:</b> <a href="CpSolver_8java_source.html#l00026">CpSolver.java:26</a></div></div>
<div class="ttc" id="aclasscom_1_1google_1_1ortools_1_1sat_1_1SatHelper_html"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1SatHelper.html">com.google.ortools.sat.SatHelper</a></div><div class="ttdef"><b>Definition:</b> <a href="SatHelper_8java_source.html#l00013">SatHelper.java:13</a></div></div>
<div class="ttc" id="aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse_html_abf978122a6b366c40270b2883fdf8ce8"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html#abf978122a6b366c40270b2883fdf8ce8">com.google.ortools.sat.CpSolverResponse.getWallTime</a></div><div class="ttdeci">double getWallTime()</div><div class="ttdoc">double wall_time = 15;</div><div class="ttdef"><b>Definition:</b> <a href="CpSolverResponse_8java_source.html#l00619">CpSolverResponse.java:619</a></div></div>
<div class="ttc" id="aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolver_html_a4b61919bdcff3d458bf6807086c48be6"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a4b61919bdcff3d458bf6807086c48be6">com.google.ortools.sat.CpSolver.solveWithSolutionCallback</a></div><div class="ttdeci">CpSolverStatus solveWithSolutionCallback(CpModel model, CpSolverSolutionCallback cb)</div><div class="ttdoc">Solves a problem and passes each solution found to the callback.</div><div class="ttdef"><b>Definition:</b> <a href="CpSolver_8java_source.html#l00039">CpSolver.java:39</a></div></div>
<div class="ttc" id="aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolver_html_ad6a3705cb3e6ea4939bfb0bb578d4d01"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#ad6a3705cb3e6ea4939bfb0bb578d4d01">com.google.ortools.sat.CpSolver.booleanValue</a></div><div class="ttdeci">Boolean booleanValue(Literal var)</div><div class="ttdoc">Returns the Boolean value of a literal in the last solution found.</div><div class="ttdef"><b>Definition:</b> <a href="CpSolver_8java_source.html#l00084">CpSolver.java:84</a></div></div>
<div class="ttc" id="aclasscom_1_1google_1_1ortools_1_1sat_1_1SatParameters_1_1Builder_html"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1SatParameters_1_1Builder.html">com.google.ortools.sat.SatParameters.Builder</a></div><div class="ttdef"><b>Definition:</b> <a href="SatParameters_8java_source.html#l08249">SatParameters.java:8249</a></div></div>
<div class="ttc" id="aclasscom_1_1google_1_1ortools_1_1sat_1_1SatParameters_1_1Builder_html"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1SatParameters_1_1Builder.html">com.google.ortools.sat.SatParameters.Builder</a></div><div class="ttdef"><b>Definition:</b> <a href="SatParameters_8java_source.html#l08251">SatParameters.java:8251</a></div></div>
<div class="ttc" id="aclasscom_1_1google_1_1ortools_1_1sat_1_1CpModel_html_a0553dcb0013a4abf06580f642177d776"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModel.html#a0553dcb0013a4abf06580f642177d776">com.google.ortools.sat.CpModel.model</a></div><div class="ttdeci">CpModelProto model()</div><div class="ttdef"><b>Definition:</b> <a href="CpModel_8java_source.html#l01026">CpModel.java:1026</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="com_2google_2ortools_2sat_2Constraint_8java_source.html#l00014">com/google/ortools/sat/Constraint.java:14</a></div></div>
<div class="ttc" id="aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse_html_a13b366999db2d218b3772655c5ae0e80"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html#a13b366999db2d218b3772655c5ae0e80">com.google.ortools.sat.CpSolverResponse.getStatus</a></div><div class="ttdeci">com.google.ortools.sat.CpSolverStatus getStatus()</div><div class="ttdef"><b>Definition:</b> <a href="CpSolverResponse_8java_source.html#l00274">CpSolverResponse.java:274</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="java_2com_2google_2ortools_2sat_2Constraint_8java_source.html#l00014">java/com/google/ortools/sat/Constraint.java:14</a></div></div>
<div class="ttc" id="aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolver_html_adb1b01f7ab8973fc2b7a5f279dddc185"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#adb1b01f7ab8973fc2b7a5f279dddc185">com.google.ortools.sat.CpSolver.responseStats</a></div><div class="ttdeci">String responseStats()</div><div class="ttdoc">Returns some statistics on the solution found as a string.</div><div class="ttdef"><b>Definition:</b> <a href="CpSolver_8java_source.html#l00124">CpSolver.java:124</a></div></div>
<div class="ttc" id="aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolverStatus_html"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverStatus.html">CpSolverStatus</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="ainterfacecom_1_1google_1_1ortools_1_1sat_1_1Literal_html_a59d053c950ff1e9f8a004d493f34e754"><div class="ttname"><a href="interfacecom_1_1google_1_1ortools_1_1sat_1_1Literal.html#a59d053c950ff1e9f8a004d493f34e754">com.google.ortools.sat.Literal.getIndex</a></div><div class="ttdeci">int getIndex()</div></div>
<div class="ttc" id="aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse_html"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html">CpSolverResponse</a></div></div>
<div class="ttc" id="aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse_html"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html">com.google.ortools.sat.CpSolverResponse</a></div><div class="ttdef"><b>Definition:</b> <a href="CpSolverResponse_8java_source.html#l00016">CpSolverResponse.java:16</a></div></div>
<div class="ttc" id="aclasscom_1_1google_1_1ortools_1_1sat_1_1SatHelper_html_a8d468fc7812b3c3b22ebf22a933c984e"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1SatHelper.html#a8d468fc7812b3c3b22ebf22a933c984e">com.google.ortools.sat.SatHelper.solverResponseStats</a></div><div class="ttdeci">static String solverResponseStats(com.google.ortools.sat.CpSolverResponse response)</div><div class="ttdef"><b>Definition:</b> <a href="SatHelper_8java_source.html#l00084">SatHelper.java:84</a></div></div>
<div class="ttc" id="aclasscom_1_1google_1_1ortools_1_1sat_1_1CpModel_html"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModel.html">com.google.ortools.sat.CpModel</a></div><div class="ttdoc">Main modeling class.</div><div class="ttdef"><b>Definition:</b> <a href="CpModel_8java_source.html#l00040">CpModel.java:40</a></div></div>
<div class="ttc" id="aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolver_html_a14e6e324b58ee2744bfed85969fd0f10"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a14e6e324b58ee2744bfed85969fd0f10">com.google.ortools.sat.CpSolver.CpSolver</a></div><div class="ttdeci">CpSolver()</div><div class="ttdoc">Main construction of the CpSolver class.</div><div class="ttdef"><b>Definition:</b> <a href="CpSolver_8java_source.html#l00028">CpSolver.java:28</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="com_2google_2ortools_2sat_2IntVar_8java_source.html#l00045">com/google/ortools/sat/IntVar.java:45</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="java_2com_2google_2ortools_2sat_2IntVar_8java_source.html#l00045">java/com/google/ortools/sat/IntVar.java:45</a></div></div>
<div class="ttc" id="aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse_html_aec2eccac43347131fecab5bcdc5e3be6"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html#aec2eccac43347131fecab5bcdc5e3be6">com.google.ortools.sat.CpSolverResponse.getUserTime</a></div><div class="ttdeci">double getUserTime()</div><div class="ttdoc">double user_time = 16;</div><div class="ttdef"><b>Definition:</b> <a href="CpSolverResponse_8java_source.html#l00629">CpSolverResponse.java:629</a></div></div>
<div class="ttc" id="aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolver_html_a6eba1a016a99e80decec8801337f35de"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a6eba1a016a99e80decec8801337f35de">com.google.ortools.sat.CpSolver.numBranches</a></div><div class="ttdeci">long numBranches()</div><div class="ttdoc">Returns the number of branches explored during search.</div><div class="ttdef"><b>Definition:</b> <a href="CpSolver_8java_source.html#l00099">CpSolver.java:99</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="com_2google_2ortools_2sat_2IntVar_8java_source.html#l00021">com/google/ortools/sat/IntVar.java:21</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="java_2com_2google_2ortools_2sat_2IntVar_8java_source.html#l00021">java/com/google/ortools/sat/IntVar.java:21</a></div></div>
<div class="ttc" id="aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolver_html_a963b901c7681493ccc15bc769a397be5"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a963b901c7681493ccc15bc769a397be5">com.google.ortools.sat.CpSolver.numConflicts</a></div><div class="ttdeci">long numConflicts()</div><div class="ttdoc">Returns the number of conflicts created during search.</div><div class="ttdef"><b>Definition:</b> <a href="CpSolver_8java_source.html#l00104">CpSolver.java:104</a></div></div>
<div class="ttc" id="aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse_html_aa5009158736947a795b7fcf6b323aea2"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html#aa5009158736947a795b7fcf6b323aea2">com.google.ortools.sat.CpSolverResponse.getNumConflicts</a></div><div class="ttdeci">long getNumConflicts()</div><div class="ttdoc">int64 num_conflicts = 11;</div><div class="ttdef"><b>Definition:</b> <a href="CpSolverResponse_8java_source.html#l00579">CpSolverResponse.java:579</a></div></div>
<div class="ttc" id="aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolver_html_a94cfac9362c485d50a8930688fe81a3e"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a94cfac9362c485d50a8930688fe81a3e">com.google.ortools.sat.CpSolver.solve</a></div><div class="ttdeci">CpSolverStatus solve(CpModel model)</div><div class="ttdoc">Solves the given module, and returns the solve status.</div><div class="ttdef"><b>Definition:</b> <a href="CpSolver_8java_source.html#l00033">CpSolver.java:33</a></div></div>
<div class="ttc" id="aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse_html_a838ff59811b38ee21477d1b4642452b7"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html#a838ff59811b38ee21477d1b4642452b7">com.google.ortools.sat.CpSolverResponse.getSolution</a></div><div class="ttdeci">long getSolution(int index)</div><div class="ttdef"><b>Definition:</b> <a href="CpSolverResponse_8java_source.html#l00323">CpSolverResponse.java:323</a></div></div>
<div class="ttc" id="aclasscom_1_1google_1_1ortools_1_1sat_1_1SatHelper_html_a8fe384c0541c908eced79e3b1a29597c"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1SatHelper.html#a8fe384c0541c908eced79e3b1a29597c">com.google.ortools.sat.SatHelper.solveWithParametersAndSolutionCallback</a></div><div class="ttdeci">static com.google.ortools.sat.CpSolverResponse solveWithParametersAndSolutionCallback(com.google.ortools.sat.CpModelProto model_proto, com.google.ortools.sat.SatParameters parameters, SolutionCallback callback)</div><div class="ttdef"><b>Definition:</b> <a href="SatHelper_8java_source.html#l00067">SatHelper.java:67</a></div></div>
<div class="ttc" id="aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse_html_a8acd7d1e0e85ee50dd3362794d5ec2bb"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html#a8acd7d1e0e85ee50dd3362794d5ec2bb">com.google.ortools.sat.CpSolverResponse.getBestObjectiveBound</a></div><div class="ttdeci">double getBestObjectiveBound()</div><div class="ttdef"><b>Definition:</b> <a href="CpSolverResponse_8java_source.html#l00357">CpSolverResponse.java:357</a></div></div>
<div class="ttc" id="aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse_html_a52da60281a2afd6beaf4640d98dd3255"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html#a52da60281a2afd6beaf4640d98dd3255">com.google.ortools.sat.CpSolverResponse.getNumBranches</a></div><div class="ttdeci">long getNumBranches()</div><div class="ttdoc">int64 num_branches = 12;</div><div class="ttdef"><b>Definition:</b> <a href="CpSolverResponse_8java_source.html#l00589">CpSolverResponse.java:589</a></div></div>
</div>
</div>
<div id="footer-container">