2020-01-31 17:05:16 +01:00
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
< html xmlns = "http://www.w3.org/1999/xhtml" >
< head >
< title > OR-Tools< / title >
< meta http-equiv = "Content-Type" content = "text/html;" / >
< meta charset = "utf-8" / >
<!-- <link rel='stylesheet' type='text/css' href="https://fonts.googleapis.com/css?family=Ubuntu:400,700,400italic"/> -->
< 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" / >
2020-01-31 17:05:16 +01: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 >
2020-01-31 17:05:16 +01:00
< / div >
< / div >
< div id = "content" style = "width: 100%; overflow: hidden;" >
< div style = "margin-left: 15px; margin-top: 5px; float: left; color: #145A32;" >
< h2 > Java Reference< / h2 >
< 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 >
< div id = "content" >
< div align = "center" >
< h1 style = "color: #145A32;" > Java Reference< / h1 >
< / div >
2022-01-15 22:53:18 +01:00
<!-- Generated by Doxygen 1.9.3 -->
2020-09-01 16:00:33 +02:00
< script type = "text/javascript" >
2021-09-30 01:18:45 +02: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" >
2021-09-30 01:18:45 +02: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(); });
});
2021-09-30 01:18:45 +02: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">
2020-01-31 17:05:16 +01:00
< / div >
< / div >
2020-09-01 16:00:33 +02:00
< script type = "text/javascript" >
2021-09-30 01:18:45 +02:00
/* @license magnet:?xt=urn:btih:d3d9a9a6595521f9666a5e94cc830dab83b65699& dn=expat.txt MIT */
$(document).ready(function(){initNavTree('CpSolverResponseOrBuilder_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 >
2020-01-31 17:05:16 +01:00
< div class = "header" >
2021-09-30 01:18:45 +02:00
< div class = "headertitle" > < div class = "title" > CpSolverResponseOrBuilder.java< / div > < / div >
2020-01-31 17:05:16 +01:00
< / div > <!-- header -->
< div class = "contents" >
2021-09-30 01:18:45 +02:00
< a href = "CpSolverResponseOrBuilder_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" > // Generated by the protocol buffer compiler. DO NOT EDIT!< / span > < / div >
< div class = "line" > < a id = "l00002" name = "l00002" > < / a > < span class = "lineno" > 2< / span > < span class = "comment" > // source: ortools/sat/cp_model.proto< / span > < / div >
< div class = "line" > < a id = "l00003" name = "l00003" > < / a > < span class = "lineno" > 3< / span > < / div >
< div class = "line" > < a id = "l00004" name = "l00004" > < / a > < span class = "lineno" > 4< / span > < span class = "keyword" > package < / span > com.google.ortools.sat;< / div >
< div class = "line" > < a id = "l00005" name = "l00005" > < / a > < span class = "lineno" > 5< / span > < / div >
< div class = "line" > < a id = "l00006" name = "l00006" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html" > 6< / a > < / span > < span class = "keyword" > public< / span > < span class = "keyword" > interface < / span > < a class = "code hl_interface" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html" > CpSolverResponseOrBuilder< / a > < span class = "keyword" > extends< / span > < / div >
< div class = "line" > < a id = "l00007" name = "l00007" > < / a > < span class = "lineno" > 7< / span > < span class = "comment" > // @@protoc_insertion_point(interface_extends:operations_research.sat.CpSolverResponse)< / span > < / div >
< div class = "line" > < a id = "l00008" name = "l00008" > < / a > < span class = "lineno" > 8< / span > com.google.protobuf.MessageOrBuilder {< / div >
< div class = "line" > < a id = "l00009" name = "l00009" > < / a > < span class = "lineno" > 9< / span > < / div >
< div class = "line" > < a id = "l00018" name = "l00018" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a0daa1d36d9ee6b478eb13bff162c0039" > 18< / a > < / span > < span class = "keywordtype" > int< / span > < a class = "code hl_function" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a0daa1d36d9ee6b478eb13bff162c0039" > getStatusValue< / a > ();< / div >
< div class = "line" > < a id = "l00027" name = "l00027" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a13b366999db2d218b3772655c5ae0e80" > 27< / a > < / span > com.google.ortools.sat.CpSolverStatus < a class = "code hl_function" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a13b366999db2d218b3772655c5ae0e80" > getStatus< / a > ();< / div >
< div class = "line" > < a id = "l00028" name = "l00028" > < / a > < span class = "lineno" > 28< / span > < / div >
< div class = "line" > < a id = "l00040" name = "l00040" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a31b5fb046259a13ff5cd2c6abf4a6d6a" > 40< / a > < / span > java.util.List< java.lang.Long> < a class = "code hl_function" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a31b5fb046259a13ff5cd2c6abf4a6d6a" > getSolutionList< / a > ();< / div >
< div class = "line" > < a id = "l00052" name = "l00052" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#ac4fb6919314524bff3d940d61859d97a" > 52< / a > < / span > < span class = "keywordtype" > int< / span > < a class = "code hl_function" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#ac4fb6919314524bff3d940d61859d97a" > getSolutionCount< / a > ();< / div >
< div class = "line" > < a id = "l00065" name = "l00065" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a838ff59811b38ee21477d1b4642452b7" > 65< / a > < / span > < span class = "keywordtype" > long< / span > < a class = "code hl_function" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a838ff59811b38ee21477d1b4642452b7" > getSolution< / a > (< span class = "keywordtype" > int< / span > index);< / div >
< div class = "line" > < a id = "l00066" name = "l00066" > < / a > < span class = "lineno" > 66< / span > < / div >
< div class = "line" > < a id = "l00078" name = "l00078" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a340199108d7279a16fbcd5429aa1bd80" > 78< / a > < / span > < span class = "keywordtype" > double< / span > < a class = "code hl_function" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a340199108d7279a16fbcd5429aa1bd80" > getObjectiveValue< / a > ();< / div >
< div class = "line" > < a id = "l00079" name = "l00079" > < / a > < span class = "lineno" > 79< / span > < / div >
< div class = "line" > < a id = "l00090" name = "l00090" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a8acd7d1e0e85ee50dd3362794d5ec2bb" > 90< / a > < / span > < span class = "keywordtype" > double< / span > < a class = "code hl_function" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a8acd7d1e0e85ee50dd3362794d5ec2bb" > getBestObjectiveBound< / a > ();< / div >
< div class = "line" > < a id = "l00091" name = "l00091" > < / a > < span class = "lineno" > 91< / span > < / div >
2021-12-14 13:41:01 +01:00
< div class = "line" > < a id = "l00103" name = "l00103" > < / a > < span class = "lineno" > 103< / span > java.util.List< com.google.ortools.sat.CpSolverSolution> < / div >
< div class = "line" > < a id = "l00104" name = "l00104" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a1e6948cc32e4641dea79d2af0b6d3cdc" > 104< / a > < / span > < a class = "code hl_function" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a1e6948cc32e4641dea79d2af0b6d3cdc" > getAdditionalSolutionsList< / a > ();< / div >
< div class = "line" > < a id = "l00116" name = "l00116" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a036c55a9a2d313938d79366b41c1d781" > 116< / a > < / span > com.google.ortools.sat.CpSolverSolution < a class = "code hl_function" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a036c55a9a2d313938d79366b41c1d781" > getAdditionalSolutions< / a > (< span class = "keywordtype" > int< / span > index);< / div >
< div class = "line" > < a id = "l00128" name = "l00128" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a926e48de7fc6f13847d637a2631d63e9" > 128< / a > < / span > < span class = "keywordtype" > int< / span > < a class = "code hl_function" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a926e48de7fc6f13847d637a2631d63e9" > getAdditionalSolutionsCount< / a > ();< / div >
< div class = "line" > < a id = "l00140" name = "l00140" > < / a > < span class = "lineno" > 140< / span > java.util.List< ? extends com.google.ortools.sat.CpSolverSolutionOrBuilder> < / div >
< div class = "line" > < a id = "l00141" name = "l00141" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a8646da6dad2f0d7e803edc7e3dce118f" > 141< / a > < / span > < a class = "code hl_function" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a8646da6dad2f0d7e803edc7e3dce118f" > getAdditionalSolutionsOrBuilderList< / a > ();< / div >
< div class = "line" > < a id = "l00153" name = "l00153" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#ad308d899e7b8c8b4aa53b73381974161" > 153< / a > < / span > com.google.ortools.sat.CpSolverSolutionOrBuilder < a class = "code hl_function" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#ad308d899e7b8c8b4aa53b73381974161" > getAdditionalSolutionsOrBuilder< / a > (< / div >
< div class = "line" > < a id = "l00154" name = "l00154" > < / a > < span class = "lineno" > 154< / span > < span class = "keywordtype" > int< / span > index);< / div >
< div class = "line" > < a id = "l00155" name = "l00155" > < / a > < span class = "lineno" > 155< / span > < / div >
< div class = "line" > < a id = "l00172" name = "l00172" > < / a > < span class = "lineno" > 172< / span > java.util.List< com.google.ortools.sat.IntegerVariableProto> < / div >
< div class = "line" > < a id = "l00173" name = "l00173" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#acf624eb7dcf20c1aa94d25cb37e8337c" > 173< / a > < / span > < a class = "code hl_function" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#acf624eb7dcf20c1aa94d25cb37e8337c" > getTightenedVariablesList< / a > ();< / div >
< div class = "line" > < a id = "l00190" name = "l00190" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a4891608637afe1b3d62ce9edc5db4065" > 190< / a > < / span > com.google.ortools.sat.IntegerVariableProto < a class = "code hl_function" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a4891608637afe1b3d62ce9edc5db4065" > getTightenedVariables< / a > (< span class = "keywordtype" > int< / span > index);< / div >
< div class = "line" > < a id = "l00207" name = "l00207" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a115c1f879d2feaa2a321a4e174180e83" > 207< / a > < / span > < span class = "keywordtype" > int< / span > < a class = "code hl_function" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a115c1f879d2feaa2a321a4e174180e83" > getTightenedVariablesCount< / a > ();< / div >
< div class = "line" > < a id = "l00224" name = "l00224" > < / a > < span class = "lineno" > 224< / span > java.util.List< ? extends com.google.ortools.sat.IntegerVariableProtoOrBuilder> < / div >
< div class = "line" > < a id = "l00225" name = "l00225" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a0016fddd6f8a50fbbfa5bd19d967babb" > 225< / a > < / span > < a class = "code hl_function" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a0016fddd6f8a50fbbfa5bd19d967babb" > getTightenedVariablesOrBuilderList< / a > ();< / div >
< div class = "line" > < a id = "l00242" name = "l00242" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a782744b43e7ff4a132e60cea897211f4" > 242< / a > < / span > com.google.ortools.sat.IntegerVariableProtoOrBuilder < a class = "code hl_function" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a782744b43e7ff4a132e60cea897211f4" > getTightenedVariablesOrBuilder< / a > (< / div >
< div class = "line" > < a id = "l00243" name = "l00243" > < / a > < span class = "lineno" > 243< / span > < span class = "keywordtype" > int< / span > index);< / div >
< div class = "line" > < a id = "l00244" name = "l00244" > < / a > < span class = "lineno" > 244< / span > < / div >
< div class = "line" > < a id = "l00267" name = "l00267" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a443965b9e03ec986ab7dfbdc2c8dfcc6" > 267< / a > < / span > java.util.List< java.lang.Integer> < a class = "code hl_function" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a443965b9e03ec986ab7dfbdc2c8dfcc6" > getSufficientAssumptionsForInfeasibilityList< / a > ();< / div >
< div class = "line" > < a id = "l00290" name = "l00290" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a97dbe8cf77e16fea62ae74bc70c80772" > 290< / a > < / span > < span class = "keywordtype" > int< / span > < a class = "code hl_function" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a97dbe8cf77e16fea62ae74bc70c80772" > getSufficientAssumptionsForInfeasibilityCount< / a > ();< / div >
< div class = "line" > < a id = "l00314" name = "l00314" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#aa316713926af3e4d0a19299ed8901425" > 314< / a > < / span > < span class = "keywordtype" > int< / span > < a class = "code hl_function" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#aa316713926af3e4d0a19299ed8901425" > getSufficientAssumptionsForInfeasibility< / a > (< span class = "keywordtype" > int< / span > index);< / div >
< div class = "line" > < a id = "l00315" name = "l00315" > < / a > < span class = "lineno" > 315< / span > < / div >
< div class = "line" > < a id = "l00326" name = "l00326" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#ac52e559c3fc850c189c46d63ff01af8a" > 326< / a > < / span > < span class = "keywordtype" > boolean< / span > < a class = "code hl_function" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#ac52e559c3fc850c189c46d63ff01af8a" > hasIntegerObjective< / a > ();< / div >
< div class = "line" > < a id = "l00337" name = "l00337" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a749a642f8221c9ee2eec4dd991f0a701" > 337< / a > < / span > com.google.ortools.sat.CpObjectiveProto < a class = "code hl_function" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a749a642f8221c9ee2eec4dd991f0a701" > getIntegerObjective< / a > ();< / div >
< div class = "line" > < a id = "l00347" name = "l00347" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a66cda5dffe1644e5bd0b1da25aca6ccd" > 347< / a > < / span > com.google.ortools.sat.CpObjectiveProtoOrBuilder < a class = "code hl_function" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a66cda5dffe1644e5bd0b1da25aca6ccd" > getIntegerObjectiveOrBuilder< / a > ();< / div >
< div class = "line" > < a id = "l00348" name = "l00348" > < / a > < span class = "lineno" > 348< / span > < / div >
< div class = "line" > < a id = "l00361" name = "l00361" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#aabc39886024829c9c3ed21f5940937f4" > 361< / a > < / span > < span class = "keywordtype" > long< / span > < a class = "code hl_function" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#aabc39886024829c9c3ed21f5940937f4" > getInnerObjectiveLowerBound< / a > ();< / div >
< div class = "line" > < a id = "l00362" name = "l00362" > < / a > < span class = "lineno" > 362< / span > < / div >
< div class = "line" > < a id = "l00372" name = "l00372" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#aef7ad55668a2e13916dbc2239c5dc746" > 372< / a > < / span > < span class = "keywordtype" > long< / span > < a class = "code hl_function" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#aef7ad55668a2e13916dbc2239c5dc746" > getNumBooleans< / a > ();< / div >
< div class = "line" > < a id = "l00373" name = "l00373" > < / a > < span class = "lineno" > 373< / span > < / div >
< div class = "line" > < a id = "l00378" name = "l00378" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#aa5009158736947a795b7fcf6b323aea2" > 378< / a > < / span > < span class = "keywordtype" > long< / span > < a class = "code hl_function" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#aa5009158736947a795b7fcf6b323aea2" > getNumConflicts< / a > ();< / div >
< div class = "line" > < a id = "l00379" name = "l00379" > < / a > < span class = "lineno" > 379< / span > < / div >
< div class = "line" > < a id = "l00384" name = "l00384" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a52da60281a2afd6beaf4640d98dd3255" > 384< / a > < / span > < span class = "keywordtype" > long< / span > < a class = "code hl_function" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a52da60281a2afd6beaf4640d98dd3255" > getNumBranches< / a > ();< / div >
< div class = "line" > < a id = "l00385" name = "l00385" > < / a > < span class = "lineno" > 385< / span > < / div >
< div class = "line" > < a id = "l00390" name = "l00390" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a50b2ff93a6dbf8c385ce4c425209ffd8" > 390< / a > < / span > < span class = "keywordtype" > long< / span > < a class = "code hl_function" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a50b2ff93a6dbf8c385ce4c425209ffd8" > getNumBinaryPropagations< / a > ();< / div >
< div class = "line" > < a id = "l00391" name = "l00391" > < / a > < span class = "lineno" > 391< / span > < / div >
< div class = "line" > < a id = "l00396" name = "l00396" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#abbd00d178ac7b00a59344ac2bc5c2bb6" > 396< / a > < / span > < span class = "keywordtype" > long< / span > < a class = "code hl_function" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#abbd00d178ac7b00a59344ac2bc5c2bb6" > getNumIntegerPropagations< / a > ();< / div >
< div class = "line" > < a id = "l00397" name = "l00397" > < / a > < span class = "lineno" > 397< / span > < / div >
< div class = "line" > < a id = "l00402" name = "l00402" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a8d9b8340b38a14199cbef2e42f439754" > 402< / a > < / span > < span class = "keywordtype" > long< / span > < a class = "code hl_function" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a8d9b8340b38a14199cbef2e42f439754" > getNumRestarts< / a > ();< / div >
< div class = "line" > < a id = "l00403" name = "l00403" > < / a > < span class = "lineno" > 403< / span > < / div >
< div class = "line" > < a id = "l00408" name = "l00408" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#adc0134f2ea6096907e7f954fac357f42" > 408< / a > < / span > < span class = "keywordtype" > long< / span > < a class = "code hl_function" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#adc0134f2ea6096907e7f954fac357f42" > getNumLpIterations< / a > ();< / div >
< div class = "line" > < a id = "l00409" name = "l00409" > < / a > < span class = "lineno" > 409< / span > < / div >
< div class = "line" > < a id = "l00418" name = "l00418" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#abf978122a6b366c40270b2883fdf8ce8" > 418< / a > < / span > < span class = "keywordtype" > double< / span > < a class = "code hl_function" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#abf978122a6b366c40270b2883fdf8ce8" > getWallTime< / a > ();< / div >
< div class = "line" > < a id = "l00419" name = "l00419" > < / a > < span class = "lineno" > 419< / span > < / div >
< div class = "line" > < a id = "l00424" name = "l00424" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#aec2eccac43347131fecab5bcdc5e3be6" > 424< / a > < / span > < span class = "keywordtype" > double< / span > < a class = "code hl_function" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#aec2eccac43347131fecab5bcdc5e3be6" > getUserTime< / a > ();< / div >
< div class = "line" > < a id = "l00425" name = "l00425" > < / a > < span class = "lineno" > 425< / span > < / div >
< div class = "line" > < a id = "l00430" name = "l00430" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a8558f1993d307f57f7d3e5dab0a49039" > 430< / a > < / span > < span class = "keywordtype" > double< / span > < a class = "code hl_function" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a8558f1993d307f57f7d3e5dab0a49039" > getDeterministicTime< / a > ();< / div >
< div class = "line" > < a id = "l00431" name = "l00431" > < / a > < span class = "lineno" > 431< / span > < / div >
< div class = "line" > < a id = "l00440" name = "l00440" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#ae20e7bd9d61ab7daa21c499eb6372013" > 440< / a > < / span > < span class = "keywordtype" > double< / span > < a class = "code hl_function" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#ae20e7bd9d61ab7daa21c499eb6372013" > getGapIntegral< / a > ();< / div >
< div class = "line" > < a id = "l00441" name = "l00441" > < / a > < span class = "lineno" > 441< / span > < / div >
< div class = "line" > < a id = "l00451" name = "l00451" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#ae175662fb21c186058d598af7b1236b8" > 451< / a > < / span > java.lang.String < a class = "code hl_function" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#ae175662fb21c186058d598af7b1236b8" > getSolutionInfo< / a > ();< / div >
< div class = "line" > < a id = "l00461" name = "l00461" > < / a > < span class = "lineno" > 461< / span > com.google.protobuf.ByteString< / div >
< div class = "line" > < a id = "l00462" name = "l00462" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a796560eb19ff9e624b4804c9c07fa8f0" > 462< / a > < / span > < a class = "code hl_function" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a796560eb19ff9e624b4804c9c07fa8f0" > getSolutionInfoBytes< / a > ();< / div >
< div class = "line" > < a id = "l00463" name = "l00463" > < / a > < span class = "lineno" > 463< / span > < / div >
< div class = "line" > < a id = "l00473" name = "l00473" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#aa5c183db8245df7eaaf7ba5a50712fae" > 473< / a > < / span > java.lang.String < a class = "code hl_function" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#aa5c183db8245df7eaaf7ba5a50712fae" > getSolveLog< / a > ();< / div >
< div class = "line" > < a id = "l00483" name = "l00483" > < / a > < span class = "lineno" > 483< / span > com.google.protobuf.ByteString< / div >
< div class = "line" > < a id = "l00484" name = "l00484" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#ab5aa381cef3081943bde6d4fe279bcd0" > 484< / a > < / span > < a class = "code hl_function" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#ab5aa381cef3081943bde6d4fe279bcd0" > getSolveLogBytes< / a > ();< / div >
< div class = "line" > < a id = "l00485" name = "l00485" > < / a > < span class = "lineno" > 485< / span > }< / div >
2021-09-30 01:18:45 +02:00
< div class = "ttc" id = "ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html" > com.google.ortools.sat.CpSolverResponseOrBuilder< / a > < / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "CpSolverResponseOrBuilder_8java_source.html#l00006" > CpSolverResponseOrBuilder.java:8< / a > < / div > < / div >
< div class = "ttc" id = "ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_a0016fddd6f8a50fbbfa5bd19d967babb" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a0016fddd6f8a50fbbfa5bd19d967babb" > com.google.ortools.sat.CpSolverResponseOrBuilder.getTightenedVariablesOrBuilderList< / a > < / div > < div class = "ttdeci" > java.util.List< ? extends com.google.ortools.sat.IntegerVariableProtoOrBuilder > getTightenedVariablesOrBuilderList()< / div > < / div >
2021-12-14 13:41:01 +01:00
< div class = "ttc" id = "ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_a036c55a9a2d313938d79366b41c1d781" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a036c55a9a2d313938d79366b41c1d781" > com.google.ortools.sat.CpSolverResponseOrBuilder.getAdditionalSolutions< / a > < / div > < div class = "ttdeci" > com.google.ortools.sat.CpSolverSolution getAdditionalSolutions(int index)< / div > < / div >
2021-09-30 01:18:45 +02:00
< div class = "ttc" id = "ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_a0daa1d36d9ee6b478eb13bff162c0039" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a0daa1d36d9ee6b478eb13bff162c0039" > com.google.ortools.sat.CpSolverResponseOrBuilder.getStatusValue< / a > < / div > < div class = "ttdeci" > int getStatusValue()< / div > < / div >
< div class = "ttc" id = "ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_a115c1f879d2feaa2a321a4e174180e83" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a115c1f879d2feaa2a321a4e174180e83" > com.google.ortools.sat.CpSolverResponseOrBuilder.getTightenedVariablesCount< / a > < / div > < div class = "ttdeci" > int getTightenedVariablesCount()< / div > < / div >
< div class = "ttc" id = "ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_a13b366999db2d218b3772655c5ae0e80" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a13b366999db2d218b3772655c5ae0e80" > com.google.ortools.sat.CpSolverResponseOrBuilder.getStatus< / a > < / div > < div class = "ttdeci" > com.google.ortools.sat.CpSolverStatus getStatus()< / div > < / div >
2021-12-14 13:41:01 +01:00
< div class = "ttc" id = "ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_a1e6948cc32e4641dea79d2af0b6d3cdc" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a1e6948cc32e4641dea79d2af0b6d3cdc" > com.google.ortools.sat.CpSolverResponseOrBuilder.getAdditionalSolutionsList< / a > < / div > < div class = "ttdeci" > java.util.List< com.google.ortools.sat.CpSolverSolution > getAdditionalSolutionsList()< / div > < / div >
2021-09-30 01:18:45 +02:00
< div class = "ttc" id = "ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_a31b5fb046259a13ff5cd2c6abf4a6d6a" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a31b5fb046259a13ff5cd2c6abf4a6d6a" > com.google.ortools.sat.CpSolverResponseOrBuilder.getSolutionList< / a > < / div > < div class = "ttdeci" > java.util.List< java.lang.Long > getSolutionList()< / div > < / div >
< div class = "ttc" id = "ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_a340199108d7279a16fbcd5429aa1bd80" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a340199108d7279a16fbcd5429aa1bd80" > com.google.ortools.sat.CpSolverResponseOrBuilder.getObjectiveValue< / a > < / div > < div class = "ttdeci" > double getObjectiveValue()< / div > < / div >
< div class = "ttc" id = "ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_a443965b9e03ec986ab7dfbdc2c8dfcc6" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a443965b9e03ec986ab7dfbdc2c8dfcc6" > com.google.ortools.sat.CpSolverResponseOrBuilder.getSufficientAssumptionsForInfeasibilityList< / a > < / div > < div class = "ttdeci" > java.util.List< java.lang.Integer > getSufficientAssumptionsForInfeasibilityList()< / div > < / div >
< div class = "ttc" id = "ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_a4891608637afe1b3d62ce9edc5db4065" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a4891608637afe1b3d62ce9edc5db4065" > com.google.ortools.sat.CpSolverResponseOrBuilder.getTightenedVariables< / a > < / div > < div class = "ttdeci" > com.google.ortools.sat.IntegerVariableProto getTightenedVariables(int index)< / div > < / div >
< div class = "ttc" id = "ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_a50b2ff93a6dbf8c385ce4c425209ffd8" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a50b2ff93a6dbf8c385ce4c425209ffd8" > com.google.ortools.sat.CpSolverResponseOrBuilder.getNumBinaryPropagations< / a > < / div > < div class = "ttdeci" > long getNumBinaryPropagations()< / div > < div class = "ttdoc" > int64 num_binary_propagations = 13;< / div > < / div >
< div class = "ttc" id = "ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_a52da60281a2afd6beaf4640d98dd3255" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a52da60281a2afd6beaf4640d98dd3255" > com.google.ortools.sat.CpSolverResponseOrBuilder.getNumBranches< / a > < / div > < div class = "ttdeci" > long getNumBranches()< / div > < div class = "ttdoc" > int64 num_branches = 12;< / div > < / div >
2021-12-14 13:41:01 +01:00
< div class = "ttc" id = "ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_a66cda5dffe1644e5bd0b1da25aca6ccd" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a66cda5dffe1644e5bd0b1da25aca6ccd" > com.google.ortools.sat.CpSolverResponseOrBuilder.getIntegerObjectiveOrBuilder< / a > < / div > < div class = "ttdeci" > com.google.ortools.sat.CpObjectiveProtoOrBuilder getIntegerObjectiveOrBuilder()< / div > < / div >
< div class = "ttc" id = "ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_a749a642f8221c9ee2eec4dd991f0a701" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a749a642f8221c9ee2eec4dd991f0a701" > com.google.ortools.sat.CpSolverResponseOrBuilder.getIntegerObjective< / a > < / div > < div class = "ttdeci" > com.google.ortools.sat.CpObjectiveProto getIntegerObjective()< / div > < / div >
2021-09-30 01:18:45 +02:00
< div class = "ttc" id = "ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_a782744b43e7ff4a132e60cea897211f4" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a782744b43e7ff4a132e60cea897211f4" > com.google.ortools.sat.CpSolverResponseOrBuilder.getTightenedVariablesOrBuilder< / a > < / div > < div class = "ttdeci" > com.google.ortools.sat.IntegerVariableProtoOrBuilder getTightenedVariablesOrBuilder(int index)< / div > < / div >
< div class = "ttc" id = "ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_a796560eb19ff9e624b4804c9c07fa8f0" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a796560eb19ff9e624b4804c9c07fa8f0" > com.google.ortools.sat.CpSolverResponseOrBuilder.getSolutionInfoBytes< / a > < / div > < div class = "ttdeci" > com.google.protobuf.ByteString getSolutionInfoBytes()< / div > < / div >
< div class = "ttc" id = "ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_a838ff59811b38ee21477d1b4642452b7" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a838ff59811b38ee21477d1b4642452b7" > com.google.ortools.sat.CpSolverResponseOrBuilder.getSolution< / a > < / div > < div class = "ttdeci" > long getSolution(int index)< / div > < / div >
< div class = "ttc" id = "ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_a8558f1993d307f57f7d3e5dab0a49039" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a8558f1993d307f57f7d3e5dab0a49039" > com.google.ortools.sat.CpSolverResponseOrBuilder.getDeterministicTime< / a > < / div > < div class = "ttdeci" > double getDeterministicTime()< / div > < div class = "ttdoc" > double deterministic_time = 17;< / div > < / div >
2021-12-14 13:41:01 +01:00
< div class = "ttc" id = "ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_a8646da6dad2f0d7e803edc7e3dce118f" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a8646da6dad2f0d7e803edc7e3dce118f" > com.google.ortools.sat.CpSolverResponseOrBuilder.getAdditionalSolutionsOrBuilderList< / a > < / div > < div class = "ttdeci" > java.util.List< ? extends com.google.ortools.sat.CpSolverSolutionOrBuilder > getAdditionalSolutionsOrBuilderList()< / div > < / div >
2021-09-30 01:18:45 +02:00
< div class = "ttc" id = "ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_a8acd7d1e0e85ee50dd3362794d5ec2bb" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a8acd7d1e0e85ee50dd3362794d5ec2bb" > com.google.ortools.sat.CpSolverResponseOrBuilder.getBestObjectiveBound< / a > < / div > < div class = "ttdeci" > double getBestObjectiveBound()< / div > < / div >
< div class = "ttc" id = "ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_a8d9b8340b38a14199cbef2e42f439754" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a8d9b8340b38a14199cbef2e42f439754" > com.google.ortools.sat.CpSolverResponseOrBuilder.getNumRestarts< / a > < / div > < div class = "ttdeci" > long getNumRestarts()< / div > < div class = "ttdoc" > int64 num_restarts = 24;< / div > < / div >
2021-12-14 13:41:01 +01:00
< div class = "ttc" id = "ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_a926e48de7fc6f13847d637a2631d63e9" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a926e48de7fc6f13847d637a2631d63e9" > com.google.ortools.sat.CpSolverResponseOrBuilder.getAdditionalSolutionsCount< / a > < / div > < div class = "ttdeci" > int getAdditionalSolutionsCount()< / div > < / div >
2021-09-30 01:18:45 +02:00
< div class = "ttc" id = "ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_a97dbe8cf77e16fea62ae74bc70c80772" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a97dbe8cf77e16fea62ae74bc70c80772" > com.google.ortools.sat.CpSolverResponseOrBuilder.getSufficientAssumptionsForInfeasibilityCount< / a > < / div > < div class = "ttdeci" > int getSufficientAssumptionsForInfeasibilityCount()< / div > < / div >
< div class = "ttc" id = "ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_aa316713926af3e4d0a19299ed8901425" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#aa316713926af3e4d0a19299ed8901425" > com.google.ortools.sat.CpSolverResponseOrBuilder.getSufficientAssumptionsForInfeasibility< / a > < / div > < div class = "ttdeci" > int getSufficientAssumptionsForInfeasibility(int index)< / div > < / div >
< div class = "ttc" id = "ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_aa5009158736947a795b7fcf6b323aea2" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#aa5009158736947a795b7fcf6b323aea2" > com.google.ortools.sat.CpSolverResponseOrBuilder.getNumConflicts< / a > < / div > < div class = "ttdeci" > long getNumConflicts()< / div > < div class = "ttdoc" > int64 num_conflicts = 11;< / div > < / div >
< div class = "ttc" id = "ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_aa5c183db8245df7eaaf7ba5a50712fae" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#aa5c183db8245df7eaaf7ba5a50712fae" > com.google.ortools.sat.CpSolverResponseOrBuilder.getSolveLog< / a > < / div > < div class = "ttdeci" > java.lang.String getSolveLog()< / div > < / div >
2021-12-14 13:41:01 +01:00
< div class = "ttc" id = "ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_aabc39886024829c9c3ed21f5940937f4" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#aabc39886024829c9c3ed21f5940937f4" > com.google.ortools.sat.CpSolverResponseOrBuilder.getInnerObjectiveLowerBound< / a > < / div > < div class = "ttdeci" > long getInnerObjectiveLowerBound()< / div > < / div >
2021-09-30 01:18:45 +02:00
< div class = "ttc" id = "ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_ab5aa381cef3081943bde6d4fe279bcd0" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#ab5aa381cef3081943bde6d4fe279bcd0" > com.google.ortools.sat.CpSolverResponseOrBuilder.getSolveLogBytes< / a > < / div > < div class = "ttdeci" > com.google.protobuf.ByteString getSolveLogBytes()< / div > < / div >
< div class = "ttc" id = "ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_abbd00d178ac7b00a59344ac2bc5c2bb6" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#abbd00d178ac7b00a59344ac2bc5c2bb6" > com.google.ortools.sat.CpSolverResponseOrBuilder.getNumIntegerPropagations< / a > < / div > < div class = "ttdeci" > long getNumIntegerPropagations()< / div > < div class = "ttdoc" > int64 num_integer_propagations = 14;< / div > < / div >
2021-12-14 13:41:01 +01:00
< div class = "ttc" id = "ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_abf978122a6b366c40270b2883fdf8ce8" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#abf978122a6b366c40270b2883fdf8ce8" > com.google.ortools.sat.CpSolverResponseOrBuilder.getWallTime< / a > < / div > < div class = "ttdeci" > double getWallTime()< / div > < / div >
2021-09-30 01:18:45 +02:00
< div class = "ttc" id = "ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_ac4fb6919314524bff3d940d61859d97a" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#ac4fb6919314524bff3d940d61859d97a" > com.google.ortools.sat.CpSolverResponseOrBuilder.getSolutionCount< / a > < / div > < div class = "ttdeci" > int getSolutionCount()< / div > < / div >
2021-12-14 13:41:01 +01:00
< div class = "ttc" id = "ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_ac52e559c3fc850c189c46d63ff01af8a" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#ac52e559c3fc850c189c46d63ff01af8a" > com.google.ortools.sat.CpSolverResponseOrBuilder.hasIntegerObjective< / a > < / div > < div class = "ttdeci" > boolean hasIntegerObjective()< / div > < / div >
2021-09-30 01:18:45 +02:00
< div class = "ttc" id = "ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_acf624eb7dcf20c1aa94d25cb37e8337c" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#acf624eb7dcf20c1aa94d25cb37e8337c" > com.google.ortools.sat.CpSolverResponseOrBuilder.getTightenedVariablesList< / a > < / div > < div class = "ttdeci" > java.util.List< com.google.ortools.sat.IntegerVariableProto > getTightenedVariablesList()< / div > < / div >
2021-12-14 13:41:01 +01:00
< div class = "ttc" id = "ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_ad308d899e7b8c8b4aa53b73381974161" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#ad308d899e7b8c8b4aa53b73381974161" > com.google.ortools.sat.CpSolverResponseOrBuilder.getAdditionalSolutionsOrBuilder< / a > < / div > < div class = "ttdeci" > com.google.ortools.sat.CpSolverSolutionOrBuilder getAdditionalSolutionsOrBuilder(int index)< / div > < / div >
2021-09-30 01:18:45 +02:00
< div class = "ttc" id = "ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_adc0134f2ea6096907e7f954fac357f42" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#adc0134f2ea6096907e7f954fac357f42" > com.google.ortools.sat.CpSolverResponseOrBuilder.getNumLpIterations< / a > < / div > < div class = "ttdeci" > long getNumLpIterations()< / div > < div class = "ttdoc" > int64 num_lp_iterations = 25;< / div > < / div >
< div class = "ttc" id = "ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_ae175662fb21c186058d598af7b1236b8" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#ae175662fb21c186058d598af7b1236b8" > com.google.ortools.sat.CpSolverResponseOrBuilder.getSolutionInfo< / a > < / div > < div class = "ttdeci" > java.lang.String getSolutionInfo()< / div > < / div >
2021-12-14 13:41:01 +01:00
< div class = "ttc" id = "ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_ae20e7bd9d61ab7daa21c499eb6372013" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#ae20e7bd9d61ab7daa21c499eb6372013" > com.google.ortools.sat.CpSolverResponseOrBuilder.getGapIntegral< / a > < / div > < div class = "ttdeci" > double getGapIntegral()< / div > < / div >
2021-09-30 01:18:45 +02:00
< div class = "ttc" id = "ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_aec2eccac43347131fecab5bcdc5e3be6" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#aec2eccac43347131fecab5bcdc5e3be6" > com.google.ortools.sat.CpSolverResponseOrBuilder.getUserTime< / a > < / div > < div class = "ttdeci" > double getUserTime()< / div > < div class = "ttdoc" > double user_time = 16;< / div > < / div >
< div class = "ttc" id = "ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_aef7ad55668a2e13916dbc2239c5dc746" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#aef7ad55668a2e13916dbc2239c5dc746" > com.google.ortools.sat.CpSolverResponseOrBuilder.getNumBooleans< / a > < / div > < div class = "ttdeci" > long getNumBooleans()< / div > < / div >
2021-01-26 11:28:50 +01:00
< / div > <!-- fragment --> < / div > <!-- contents -->
< / div > <!-- doc - content -->
2020-01-31 17:05:16 +01:00
< / div >
< / div >
< div id = "footer-container" >
< div id = "footer" >
< / div >
< / div >
< / body >
< / html >
