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"/> -->
2019-06-20 23:19:36 +02:00
< link rel = "stylesheet" type = "text/css" href = "ortools.css" title = "default" media = "screen,print" / >
2019-06-13 13:08:49 +02:00
< 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" >
2020-01-31 17:05:16 +01:00
< span id = "sfml" > Google OR-Tools 7.5< / 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 >
2020-01-31 17:05:16 +01:00
<!-- Generated by Doxygen 1.8.18 -->
2019-06-13 02:45:44 +02:00
< div id = "navrow1" class = "tabs" >
< ul class = "tablist" >
< li > < a href = "namespaces.html" > < span > Namespaces< / span > < / a > < / li >
< li > < a href = "annotated.html" > < span > Classes< / span > < / a > < / li >
2019-07-15 17:42:24 -07:00
< li class = "current" > < a href = "files.html" > < span > Files< / span > < / a > < / li >
2019-06-13 02:45:44 +02:00
< / ul >
< / div >
< div id = "nav-path" class = "navpath" >
< ul >
2020-01-31 17:05:16 +01:00
< li class = "navelem" > < a class = "el" href = "dir_a7cc1eeded8f693d0da6c729bc88c45a.html" > ortools< / a > < / li > < li class = "navelem" > < a class = "el" href = "dir_fd73d91b70701748781c9404941baa63.html" > java< / a > < / li > < li class = "navelem" > < a class = "el" href = "dir_a564db54e4252fbd4e4cd0fe58816985.html" > com< / a > < / li > < li class = "navelem" > < a class = "el" href = "dir_265fd14d4e9a0ce57ad38de5d64bb540.html" > google< / a > < / li > < li class = "navelem" > < a class = "el" href = "dir_a1e24e541e9f26a83a2ba9a841f0bcf8.html" > ortools< / a > < / li > < li class = "navelem" > < a class = "el" href = "dir_0070805acb68ef04688e7c31a1e72654.html" > sat< / a > < / li > < / ul >
2019-06-13 02:45:44 +02:00
< / div >
< / div > <!-- top -->
< div class = "header" >
< div class = "headertitle" >
< div class = "title" > CpSolver.java< / div > < / div >
< / div > <!-- header -->
< div class = "contents" >
2019-11-14 13:52:51 -08:00
< 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 >
2020-01-31 17:05:16 +01:00
< 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 = "enumcom_1_1google_1_1ortools_1_1sat_1_1CpSolverStatus.html" > CpSolverStatus< / a > ;< / div >
2019-11-14 13:52:51 -08:00
< 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#a14e6e324b58ee2744bfed85969fd0f10" > 28< / a > < / span >   < span class = "keyword" > public< / span > < a class = "code" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a14e6e324b58ee2744bfed85969fd0f10" > 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#aeff24d3f13ca1e88dc9427c640b64314" > 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 >
2020-01-31 17:05:16 +01:00
< div class = "line" > < a name = "l00033" > < / a > < span class = "lineno" > < a class = "line" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a94cfac9362c485d50a8930688fe81a3e" > 33< / a > < / span >   < span class = "keyword" > public< / span > < a class = "code" href = "enumcom_1_1google_1_1ortools_1_1sat_1_1CpSolverStatus.html" > CpSolverStatus< / a > < a class = "code" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a94cfac9362c485d50a8930688fe81a3e" > solve< / a > (< a class = "code" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpModel.html" > CpModel< / a > model) {< / div >
< div class = "line" > < a name = "l00034" > < / a > < span class = "lineno" > 34< / span >   solveResponse = < a class = "code" href = "classcom_1_1google_1_1ortools_1_1sat_1_1SatHelper.html" > SatHelper< / a > .< a class = "code" href = "classcom_1_1google_1_1ortools_1_1sat_1_1SatHelper.html#a698e2ad4c0f258423300a64da089a0ff" > solveWithParameters< / a > (model.< a class = "code" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpModel.html#a0553dcb0013a4abf06580f642177d776" > model< / a > (), solveParameters.build());< / div >
< div class = "line" > < a name = "l00035" > < / a > < span class = "lineno" > 35< / span >   < span class = "keywordflow" > return< / span > solveResponse.< a class = "code" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html#a13b366999db2d218b3772655c5ae0e80" > getStatus< / a > ();< / div >
2019-11-14 13:52:51 -08:00
< 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 >
2020-01-31 17:05:16 +01:00
< div class = "line" > < a name = "l00039" > < / a > < span class = "lineno" > < a class = "line" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a4b61919bdcff3d458bf6807086c48be6" > 39< / a > < / span >   < span class = "keyword" > public< / span > < a class = "code" href = "enumcom_1_1google_1_1ortools_1_1sat_1_1CpSolverStatus.html" > CpSolverStatus< / a > < a class = "code" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a4b61919bdcff3d458bf6807086c48be6" > solveWithSolutionCallback< / a > (< a class = "code" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpModel.html" > CpModel< / a > model, < a class = "code" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverSolutionCallback.html" > CpSolverSolutionCallback< / a > cb) {< / div >
< div class = "line" > < a name = "l00040" > < / a > < span class = "lineno" > 40< / span >   solveResponse = < a class = "code" href = "classcom_1_1google_1_1ortools_1_1sat_1_1SatHelper.html" > SatHelper< / a > .< a class = "code" href = "classcom_1_1google_1_1ortools_1_1sat_1_1SatHelper.html#a8fe384c0541c908eced79e3b1a29597c" > solveWithParametersAndSolutionCallback< / a > (< / div >
2019-11-14 13:52:51 -08:00
< 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#a0553dcb0013a4abf06580f642177d776" > model< / a > (), solveParameters.build(), cb);< / div >
2020-01-31 17:05:16 +01:00
< div class = "line" > < a name = "l00042" > < / a > < span class = "lineno" > 42< / span >   < span class = "keywordflow" > return< / span > solveResponse.< a class = "code" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html#a13b366999db2d218b3772655c5ae0e80" > getStatus< / a > ();< / div >
2019-11-14 13:52:51 -08:00
< 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 >
2020-01-31 17:05:16 +01:00
< div class = "line" > < a name = "l00057" > < / a > < span class = "lineno" > < a class = "line" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a7ffc251fef14d87ad82ac59f98d96cf9" > 57< / a > < / span >   < span class = "keyword" > public< / span > < a class = "code" href = "enumcom_1_1google_1_1ortools_1_1sat_1_1CpSolverStatus.html" > CpSolverStatus< / a > < a class = "code" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a7ffc251fef14d87ad82ac59f98d96cf9" > searchAllSolutions< / a > (< a class = "code" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpModel.html" > CpModel< / a > model, < a class = "code" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverSolutionCallback.html" > CpSolverSolutionCallback< / a > cb) {< / div >
2019-11-14 13:52:51 -08:00
< div class = "line" > < a name = "l00058" > < / a > < span class = "lineno" > 58< / span >   solveParameters.setEnumerateAllSolutions(< span class = "keyword" > true< / span > );< / div >
2020-01-31 17:05:16 +01:00
< div class = "line" > < a name = "l00059" > < / a > < span class = "lineno" > 59< / span >   solveResponse = < a class = "code" href = "classcom_1_1google_1_1ortools_1_1sat_1_1SatHelper.html" > SatHelper< / a > .< a class = "code" href = "classcom_1_1google_1_1ortools_1_1sat_1_1SatHelper.html#a8fe384c0541c908eced79e3b1a29597c" > solveWithParametersAndSolutionCallback< / a > (< / div >
2019-11-14 13:52:51 -08:00
< 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#a0553dcb0013a4abf06580f642177d776" > 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 >
2020-01-31 17:05:16 +01:00
< div class = "line" > < a name = "l00062" > < / a > < span class = "lineno" > 62< / span >   < span class = "keywordflow" > return< / span > solveResponse.< a class = "code" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html#a13b366999db2d218b3772655c5ae0e80" > getStatus< / a > ();< / div >
2019-11-14 13:52:51 -08:00
< 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#a192d2a91adc9495a4109c494f976ee4d" > 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#a192d2a91adc9495a4109c494f976ee4d" > objectiveValue< / a > () {< / div >
2020-01-31 17:05:16 +01:00
< div class = "line" > < a name = "l00067" > < / a > < span class = "lineno" > 67< / span >   < span class = "keywordflow" > return< / span > solveResponse.< a class = "code" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html#a340199108d7279a16fbcd5429aa1bd80" > getObjectiveValue< / a > ();< / div >
2019-11-14 13:52:51 -08:00
< 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#a3675e4eff4f3825c371d8afaa003d365" > 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#a3675e4eff4f3825c371d8afaa003d365" > bestObjectiveBound< / a > () {< / div >
2020-01-31 17:05:16 +01:00
< div class = "line" > < a name = "l00075" > < / a > < span class = "lineno" > 75< / span >   < span class = "keywordflow" > return< / span > solveResponse.< a class = "code" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html#a8acd7d1e0e85ee50dd3362794d5ec2bb" > getBestObjectiveBound< / a > ();< / div >
2019-11-14 13:52:51 -08:00
< 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#a61e7d175c0ca4cd5a12965af3fe358c4" > 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#a61e7d175c0ca4cd5a12965af3fe358c4" > value< / a > (< a class = "code" href = "classcom_1_1google_1_1ortools_1_1sat_1_1IntVar.html" > IntVar< / a > var) {< / div >
2020-01-31 17:05:16 +01:00
< div class = "line" > < a name = "l00080" > < / a > < span class = "lineno" > 80< / span >   < span class = "keywordflow" > return< / span > solveResponse.< a class = "code" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html#a838ff59811b38ee21477d1b4642452b7" > getSolution< / a > (var.< a class = "code" href = "classcom_1_1google_1_1ortools_1_1sat_1_1IntVar.html#a59d053c950ff1e9f8a004d493f34e754" > getIndex< / a > ());< / div >
2019-11-14 13:52:51 -08:00
< 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#ad6a3705cb3e6ea4939bfb0bb578d4d01" > 84< / a > < / span >   < span class = "keyword" > public< / span > Boolean < a class = "code" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#ad6a3705cb3e6ea4939bfb0bb578d4d01" > booleanValue< / a > (< a class = "code" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1Literal.html" > Literal< / a > var) {< / div >
< div class = "line" > < a name = "l00085" > < / a > < span class = "lineno" > 85< / span >   < span class = "keywordtype" > int< / span > index = var.< a class = "code" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1Literal.html#a59d053c950ff1e9f8a004d493f34e754" > getIndex< / a > ();< / div >
< div class = "line" > < a name = "l00086" > < / a > < span class = "lineno" > 86< / span >   < span class = "keywordflow" > if< / span > (index > = 0) {< / div >
2020-01-31 17:05:16 +01:00
< div class = "line" > < a name = "l00087" > < / a > < span class = "lineno" > 87< / span >   < span class = "keywordflow" > return< / span > solveResponse.< a class = "code" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html#a838ff59811b38ee21477d1b4642452b7" > getSolution< / a > (index) != 0;< / div >
2019-11-14 13:52:51 -08:00
< div class = "line" > < a name = "l00088" > < / a > < span class = "lineno" > 88< / span >   } < span class = "keywordflow" > else< / span > {< / div >
2020-01-31 17:05:16 +01:00
< div class = "line" > < a name = "l00089" > < / a > < span class = "lineno" > 89< / span >   < span class = "keywordflow" > return< / span > solveResponse.< a class = "code" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html#a838ff59811b38ee21477d1b4642452b7" > getSolution< / a > (-index - 1) == 0;< / div >
2019-11-14 13:52:51 -08:00
< 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 >
2020-01-31 17:05:16 +01:00
< div class = "line" > < a name = "l00094" > < / a > < span class = "lineno" > < a class = "line" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a41cc6d27816df71c3a42837dd3d7548c" > 94< / a > < / span >   < span class = "keyword" > public< / span > < a class = "code" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html" > CpSolverResponse< / a > < a class = "code" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a41cc6d27816df71c3a42837dd3d7548c" > response< / a > () {< / div >
2019-11-14 13:52:51 -08:00
< 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#a6eba1a016a99e80decec8801337f35de" > 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#a6eba1a016a99e80decec8801337f35de" > numBranches< / a > () {< / div >
2020-01-31 17:05:16 +01:00
< div class = "line" > < a name = "l00100" > < / a > < span class = "lineno" > 100< / span >   < span class = "keywordflow" > return< / span > solveResponse.< a class = "code" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html#a52da60281a2afd6beaf4640d98dd3255" > getNumBranches< / a > ();< / div >
2019-11-14 13:52:51 -08:00
< 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#a963b901c7681493ccc15bc769a397be5" > 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#a963b901c7681493ccc15bc769a397be5" > numConflicts< / a > () {< / div >
2020-01-31 17:05:16 +01:00
< div class = "line" > < a name = "l00105" > < / a > < span class = "lineno" > 105< / span >   < span class = "keywordflow" > return< / span > solveResponse.< a class = "code" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html#aa5009158736947a795b7fcf6b323aea2" > getNumConflicts< / a > ();< / div >
2019-11-14 13:52:51 -08:00
< 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#a2eb2b2447bd59c1f00a9495e63d6b7e3" > 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#a2eb2b2447bd59c1f00a9495e63d6b7e3" > wallTime< / a > () {< / div >
2020-01-31 17:05:16 +01:00
< div class = "line" > < a name = "l00110" > < / a > < span class = "lineno" > 110< / span >   < span class = "keywordflow" > return< / span > solveResponse.< a class = "code" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html#abf978122a6b366c40270b2883fdf8ce8" > getWallTime< / a > ();< / div >
2019-11-14 13:52:51 -08:00
< 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#a1cd8aaaecd8d26aeb54f5503a459b1d9" > 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#a1cd8aaaecd8d26aeb54f5503a459b1d9" > userTime< / a > () {< / div >
2020-01-31 17:05:16 +01:00
< div class = "line" > < a name = "l00115" > < / a > < span class = "lineno" > 115< / span >   < span class = "keywordflow" > return< / span > solveResponse.< a class = "code" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html#aec2eccac43347131fecab5bcdc5e3be6" > getUserTime< / a > ();< / div >
2019-11-14 13:52:51 -08:00
< 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#ab987e56bbb2a5c4e6f224469986eead3" > 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#ab987e56bbb2a5c4e6f224469986eead3" > 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#adb1b01f7ab8973fc2b7a5f279dddc185" > 124< / a > < / span >   < span class = "keyword" > public< / span > String < a class = "code" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#adb1b01f7ab8973fc2b7a5f279dddc185" > responseStats< / a > () {< / div >
2020-01-31 17:05:16 +01:00
< div class = "line" > < a name = "l00125" > < / a > < span class = "lineno" > 125< / span >   < span class = "keywordflow" > return< / span > < a class = "code" href = "classcom_1_1google_1_1ortools_1_1sat_1_1SatHelper.html" > SatHelper< / a > .< a class = "code" href = "classcom_1_1google_1_1ortools_1_1sat_1_1SatHelper.html#a8d468fc7812b3c3b22ebf22a933c984e" > solverResponseStats< / a > (solveResponse);< / div >
2019-11-14 13:52:51 -08:00
< 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 >
2020-01-31 17:05:16 +01:00
< div class = "line" > < a name = "l00128" > < / a > < span class = "lineno" > 128< / span >   < span class = "keyword" > private< / span > < a class = "code" href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html" > CpSolverResponse< / a > solveResponse;< / div >
2019-11-14 13:52:51 -08:00
< 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 >
2019-06-13 02:45:44 +02:00
< / div > <!-- fragment --> < / div > <!-- contents -->
2019-11-14 13:52:51 -08:00
< div class = "ttc" id = "aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolver_html_a61e7d175c0ca4cd5a12965af3fe358c4" > < div class = "ttname" > < a href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a61e7d175c0ca4cd5a12965af3fe358c4" > com.google.ortools.sat.CpSolver.value< / a > < / div > < div class = "ttdeci" > long value(IntVar var)< / div > < div class = "ttdoc" > Returns the value of a variable in the last solution found.< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "CpSolver_8java_source.html#l00079" > CpSolver.java:79< / a > < / div > < / div >
< div class = "ttc" id = "aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolver_html_a41cc6d27816df71c3a42837dd3d7548c" > < div class = "ttname" > < a href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a41cc6d27816df71c3a42837dd3d7548c" > com.google.ortools.sat.CpSolver.response< / a > < / div > < div class = "ttdeci" > CpSolverResponse response()< / div > < div class = "ttdoc" > Returns the internal response protobuf that is returned internally by the SAT solver.< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "CpSolver_8java_source.html#l00094" > CpSolver.java:94< / a > < / div > < / div >
< div class = "ttc" id = "aclasscom_1_1google_1_1ortools_1_1sat_1_1SatParameters_html" > < div class = "ttname" > < a href = "classcom_1_1google_1_1ortools_1_1sat_1_1SatParameters.html" > com.google.ortools.sat.SatParameters< / a > < / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "SatParameters_8java_source.html#l00015" > SatParameters.java:15< / a > < / div > < / div >
2020-01-31 17:05:16 +01:00
< div class = "ttc" id = "aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse_html_a340199108d7279a16fbcd5429aa1bd80" > < div class = "ttname" > < a href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html#a340199108d7279a16fbcd5429aa1bd80" > com.google.ortools.sat.CpSolverResponse.getObjectiveValue< / a > < / div > < div class = "ttdeci" > double getObjectiveValue()< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "CpSolverResponse_8java_source.html#l00341" > CpSolverResponse.java:341< / a > < / div > < / div >
2019-11-14 13:52:51 -08:00
< div class = "ttc" id = "aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolver_html_a192d2a91adc9495a4109c494f976ee4d" > < div class = "ttname" > < a href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a192d2a91adc9495a4109c494f976ee4d" > com.google.ortools.sat.CpSolver.objectiveValue< / a > < / div > < div class = "ttdeci" > double objectiveValue()< / div > < div class = "ttdoc" > Returns the best objective value found during search.< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "CpSolver_8java_source.html#l00066" > CpSolver.java:66< / a > < / div > < / div >
2020-01-31 17:05:16 +01:00
< div class = "ttc" id = "aenumcom_1_1google_1_1ortools_1_1sat_1_1CpSolverStatus_html" > < div class = "ttname" > < a href = "enumcom_1_1google_1_1ortools_1_1sat_1_1CpSolverStatus.html" > com.google.ortools.sat.CpSolverStatus< / a > < / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "CpSolverStatus_8java_source.html#l00013" > CpSolverStatus.java:13< / a > < / div > < / div >
2019-11-14 13:52:51 -08:00
< div class = "ttc" id = "aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolverSolutionCallback_html" > < div class = "ttname" > < a href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverSolutionCallback.html" > com.google.ortools.sat.CpSolverSolutionCallback< / a > < / div > < div class = "ttdoc" > Parent class to create a callback called at each solution.< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "CpSolverSolutionCallback_8java_source.html#l00039" > CpSolverSolutionCallback.java:39< / a > < / div > < / div >
< div class = "ttc" id = "aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolver_html_a3675e4eff4f3825c371d8afaa003d365" > < div class = "ttname" > < a href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a3675e4eff4f3825c371d8afaa003d365" > com.google.ortools.sat.CpSolver.bestObjectiveBound< / a > < / div > < div class = "ttdeci" > double bestObjectiveBound()< / div > < div class = "ttdoc" > Returns the best lower bound found when minimizing, of the best upper bound found when maximizing.< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "CpSolver_8java_source.html#l00074" > CpSolver.java:74< / a > < / div > < / div >
2020-01-31 17:05:16 +01:00
< div class = "ttc" id = "aclasscom_1_1google_1_1ortools_1_1sat_1_1SatParameters_html_aeff24d3f13ca1e88dc9427c640b64314" > < div class = "ttname" > < a href = "classcom_1_1google_1_1ortools_1_1sat_1_1SatParameters.html#aeff24d3f13ca1e88dc9427c640b64314" > com.google.ortools.sat.SatParameters.newBuilder< / a > < / div > < div class = "ttdeci" > static Builder newBuilder()< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "SatParameters_8java_source.html#l08224" > SatParameters.java:8224< / a > < / div > < / div >
< div class = "ttc" id = "aclasscom_1_1google_1_1ortools_1_1sat_1_1SatHelper_html_a698e2ad4c0f258423300a64da089a0ff" > < div class = "ttname" > < a href = "classcom_1_1google_1_1ortools_1_1sat_1_1SatHelper.html#a698e2ad4c0f258423300a64da089a0ff" > com.google.ortools.sat.SatHelper.solveWithParameters< / a > < / div > < div class = "ttdeci" > static com.google.ortools.sat.CpSolverResponse solveWithParameters(com.google.ortools.sat.CpModelProto model_proto, com.google.ortools.sat.SatParameters parameters)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "SatHelper_8java_source.html#l00054" > SatHelper.java:54< / a > < / div > < / div >
2019-11-14 13:52:51 -08:00
< div class = "ttc" id = "aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolver_html_ab987e56bbb2a5c4e6f224469986eead3" > < div class = "ttname" > < a href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#ab987e56bbb2a5c4e6f224469986eead3" > com.google.ortools.sat.CpSolver.getParameters< / a > < / div > < div class = "ttdeci" > SatParameters.Builder getParameters()< / div > < div class = "ttdoc" > Returns the builder of the parameters of the SAT solver for modification.< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "CpSolver_8java_source.html#l00119" > CpSolver.java:119< / a > < / div > < / div >
< div class = "ttc" id = "aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolver_html_a7ffc251fef14d87ad82ac59f98d96cf9" > < div class = "ttname" > < a href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a7ffc251fef14d87ad82ac59f98d96cf9" > com.google.ortools.sat.CpSolver.searchAllSolutions< / a > < / div > < div class = "ttdeci" > CpSolverStatus searchAllSolutions(CpModel model, CpSolverSolutionCallback cb)< / div > < div class = "ttdoc" > Searches for all solutions of a satisfiability problem.< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "CpSolver_8java_source.html#l00057" > CpSolver.java:57< / a > < / div > < / div >
< div class = "ttc" id = "ainterfacecom_1_1google_1_1ortools_1_1sat_1_1Literal_html" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1Literal.html" > com.google.ortools.sat.Literal< / a > < / div > < div class = "ttdoc" > Interface to describe a boolean variable or its negation.< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "Literal_8java_source.html#l00017" > Literal.java:17< / a > < / div > < / div >
< div class = "ttc" id = "aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolver_html_a2eb2b2447bd59c1f00a9495e63d6b7e3" > < div class = "ttname" > < a href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a2eb2b2447bd59c1f00a9495e63d6b7e3" > com.google.ortools.sat.CpSolver.wallTime< / a > < / div > < div class = "ttdeci" > double wallTime()< / div > < div class = "ttdoc" > Returns the wall time of the search.< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "CpSolver_8java_source.html#l00109" > CpSolver.java:109< / a > < / div > < / div >
< div class = "ttc" id = "aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolver_html_a1cd8aaaecd8d26aeb54f5503a459b1d9" > < div class = "ttname" > < a href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a1cd8aaaecd8d26aeb54f5503a459b1d9" > com.google.ortools.sat.CpSolver.userTime< / a > < / div > < div class = "ttdeci" > double userTime()< / div > < div class = "ttdoc" > Returns the user time of the search.< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "CpSolver_8java_source.html#l00114" > CpSolver.java:114< / a > < / div > < / div >
< div class = "ttc" id = "aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolver_html" > < div class = "ttname" > < a href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html" > com.google.ortools.sat.CpSolver< / a > < / div > < div class = "ttdoc" > Wrapper around the SAT solver.< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "CpSolver_8java_source.html#l00026" > CpSolver.java:26< / a > < / div > < / div >
2020-01-31 17:05:16 +01:00
< div class = "ttc" id = "aclasscom_1_1google_1_1ortools_1_1sat_1_1SatHelper_html" > < div class = "ttname" > < a href = "classcom_1_1google_1_1ortools_1_1sat_1_1SatHelper.html" > com.google.ortools.sat.SatHelper< / a > < / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "SatHelper_8java_source.html#l00013" > SatHelper.java:13< / a > < / div > < / div >
< div class = "ttc" id = "aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse_html_abf978122a6b366c40270b2883fdf8ce8" > < div class = "ttname" > < a href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html#abf978122a6b366c40270b2883fdf8ce8" > com.google.ortools.sat.CpSolverResponse.getWallTime< / a > < / div > < div class = "ttdeci" > double getWallTime()< / div > < div class = "ttdoc" > double wall_time = 15;< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "CpSolverResponse_8java_source.html#l00619" > CpSolverResponse.java:619< / a > < / div > < / div >
2019-11-14 13:52:51 -08:00
< div class = "ttc" id = "aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolver_html_a4b61919bdcff3d458bf6807086c48be6" > < div class = "ttname" > < a href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a4b61919bdcff3d458bf6807086c48be6" > com.google.ortools.sat.CpSolver.solveWithSolutionCallback< / a > < / div > < div class = "ttdeci" > CpSolverStatus solveWithSolutionCallback(CpModel model, CpSolverSolutionCallback cb)< / div > < div class = "ttdoc" > Solves a problem and passes each solution found to the callback.< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "CpSolver_8java_source.html#l00039" > CpSolver.java:39< / a > < / div > < / div >
< div class = "ttc" id = "aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolver_html_ad6a3705cb3e6ea4939bfb0bb578d4d01" > < div class = "ttname" > < a href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#ad6a3705cb3e6ea4939bfb0bb578d4d01" > com.google.ortools.sat.CpSolver.booleanValue< / a > < / div > < div class = "ttdeci" > Boolean booleanValue(Literal var)< / div > < div class = "ttdoc" > Returns the Boolean value of a literal in the last solution found.< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "CpSolver_8java_source.html#l00084" > CpSolver.java:84< / a > < / div > < / div >
2020-01-31 17:05:16 +01:00
< div class = "ttc" id = "aclasscom_1_1google_1_1ortools_1_1sat_1_1SatParameters_1_1Builder_html" > < div class = "ttname" > < a href = "classcom_1_1google_1_1ortools_1_1sat_1_1SatParameters_1_1Builder.html" > com.google.ortools.sat.SatParameters.Builder< / a > < / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "SatParameters_8java_source.html#l08251" > SatParameters.java:8251< / a > < / div > < / div >
2019-11-14 13:52:51 -08:00
< div class = "ttc" id = "aclasscom_1_1google_1_1ortools_1_1sat_1_1CpModel_html_a0553dcb0013a4abf06580f642177d776" > < div class = "ttname" > < a href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpModel.html#a0553dcb0013a4abf06580f642177d776" > com.google.ortools.sat.CpModel.model< / a > < / div > < div class = "ttdeci" > CpModelProto model()< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "CpModel_8java_source.html#l01026" > CpModel.java:1026< / a > < / div > < / div >
2020-01-31 17:05:16 +01:00
< div class = "ttc" id = "aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse_html_a13b366999db2d218b3772655c5ae0e80" > < div class = "ttname" > < a href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html#a13b366999db2d218b3772655c5ae0e80" > com.google.ortools.sat.CpSolverResponse.getStatus< / a > < / div > < div class = "ttdeci" > com.google.ortools.sat.CpSolverStatus getStatus()< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "CpSolverResponse_8java_source.html#l00274" > CpSolverResponse.java:274< / a > < / div > < / div >
< div class = "ttc" id = "anamespacecom_1_1google_1_1ortools_1_1sat_html" > < div class = "ttname" > < a href = "namespacecom_1_1google_1_1ortools_1_1sat.html" > com.google.ortools.sat< / a > < / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "java_2com_2google_2ortools_2sat_2Constraint_8java_source.html#l00014" > java/com/google/ortools/sat/Constraint.java:14< / a > < / div > < / div >
2019-11-14 13:52:51 -08:00
< div class = "ttc" id = "aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolver_html_adb1b01f7ab8973fc2b7a5f279dddc185" > < div class = "ttname" > < a href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#adb1b01f7ab8973fc2b7a5f279dddc185" > com.google.ortools.sat.CpSolver.responseStats< / a > < / div > < div class = "ttdeci" > String responseStats()< / div > < div class = "ttdoc" > Returns some statistics on the solution found as a string.< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "CpSolver_8java_source.html#l00124" > CpSolver.java:124< / a > < / div > < / div >
< div class = "ttc" id = "anamespacecom_1_1google_1_1ortools_html" > < div class = "ttname" > < a href = "namespacecom_1_1google_1_1ortools.html" > com.google.ortools< / a > < / div > < / div >
< div class = "ttc" id = "ainterfacecom_1_1google_1_1ortools_1_1sat_1_1Literal_html_a59d053c950ff1e9f8a004d493f34e754" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1Literal.html#a59d053c950ff1e9f8a004d493f34e754" > com.google.ortools.sat.Literal.getIndex< / a > < / div > < div class = "ttdeci" > int getIndex()< / div > < / div >
2020-01-31 17:05:16 +01:00
< div class = "ttc" id = "aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse_html" > < div class = "ttname" > < a href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html" > com.google.ortools.sat.CpSolverResponse< / a > < / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "CpSolverResponse_8java_source.html#l00016" > CpSolverResponse.java:16< / a > < / div > < / div >
< div class = "ttc" id = "aclasscom_1_1google_1_1ortools_1_1sat_1_1SatHelper_html_a8d468fc7812b3c3b22ebf22a933c984e" > < div class = "ttname" > < a href = "classcom_1_1google_1_1ortools_1_1sat_1_1SatHelper.html#a8d468fc7812b3c3b22ebf22a933c984e" > com.google.ortools.sat.SatHelper.solverResponseStats< / a > < / div > < div class = "ttdeci" > static String solverResponseStats(com.google.ortools.sat.CpSolverResponse response)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "SatHelper_8java_source.html#l00084" > SatHelper.java:84< / a > < / div > < / div >
2019-11-14 13:52:51 -08:00
< div class = "ttc" id = "aclasscom_1_1google_1_1ortools_1_1sat_1_1CpModel_html" > < div class = "ttname" > < a href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpModel.html" > com.google.ortools.sat.CpModel< / a > < / div > < div class = "ttdoc" > Main modeling class.< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "CpModel_8java_source.html#l00040" > CpModel.java:40< / a > < / div > < / div >
< div class = "ttc" id = "aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolver_html_a14e6e324b58ee2744bfed85969fd0f10" > < div class = "ttname" > < a href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a14e6e324b58ee2744bfed85969fd0f10" > com.google.ortools.sat.CpSolver.CpSolver< / a > < / div > < div class = "ttdeci" > CpSolver()< / div > < div class = "ttdoc" > Main construction of the CpSolver class.< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "CpSolver_8java_source.html#l00028" > CpSolver.java:28< / a > < / div > < / div >
2020-01-31 17:05:16 +01:00
< div class = "ttc" id = "aclasscom_1_1google_1_1ortools_1_1sat_1_1IntVar_html_a59d053c950ff1e9f8a004d493f34e754" > < div class = "ttname" > < a href = "classcom_1_1google_1_1ortools_1_1sat_1_1IntVar.html#a59d053c950ff1e9f8a004d493f34e754" > com.google.ortools.sat.IntVar.getIndex< / a > < / div > < div class = "ttdeci" > int getIndex()< / div > < div class = "ttdoc" > Internal, returns the index of the variable in the underlying CpModelProto.< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "java_2com_2google_2ortools_2sat_2IntVar_8java_source.html#l00045" > java/com/google/ortools/sat/IntVar.java:45< / a > < / div > < / div >
< div class = "ttc" id = "aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse_html_aec2eccac43347131fecab5bcdc5e3be6" > < div class = "ttname" > < a href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html#aec2eccac43347131fecab5bcdc5e3be6" > com.google.ortools.sat.CpSolverResponse.getUserTime< / a > < / div > < div class = "ttdeci" > double getUserTime()< / div > < div class = "ttdoc" > double user_time = 16;< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "CpSolverResponse_8java_source.html#l00629" > CpSolverResponse.java:629< / a > < / div > < / div >
2019-11-14 13:52:51 -08:00
< div class = "ttc" id = "aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolver_html_a6eba1a016a99e80decec8801337f35de" > < div class = "ttname" > < a href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a6eba1a016a99e80decec8801337f35de" > com.google.ortools.sat.CpSolver.numBranches< / a > < / div > < div class = "ttdeci" > long numBranches()< / div > < div class = "ttdoc" > Returns the number of branches explored during search.< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "CpSolver_8java_source.html#l00099" > CpSolver.java:99< / a > < / div > < / div >
< div class = "ttc" id = "anamespacecom_1_1google_html" > < div class = "ttname" > < a href = "namespacecom_1_1google.html" > com.google< / a > < / div > < / div >
< div class = "ttc" id = "anamespacecom_html" > < div class = "ttname" > < a href = "namespacecom.html" > com< / a > < / div > < / div >
2020-01-31 17:05:16 +01:00
< div class = "ttc" id = "aclasscom_1_1google_1_1ortools_1_1sat_1_1IntVar_html" > < div class = "ttname" > < a href = "classcom_1_1google_1_1ortools_1_1sat_1_1IntVar.html" > com.google.ortools.sat.IntVar< / a > < / div > < div class = "ttdoc" > An integer variable.< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "java_2com_2google_2ortools_2sat_2IntVar_8java_source.html#l00021" > java/com/google/ortools/sat/IntVar.java:21< / a > < / div > < / div >
2019-11-14 13:52:51 -08:00
< div class = "ttc" id = "aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolver_html_a963b901c7681493ccc15bc769a397be5" > < div class = "ttname" > < a href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a963b901c7681493ccc15bc769a397be5" > com.google.ortools.sat.CpSolver.numConflicts< / a > < / div > < div class = "ttdeci" > long numConflicts()< / div > < div class = "ttdoc" > Returns the number of conflicts created during search.< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "CpSolver_8java_source.html#l00104" > CpSolver.java:104< / a > < / div > < / div >
2020-01-31 17:05:16 +01:00
< div class = "ttc" id = "aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse_html_aa5009158736947a795b7fcf6b323aea2" > < div class = "ttname" > < a href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html#aa5009158736947a795b7fcf6b323aea2" > com.google.ortools.sat.CpSolverResponse.getNumConflicts< / a > < / div > < div class = "ttdeci" > long getNumConflicts()< / div > < div class = "ttdoc" > int64 num_conflicts = 11;< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "CpSolverResponse_8java_source.html#l00579" > CpSolverResponse.java:579< / a > < / div > < / div >
2019-11-14 13:52:51 -08:00
< div class = "ttc" id = "aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolver_html_a94cfac9362c485d50a8930688fe81a3e" > < div class = "ttname" > < a href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolver.html#a94cfac9362c485d50a8930688fe81a3e" > com.google.ortools.sat.CpSolver.solve< / a > < / div > < div class = "ttdeci" > CpSolverStatus solve(CpModel model)< / div > < div class = "ttdoc" > Solves the given module, and returns the solve status.< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "CpSolver_8java_source.html#l00033" > CpSolver.java:33< / a > < / div > < / div >
2020-01-31 17:05:16 +01:00
< div class = "ttc" id = "aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse_html_a838ff59811b38ee21477d1b4642452b7" > < div class = "ttname" > < a href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html#a838ff59811b38ee21477d1b4642452b7" > com.google.ortools.sat.CpSolverResponse.getSolution< / a > < / div > < div class = "ttdeci" > long getSolution(int index)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "CpSolverResponse_8java_source.html#l00323" > CpSolverResponse.java:323< / a > < / div > < / div >
< div class = "ttc" id = "aclasscom_1_1google_1_1ortools_1_1sat_1_1SatHelper_html_a8fe384c0541c908eced79e3b1a29597c" > < div class = "ttname" > < a href = "classcom_1_1google_1_1ortools_1_1sat_1_1SatHelper.html#a8fe384c0541c908eced79e3b1a29597c" > com.google.ortools.sat.SatHelper.solveWithParametersAndSolutionCallback< / a > < / div > < div class = "ttdeci" > static com.google.ortools.sat.CpSolverResponse solveWithParametersAndSolutionCallback(com.google.ortools.sat.CpModelProto model_proto, com.google.ortools.sat.SatParameters parameters, SolutionCallback callback)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "SatHelper_8java_source.html#l00067" > SatHelper.java:67< / a > < / div > < / div >
< div class = "ttc" id = "aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse_html_a8acd7d1e0e85ee50dd3362794d5ec2bb" > < div class = "ttname" > < a href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html#a8acd7d1e0e85ee50dd3362794d5ec2bb" > com.google.ortools.sat.CpSolverResponse.getBestObjectiveBound< / a > < / div > < div class = "ttdeci" > double getBestObjectiveBound()< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "CpSolverResponse_8java_source.html#l00357" > CpSolverResponse.java:357< / a > < / div > < / div >
< div class = "ttc" id = "aclasscom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse_html_a52da60281a2afd6beaf4640d98dd3255" > < div class = "ttname" > < a href = "classcom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponse.html#a52da60281a2afd6beaf4640d98dd3255" > com.google.ortools.sat.CpSolverResponse.getNumBranches< / a > < / div > < div class = "ttdeci" > long getNumBranches()< / div > < div class = "ttdoc" > int64 num_branches = 12;< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "CpSolverResponse_8java_source.html#l00589" > CpSolverResponse.java:589< / a > < / div > < / div >
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 >
