84 lines
34 KiB
HTML
84 lines
34 KiB
HTML
<!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">OR-Tools 7.2</span>
|
|
</div>
|
|
</div>
|
|
<link rel="icon" href="https://developers.google.com/optimization/images/orLogo.png">
|
|
<div id="content">
|
|
<!-- Generated by Doxygen 1.8.15 -->
|
|
<div id="navrow1" class="tabs">
|
|
<ul class="tablist">
|
|
<li><a href="index.html"><span>Main Page</span></a></li>
|
|
<li><a href="pages.html"><span>Related Pages</span></a></li>
|
|
<li><a href="namespaces.html"><span>Namespaces</span></a></li>
|
|
<li><a href="annotated.html"><span>Classes</span></a></li>
|
|
</ul>
|
|
</div>
|
|
<div id="navrow2" class="tabs2">
|
|
<ul class="tablist">
|
|
<li><a href="files.html"><span>File List</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">CpSolver.java</div> </div>
|
|
</div><!--header-->
|
|
<div class="contents">
|
|
<a href="CpSolver_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> <span class="comment">// Copyright 2010-2018 Google LLC</span></div><div class="line"><a name="l00002"></a><span class="lineno"> 2</span> <span class="comment">// Licensed under the Apache License, Version 2.0 (the "License");</span></div><div class="line"><a name="l00003"></a><span class="lineno"> 3</span> <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> <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> <span class="comment">//</span></div><div class="line"><a name="l00006"></a><span class="lineno"> 6</span> <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> <span class="comment">//</span></div><div class="line"><a name="l00008"></a><span class="lineno"> 8</span> <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> <span class="comment">// distributed under the License is distributed on an "AS IS" BASIS,</span></div><div class="line"><a name="l00010"></a><span class="lineno"> 10</span> <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> <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> <span class="comment">// limitations under the License.</span></div><div class="line"><a name="l00013"></a><span class="lineno"> 13</span> </div><div class="line"><a name="l00014"></a><span class="lineno"> 14</span> <span class="keyword">package </span>com.google.ortools.sat;</div><div class="line"><a name="l00015"></a><span class="lineno"> 15</span> </div><div class="line"><a name="l00016"></a><span class="lineno"> 16</span> <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> <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="l00018"></a><span class="lineno"> 18</span> <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> </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> <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><div class="line"><a name="l00028"></a><span class="lineno"><a class="line" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a84e1cdd7d7e3fea0690232d068a7d12c"> 28</a></span>  <span class="keyword">public</span> <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a84e1cdd7d7e3fea0690232d068a7d12c">CpSolver</a>() {</div><div class="line"><a name="l00029"></a><span class="lineno"> 29</span>  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#ac36b8bafcc7d6d847c77c428d972ee99">newBuilder</a>();</div><div class="line"><a name="l00030"></a><span class="lineno"> 30</span>  }</div><div class="line"><a name="l00031"></a><span class="lineno"> 31</span> </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#aad90759e27de74339bfb97c3f31bc509"> 33</a></span>  <span class="keyword">public</span> CpSolverStatus <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#aad90759e27de74339bfb97c3f31bc509">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>  solveResponse = SatHelper.solveWithParameters(model.<a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModel.html#a1b3e76f63c2f4dfac360c2c330b5ce8c">model</a>(), solveParameters.build());</div><div class="line"><a name="l00035"></a><span class="lineno"> 35</span>  <span class="keywordflow">return</span> solveResponse.getStatus();</div><div class="line"><a name="l00036"></a><span class="lineno"> 36</span>  }</div><div class="line"><a name="l00037"></a><span class="lineno"> 37</span> </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#a9e01621422716fb1d27b81543e1bf485"> 39</a></span>  <span class="keyword">public</span> CpSolverStatus <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a9e01621422716fb1d27b81543e1bf485">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>  solveResponse = SatHelper.solveWithParametersAndSolutionCallback(</div><div class="line"><a name="l00041"></a><span class="lineno"> 41</span>  model.<a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModel.html#a1b3e76f63c2f4dfac360c2c330b5ce8c">model</a>(), solveParameters.build(), cb);</div><div class="line"><a name="l00042"></a><span class="lineno"> 42</span>  <span class="keywordflow">return</span> solveResponse.getStatus();</div><div class="line"><a name="l00043"></a><span class="lineno"> 43</span>  }</div><div class="line"><a name="l00044"></a><span class="lineno"> 44</span> </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#ad64fabf13468253f9f080e4eeb1d3655"> 57</a></span>  <span class="keyword">public</span> CpSolverStatus <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#ad64fabf13468253f9f080e4eeb1d3655">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>  solveParameters.setEnumerateAllSolutions(<span class="keyword">true</span>);</div><div class="line"><a name="l00059"></a><span class="lineno"> 59</span>  solveResponse = SatHelper.solveWithParametersAndSolutionCallback(</div><div class="line"><a name="l00060"></a><span class="lineno"> 60</span>  model.<a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModel.html#a1b3e76f63c2f4dfac360c2c330b5ce8c">model</a>(), solveParameters.build(), cb);</div><div class="line"><a name="l00061"></a><span class="lineno"> 61</span>  solveParameters.setEnumerateAllSolutions(<span class="keyword">true</span>);</div><div class="line"><a name="l00062"></a><span class="lineno"> 62</span>  <span class="keywordflow">return</span> solveResponse.getStatus();</div><div class="line"><a name="l00063"></a><span class="lineno"> 63</span>  }</div><div class="line"><a name="l00064"></a><span class="lineno"> 64</span> </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#a9b7c07281602ed5206bf5eb7f57bd063"> 66</a></span>  <span class="keyword">public</span> <span class="keywordtype">double</span> <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a9b7c07281602ed5206bf5eb7f57bd063">objectiveValue</a>() {</div><div class="line"><a name="l00067"></a><span class="lineno"> 67</span>  <span class="keywordflow">return</span> solveResponse.getObjectiveValue();</div><div class="line"><a name="l00068"></a><span class="lineno"> 68</span>  }</div><div class="line"><a name="l00069"></a><span class="lineno"> 69</span> </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#a31f1aedfbce9383722beae45bb6c56d9"> 74</a></span>  <span class="keyword">public</span> <span class="keywordtype">double</span> <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a31f1aedfbce9383722beae45bb6c56d9">bestObjectiveBound</a>() {</div><div class="line"><a name="l00075"></a><span class="lineno"> 75</span>  <span class="keywordflow">return</span> solveResponse.getBestObjectiveBound();</div><div class="line"><a name="l00076"></a><span class="lineno"> 76</span>  }</div><div class="line"><a name="l00077"></a><span class="lineno"> 77</span> </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#afec653ca08cdff3ec58642c199bbdb55"> 79</a></span>  <span class="keyword">public</span> <span class="keywordtype">long</span> <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#afec653ca08cdff3ec58642c199bbdb55">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>  <span class="keywordflow">return</span> solveResponse.getSolution(var.<a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1IntVar.html#a49d108125696400e851418c655de4a6b">getIndex</a>());</div><div class="line"><a name="l00081"></a><span class="lineno"> 81</span>  }</div><div class="line"><a name="l00082"></a><span class="lineno"> 82</span> </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#a7c3c5dc674530a7989b0fdf3bf1af90a"> 84</a></span>  <span class="keyword">public</span> Boolean <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a7c3c5dc674530a7989b0fdf3bf1af90a">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>  <span class="keywordtype">int</span> index = var.<a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1Literal.html#a8053cba104ece21727a1372f62cace36">getIndex</a>();</div><div class="line"><a name="l00086"></a><span class="lineno"> 86</span>  <span class="keywordflow">if</span> (index >= 0) {</div><div class="line"><a name="l00087"></a><span class="lineno"> 87</span>  <span class="keywordflow">return</span> solveResponse.getSolution(index) != 0;</div><div class="line"><a name="l00088"></a><span class="lineno"> 88</span>  } <span class="keywordflow">else</span> {</div><div class="line"><a name="l00089"></a><span class="lineno"> 89</span>  <span class="keywordflow">return</span> solveResponse.getSolution(-index - 1) == 0;</div><div class="line"><a name="l00090"></a><span class="lineno"> 90</span>  }</div><div class="line"><a name="l00091"></a><span class="lineno"> 91</span>  }</div><div class="line"><a name="l00092"></a><span class="lineno"> 92</span> </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#a509d914bed7992922c785ef6686f4fd8"> 94</a></span>  <span class="keyword">public</span> CpSolverResponse <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a509d914bed7992922c785ef6686f4fd8">response</a>() {</div><div class="line"><a name="l00095"></a><span class="lineno"> 95</span>  <span class="keywordflow">return</span> solveResponse;</div><div class="line"><a name="l00096"></a><span class="lineno"> 96</span>  }</div><div class="line"><a name="l00097"></a><span class="lineno"> 97</span> </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#a3d6654a7d7606fe5f81ab3be7a3f8cfa"> 99</a></span>  <span class="keyword">public</span> <span class="keywordtype">long</span> <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a3d6654a7d7606fe5f81ab3be7a3f8cfa">numBranches</a>() {</div><div class="line"><a name="l00100"></a><span class="lineno"> 100</span>  <span class="keywordflow">return</span> solveResponse.getNumBranches();</div><div class="line"><a name="l00101"></a><span class="lineno"> 101</span>  }</div><div class="line"><a name="l00102"></a><span class="lineno"> 102</span> </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#a529ec05c15cfb3ecdb30f3331e32fd4b"> 104</a></span>  <span class="keyword">public</span> <span class="keywordtype">long</span> <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a529ec05c15cfb3ecdb30f3331e32fd4b">numConflicts</a>() {</div><div class="line"><a name="l00105"></a><span class="lineno"> 105</span>  <span class="keywordflow">return</span> solveResponse.getNumConflicts();</div><div class="line"><a name="l00106"></a><span class="lineno"> 106</span>  }</div><div class="line"><a name="l00107"></a><span class="lineno"> 107</span> </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#a25f9fb12f1b0d0cd22a71763b470b4d9"> 109</a></span>  <span class="keyword">public</span> <span class="keywordtype">double</span> <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a25f9fb12f1b0d0cd22a71763b470b4d9">wallTime</a>() {</div><div class="line"><a name="l00110"></a><span class="lineno"> 110</span>  <span class="keywordflow">return</span> solveResponse.getWallTime();</div><div class="line"><a name="l00111"></a><span class="lineno"> 111</span>  }</div><div class="line"><a name="l00112"></a><span class="lineno"> 112</span> </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#ad7c755da81776f896e5908d4aaace66e"> 114</a></span>  <span class="keyword">public</span> <span class="keywordtype">double</span> <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#ad7c755da81776f896e5908d4aaace66e">userTime</a>() {</div><div class="line"><a name="l00115"></a><span class="lineno"> 115</span>  <span class="keywordflow">return</span> solveResponse.getUserTime();</div><div class="line"><a name="l00116"></a><span class="lineno"> 116</span>  }</div><div class="line"><a name="l00117"></a><span class="lineno"> 117</span> </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#a21e42b4db90799992f39abf1a37da2e0"> 119</a></span>  <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#a21e42b4db90799992f39abf1a37da2e0">getParameters</a>() {</div><div class="line"><a name="l00120"></a><span class="lineno"> 120</span>  <span class="keywordflow">return</span> solveParameters;</div><div class="line"><a name="l00121"></a><span class="lineno"> 121</span>  }</div><div class="line"><a name="l00122"></a><span class="lineno"> 122</span> </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#abffb3b7a081be116fdb8fa4238d6e51d"> 124</a></span>  <span class="keyword">public</span> String <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#abffb3b7a081be116fdb8fa4238d6e51d">responseStats</a>() {</div><div class="line"><a name="l00125"></a><span class="lineno"> 125</span>  <span class="keywordflow">return</span> SatHelper.solverResponseStats(solveResponse);</div><div class="line"><a name="l00126"></a><span class="lineno"> 126</span>  }</div><div class="line"><a name="l00127"></a><span class="lineno"> 127</span> </div><div class="line"><a name="l00128"></a><span class="lineno"> 128</span>  <span class="keyword">private</span> CpSolverResponse solveResponse;</div><div class="line"><a name="l00129"></a><span class="lineno"> 129</span>  <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> }</div><div class="ttc" id="namespacecom_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="classcom_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="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver_html_ad7c755da81776f896e5908d4aaace66e"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#ad7c755da81776f896e5908d4aaace66e">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="classcom_1_1google_1_1ortools_1_1sat_1_1IntVar_html_a49d108125696400e851418c655de4a6b"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1IntVar.html#a49d108125696400e851418c655de4a6b">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="classcom_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="classcom_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="classcom_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="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver_html_a31f1aedfbce9383722beae45bb6c56d9"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a31f1aedfbce9383722beae45bb6c56d9">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="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver_html_a9b7c07281602ed5206bf5eb7f57bd063"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a9b7c07281602ed5206bf5eb7f57bd063">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="namespacecom_html"><div class="ttname"><a href="namespacecom.html">com</a></div></div>
|
|
<div class="ttc" id="classcom_1_1google_1_1ortools_1_1sat_1_1SatParameters_html_ac36b8bafcc7d6d847c77c428d972ee99"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1SatParameters.html#ac36b8bafcc7d6d847c77c428d972ee99">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#l07234">SatParameters.java:7234</a></div></div>
|
|
<div class="ttc" id="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver_html_afec653ca08cdff3ec58642c199bbdb55"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#afec653ca08cdff3ec58642c199bbdb55">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="classcom_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#l07261">SatParameters.java:7261</a></div></div>
|
|
<div class="ttc" id="classcom_1_1google_1_1ortools_1_1sat_1_1CpModel_html_a1b3e76f63c2f4dfac360c2c330b5ce8c"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModel.html#a1b3e76f63c2f4dfac360c2c330b5ce8c">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#l01020">CpModel.java:1020</a></div></div>
|
|
<div class="ttc" id="namespacecom_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="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver_html_a84e1cdd7d7e3fea0690232d068a7d12c"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a84e1cdd7d7e3fea0690232d068a7d12c">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="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver_html_a529ec05c15cfb3ecdb30f3331e32fd4b"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a529ec05c15cfb3ecdb30f3331e32fd4b">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="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver_html_a21e42b4db90799992f39abf1a37da2e0"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a21e42b4db90799992f39abf1a37da2e0">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="classcom_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="interfacecom_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="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver_html_a7c3c5dc674530a7989b0fdf3bf1af90a"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a7c3c5dc674530a7989b0fdf3bf1af90a">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="classcom_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="interfacecom_1_1google_1_1ortools_1_1sat_1_1Literal_html_a8053cba104ece21727a1372f62cace36"><div class="ttname"><a href="interfacecom_1_1google_1_1ortools_1_1sat_1_1Literal.html#a8053cba104ece21727a1372f62cace36">com.google.ortools.sat.Literal.getIndex</a></div><div class="ttdeci">int getIndex()</div></div>
|
|
<div class="ttc" id="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver_html_abffb3b7a081be116fdb8fa4238d6e51d"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#abffb3b7a081be116fdb8fa4238d6e51d">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="namespacecom_1_1google_html"><div class="ttname"><a href="namespacecom_1_1google.html">com.google</a></div></div>
|
|
<div class="ttc" id="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver_html_ad64fabf13468253f9f080e4eeb1d3655"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#ad64fabf13468253f9f080e4eeb1d3655">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="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver_html_a3d6654a7d7606fe5f81ab3be7a3f8cfa"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a3d6654a7d7606fe5f81ab3be7a3f8cfa">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="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver_html_a9e01621422716fb1d27b81543e1bf485"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a9e01621422716fb1d27b81543e1bf485">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="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver_html_a509d914bed7992922c785ef6686f4fd8"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a509d914bed7992922c785ef6686f4fd8">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="classcom_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="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver_html_a25f9fb12f1b0d0cd22a71763b470b4d9"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a25f9fb12f1b0d0cd22a71763b470b4d9">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="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver_html_aad90759e27de74339bfb97c3f31bc509"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#aad90759e27de74339bfb97c3f31bc509">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><!-- fragment --></div><!-- contents -->
|
|
</div>
|
|
<div id="footer-container">
|
|
<div id="footer">
|
|
</div>
|
|
</div>
|
|
</body>
|
|
</html>
|