2019-06-13 13:08:49 +02:00
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
2019-06-13 02:45:44 +02:00
< html xmlns = "http://www.w3.org/1999/xhtml" >
2019-06-13 13:08:49 +02:00
< 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"/> -->
< script type = "text/javascript" src = "jquery.js" > < / script >
< script type = "text/javascript" src = "dynsections.js" > < / script >
2020-09-01 16:00:33 +02:00
< link href = "doxygen.css" rel = "stylesheet" type = "text/css" / >
< link href = "styleSheet.tmp.css" rel = "stylesheet" type = "text/css" / >
2019-06-13 13:08:49 +02:00
< / head >
< body >
< div id = "banner-container" >
< div id = "banner" >
2021-12-14 13:41:01 +01:00
< span id = "sfml" > Google OR-Tools 9.2< / span >
2019-06-13 13:08:49 +02:00
< / div >
< / div >
2019-08-07 18:01:08 -07:00
< div id = "content" style = "width: 100%; overflow: hidden;" >
< div style = "margin-left: 15px; margin-top: 5px; float: left; color: #145A32;" >
2019-08-12 09:16:03 -07:00
< h2 > Java Reference< / h2 >
2019-08-07 18:01:08 -07:00
< ul >
< li > < a href = "../java/namespacecom_1_1google_1_1ortools_1_1sat.html" > CP-SAT< / a > < / li >
< li > < a href = "../java/namespacecom_1_1google_1_1ortools_1_1graph.html" > Graph< / a > < / li >
< li > < a href = "../java/namespacecom_1_1google_1_1ortools_1_1algorithms.html" > Knapsack solver< / a > < / li >
< li > < a href = "../java/namespacecom_1_1google_1_1ortools_1_1linearsolver.html" > Linear solver< / a > < / li >
< li > < a href = "../java/namespacecom_1_1google_1_1ortools_1_1constraintsolver.html" > Routing< / a > < / li >
< li > < a href = "../java/namespacecom_1_1google_1_1ortools_1_1util.html" > Util< / a > < / li >
< / ul >
< / div >
2019-06-13 13:08:49 +02:00
< div id = "content" >
2019-08-07 18:01:08 -07:00
< div align = "center" >
< h1 style = "color: #145A32;" > Java Reference< / h1 >
< / div >
2022-01-17 21:42:14 +01:00
<!-- Generated by Doxygen 1.9.3 -->
2020-09-01 16:00:33 +02:00
< script type = "text/javascript" >
2022-01-17 21:42:14 +01:00
/* @license magnet:?xt=urn:btih:d3d9a9a6595521f9666a5e94cc830dab83b65699& dn=expat.txt MIT */
var searchBox = new SearchBox("searchBox", "search",'Search','.html');
2020-09-01 16:00:33 +02:00
/* @license-end */
< / script >
< script type = "text/javascript" src = "menudata.js" > < / script >
< script type = "text/javascript" src = "menu.js" > < / script >
< script type = "text/javascript" >
2022-01-17 21:42:14 +01:00
/* @license magnet:?xt=urn:btih:d3d9a9a6595521f9666a5e94cc830dab83b65699& dn=expat.txt MIT */
2020-09-01 16:00:33 +02:00
$(function() {
initMenu('',true,false,'search.php','Search');
$(document).ready(function() { init_search(); });
});
2022-01-17 21:42:14 +01:00
/* @license-end */
< / script >
2020-09-01 16:00:33 +02:00
< div id = "main-nav" > < / div >
< / div > <!-- top -->
< div id = "side-nav" class = "ui-resizable side-nav-resizable" >
< div id = "nav-tree" >
< div id = "nav-tree-contents" >
< div id = "nav-sync" class = "sync" > < / div >
< / div >
< / div >
< div id = "splitbar" style = "-moz-user-select:none;"
class="ui-resizable-handle">
2019-06-13 02:45:44 +02:00
< / div >
< / div >
2020-09-01 16:00:33 +02:00
< script type = "text/javascript" >
2022-01-17 21:42:14 +01:00
/* @license magnet:?xt=urn:btih:d3d9a9a6595521f9666a5e94cc830dab83b65699& dn=expat.txt MIT */
$(document).ready(function(){initNavTree('CpSolver_8java_source.html',''); initResizable(); });
2020-09-01 16:00:33 +02:00
/* @license-end */
< / script >
< div id = "doc-content" >
<!-- window showing the filter options -->
< div id = "MSearchSelectWindow"
onmouseover="return searchBox.OnSearchSelectShow()"
onmouseout="return searchBox.OnSearchSelectHide()"
onkeydown="return searchBox.OnSearchSelectKey(event)">
< / div >
<!-- iframe showing the search results (closed by default) -->
< div id = "MSearchResultsWindow" >
< iframe src = "javascript:void(0)" frameborder = "0"
name="MSearchResults" id="MSearchResults">
< / iframe >
< / div >
2019-06-13 02:45:44 +02:00
< div class = "header" >
2022-01-17 21:42:14 +01:00
< div class = "headertitle" > < div class = "title" > CpSolver.java< / div > < / div >
2019-06-13 02:45:44 +02:00
< / div > <!-- header -->
< div class = "contents" >
2022-01-17 21:42:14 +01:00
< a href = "CpSolver_8java.html" > Go to the documentation of this file.< / a > < div class = "fragment" > < div class = "line" > < a id = "l00001" name = "l00001" > < / a > < span class = "lineno" > 1< / span > < span class = "comment" > // Copyright 2010-2021 Google LLC< / span > < / div >
< div class = "line" > < a id = "l00002" 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 id = "l00003" 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 id = "l00004" 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 id = "l00005" name = "l00005" > < / a > < span class = "lineno" > 5< / span > < span class = "comment" > //< / span > < / div >
< div class = "line" > < a id = "l00006" 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 id = "l00007" name = "l00007" > < / a > < span class = "lineno" > 7< / span > < span class = "comment" > //< / span > < / div >
< div class = "line" > < a id = "l00008" 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 id = "l00009" 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 id = "l00010" 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 id = "l00011" 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 id = "l00012" name = "l00012" > < / a > < span class = "lineno" > 12< / span > < span class = "comment" > // limitations under the License.< / span > < / div >
< div class = "line" > < a id = "l00013" name = "l00013" > < / a > < span class = "lineno" > 13< / span > < / div >
< div class = "line" > < a id = "l00014" name = "l00014" > < / a > < span class = "lineno" > 14< / span > < span class = "keyword" > package < / span > com.google.ortools.sat;< / div >
< div class = "line" > < a id = "l00015" name = "l00015" > < / a > < span class = "lineno" > 15< / span > < / div >
< div class = "line" > < a id = "l00016" name = "l00016" > < / a > < span class = "lineno" > 16< / span > < span class = "keyword" > import< / span > com.google.ortools.sat.CpSolverResponse;< / div >
< div class = "line" > < a id = "l00017" name = "l00017" > < / a > < span class = "lineno" > 17< / span > < span class = "keyword" > import< / span > com.google.ortools.sat.CpSolverStatus;< / div >
< div class = "line" > < a id = "l00018" name = "l00018" > < / a > < span class = "lineno" > 18< / span > < span class = "keyword" > import< / span > com.google.ortools.sat.SatParameters;< / div >
< div class = "line" > < a id = "l00019" name = "l00019" > < / a > < span class = "lineno" > 19< / span > < span class = "keyword" > import< / span > java.util.List;< / div >
< div class = "line" > < a id = "l00020" name = "l00020" > < / a > < span class = "lineno" > 20< / span > < span class = "keyword" > import< / span > java.util.function.Consumer;< / div >
< div class = "line" > < a id = "l00021" name = "l00021" > < / a > < span class = "lineno" > 21< / span > < / div >
< div class = "line" > < a id = "l00028" name = "l00028" > < / a > < span class = "lineno" > < a class = "line" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html" > 28< / a > < / span > < span class = "keyword" > public< / span > < span class = "keyword" > final< / span > < span class = "keyword" > class < / span > < a class = "code hl_class" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html" > CpSolver< / a > {< / div >
< div class = "line" > < a id = "l00030" name = "l00030" > < / a > < span class = "lineno" > < a class = "line" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a14e6e324b58ee2744bfed85969fd0f10" > 30< / a > < / span > < span class = "keyword" > public< / span > < a class = "code hl_function" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a14e6e324b58ee2744bfed85969fd0f10" > CpSolver< / a > () {< / div >
< div class = "line" > < a id = "l00031" name = "l00031" > < / a > < span class = "lineno" > 31< / span > this.solveParameters = < a class = "code hl_class" href = "classcom_1_1google_1_1ortools_1_1sat_1_1SatParameters.html" > SatParameters< / a > .< a class = "code hl_function" href = "classcom_1_1google_1_1ortools_1_1sat_1_1SatParameters.html#aeff24d3f13ca1e88dc9427c640b64314" > newBuilder< / a > ();< / div >
< div class = "line" > < a id = "l00032" name = "l00032" > < / a > < span class = "lineno" > 32< / span > this.logCallback = < span class = "keyword" > null< / span > ;< / div >
< div class = "line" > < a id = "l00033" name = "l00033" > < / a > < span class = "lineno" > 33< / span > this.solveWrapper = < span class = "keyword" > null< / span > ;< / div >
< div class = "line" > < a id = "l00034" name = "l00034" > < / a > < span class = "lineno" > 34< / span > }< / div >
< div class = "line" > < a id = "l00035" name = "l00035" > < / a > < span class = "lineno" > 35< / span > < / div >
< div class = "line" > < a id = "l00037" name = "l00037" > < / a > < span class = "lineno" > < a class = "line" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a94cfac9362c485d50a8930688fe81a3e" > 37< / a > < / span > < span class = "keyword" > public< / span > < a class = "code hl_class" href = "enumcom_1_1google_1_1ortools_1_1sat_1_1CpSolverStatus.html" > CpSolverStatus< / a > < a class = "code hl_function" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a94cfac9362c485d50a8930688fe81a3e" > solve< / a > (< a class = "code hl_class" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpModel.html" > CpModel< / a > model) {< / div >
< div class = "line" > < a id = "l00038" name = "l00038" > < / a > < span class = "lineno" > 38< / span > < span class = "keywordflow" > return< / span > < a class = "code hl_function" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a4b61919bdcff3d458bf6807086c48be6" > solveWithSolutionCallback< / a > (model, < span class = "keyword" > null< / span > );< / div >
< div class = "line" > < a id = "l00039" name = "l00039" > < / a > < span class = "lineno" > 39< / span > }< / div >
< div class = "line" > < a id = "l00040" name = "l00040" > < / a > < span class = "lineno" > 40< / span > < / div >
< div class = "line" > < a id = "l00045" name = "l00045" > < / a > < span class = "lineno" > < a class = "line" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a2f03f2f4aeddeb9c537e8b29c9e19c5e" > 45< / a > < / span > < span class = "keyword" > public< / span > < a class = "code hl_class" href = "enumcom_1_1google_1_1ortools_1_1sat_1_1CpSolverStatus.html" > CpSolverStatus< / a > < a class = "code hl_function" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a2f03f2f4aeddeb9c537e8b29c9e19c5e" > solve< / a > (< a class = "code hl_class" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpModel.html" > CpModel< / a > model, < a class = "code hl_class" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverSolutionCallback.html" > CpSolverSolutionCallback< / a > cb) {< / div >
< div class = "line" > < a id = "l00046" name = "l00046" > < / a > < span class = "lineno" > 46< / span > < span class = "comment" > // Setup search.< / span > < / div >
< div class = "line" > < a id = "l00047" name = "l00047" > < / a > < span class = "lineno" > 47< / span > createSolveWrapper(); < span class = "comment" > // Synchronized.< / span > < / div >
< div class = "line" > < a id = "l00048" name = "l00048" > < / a > < span class = "lineno" > 48< / span > solveWrapper.< a class = "code hl_function" href = "classcom_1_1google_1_1ortools_1_1sat_1_1SolveWrapper.html#a60f2fecfb94249d83156ea0a41ab6012" > setParameters< / a > (solveParameters.build());< / div >
< div class = "line" > < a id = "l00049" name = "l00049" > < / a > < span class = "lineno" > 49< / span > < span class = "keywordflow" > if< / span > (cb != < span class = "keyword" > null< / span > ) {< / div >
< div class = "line" > < a id = "l00050" name = "l00050" > < / a > < span class = "lineno" > 50< / span > solveWrapper.< a class = "code hl_function" href = "classcom_1_1google_1_1ortools_1_1sat_1_1SolveWrapper.html#a477245339a4c09efb654ba89deed49e0" > addSolutionCallback< / a > (cb);< / div >
< div class = "line" > < a id = "l00051" name = "l00051" > < / a > < span class = "lineno" > 51< / span > }< / div >
< div class = "line" > < a id = "l00052" name = "l00052" > < / a > < span class = "lineno" > 52< / span > < span class = "keywordflow" > if< / span > (logCallback != < span class = "keyword" > null< / span > ) {< / div >
< div class = "line" > < a id = "l00053" name = "l00053" > < / a > < span class = "lineno" > 53< / span > solveWrapper.< a class = "code hl_function" href = "classcom_1_1google_1_1ortools_1_1sat_1_1SolveWrapper.html#aa3f9f31d2323b253c7d4b55a11ead163" > addLogCallback< / a > (logCallback);< / div >
< div class = "line" > < a id = "l00054" name = "l00054" > < / a > < span class = "lineno" > 54< / span > }< / div >
< div class = "line" > < a id = "l00055" name = "l00055" > < / a > < span class = "lineno" > 55< / span > < / div >
< div class = "line" > < a id = "l00056" name = "l00056" > < / a > < span class = "lineno" > 56< / span > solveResponse = solveWrapper.< a class = "code hl_function" href = "classcom_1_1google_1_1ortools_1_1sat_1_1SolveWrapper.html#ae76df5295868bc379d05d7009d094395" > solve< / a > (model.< a class = "code hl_function" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpModel.html#a0553dcb0013a4abf06580f642177d776" > model< / a > ());< / div >
< div class = "line" > < a id = "l00057" name = "l00057" > < / a > < span class = "lineno" > 57< / span > < / div >
< div class = "line" > < a id = "l00058" name = "l00058" > < / a > < span class = "lineno" > 58< / span > < span class = "comment" > // Cleanup search.< / span > < / div >
< div class = "line" > < a id = "l00059" name = "l00059" > < / a > < span class = "lineno" > 59< / span > < span class = "keywordflow" > if< / span > (cb != < span class = "keyword" > null< / span > ) {< / div >
< div class = "line" > < a id = "l00060" name = "l00060" > < / a > < span class = "lineno" > 60< / span > solveWrapper.< a class = "code hl_function" href = "classcom_1_1google_1_1ortools_1_1sat_1_1SolveWrapper.html#abaf985fa21b19f55c2f4cc94914a26fa" > clearSolutionCallback< / a > (cb);< / div >
< div class = "line" > < a id = "l00061" name = "l00061" > < / a > < span class = "lineno" > 61< / span > }< / div >
< div class = "line" > < a id = "l00062" name = "l00062" > < / a > < span class = "lineno" > 62< / span > releaseSolveWrapper(); < span class = "comment" > // Synchronized.< / span > < / div >
< div class = "line" > < a id = "l00063" name = "l00063" > < / a > < span class = "lineno" > 63< / span > < / div >
< div class = "line" > < a id = "l00064" name = "l00064" > < / a > < span class = "lineno" > 64< / span > < span class = "keywordflow" > return< / span > solveResponse.< a class = "code hl_function" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html#a13b366999db2d218b3772655c5ae0e80" > getStatus< / a > ();< / div >
< div class = "line" > < a id = "l00065" name = "l00065" > < / a > < span class = "lineno" > 65< / span > }< / div >
< div class = "line" > < a id = "l00066" name = "l00066" > < / a > < span class = "lineno" > 66< / span > < / div >
< div class = "line" > < a id = "l00073" name = "l00073" > < / a > < span class = "lineno" > 73< / span > @Deprecated< / div >
< div class = "line" > < a id = "l00074" name = "l00074" > < / a > < span class = "lineno" > < a class = "line" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a4b61919bdcff3d458bf6807086c48be6" > 74< / a > < / span > < span class = "keyword" > public< / span > < a class = "code hl_class" href = "enumcom_1_1google_1_1ortools_1_1sat_1_1CpSolverStatus.html" > CpSolverStatus< / a > < a class = "code hl_function" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a4b61919bdcff3d458bf6807086c48be6" > solveWithSolutionCallback< / a > (< a class = "code hl_class" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpModel.html" > CpModel< / a > model, < a class = "code hl_class" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverSolutionCallback.html" > CpSolverSolutionCallback< / a > cb) {< / div >
< div class = "line" > < a id = "l00075" name = "l00075" > < / a > < span class = "lineno" > 75< / span > < span class = "keywordflow" > return< / span > < a class = "code hl_function" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a94cfac9362c485d50a8930688fe81a3e" > solve< / a > (model, cb);< / div >
< div class = "line" > < a id = "l00076" name = "l00076" > < / a > < span class = "lineno" > 76< / span > }< / div >
< div class = "line" > < a id = "l00077" name = "l00077" > < / a > < span class = "lineno" > 77< / span > < / div >
< div class = "line" > < a id = "l00092" name = "l00092" > < / a > < span class = "lineno" > 92< / span > @Deprecated< / div >
< div class = "line" > < a id = "l00093" name = "l00093" > < / a > < span class = "lineno" > < a class = "line" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a7ffc251fef14d87ad82ac59f98d96cf9" > 93< / a > < / span > < span class = "keyword" > public< / span > < a class = "code hl_class" href = "enumcom_1_1google_1_1ortools_1_1sat_1_1CpSolverStatus.html" > CpSolverStatus< / a > < a class = "code hl_function" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a7ffc251fef14d87ad82ac59f98d96cf9" > searchAllSolutions< / a > (< a class = "code hl_class" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpModel.html" > CpModel< / a > model, < a class = "code hl_class" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverSolutionCallback.html" > CpSolverSolutionCallback< / a > cb) {< / div >
< div class = "line" > < a id = "l00094" name = "l00094" > < / a > < span class = "lineno" > 94< / span > < span class = "keywordtype" > boolean< / span > oldValue = solveParameters.< a class = "code hl_function" href = "classcom_1_1google_1_1ortools_1_1sat_1_1SatParameters.html#a584a37ad6d51972dbbfe317470653e81" > getEnumerateAllSolutions< / a > ();< / div >
< div class = "line" > < a id = "l00095" name = "l00095" > < / a > < span class = "lineno" > 95< / span > solveParameters.setEnumerateAllSolutions(< span class = "keyword" > true< / span > );< / div >
< div class = "line" > < a id = "l00096" name = "l00096" > < / a > < span class = "lineno" > 96< / span > < a class = "code hl_function" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a94cfac9362c485d50a8930688fe81a3e" > solve< / a > (model, cb);< / div >
< div class = "line" > < a id = "l00097" name = "l00097" > < / a > < span class = "lineno" > 97< / span > solveParameters.setEnumerateAllSolutions(oldValue);< / div >
< div class = "line" > < a id = "l00098" name = "l00098" > < / a > < span class = "lineno" > 98< / span > < span class = "keywordflow" > return< / span > solveResponse.< a class = "code hl_function" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html#a13b366999db2d218b3772655c5ae0e80" > getStatus< / a > ();< / div >
< div class = "line" > < a id = "l00099" name = "l00099" > < / a > < span class = "lineno" > 99< / span > }< / div >
< div class = "line" > < a id = "l00100" name = "l00100" > < / a > < span class = "lineno" > 100< / span > < / div >
< div class = "line" > < a id = "l00101" name = "l00101" > < / a > < span class = "lineno" > 101< / span > < span class = "keyword" > private< / span > < span class = "keyword" > synchronized< / span > < span class = "keywordtype" > void< / span > createSolveWrapper() {< / div >
< div class = "line" > < a id = "l00102" name = "l00102" > < / a > < span class = "lineno" > 102< / span > solveWrapper = < span class = "keyword" > new< / span > < a class = "code hl_class" href = "classcom_1_1google_1_1ortools_1_1sat_1_1SolveWrapper.html" > SolveWrapper< / a > ();< / div >
< div class = "line" > < a id = "l00103" name = "l00103" > < / a > < span class = "lineno" > 103< / span > }< / div >
< div class = "line" > < a id = "l00104" name = "l00104" > < / a > < span class = "lineno" > 104< / span > < / div >
< div class = "line" > < a id = "l00105" name = "l00105" > < / a > < span class = "lineno" > 105< / span > < span class = "keyword" > private< / span > < span class = "keyword" > synchronized< / span > < span class = "keywordtype" > void< / span > releaseSolveWrapper() {< / div >
< div class = "line" > < a id = "l00106" name = "l00106" > < / a > < span class = "lineno" > 106< / span > solveWrapper = < span class = "keyword" > null< / span > ;< / div >
< div class = "line" > < a id = "l00107" name = "l00107" > < / a > < span class = "lineno" > 107< / span > }< / div >
< div class = "line" > < a id = "l00108" name = "l00108" > < / a > < span class = "lineno" > 108< / span > < / div >
< div class = "line" > < a id = "l00110" name = "l00110" > < / a > < span class = "lineno" > < a class = "line" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#acc4bd421bc39812d901e20823d443f36" > 110< / a > < / span > < span class = "keyword" > public< / span > < span class = "keyword" > synchronized< / span > < span class = "keywordtype" > void< / span > < a class = "code hl_function" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#acc4bd421bc39812d901e20823d443f36" > stopSearch< / a > () {< / div >
< div class = "line" > < a id = "l00111" name = "l00111" > < / a > < span class = "lineno" > 111< / span > < span class = "keywordflow" > if< / span > (solveWrapper != < span class = "keyword" > null< / span > ) {< / div >
< div class = "line" > < a id = "l00112" name = "l00112" > < / a > < span class = "lineno" > 112< / span > solveWrapper.< a class = "code hl_function" href = "classcom_1_1google_1_1ortools_1_1sat_1_1SolveWrapper.html#a8d58b3cd19362b51664bed47ee703388" > stopSearch< / a > ();< / div >
< div class = "line" > < a id = "l00113" name = "l00113" > < / a > < span class = "lineno" > 113< / span > }< / div >
< div class = "line" > < a id = "l00114" name = "l00114" > < / a > < span class = "lineno" > 114< / span > }< / div >
< div class = "line" > < a id = "l00115" name = "l00115" > < / a > < span class = "lineno" > 115< / span > < / div >
< div class = "line" > < a id = "l00117" name = "l00117" > < / a > < span class = "lineno" > < a class = "line" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a192d2a91adc9495a4109c494f976ee4d" > 117< / a > < / span > < span class = "keyword" > public< / span > < span class = "keywordtype" > double< / span > < a class = "code hl_function" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a192d2a91adc9495a4109c494f976ee4d" > objectiveValue< / a > () {< / div >
< div class = "line" > < a id = "l00118" name = "l00118" > < / a > < span class = "lineno" > 118< / span > < span class = "keywordflow" > return< / span > solveResponse.< a class = "code hl_function" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html#a340199108d7279a16fbcd5429aa1bd80" > getObjectiveValue< / a > ();< / div >
< div class = "line" > < a id = "l00119" name = "l00119" > < / a > < span class = "lineno" > 119< / span > }< / div >
< div class = "line" > < a id = "l00120" name = "l00120" > < / a > < span class = "lineno" > 120< / span > < / div >
< div class = "line" > < a id = "l00125" name = "l00125" > < / a > < span class = "lineno" > < a class = "line" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a3675e4eff4f3825c371d8afaa003d365" > 125< / a > < / span > < span class = "keyword" > public< / span > < span class = "keywordtype" > double< / span > < a class = "code hl_function" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a3675e4eff4f3825c371d8afaa003d365" > bestObjectiveBound< / a > () {< / div >
< div class = "line" > < a id = "l00126" name = "l00126" > < / a > < span class = "lineno" > 126< / span > < span class = "keywordflow" > return< / span > solveResponse.< a class = "code hl_function" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html#a8acd7d1e0e85ee50dd3362794d5ec2bb" > getBestObjectiveBound< / a > ();< / div >
< div class = "line" > < a id = "l00127" name = "l00127" > < / a > < span class = "lineno" > 127< / span > }< / div >
< div class = "line" > < a id = "l00128" name = "l00128" > < / a > < span class = "lineno" > 128< / span > < / div >
< div class = "line" > < a id = "l00130" name = "l00130" > < / a > < span class = "lineno" > < a class = "line" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a223d9fe8c0446517983a4cce6e8611ea" > 130< / a > < / span > < span class = "keyword" > public< / span > < span class = "keywordtype" > long< / span > < a class = "code hl_function" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a223d9fe8c0446517983a4cce6e8611ea" > value< / a > (< a class = "code hl_interface" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1LinearArgument.html" > LinearArgument< / a > expr) {< / div >
< div class = "line" > < a id = "l00131" name = "l00131" > < / a > < span class = "lineno" > 131< / span > < span class = "keyword" > final< / span > < a class = "code hl_interface" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1LinearExpr.html" > LinearExpr< / a > e = expr.< a class = "code hl_function" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1LinearArgument.html#a68a038d4ae2f7cf74dfa8e8fe21c4feb" > build< / a > ();< / div >
< div class = "line" > < a id = "l00132" name = "l00132" > < / a > < span class = "lineno" > 132< / span > < span class = "keywordtype" > long< / span > result = e.< a class = "code hl_function" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1LinearExpr.html#aa7d6a5c7e69f4efdc6a44b85bbe22f1a" > getOffset< / a > ();< / div >
< div class = "line" > < a id = "l00133" name = "l00133" > < / a > < span class = "lineno" > 133< / span > < span class = "keywordflow" > for< / span > (< span class = "keywordtype" > int< / span > i = 0; i < e.< a class = "code hl_function" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1LinearExpr.html#a59f9cb76db051cd784a42f38220f896d" > numElements< / a > (); ++i) {< / div >
< div class = "line" > < a id = "l00134" name = "l00134" > < / a > < span class = "lineno" > 134< / span > result += solveResponse.< a class = "code hl_function" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html#a838ff59811b38ee21477d1b4642452b7" > getSolution< / a > (e.< a class = "code hl_function" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1LinearExpr.html#ae9592a449a7c3bdebd04b8ea4f174871" > getVariableIndex< / a > (i)) * e.< a class = "code hl_function" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1LinearExpr.html#a2c77626134edecc47b69efe661ea1904" > getCoefficient< / a > (i);< / div >
< div class = "line" > < a id = "l00135" name = "l00135" > < / a > < span class = "lineno" > 135< / span > }< / div >
< div class = "line" > < a id = "l00136" name = "l00136" > < / a > < span class = "lineno" > 136< / span > < span class = "keywordflow" > return< / span > result;< / div >
< div class = "line" > < a id = "l00137" name = "l00137" > < / a > < span class = "lineno" > 137< / span > }< / div >
< div class = "line" > < a id = "l00138" name = "l00138" > < / a > < span class = "lineno" > 138< / span > < / div >
< div class = "line" > < a id = "l00140" name = "l00140" > < / a > < span class = "lineno" > < a class = "line" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#ad6a3705cb3e6ea4939bfb0bb578d4d01" > 140< / a > < / span > < span class = "keyword" > public< / span > Boolean < a class = "code hl_function" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#ad6a3705cb3e6ea4939bfb0bb578d4d01" > booleanValue< / a > (< a class = "code hl_interface" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1Literal.html" > Literal< / a > var) {< / div >
< div class = "line" > < a id = "l00141" name = "l00141" > < / a > < span class = "lineno" > 141< / span > < span class = "keywordtype" > int< / span > index = var.< a class = "code hl_function" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1Literal.html#a59d053c950ff1e9f8a004d493f34e754" > getIndex< / a > ();< / div >
< div class = "line" > < a id = "l00142" name = "l00142" > < / a > < span class = "lineno" > 142< / span > < span class = "keywordflow" > if< / span > (index > = 0) {< / div >
< div class = "line" > < a id = "l00143" name = "l00143" > < / a > < span class = "lineno" > 143< / span > < span class = "keywordflow" > return< / span > solveResponse.< a class = "code hl_function" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html#a838ff59811b38ee21477d1b4642452b7" > getSolution< / a > (index) != 0;< / div >
< div class = "line" > < a id = "l00144" name = "l00144" > < / a > < span class = "lineno" > 144< / span > } < span class = "keywordflow" > else< / span > {< / div >
< div class = "line" > < a id = "l00145" name = "l00145" > < / a > < span class = "lineno" > 145< / span > < span class = "keywordflow" > return< / span > solveResponse.< a class = "code hl_function" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html#a838ff59811b38ee21477d1b4642452b7" > getSolution< / a > (-index - 1) == 0;< / div >
< div class = "line" > < a id = "l00146" name = "l00146" > < / a > < span class = "lineno" > 146< / span > }< / div >
< div class = "line" > < a id = "l00147" name = "l00147" > < / a > < span class = "lineno" > 147< / span > }< / div >
< div class = "line" > < a id = "l00148" name = "l00148" > < / a > < span class = "lineno" > 148< / span > < / div >
< div class = "line" > < a id = "l00150" name = "l00150" > < / a > < span class = "lineno" > < a class = "line" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a41cc6d27816df71c3a42837dd3d7548c" > 150< / a > < / span > < span class = "keyword" > public< / span > < a class = "code hl_class" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html" > CpSolverResponse< / a > < a class = "code hl_function" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a41cc6d27816df71c3a42837dd3d7548c" > response< / a > () {< / div >
< div class = "line" > < a id = "l00151" name = "l00151" > < / a > < span class = "lineno" > 151< / span > < span class = "keywordflow" > return< / span > solveResponse;< / div >
< div class = "line" > < a id = "l00152" name = "l00152" > < / a > < span class = "lineno" > 152< / span > }< / div >
< div class = "line" > < a id = "l00153" name = "l00153" > < / a > < span class = "lineno" > 153< / span > < / div >
< div class = "line" > < a id = "l00155" name = "l00155" > < / a > < span class = "lineno" > < a class = "line" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a6eba1a016a99e80decec8801337f35de" > 155< / a > < / span > < span class = "keyword" > public< / span > < span class = "keywordtype" > long< / span > < a class = "code hl_function" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a6eba1a016a99e80decec8801337f35de" > numBranches< / a > () {< / div >
< div class = "line" > < a id = "l00156" name = "l00156" > < / a > < span class = "lineno" > 156< / span > < span class = "keywordflow" > return< / span > solveResponse.< a class = "code hl_function" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html#a52da60281a2afd6beaf4640d98dd3255" > getNumBranches< / a > ();< / div >
< div class = "line" > < a id = "l00157" name = "l00157" > < / a > < span class = "lineno" > 157< / span > }< / div >
< div class = "line" > < a id = "l00158" name = "l00158" > < / a > < span class = "lineno" > 158< / span > < / div >
< div class = "line" > < a id = "l00160" name = "l00160" > < / a > < span class = "lineno" > < a class = "line" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a963b901c7681493ccc15bc769a397be5" > 160< / a > < / span > < span class = "keyword" > public< / span > < span class = "keywordtype" > long< / span > < a class = "code hl_function" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a963b901c7681493ccc15bc769a397be5" > numConflicts< / a > () {< / div >
< div class = "line" > < a id = "l00161" name = "l00161" > < / a > < span class = "lineno" > 161< / span > < span class = "keywordflow" > return< / span > solveResponse.< a class = "code hl_function" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html#aa5009158736947a795b7fcf6b323aea2" > getNumConflicts< / a > ();< / div >
< div class = "line" > < a id = "l00162" name = "l00162" > < / a > < span class = "lineno" > 162< / span > }< / div >
< div class = "line" > < a id = "l00163" name = "l00163" > < / a > < span class = "lineno" > 163< / span > < / div >
< div class = "line" > < a id = "l00165" name = "l00165" > < / a > < span class = "lineno" > < a class = "line" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a2eb2b2447bd59c1f00a9495e63d6b7e3" > 165< / a > < / span > < span class = "keyword" > public< / span > < span class = "keywordtype" > double< / span > < a class = "code hl_function" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a2eb2b2447bd59c1f00a9495e63d6b7e3" > wallTime< / a > () {< / div >
< div class = "line" > < a id = "l00166" name = "l00166" > < / a > < span class = "lineno" > 166< / span > < span class = "keywordflow" > return< / span > solveResponse.< a class = "code hl_function" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html#abf978122a6b366c40270b2883fdf8ce8" > getWallTime< / a > ();< / div >
< div class = "line" > < a id = "l00167" name = "l00167" > < / a > < span class = "lineno" > 167< / span > }< / div >
< div class = "line" > < a id = "l00168" name = "l00168" > < / a > < span class = "lineno" > 168< / span > < / div >
< div class = "line" > < a id = "l00170" name = "l00170" > < / a > < span class = "lineno" > < a class = "line" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a1cd8aaaecd8d26aeb54f5503a459b1d9" > 170< / a > < / span > < span class = "keyword" > public< / span > < span class = "keywordtype" > double< / span > < a class = "code hl_function" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a1cd8aaaecd8d26aeb54f5503a459b1d9" > userTime< / a > () {< / div >
< div class = "line" > < a id = "l00171" name = "l00171" > < / a > < span class = "lineno" > 171< / span > < span class = "keywordflow" > return< / span > solveResponse.< a class = "code hl_function" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html#aec2eccac43347131fecab5bcdc5e3be6" > getUserTime< / a > ();< / div >
< div class = "line" > < a id = "l00172" name = "l00172" > < / a > < span class = "lineno" > 172< / span > }< / div >
< div class = "line" > < a id = "l00173" name = "l00173" > < / a > < span class = "lineno" > 173< / span > < / div >
< div class = "line" > < a id = "l00174" name = "l00174" > < / a > < span class = "lineno" > < a class = "line" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#ad98d2cdc1b8655b5dcbac80d3f05938b" > 174< / a > < / span > < span class = "keyword" > public< / span > List< Integer> < a class = "code hl_function" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#ad98d2cdc1b8655b5dcbac80d3f05938b" > sufficientAssumptionsForInfeasibility< / a > () {< / div >
< div class = "line" > < a id = "l00175" name = "l00175" > < / a > < span class = "lineno" > 175< / span > < span class = "keywordflow" > return< / span > solveResponse.< a class = "code hl_function" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html#a443965b9e03ec986ab7dfbdc2c8dfcc6" > getSufficientAssumptionsForInfeasibilityList< / a > ();< / div >
< div class = "line" > < a id = "l00176" name = "l00176" > < / a > < span class = "lineno" > 176< / span > }< / div >
< div class = "line" > < a id = "l00177" name = "l00177" > < / a > < span class = "lineno" > 177< / span > < / div >
< div class = "line" > < a id = "l00179" name = "l00179" > < / a > < span class = "lineno" > < a class = "line" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#ab987e56bbb2a5c4e6f224469986eead3" > 179< / a > < / span > < span class = "keyword" > public< / span > < a class = "code hl_class" href = "classcom_1_1google_1_1ortools_1_1sat_1_1SatParameters.html" > SatParameters< / a > .< a class = "code hl_class" href = "classcom_1_1google_1_1ortools_1_1sat_1_1SatParameters_1_1Builder.html" > Builder< / a > < a class = "code hl_function" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#ab987e56bbb2a5c4e6f224469986eead3" > getParameters< / a > () {< / div >
< div class = "line" > < a id = "l00180" name = "l00180" > < / a > < span class = "lineno" > 180< / span > < span class = "keywordflow" > return< / span > solveParameters;< / div >
< div class = "line" > < a id = "l00181" name = "l00181" > < / a > < span class = "lineno" > 181< / span > }< / div >
< div class = "line" > < a id = "l00182" name = "l00182" > < / a > < span class = "lineno" > 182< / span > < / div >
< div class = "line" > < a id = "l00184" name = "l00184" > < / a > < span class = "lineno" > < a class = "line" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#abbdeb1fbb5ae548aa2cee56005659a67" > 184< / a > < / span > < span class = "keyword" > public< / span > < span class = "keywordtype" > void< / span > < a class = "code hl_function" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#abbdeb1fbb5ae548aa2cee56005659a67" > setLogCallback< / a > (Consumer< String> cb) {< / div >
< div class = "line" > < a id = "l00185" name = "l00185" > < / a > < span class = "lineno" > 185< / span > this.logCallback = cb;< / div >
< div class = "line" > < a id = "l00186" name = "l00186" > < / a > < span class = "lineno" > 186< / span > }< / div >
< div class = "line" > < a id = "l00187" name = "l00187" > < / a > < span class = "lineno" > 187< / span > < / div >
< div class = "line" > < a id = "l00189" name = "l00189" > < / a > < span class = "lineno" > < a class = "line" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#adb1b01f7ab8973fc2b7a5f279dddc185" > 189< / a > < / span > < span class = "keyword" > public< / span > String < a class = "code hl_function" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#adb1b01f7ab8973fc2b7a5f279dddc185" > responseStats< / a > () {< / div >
< div class = "line" > < a id = "l00190" name = "l00190" > < / a > < span class = "lineno" > 190< / span > < span class = "keywordflow" > return< / span > < a class = "code hl_class" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSatHelper.html" > CpSatHelper< / a > .< a class = "code hl_function" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSatHelper.html#a8d468fc7812b3c3b22ebf22a933c984e" > solverResponseStats< / a > (solveResponse);< / div >
< div class = "line" > < a id = "l00191" name = "l00191" > < / a > < span class = "lineno" > 191< / span > }< / div >
< div class = "line" > < a id = "l00192" name = "l00192" > < / a > < span class = "lineno" > 192< / span > < / div >
< div class = "line" > < a id = "l00197" name = "l00197" > < / a > < span class = "lineno" > < a class = "line" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#aa15253dcc329f3440cc61abbfe535267" > 197< / a > < / span > < span class = "keyword" > public< / span > String < a class = "code hl_function" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#aa15253dcc329f3440cc61abbfe535267" > getSolutionInfo< / a > () {< / div >
< div class = "line" > < a id = "l00198" name = "l00198" > < / a > < span class = "lineno" > 198< / span > < span class = "keywordflow" > return< / span > solveResponse.< a class = "code hl_function" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html#ae175662fb21c186058d598af7b1236b8" > getSolutionInfo< / a > ();< / div >
< div class = "line" > < a id = "l00199" name = "l00199" > < / a > < span class = "lineno" > 199< / span > }< / div >
< div class = "line" > < a id = "l00200" name = "l00200" > < / a > < span class = "lineno" > 200< / span > < / div >
< div class = "line" > < a id = "l00201" name = "l00201" > < / a > < span class = "lineno" > 201< / span > < span class = "keyword" > private< / span > < a class = "code hl_class" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html" > CpSolverResponse< / a > solveResponse;< / div >
< div class = "line" > < a id = "l00202" name = "l00202" > < / a > < span class = "lineno" > 202< / span > < span class = "keyword" > private< / span > < span class = "keyword" > final< / span > < a class = "code hl_class" href = "classcom_1_1google_1_1ortools_1_1sat_1_1SatParameters.html" > SatParameters< / a > .< a class = "code hl_class" href = "classcom_1_1google_1_1ortools_1_1sat_1_1SatParameters_1_1Builder.html" > Builder< / a > solveParameters;< / div >
< div class = "line" > < a id = "l00203" name = "l00203" > < / a > < span class = "lineno" > 203< / span > < span class = "keyword" > private< / span > Consumer< String> logCallback;< / div >
< div class = "line" > < a id = "l00204" name = "l00204" > < / a > < span class = "lineno" > 204< / span > < span class = "keyword" > private< / span > < a class = "code hl_class" href = "classcom_1_1google_1_1ortools_1_1sat_1_1SolveWrapper.html" > SolveWrapper< / a > solveWrapper;< / div >
< div class = "line" > < a id = "l00205" name = "l00205" > < / a > < span class = "lineno" > 205< / span > }< / 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#l00043" > CpModel.java:43< / 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#l01008" > CpModel.java:1008< / a > < / div > < / div >
< div class = "ttc" id = "aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSatHelper_html" > < div class = "ttname" > < a href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSatHelper.html" > com.google.ortools.sat.CpSatHelper< / a > < / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "CpSatHelper_8java_source.html#l00013" > CpSatHelper.java:13< / a > < / div > < / div >
< div class = "ttc" id = "aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSatHelper_html_a8d468fc7812b3c3b22ebf22a933c984e" > < div class = "ttname" > < a href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSatHelper.html#a8d468fc7812b3c3b22ebf22a933c984e" > com.google.ortools.sat.CpSatHelper.solverResponseStats< / a > < / div > < div class = "ttdeci" > static String solverResponseStats(com.google.ortools.sat.CpSolverResponse response)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "CpSatHelper_8java_source.html#l00045" > CpSatHelper.java:45< / 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:19< / 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#l00292" > CpSolverResponse.java:292< / 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#l00361" > CpSolverResponse.java:361< / a > < / div > < / div >
< div class = "ttc" id = "aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse_html_a443965b9e03ec986ab7dfbdc2c8dfcc6" > < div class = "ttname" > < a href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html#a443965b9e03ec986ab7dfbdc2c8dfcc6" > com.google.ortools.sat.CpSolverResponse.getSufficientAssumptionsForInfeasibilityList< / a > < / div > < div class = "ttdeci" > java.util.List< java.lang.Integer > getSufficientAssumptionsForInfeasibilityList()< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "CpSolverResponse_8java_source.html#l00593" > CpSolverResponse.java:593< / 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#l00746" > CpSolverResponse.java:746< / 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#l00342" > CpSolverResponse.java:342< / 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#l00378" > CpSolverResponse.java:378< / 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#l00735" > CpSolverResponse.java:735< / 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 = "ttdef" > < b > Definition:< / b > < a href = "CpSolverResponse_8java_source.html#l00805" > CpSolverResponse.java:805< / a > < / div > < / div >
< div class = "ttc" id = "aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse_html_ae175662fb21c186058d598af7b1236b8" > < div class = "ttname" > < a href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html#ae175662fb21c186058d598af7b1236b8" > com.google.ortools.sat.CpSolverResponse.getSolutionInfo< / a > < / div > < div class = "ttdeci" > java.lang.String getSolutionInfo()< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "CpSolverResponse_8java_source.html#l00858" > CpSolverResponse.java:858< / 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#l00816" > CpSolverResponse.java:816< / 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" > < 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#l00028" > CpSolver.java:28< / 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#l00030" > CpSolver.java:30< / 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#l00117" > CpSolver.java:117< / 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#l00170" > CpSolver.java:170< / a > < / div > < / div >
< div class = "ttc" id = "aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolver_html_a223d9fe8c0446517983a4cce6e8611ea" > < div class = "ttname" > < a href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a223d9fe8c0446517983a4cce6e8611ea" > com.google.ortools.sat.CpSolver.value< / a > < / div > < div class = "ttdeci" > long value(LinearArgument expr)< / div > < div class = "ttdoc" > Returns the value of a linear expression in the last solution found.< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "CpSolver_8java_source.html#l00130" > CpSolver.java:130< / 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#l00165" > CpSolver.java:165< / a > < / div > < / div >
< div class = "ttc" id = "aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolver_html_a2f03f2f4aeddeb9c537e8b29c9e19c5e" > < div class = "ttname" > < a href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a2f03f2f4aeddeb9c537e8b29c9e19c5e" > com.google.ortools.sat.CpSolver.solve< / a > < / div > < div class = "ttdeci" > CpSolverStatus solve(CpModel model, CpSolverSolutionCallback cb)< / div > < div class = "ttdoc" > Solves the given model, calls the solution callback at each incumbent solution, and returns the solve...< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "CpSolver_8java_source.html#l00045" > CpSolver.java:45< / 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#l00125" > CpSolver.java:125< / 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#l00150" > CpSolver.java:150< / 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 the given model, passes each incumber solution to the solution callback if not null,...< / 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_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#l00155" > CpSolver.java:155< / 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#l00093" > CpSolver.java:93< / 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 model, and returns the solve status.< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "CpSolver_8java_source.html#l00037" > CpSolver.java:37< / 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#l00160" > CpSolver.java:160< / a > < / div > < / div >
< div class = "ttc" id = "aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolver_html_aa15253dcc329f3440cc61abbfe535267" > < div class = "ttname" > < a href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#aa15253dcc329f3440cc61abbfe535267" > com.google.ortools.sat.CpSolver.getSolutionInfo< / a > < / div > < div class = "ttdeci" > String getSolutionInfo()< / div > < div class = "ttdoc" > Returns some information on how the solution was found, or the reason why the model or the parameters...< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "CpSolver_8java_source.html#l00197" > CpSolver.java:197< / 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#l00179" > CpSolver.java:179< / a > < / div > < / div >
< div class = "ttc" id = "aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolver_html_abbdeb1fbb5ae548aa2cee56005659a67" > < div class = "ttname" > < a href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#abbdeb1fbb5ae548aa2cee56005659a67" > com.google.ortools.sat.CpSolver.setLogCallback< / a > < / div > < div class = "ttdeci" > void setLogCallback(Consumer< String > cb)< / div > < div class = "ttdoc" > Sets the log callback for the solver.< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "CpSolver_8java_source.html#l00184" > CpSolver.java:184< / a > < / div > < / div >
< div class = "ttc" id = "aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolver_html_acc4bd421bc39812d901e20823d443f36" > < div class = "ttname" > < a href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#acc4bd421bc39812d901e20823d443f36" > com.google.ortools.sat.CpSolver.stopSearch< / a > < / div > < div class = "ttdeci" > synchronized void stopSearch()< / div > < div class = "ttdoc" > Stops the search asynchronously.< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "CpSolver_8java_source.html#l00110" > CpSolver.java:110< / 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#l00140" > CpSolver.java:140< / a > < / div > < / div >
< div class = "ttc" id = "aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolver_html_ad98d2cdc1b8655b5dcbac80d3f05938b" > < div class = "ttname" > < a href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#ad98d2cdc1b8655b5dcbac80d3f05938b" > com.google.ortools.sat.CpSolver.sufficientAssumptionsForInfeasibility< / a > < / div > < div class = "ttdeci" > List< Integer > sufficientAssumptionsForInfeasibility()< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "CpSolver_8java_source.html#l00174" > CpSolver.java:174< / 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#l00189" > CpSolver.java:189< / 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#l10964" > SatParameters.java:10967< / 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:18< / a > < / div > < / div >
< div class = "ttc" id = "aclasscom_1_1google_1_1ortools_1_1sat_1_1SatParameters_html_a584a37ad6d51972dbbfe317470653e81" > < div class = "ttname" > < a href = "classcom_1_1google_1_1ortools_1_1sat_1_1SatParameters.html#a584a37ad6d51972dbbfe317470653e81" > com.google.ortools.sat.SatParameters.getEnumerateAllSolutions< / a > < / div > < div class = "ttdeci" > boolean getEnumerateAllSolutions()< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "SatParameters_8java_source.html#l06722" > SatParameters.java:6722< / 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#l10937" > SatParameters.java:10937< / a > < / div > < / div >
< div class = "ttc" id = "aclasscom_1_1google_1_1ortools_1_1sat_1_1SolveWrapper_html" > < div class = "ttname" > < a href = "classcom_1_1google_1_1ortools_1_1sat_1_1SolveWrapper.html" > com.google.ortools.sat.SolveWrapper< / a > < / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "SolveWrapper_8java_source.html#l00011" > SolveWrapper.java:11< / a > < / div > < / div >
< div class = "ttc" id = "aclasscom_1_1google_1_1ortools_1_1sat_1_1SolveWrapper_html_a477245339a4c09efb654ba89deed49e0" > < div class = "ttname" > < a href = "classcom_1_1google_1_1ortools_1_1sat_1_1SolveWrapper.html#a477245339a4c09efb654ba89deed49e0" > com.google.ortools.sat.SolveWrapper.addSolutionCallback< / a > < / div > < div class = "ttdeci" > void addSolutionCallback(SolutionCallback callback)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "SolveWrapper_8java_source.html#l00043" > SolveWrapper.java:43< / a > < / div > < / div >
< div class = "ttc" id = "aclasscom_1_1google_1_1ortools_1_1sat_1_1SolveWrapper_html_a60f2fecfb94249d83156ea0a41ab6012" > < div class = "ttname" > < a href = "classcom_1_1google_1_1ortools_1_1sat_1_1SolveWrapper.html#a60f2fecfb94249d83156ea0a41ab6012" > com.google.ortools.sat.SolveWrapper.setParameters< / a > < / div > < div class = "ttdeci" > void setParameters(com.google.ortools.sat.SatParameters parameters)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "SolveWrapper_8java_source.html#l00039" > SolveWrapper.java:39< / a > < / div > < / div >
< div class = "ttc" id = "aclasscom_1_1google_1_1ortools_1_1sat_1_1SolveWrapper_html_a8d58b3cd19362b51664bed47ee703388" > < div class = "ttname" > < a href = "classcom_1_1google_1_1ortools_1_1sat_1_1SolveWrapper.html#a8d58b3cd19362b51664bed47ee703388" > com.google.ortools.sat.SolveWrapper.stopSearch< / a > < / div > < div class = "ttdeci" > void stopSearch()< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "SolveWrapper_8java_source.html#l00068" > SolveWrapper.java:68< / a > < / div > < / div >
< div class = "ttc" id = "aclasscom_1_1google_1_1ortools_1_1sat_1_1SolveWrapper_html_aa3f9f31d2323b253c7d4b55a11ead163" > < div class = "ttname" > < a href = "classcom_1_1google_1_1ortools_1_1sat_1_1SolveWrapper.html#aa3f9f31d2323b253c7d4b55a11ead163" > com.google.ortools.sat.SolveWrapper.addLogCallback< / a > < / div > < div class = "ttdeci" > void addLogCallback(java.util.function.Consumer< String > log_callback)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "SolveWrapper_8java_source.html#l00051" > SolveWrapper.java:51< / a > < / div > < / div >
< div class = "ttc" id = "aclasscom_1_1google_1_1ortools_1_1sat_1_1SolveWrapper_html_abaf985fa21b19f55c2f4cc94914a26fa" > < div class = "ttname" > < a href = "classcom_1_1google_1_1ortools_1_1sat_1_1SolveWrapper.html#abaf985fa21b19f55c2f4cc94914a26fa" > com.google.ortools.sat.SolveWrapper.clearSolutionCallback< / a > < / div > < div class = "ttdeci" > void clearSolutionCallback(SolutionCallback callback)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "SolveWrapper_8java_source.html#l00047" > SolveWrapper.java:47< / a > < / div > < / div >
< div class = "ttc" id = "aclasscom_1_1google_1_1ortools_1_1sat_1_1SolveWrapper_html_ae76df5295868bc379d05d7009d094395" > < div class = "ttname" > < a href = "classcom_1_1google_1_1ortools_1_1sat_1_1SolveWrapper.html#ae76df5295868bc379d05d7009d094395" > com.google.ortools.sat.SolveWrapper.solve< / a > < / div > < div class = "ttdeci" > com.google.ortools.sat.CpSolverResponse solve(com.google.ortools.sat.CpModelProto model_proto)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "SolveWrapper_8java_source.html#l00055" > SolveWrapper.java:55< / 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_1LinearArgument_html" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1LinearArgument.html" > com.google.ortools.sat.LinearArgument< / a > < / div > < div class = "ttdoc" > A object that can build a LinearExpr object.< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "LinearArgument_8java_source.html#l00021" > LinearArgument.java:21< / a > < / div > < / div >
< div class = "ttc" id = "ainterfacecom_1_1google_1_1ortools_1_1sat_1_1LinearArgument_html_a68a038d4ae2f7cf74dfa8e8fe21c4feb" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1LinearArgument.html#a68a038d4ae2f7cf74dfa8e8fe21c4feb" > com.google.ortools.sat.LinearArgument.build< / a > < / div > < div class = "ttdeci" > LinearExpr build()< / div > < div class = "ttdoc" > Builds a linear expression.< / div > < / div >
< div class = "ttc" id = "ainterfacecom_1_1google_1_1ortools_1_1sat_1_1LinearExpr_html" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1LinearExpr.html" > com.google.ortools.sat.LinearExpr< / a > < / div > < div class = "ttdoc" > A linear expression (sum (ai * xi) + b).< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "LinearExpr_8java_source.html#l00019" > LinearExpr.java:19< / a > < / div > < / div >
< div class = "ttc" id = "ainterfacecom_1_1google_1_1ortools_1_1sat_1_1LinearExpr_html_a2c77626134edecc47b69efe661ea1904" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1LinearExpr.html#a2c77626134edecc47b69efe661ea1904" > com.google.ortools.sat.LinearExpr.getCoefficient< / a > < / div > < div class = "ttdeci" > long getCoefficient(int index)< / div > < div class = "ttdoc" > Returns the ith coefficient.< / div > < / div >
< div class = "ttc" id = "ainterfacecom_1_1google_1_1ortools_1_1sat_1_1LinearExpr_html_a59f9cb76db051cd784a42f38220f896d" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1LinearExpr.html#a59f9cb76db051cd784a42f38220f896d" > com.google.ortools.sat.LinearExpr.numElements< / a > < / div > < div class = "ttdeci" > int numElements()< / div > < div class = "ttdoc" > Returns the number of terms (excluding the constant one) in this expression.< / div > < / div >
< div class = "ttc" id = "ainterfacecom_1_1google_1_1ortools_1_1sat_1_1LinearExpr_html_aa7d6a5c7e69f4efdc6a44b85bbe22f1a" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1LinearExpr.html#aa7d6a5c7e69f4efdc6a44b85bbe22f1a" > com.google.ortools.sat.LinearExpr.getOffset< / a > < / div > < div class = "ttdeci" > long getOffset()< / div > < div class = "ttdoc" > Returns the constant part of the expression.< / div > < / div >
< div class = "ttc" id = "ainterfacecom_1_1google_1_1ortools_1_1sat_1_1LinearExpr_html_ae9592a449a7c3bdebd04b8ea4f174871" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1LinearExpr.html#ae9592a449a7c3bdebd04b8ea4f174871" > com.google.ortools.sat.LinearExpr.getVariableIndex< / a > < / div > < div class = "ttdeci" > int getVariableIndex(int index)< / div > < div class = "ttdoc" > Returns the index of the ith variable.< / 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 = "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 >
2021-01-26 11:28:50 +01:00
< / div > <!-- fragment --> < / div > <!-- contents -->
< / div > <!-- doc - content -->
2019-08-07 18:01:08 -07:00
< / div >
2019-06-13 13:08:49 +02:00
< / div >
< div id = "footer-container" >
< div id = "footer" >
< / div >
< / div >
< / body >
2019-06-13 02:45:44 +02:00
< / html >
