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"/> -->
< link rel = "stylesheet" type = "text/css" href = "ortools.css" title = "default" media = "screen,print" / >
< script type = "text/javascript" src = "jquery.js" > < / script >
< script type = "text/javascript" src = "dynsections.js" > < / script >
< / head >
< body >
< div id = "banner-container" >
< div id = "banner" >
2020-06-11 12:23:09 +02:00
< span id = "sfml" > Google OR-Tools 7.7< / 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 >
2020-06-11 12:23:09 +02:00
<!-- Generated by Doxygen 1.8.18 -->
2020-01-31 17:05:16 +01: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 >
< li class = "current" > < a href = "files.html" > < span > Files< / span > < / a > < / li >
< / ul >
< / div >
< div id = "nav-path" class = "navpath" >
< ul >
< li class = "navelem" > < a class = "el" href = "dir_a7cc1eeded8f693d0da6c729bc88c45a.html" > ortools< / a > < / li > < li class = "navelem" > < a class = "el" href = "dir_b2c6d49957bf5d0c7726edb4b829cd4d.html" > gen< / a > < / li > < li class = "navelem" > < a class = "el" href = "dir_f88e9bf20ef7a2edacadc7398821128c.html" > java< / a > < / li > < li class = "navelem" > < a class = "el" href = "dir_ed872c04379ecb0f2b963a12120d6d44.html" > com< / a > < / li > < li class = "navelem" > < a class = "el" href = "dir_a4779522fcbc2aba7a0363cf99e3f053.html" > google< / a > < / li > < li class = "navelem" > < a class = "el" href = "dir_c2366ecc8bf89298d2ab512247846781.html" > ortools< / a > < / li > < li class = "navelem" > < a class = "el" href = "dir_feb866fcba9284e06b5273e32a8a109c.html" > sat< / a > < / li > < / ul >
< / div >
< / div > <!-- top -->
< div class = "header" >
< div class = "headertitle" >
< div class = "title" > CpSolverResponseOrBuilder.java< / div > < / div >
< / div > <!-- header -->
< div class = "contents" >
< a href = "CpSolverResponseOrBuilder_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" > // Generated by the protocol buffer compiler. DO NOT EDIT!< / span > < / div >
< div class = "line" > < a name = "l00002" > < / a > < span class = "lineno" > 2< / span >   < span class = "comment" > // source: ortools/sat/cp_model.proto< / span > < / div >
< div class = "line" > < a name = "l00003" > < / a > < span class = "lineno" > 3< / span >   < / div >
< div class = "line" > < a name = "l00004" > < / a > < span class = "lineno" > 4< / span >   < span class = "keyword" > package < / span > com.google.ortools.sat;< / div >
< div class = "line" > < a name = "l00005" > < / a > < span class = "lineno" > 5< / span >   < / div >
< div class = "line" > < a 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" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html" > CpSolverResponseOrBuilder< / a > < span class = "keyword" > extends< / span > < / div >
< div class = "line" > < a 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 name = "l00008" > < / a > < span class = "lineno" > 8< / span >   < a class = "code" href = "namespacecom.html" > com< / a > .google.protobuf.MessageOrBuilder {< / div >
< div class = "line" > < a name = "l00009" > < / a > < span class = "lineno" > 9< / span >   < / div >
2020-06-11 12:23:09 +02:00
< div class = "line" > < a 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" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a0daa1d36d9ee6b478eb13bff162c0039" > getStatusValue< / a > ();< / div >
< div class = "line" > < a name = "l00027" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a13b366999db2d218b3772655c5ae0e80" > 27< / a > < / 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 > < a class = "code" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a13b366999db2d218b3772655c5ae0e80" > getStatus< / a > ();< / div >
2020-01-31 17:05:16 +01:00
< div class = "line" > < a name = "l00028" > < / a > < span class = "lineno" > 28< / span >   < / div >
2020-06-11 12:23:09 +02:00
< div class = "line" > < a name = "l00040" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a1c2ee3bbb73113fbb8da70dabd448958" > 40< / a > < / span >   java.util.List< java.lang.Long> < a class = "code" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a1c2ee3bbb73113fbb8da70dabd448958" > getSolutionList< / a > ();< / div >
< div class = "line" > < a 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" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#ac4fb6919314524bff3d940d61859d97a" > getSolutionCount< / a > ();< / div >
< div class = "line" > < a 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" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a838ff59811b38ee21477d1b4642452b7" > getSolution< / a > (< span class = "keywordtype" > int< / span > index);< / div >
2020-01-31 17:05:16 +01:00
< div class = "line" > < a name = "l00066" > < / a > < span class = "lineno" > 66< / span >   < / div >
2020-06-11 12:23:09 +02:00
< div class = "line" > < a 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" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a340199108d7279a16fbcd5429aa1bd80" > getObjectiveValue< / a > ();< / div >
2020-01-31 17:05:16 +01:00
< div class = "line" > < a name = "l00079" > < / a > < span class = "lineno" > 79< / span >   < / div >
2020-06-11 12:23:09 +02:00
< div class = "line" > < a 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" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a8acd7d1e0e85ee50dd3362794d5ec2bb" > getBestObjectiveBound< / a > ();< / div >
2020-01-31 17:05:16 +01:00
< div class = "line" > < a name = "l00091" > < / a > < span class = "lineno" > 91< / span >   < / div >
2020-06-11 12:23:09 +02:00
< div class = "line" > < a name = "l00105" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#afddb1978033de21ccf86e9559b6b7358" > 105< / a > < / span >   java.util.List< java.lang.Long> < a class = "code" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#afddb1978033de21ccf86e9559b6b7358" > getSolutionLowerBoundsList< / a > ();< / div >
< div class = "line" > < a name = "l00119" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a8e41ee43403a914beb0de40328bc8be1" > 119< / a > < / span >   < span class = "keywordtype" > int< / span > < a class = "code" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a8e41ee43403a914beb0de40328bc8be1" > getSolutionLowerBoundsCount< / a > ();< / div >
< div class = "line" > < a name = "l00134" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#adf2647407706969513e5e0ef345c4b36" > 134< / a > < / span >   < span class = "keywordtype" > long< / span > < a class = "code" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#adf2647407706969513e5e0ef345c4b36" > getSolutionLowerBounds< / a > (< span class = "keywordtype" > int< / span > index);< / div >
2020-01-31 17:05:16 +01:00
< div class = "line" > < a name = "l00135" > < / a > < span class = "lineno" > 135< / span >   < / div >
2020-06-11 12:23:09 +02:00
< div class = "line" > < a name = "l00140" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a9d8aeccef3da7a52cc8c084d21e3f95e" > 140< / a > < / span >   java.util.List< java.lang.Long> < a class = "code" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a9d8aeccef3da7a52cc8c084d21e3f95e" > getSolutionUpperBoundsList< / a > ();< / div >
< div class = "line" > < a name = "l00145" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a0a1c96161f3caa16f1635cb6901ed0bc" > 145< / a > < / span >   < span class = "keywordtype" > int< / span > < a class = "code" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a0a1c96161f3caa16f1635cb6901ed0bc" > getSolutionUpperBoundsCount< / a > ();< / div >
< div class = "line" > < a name = "l00151" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a9e015e46419e5afe0e7feedfa1e3b8e3" > 151< / a > < / span >   < span class = "keywordtype" > long< / span > < a class = "code" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a9e015e46419e5afe0e7feedfa1e3b8e3" > getSolutionUpperBounds< / a > (< span class = "keywordtype" > int< / span > index);< / div >
2020-01-31 17:05:16 +01:00
< div class = "line" > < a name = "l00152" > < / a > < span class = "lineno" > 152< / span >   < / div >
< div class = "line" > < a name = "l00169" > < / a > < span class = "lineno" > 169< / span >   java.util.List< < 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_1IntegerVariableProto.html" > IntegerVariableProto< / a > > < / div >
2020-06-11 12:23:09 +02:00
< div class = "line" > < a name = "l00170" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#ace883c2f1d46975246332cf259628fb2" > 170< / a > < / span >   < a class = "code" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#ace883c2f1d46975246332cf259628fb2" > getTightenedVariablesList< / a > ();< / div >
< div class = "line" > < a name = "l00187" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a4891608637afe1b3d62ce9edc5db4065" > 187< / a > < / 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_1IntegerVariableProto.html" > IntegerVariableProto< / a > < a class = "code" 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 name = "l00204" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a115c1f879d2feaa2a321a4e174180e83" > 204< / a > < / span >   < span class = "keywordtype" > int< / span > < a class = "code" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a115c1f879d2feaa2a321a4e174180e83" > getTightenedVariablesCount< / a > ();< / div >
2020-01-31 17:05:16 +01:00
< div class = "line" > < a name = "l00221" > < / a > < span class = "lineno" > 221< / span >   java.util.List< ? extends < 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 = "interfacecom_1_1google_1_1ortools_1_1sat_1_1IntegerVariableProtoOrBuilder.html" > IntegerVariableProtoOrBuilder< / a > > < / div >
2020-06-11 12:23:09 +02:00
< div class = "line" > < a name = "l00222" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#aaf1f146507e77a429ea9fc9b61472fb7" > 222< / a > < / span >   < a class = "code" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#aaf1f146507e77a429ea9fc9b61472fb7" > getTightenedVariablesOrBuilderList< / a > ();< / div >
< div class = "line" > < a name = "l00239" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a782744b43e7ff4a132e60cea897211f4" > 239< / a > < / 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 = "interfacecom_1_1google_1_1ortools_1_1sat_1_1IntegerVariableProtoOrBuilder.html" > IntegerVariableProtoOrBuilder< / a > < a class = "code" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a782744b43e7ff4a132e60cea897211f4" > getTightenedVariablesOrBuilder< / a > (< / div >
2020-01-31 17:05:16 +01:00
< div class = "line" > < a name = "l00240" > < / a > < span class = "lineno" > 240< / span >   < span class = "keywordtype" > int< / span > index);< / div >
< div class = "line" > < a name = "l00241" > < / a > < span class = "lineno" > 241< / span >   < / div >
2020-06-11 12:23:09 +02:00
< div class = "line" > < a name = "l00260" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a80eea42a5f047f52084ece067337f747" > 260< / a > < / span >   java.util.List< java.lang.Integer> < a class = "code" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a80eea42a5f047f52084ece067337f747" > getSufficientAssumptionsForInfeasibilityList< / a > ();< / div >
< div class = "line" > < a name = "l00279" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a97dbe8cf77e16fea62ae74bc70c80772" > 279< / a > < / span >   < span class = "keywordtype" > int< / span > < a class = "code" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a97dbe8cf77e16fea62ae74bc70c80772" > getSufficientAssumptionsForInfeasibilityCount< / a > ();< / div >
< div class = "line" > < a name = "l00299" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#aa316713926af3e4d0a19299ed8901425" > 299< / a > < / span >   < span class = "keywordtype" > int< / span > < a class = "code" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#aa316713926af3e4d0a19299ed8901425" > getSufficientAssumptionsForInfeasibility< / a > (< span class = "keywordtype" > int< / span > index);< / div >
2020-01-31 17:05:16 +01:00
< div class = "line" > < a name = "l00300" > < / a > < span class = "lineno" > 300< / span >   < / div >
2020-06-11 12:23:09 +02:00
< div class = "line" > < a name = "l00312" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a3529f2aeb759b0e4d4c49437ebd2ccde" > 312< / a > < / span >   < span class = "keywordtype" > boolean< / span > < a class = "code" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a3529f2aeb759b0e4d4c49437ebd2ccde" > getAllSolutionsWereFound< / a > ();< / div >
2020-04-23 15:34:43 +02:00
< div class = "line" > < a name = "l00313" > < / a > < span class = "lineno" > 313< / span >   < / div >
2020-06-11 12:23:09 +02:00
< div class = "line" > < a name = "l00322" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#aef7ad55668a2e13916dbc2239c5dc746" > 322< / a > < / span >   < span class = "keywordtype" > long< / span > < a class = "code" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#aef7ad55668a2e13916dbc2239c5dc746" > getNumBooleans< / a > ();< / div >
2020-04-23 15:34:43 +02:00
< div class = "line" > < a name = "l00323" > < / a > < span class = "lineno" > 323< / span >   < / div >
2020-06-11 12:23:09 +02:00
< div class = "line" > < a name = "l00328" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#aa5009158736947a795b7fcf6b323aea2" > 328< / a > < / span >   < span class = "keywordtype" > long< / span > < a class = "code" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#aa5009158736947a795b7fcf6b323aea2" > getNumConflicts< / a > ();< / div >
2020-04-23 15:34:43 +02:00
< div class = "line" > < a name = "l00329" > < / a > < span class = "lineno" > 329< / span >   < / div >
2020-06-11 12:23:09 +02:00
< div class = "line" > < a name = "l00334" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a52da60281a2afd6beaf4640d98dd3255" > 334< / a > < / span >   < span class = "keywordtype" > long< / span > < a class = "code" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a52da60281a2afd6beaf4640d98dd3255" > getNumBranches< / a > ();< / div >
2020-04-23 15:34:43 +02:00
< div class = "line" > < a name = "l00335" > < / a > < span class = "lineno" > 335< / span >   < / div >
2020-06-11 12:23:09 +02:00
< div class = "line" > < a name = "l00340" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a50b2ff93a6dbf8c385ce4c425209ffd8" > 340< / a > < / span >   < span class = "keywordtype" > long< / span > < a class = "code" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a50b2ff93a6dbf8c385ce4c425209ffd8" > getNumBinaryPropagations< / a > ();< / div >
2020-04-23 15:34:43 +02:00
< div class = "line" > < a name = "l00341" > < / a > < span class = "lineno" > 341< / span >   < / div >
2020-06-11 12:23:09 +02:00
< div class = "line" > < a name = "l00346" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#abbd00d178ac7b00a59344ac2bc5c2bb6" > 346< / a > < / span >   < span class = "keywordtype" > long< / span > < a class = "code" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#abbd00d178ac7b00a59344ac2bc5c2bb6" > getNumIntegerPropagations< / a > ();< / div >
2020-04-23 15:34:43 +02:00
< div class = "line" > < a name = "l00347" > < / a > < span class = "lineno" > 347< / span >   < / div >
2020-06-11 12:23:09 +02:00
< div class = "line" > < a name = "l00352" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#abf978122a6b366c40270b2883fdf8ce8" > 352< / a > < / span >   < span class = "keywordtype" > double< / span > < a class = "code" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#abf978122a6b366c40270b2883fdf8ce8" > getWallTime< / a > ();< / div >
2020-04-23 15:34:43 +02:00
< div class = "line" > < a name = "l00353" > < / a > < span class = "lineno" > 353< / span >   < / div >
2020-06-11 12:23:09 +02:00
< div class = "line" > < a name = "l00358" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#aec2eccac43347131fecab5bcdc5e3be6" > 358< / a > < / span >   < span class = "keywordtype" > double< / span > < a class = "code" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#aec2eccac43347131fecab5bcdc5e3be6" > getUserTime< / a > ();< / div >
2020-04-23 15:34:43 +02:00
< div class = "line" > < a name = "l00359" > < / a > < span class = "lineno" > 359< / span >   < / div >
2020-06-11 12:23:09 +02:00
< div class = "line" > < a name = "l00364" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a8558f1993d307f57f7d3e5dab0a49039" > 364< / a > < / span >   < span class = "keywordtype" > double< / span > < a class = "code" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a8558f1993d307f57f7d3e5dab0a49039" > getDeterministicTime< / a > ();< / div >
2020-04-23 15:34:43 +02:00
< div class = "line" > < a name = "l00365" > < / a > < span class = "lineno" > 365< / span >   < / div >
2020-06-11 12:23:09 +02:00
< div class = "line" > < a name = "l00370" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a71eae29f1edf42072caf6663bf9d0e60" > 370< / a > < / span >   < span class = "keywordtype" > double< / span > < a class = "code" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a71eae29f1edf42072caf6663bf9d0e60" > getPrimalIntegral< / a > ();< / div >
2020-04-23 15:34:43 +02:00
< div class = "line" > < a name = "l00371" > < / a > < span class = "lineno" > 371< / span >   < / div >
2020-06-11 12:23:09 +02:00
< div class = "line" > < a name = "l00380" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#ae175662fb21c186058d598af7b1236b8" > 380< / a > < / span >   java.lang.String < a class = "code" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#ae175662fb21c186058d598af7b1236b8" > getSolutionInfo< / a > ();< / div >
2020-04-23 15:34:43 +02:00
< div class = "line" > < a name = "l00389" > < / a > < span class = "lineno" > 389< / span >   < a class = "code" href = "namespacecom.html" > com< / a > .< a class = "code" href = "namespacecom_1_1google.html" > google< / a > .protobuf.ByteString< / div >
2020-06-11 12:23:09 +02:00
< div class = "line" > < a name = "l00390" > < / a > < span class = "lineno" > < a class = "line" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a796560eb19ff9e624b4804c9c07fa8f0" > 390< / a > < / span >   < a class = "code" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a796560eb19ff9e624b4804c9c07fa8f0" > getSolutionInfoBytes< / a > ();< / div >
2020-04-23 15:34:43 +02:00
< div class = "line" > < a name = "l00391" > < / a > < span class = "lineno" > 391< / span >   }< / div >
2020-01-31 17:05:16 +01:00
< / div > <!-- fragment --> < / div > <!-- contents -->
< 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 >
2020-06-11 12:23:09 +02:00
< div class = "ttc" id = "aclasscom_1_1google_1_1ortools_1_1sat_1_1IntegerVariableProto_html" > < div class = "ttname" > < a href = "classcom_1_1google_1_1ortools_1_1sat_1_1IntegerVariableProto.html" > com.google.ortools.sat.IntegerVariableProto< / a > < / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "IntegerVariableProto_8java_source.html#l00027" > IntegerVariableProto.java:30< / a > < / div > < / div >
2020-01-31 17:05:16 +01:00
< 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_a1c2ee3bbb73113fbb8da70dabd448958" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a1c2ee3bbb73113fbb8da70dabd448958" > 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_aaf1f146507e77a429ea9fc9b61472fb7" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#aaf1f146507e77a429ea9fc9b61472fb7" > com.google.ortools.sat.CpSolverResponseOrBuilder.getTightenedVariablesOrBuilderList< / a > < / div > < div class = "ttdeci" > java.util.List< ? extends com.google.ortools.sat.IntegerVariableProtoOrBuilder > getTightenedVariablesOrBuilderList()< / div > < / div >
< div class = "ttc" id = "ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_a0a1c96161f3caa16f1635cb6901ed0bc" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a0a1c96161f3caa16f1635cb6901ed0bc" > com.google.ortools.sat.CpSolverResponseOrBuilder.getSolutionUpperBoundsCount< / a > < / div > < div class = "ttdeci" > int getSolutionUpperBoundsCount()< / div > < div class = "ttdoc" > repeated int64 solution_upper_bounds = 19;< / div > < / div >
2020-04-23 15:34:43 +02:00
< div class = "ttc" id = "ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_a80eea42a5f047f52084ece067337f747" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a80eea42a5f047f52084ece067337f747" > com.google.ortools.sat.CpSolverResponseOrBuilder.getSufficientAssumptionsForInfeasibilityList< / a > < / div > < div class = "ttdeci" > java.util.List< java.lang.Integer > getSufficientAssumptionsForInfeasibilityList()< / div > < / div >
2020-01-31 17:05:16 +01: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_a9d8aeccef3da7a52cc8c084d21e3f95e" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a9d8aeccef3da7a52cc8c084d21e3f95e" > com.google.ortools.sat.CpSolverResponseOrBuilder.getSolutionUpperBoundsList< / a > < / div > < div class = "ttdeci" > java.util.List< java.lang.Long > getSolutionUpperBoundsList()< / div > < div class = "ttdoc" > repeated int64 solution_upper_bounds = 19;< / div > < / div >
2020-06-11 12:23:09 +02: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:14< / a > < / div > < / div >
2020-01-31 17:05:16 +01: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_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_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 >
< 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_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 >
< div class = "ttc" id = "ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_adf2647407706969513e5e0ef345c4b36" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#adf2647407706969513e5e0ef345c4b36" > com.google.ortools.sat.CpSolverResponseOrBuilder.getSolutionLowerBounds< / a > < / div > < div class = "ttdeci" > long getSolutionLowerBounds(int index)< / 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 >
< 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_a8e41ee43403a914beb0de40328bc8be1" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a8e41ee43403a914beb0de40328bc8be1" > com.google.ortools.sat.CpSolverResponseOrBuilder.getSolutionLowerBoundsCount< / a > < / div > < div class = "ttdeci" > int getSolutionLowerBoundsCount()< / 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 >
< 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_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_a71eae29f1edf42072caf6663bf9d0e60" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a71eae29f1edf42072caf6663bf9d0e60" > com.google.ortools.sat.CpSolverResponseOrBuilder.getPrimalIntegral< / a > < / div > < div class = "ttdeci" > double getPrimalIntegral()< / div > < div class = "ttdoc" > double primal_integral = 22;< / div > < / div >
< div class = "ttc" id = "anamespacecom_1_1google_1_1ortools_1_1sat_html" > < div class = "ttname" > < a href = "namespacecom_1_1google_1_1ortools_1_1sat.html" > com.google.ortools.sat< / a > < / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "java_2com_2google_2ortools_2sat_2Constraint_8java_source.html#l00014" > java/com/google/ortools/sat/Constraint.java:14< / a > < / div > < / div >
< div class = "ttc" id = "ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_ace883c2f1d46975246332cf259628fb2" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#ace883c2f1d46975246332cf259628fb2" > com.google.ortools.sat.CpSolverResponseOrBuilder.getTightenedVariablesList< / a > < / div > < div class = "ttdeci" > java.util.List< com.google.ortools.sat.IntegerVariableProto > getTightenedVariablesList()< / 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_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_a9e015e46419e5afe0e7feedfa1e3b8e3" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a9e015e46419e5afe0e7feedfa1e3b8e3" > com.google.ortools.sat.CpSolverResponseOrBuilder.getSolutionUpperBounds< / a > < / div > < div class = "ttdeci" > long getSolutionUpperBounds(int index)< / div > < div class = "ttdoc" > repeated int64 solution_upper_bounds = 19;< / div > < / div >
< div class = "ttc" id = "ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_afddb1978033de21ccf86e9559b6b7358" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#afddb1978033de21ccf86e9559b6b7358" > com.google.ortools.sat.CpSolverResponseOrBuilder.getSolutionLowerBoundsList< / a > < / div > < div class = "ttdeci" > java.util.List< java.lang.Long > getSolutionLowerBoundsList()< / div > < / div >
< 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 class = "ttdoc" > double wall_time = 15;< / 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-04-23 15:34:43 +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 >
2020-01-31 17:05:16 +01:00
< 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 >
< div class = "ttc" id = "ainterfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder_html_a3529f2aeb759b0e4d4c49437ebd2ccde" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1CpSolverResponseOrBuilder.html#a3529f2aeb759b0e4d4c49437ebd2ccde" > com.google.ortools.sat.CpSolverResponseOrBuilder.getAllSolutionsWereFound< / a > < / div > < div class = "ttdeci" > boolean getAllSolutionsWereFound()< / 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 >
< 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 >
2020-04-23 15:34:43 +02:00
< 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 >
2020-06-11 12:23:09 +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_1IntegerVariableProtoOrBuilder_html" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1IntegerVariableProtoOrBuilder.html" > com.google.ortools.sat.IntegerVariableProtoOrBuilder< / a > < / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "IntegerVariableProtoOrBuilder_8java_source.html#l00006" > IntegerVariableProtoOrBuilder.java:8< / a > < / div > < / div >
2020-01-31 17:05:16 +01: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 >
< / div >
< / div >
< div id = "footer-container" >
< div id = "footer" >
< / div >
< / div >
< / body >
< / html >
