2019-06-13 13:08:49 +02:00
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
2019-06-13 02:45:44 +02:00
< html xmlns = "http://www.w3.org/1999/xhtml" >
2019-06-13 13:08:49 +02:00
< head >
< title > OR-Tools< / title >
< meta http-equiv = "Content-Type" content = "text/html;" / >
< meta charset = "utf-8" / >
<!-- <link rel='stylesheet' type='text/css' href="https://fonts.googleapis.com/css?family=Ubuntu:400,700,400italic"/> -->
2019-06-20 23:19:36 +02:00
< link rel = "stylesheet" type = "text/css" href = "ortools.css" title = "default" media = "screen,print" / >
2019-06-13 13:08:49 +02:00
< script type = "text/javascript" src = "jquery.js" > < / script >
< script type = "text/javascript" src = "dynsections.js" > < / script >
< / head >
< body >
< div id = "banner-container" >
< div id = "banner" >
2019-06-29 18:18:08 +02:00
< span id = "sfml" > OR-Tools 7.2< / span >
2019-06-13 13:08:49 +02:00
< / div >
< / div >
2019-06-26 12:16:47 +02:00
< link rel = "icon" href = "https://developers.google.com/optimization/images/orLogo.png" >
2019-06-13 13:08:49 +02:00
< div id = "content" >
2019-06-13 02:45:44 +02:00
<!-- Generated by Doxygen 1.8.15 -->
< div id = "navrow1" class = "tabs" >
< ul class = "tablist" >
< li > < a href = "index.html" > < span > Main  Page< / span > < / a > < / li >
< li > < a href = "pages.html" > < span > Related  Pages< / span > < / a > < / li >
< li > < a href = "namespaces.html" > < span > Namespaces< / span > < / a > < / li >
< li > < a href = "annotated.html" > < span > Classes< / span > < / a > < / li >
< li class = "current" > < a href = "files.html" > < span > Files< / span > < / a > < / li >
< / ul >
< / div >
< div id = "navrow2" class = "tabs2" >
< ul class = "tablist" >
< li > < a href = "files.html" > < span > File  List< / span > < / a > < / li >
< / ul >
< / div >
< div id = "nav-path" class = "navpath" >
< ul >
< li class = "navelem" > < a class = "el" href = "dir_a7cc1eeded8f693d0da6c729bc88c45a.html" > ortools< / a > < / li > < li class = "navelem" > < a class = "el" href = "dir_b2c6d49957bf5d0c7726edb4b829cd4d.html" > gen< / a > < / li > < li class = "navelem" > < a class = "el" href = "dir_82da1734a9cb0f1cf40dbd95c2117ce5.html" > com< / a > < / li > < li class = "navelem" > < a class = "el" href = "dir_1713cbfcde5229f242ac28be432e77c9.html" > google< / a > < / li > < li class = "navelem" > < a class = "el" href = "dir_06c320066273db25e45ae140036401c9.html" > ortools< / a > < / li > < li class = "navelem" > < a class = "el" href = "dir_e0fb8e393372512b4e694b54be4b3d3e.html" > sat< / a > < / li > < / ul >
< / div >
< / div > <!-- top -->
< div class = "header" >
< div class = "headertitle" >
< div class = "title" > SatParametersOrBuilder.java< / div > < / div >
< / div > <!-- header -->
< div class = "contents" >
2019-07-12 11:43:12 -07:00
< a href = "SatParametersOrBuilder_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/sat_parameters.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_1SatParametersOrBuilder.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_1SatParametersOrBuilder.html" > SatParametersOrBuilder< / 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.SatParameters)< / 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 > < div class = "line" > < a name = "l00013" > < / a > < span class = "lineno" > 13< / span >   < span class = "keywordtype" > boolean< / span > < a class = "code" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a12ae5981c31d80b253a224014a59426b" > hasPreferredVariableOrder< / a > ();< / div > < div class = "line" > < a name = "l00017" > < / a > < span class = "lineno" > 17< / span >   < a class = "code" href = "namespacecom.html" > com< / a > .< a class = "code" href = "namespacecom_1_1google.html" > google< / a > .< a class = "code" href = "namespacecom_1_1google_1_1ortools.html" > ortools< / a > .< a class = "code" href = "namespacecom_1_1google_1_1ortools_1_1sat.html" > sat< / a > .< a class = "code" href = "classcom_1_1google_1_1ortools_1_1sat_1_1SatParameters.html" > SatParameters< / a > .< a class = "code" href = "enumcom_1_1google_1_1ortools_1_1sat_1_1SatParameters_1_1VariableOrder.html" > VariableOrder< / a > < a class = "code" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#aea2faa38abc58366ca4f5f6c294ebc7f" > getPreferredVariableOrder< / a > ();< / div > < div class = "line" > < a name = "l00018" > < / a > < span class = "lineno" > 18< / span >   < / div > < div class = "line" > < a name = "l00022" > < / a > < span class = "lineno" > 22< / span >   < span class = "keywordtype" > boolean< / span > < a class = "code" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a1e535140a273b1cca20666b8f3568455" > hasInitialPolarity< / a > ();< / div > < div class = "line" > < a name = "l00026" > < / a > < span class = "lineno" > 26< / span >   < a class = "code" href = "namespacecom.html" > com< / a > .< a class = "code" href = "namespacecom_1_1google.html" > google< / a > .< a class = "code" href = "namespacecom_1_1google_1_1ortools.html" > ortools< / a > .< a class = "code" href = "namespacecom_1_1google_1_1ortools_1_1sat.html" > sat< / a > .< a class = "code" href = "classcom_1_1google_1_1ortools_1_1sat_1_1SatParameters.html" > SatParameters< / a > .< a class = "code" href = "enumcom_1_1google_1_1ortools_1_1sat_1_1SatParameters_1_1Polarity.html" > Polarity< / a > < a class = "code" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#aa6198d5405d54fcbeb6a226cdf72d542" > getInitialPolarity< / a > ();< / div > < div class = "line" > < a name = "l00027" > < / a > < span class = "lineno" > 27< / span >   < / div > < div class = "line" > < a name = "l00041" > < / a > < span class = "lineno" > 41< / span >   < span class = "keywordtype" > boolean< / span > < a class = "code" href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a48b00c21d082e4a0e7e89aa4f4ec54b1" > hasUsePhaseSaving< / a > ();< / div > < div class = "line" > < a name =
2019-06-13 02:45:44 +02:00
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a405dc11fb783e4712f5d0096f4d3588d" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a405dc11fb783e4712f5d0096f4d3588d" > com.google.ortools.sat.SatParametersOrBuilder.hasRandomPolarityRatio< / a > < / div > < div class = "ttdeci" > boolean hasRandomPolarityRatio()< / div > < / div >
2019-06-26 12:26:26 +02:00
< div class = "ttc" id = "namespacecom_1_1google_1_1ortools_1_1sat_html" > < div class = "ttname" > < a href = "namespacecom_1_1google_1_1ortools_1_1sat.html" > com.google.ortools.sat< / a > < / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "com_2google_2ortools_2sat_2Constraint_8java_source.html#l00014" > com/google/ortools/sat/Constraint.java:14< / a > < / div > < / div >
2019-06-13 02:45:44 +02:00
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a599895ee1726b010123e1213ef8e4dcf" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a599895ee1726b010123e1213ef8e4dcf" > com.google.ortools.sat.SatParametersOrBuilder.getMipWantedPrecision< / a > < / div > < div class = "ttdeci" > double getMipWantedPrecision()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a378a9bc40407b780bb404490714571a7" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a378a9bc40407b780bb404490714571a7" > com.google.ortools.sat.SatParametersOrBuilder.hasMinimizeReductionDuringPbResolution< / a > < / div > < div class = "ttdeci" > boolean hasMinimizeReductionDuringPbResolution()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a70634796ea01687f0a3a3ea6404c4b00" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a70634796ea01687f0a3a3ea6404c4b00" > com.google.ortools.sat.SatParametersOrBuilder.getCpModelProbingLevel< / a > < / div > < div class = "ttdeci" > int getCpModelProbingLevel()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a12ae5981c31d80b253a224014a59426b" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a12ae5981c31d80b253a224014a59426b" > com.google.ortools.sat.SatParametersOrBuilder.hasPreferredVariableOrder< / a > < / div > < div class = "ttdeci" > boolean hasPreferredVariableOrder()< / div > < div class = "ttdoc" > optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a0eff997a34358094ac315dde84904821" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a0eff997a34358094ac315dde84904821" > com.google.ortools.sat.SatParametersOrBuilder.hasClauseCleanupOrdering< / a > < / div > < div class = "ttdeci" > boolean hasClauseCleanupOrdering()< / div > < div class = "ttdoc" > optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_ab85479cb14d5d4a41528097534279ba0" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#ab85479cb14d5d4a41528097534279ba0" > com.google.ortools.sat.SatParametersOrBuilder.getRandomSeed< / a > < / div > < div class = "ttdeci" > int getRandomSeed()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_acd11af1e926be0c7d53eb43cfaa4ea9c" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#acd11af1e926be0c7d53eb43cfaa4ea9c" > com.google.ortools.sat.SatParametersOrBuilder.getPresolveProbingDeterministicTimeLimit< / a > < / div > < div class = "ttdeci" > double getPresolveProbingDeterministicTimeLimit()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a24420617163a6dd29931226fd2ba71f0" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a24420617163a6dd29931226fd2ba71f0" > com.google.ortools.sat.SatParametersOrBuilder.getCountAssumptionLevelsInLbd< / a > < / div > < div class = "ttdeci" > boolean getCountAssumptionLevelsInLbd()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a7ca4925dbd431dc7ee4057852d34afe7" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a7ca4925dbd431dc7ee4057852d34afe7" > com.google.ortools.sat.SatParametersOrBuilder.hasRandomSeed< / a > < / div > < div class = "ttdeci" > boolean hasRandomSeed()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a581a77509564f874706d3cb8c74ea69a" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a581a77509564f874706d3cb8c74ea69a" > com.google.ortools.sat.SatParametersOrBuilder.getUseRinsLns< / a > < / div > < div class = "ttdeci" > boolean getUseRinsLns()< / div > < / div >
2019-07-11 17:54:23 -07:00
< div class = "ttc" id = "enumcom_1_1google_1_1ortools_1_1sat_1_1SatParameters_1_1ClauseOrdering_html" > < div class = "ttname" > < a href = "enumcom_1_1google_1_1ortools_1_1sat_1_1SatParameters_1_1ClauseOrdering.html" > com.google.ortools.sat.SatParameters.ClauseOrdering< / a > < / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "SatParameters_8java_source.html#l01473" > SatParameters.java:1473< / a > < / div > < / div >
2019-06-13 02:45:44 +02:00
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a3f4085b8b7299cc6b816f1693a4636f4" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a3f4085b8b7299cc6b816f1693a4636f4" > com.google.ortools.sat.SatParametersOrBuilder.getMinOrthogonalityForLpConstraints< / a > < / div > < div class = "ttdeci" > double getMinOrthogonalityForLpConstraints()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_aee90861adab17bdd406131371338afa3" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#aee90861adab17bdd406131371338afa3" > com.google.ortools.sat.SatParametersOrBuilder.hasBlockingRestartWindowSize< / a > < / div > < div class = "ttdeci" > boolean hasBlockingRestartWindowSize()< / div > < div class = "ttdoc" > optional int32 blocking_restart_window_size = 65 [default = 5000];< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a150aa467d09b6b232dda5a9d2c01b083" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a150aa467d09b6b232dda5a9d2c01b083" > com.google.ortools.sat.SatParametersOrBuilder.hasMaxTimeInSeconds< / a > < / div > < div class = "ttdeci" > boolean hasMaxTimeInSeconds()< / div > < / div >
2019-07-11 17:54:23 -07:00
< div class = "ttc" id = "enumcom_1_1google_1_1ortools_1_1sat_1_1SatParameters_1_1ConflictMinimizationAlgorithm_html" > < div class = "ttname" > < a href = "enumcom_1_1google_1_1ortools_1_1sat_1_1SatParameters_1_1ConflictMinimizationAlgorithm.html" > com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm< / a > < / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "SatParameters_8java_source.html#l01109" > SatParameters.java:1109< / a > < / div > < / div >
2019-06-13 02:45:44 +02:00
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_ae399f0d1fe2375bd2ed2f130f09236d6" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#ae399f0d1fe2375bd2ed2f130f09236d6" > com.google.ortools.sat.SatParametersOrBuilder.getPresolveBvaThreshold< / a > < / div > < div class = "ttdeci" > int getPresolveBvaThreshold()< / div > < / div >
2019-07-11 17:54:23 -07:00
< div class = "ttc" id = "enumcom_1_1google_1_1ortools_1_1sat_1_1SatParameters_1_1SearchBranching_html" > < div class = "ttname" > < a href = "enumcom_1_1google_1_1ortools_1_1sat_1_1SatParameters_1_1SearchBranching.html" > com.google.ortools.sat.SatParameters.SearchBranching< / a > < / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "SatParameters_8java_source.html#l01978" > SatParameters.java:1978< / a > < / div > < / div >
2019-06-13 02:45:44 +02:00
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a26599434af2f429ecf058b9a234fc900" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a26599434af2f429ecf058b9a234fc900" > com.google.ortools.sat.SatParametersOrBuilder.hasMipVarScaling< / a > < / div > < div class = "ttdeci" > boolean hasMipVarScaling()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a81534794e936b19d3b68cb6e1fe1ea5d" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a81534794e936b19d3b68cb6e1fe1ea5d" > com.google.ortools.sat.SatParametersOrBuilder.getMinimizeWithPropagationRestartPeriod< / a > < / div > < div class = "ttdeci" > int getMinimizeWithPropagationRestartPeriod()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_adba1981e4949bbdabb27637dd93ec609" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#adba1981e4949bbdabb27637dd93ec609" > com.google.ortools.sat.SatParametersOrBuilder.hasUseOverloadCheckerInCumulativeConstraint< / a > < / div > < div class = "ttdeci" > boolean hasUseOverloadCheckerInCumulativeConstraint()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a0da03e8086f38c75379060f2d54fceb5" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a0da03e8086f38c75379060f2d54fceb5" > com.google.ortools.sat.SatParametersOrBuilder.getBlockingRestartWindowSize< / a > < / div > < div class = "ttdeci" > int getBlockingRestartWindowSize()< / div > < div class = "ttdoc" > optional int32 blocking_restart_window_size = 65 [default = 5000];< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_ad1a5bb3b8a1b95d1f17f93eeed7cf56f" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#ad1a5bb3b8a1b95d1f17f93eeed7cf56f" > com.google.ortools.sat.SatParametersOrBuilder.hasMaxNumCuts< / a > < / div > < div class = "ttdeci" > boolean hasMaxNumCuts()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_ab16844d082bd6e8a702277a2166c5ce4" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#ab16844d082bd6e8a702277a2166c5ce4" > com.google.ortools.sat.SatParametersOrBuilder.getUseDisjunctiveConstraintInCumulativeConstraint< / a > < / div > < div class = "ttdeci" > boolean getUseDisjunctiveConstraintInCumulativeConstraint()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_aa6198d5405d54fcbeb6a226cdf72d542" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#aa6198d5405d54fcbeb6a226cdf72d542" > com.google.ortools.sat.SatParametersOrBuilder.getInitialPolarity< / a > < / div > < div class = "ttdeci" > com.google.ortools.sat.SatParameters.Polarity getInitialPolarity()< / div > < div class = "ttdoc" > optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_aabaf9733e1cad0ff125391fd82808384" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#aabaf9733e1cad0ff125391fd82808384" > com.google.ortools.sat.SatParametersOrBuilder.hasUsePbResolution< / a > < / div > < div class = "ttdeci" > boolean hasUsePbResolution()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a29838619b4948e2de5985724dc4c9bf9" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a29838619b4948e2de5985724dc4c9bf9" > com.google.ortools.sat.SatParametersOrBuilder.getNumConflictsBeforeStrategyChanges< / a > < / div > < div class = "ttdeci" > int getNumConflictsBeforeStrategyChanges()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a06b869ea58b4a8f25b56cb027047946d" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a06b869ea58b4a8f25b56cb027047946d" > com.google.ortools.sat.SatParametersOrBuilder.getUsePhaseSaving< / a > < / div > < div class = "ttdeci" > boolean getUsePhaseSaving()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_af6e4f36237a79fc31d778ea814b1fe11" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#af6e4f36237a79fc31d778ea814b1fe11" > com.google.ortools.sat.SatParametersOrBuilder.getClauseCleanupTarget< / a > < / div > < div class = "ttdeci" > int getClauseCleanupTarget()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_ae8c7cbfb11d17cb2a26c44313b249397" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#ae8c7cbfb11d17cb2a26c44313b249397" > com.google.ortools.sat.SatParametersOrBuilder.getFillTightenedDomainsInResponse< / a > < / div > < div class = "ttdeci" > boolean getFillTightenedDomainsInResponse()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a014780531fd37cb3e102bf77a8a27fe5" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a014780531fd37cb3e102bf77a8a27fe5" > com.google.ortools.sat.SatParametersOrBuilder.getMinimizeCore< / a > < / div > < div class = "ttdeci" > boolean getMinimizeCore()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_ade5734253221484ecaa7e64f32add777" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#ade5734253221484ecaa7e64f32add777" > com.google.ortools.sat.SatParametersOrBuilder.getNumSearchWorkers< / a > < / div > < div class = "ttdeci" > int getNumSearchWorkers()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a30b20c3ed5831b182f23815668d764c3" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a30b20c3ed5831b182f23815668d764c3" > com.google.ortools.sat.SatParametersOrBuilder.getExploitObjective< / a > < / div > < div class = "ttdeci" > boolean getExploitObjective()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a187da99e8fb1a5eea1250f25310a4a93" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a187da99e8fb1a5eea1250f25310a4a93" > com.google.ortools.sat.SatParametersOrBuilder.getAddKnapsackCuts< / a > < / div > < div class = "ttdeci" > boolean getAddKnapsackCuts()< / div > < / div >
2019-07-11 17:54:23 -07:00
< div class = "ttc" id = "enumcom_1_1google_1_1ortools_1_1sat_1_1SatParameters_1_1MaxSatStratificationAlgorithm_html" > < div class = "ttname" > < a href = "enumcom_1_1google_1_1ortools_1_1sat_1_1SatParameters_1_1MaxSatStratificationAlgorithm.html" > com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm< / a > < / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "SatParameters_8java_source.html#l01843" > SatParameters.java:1843< / a > < / div > < / div >
2019-06-13 02:45:44 +02:00
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_abe8458b5413c45482e741b15f96d91d1" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#abe8458b5413c45482e741b15f96d91d1" > com.google.ortools.sat.SatParametersOrBuilder.getPresolveBlockedClause< / a > < / div > < div class = "ttdeci" > boolean getPresolveBlockedClause()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a4d010050463daa71c5ef136d654158d0" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a4d010050463daa71c5ef136d654158d0" > com.google.ortools.sat.SatParametersOrBuilder.getRestartDlAverageRatio< / a > < / div > < div class = "ttdeci" > double getRestartDlAverageRatio()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a0952e05d56e98594067c756a4e16db80" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a0952e05d56e98594067c756a4e16db80" > com.google.ortools.sat.SatParametersOrBuilder.hasPresolveProbingDeterministicTimeLimit< / a > < / div > < div class = "ttdeci" > boolean hasPresolveProbingDeterministicTimeLimit()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_ab3ceb9c184a5147d5b83d96a51d78ab5" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#ab3ceb9c184a5147d5b83d96a51d78ab5" > com.google.ortools.sat.SatParametersOrBuilder.hasMinimizeCore< / a > < / div > < div class = "ttdeci" > boolean hasMinimizeCore()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_ad76ddf30708cdc50e1ca9ec6645c314d" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#ad76ddf30708cdc50e1ca9ec6645c314d" > com.google.ortools.sat.SatParametersOrBuilder.getRestartRunningWindowSize< / a > < / div > < div class = "ttdeci" > int getRestartRunningWindowSize()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_ab5b51bd68cc3aadd303cb6f12e1069f6" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#ab5b51bd68cc3aadd303cb6f12e1069f6" > com.google.ortools.sat.SatParametersOrBuilder.hasLinearizationLevel< / a > < / div > < div class = "ttdeci" > boolean hasLinearizationLevel()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_aa183540077da7987bc6f8ce9517fe94d" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#aa183540077da7987bc6f8ce9517fe94d" > com.google.ortools.sat.SatParametersOrBuilder.hasMipMaxActivityExponent< / a > < / div > < div class = "ttdeci" > boolean hasMipMaxActivityExponent()< / div > < / div >
< div class = "ttc" id = "classcom_1_1google_1_1ortools_1_1sat_1_1SatParameters_html" > < div class = "ttname" > < a href = "classcom_1_1google_1_1ortools_1_1sat_1_1SatParameters.html" > com.google.ortools.sat.SatParameters< / a > < / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "SatParameters_8java_source.html#l00015" > SatParameters.java:15< / a > < / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a48b00c21d082e4a0e7e89aa4f4ec54b1" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a48b00c21d082e4a0e7e89aa4f4ec54b1" > com.google.ortools.sat.SatParametersOrBuilder.hasUsePhaseSaving< / a > < / div > < div class = "ttdeci" > boolean hasUsePhaseSaving()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a7ab68c15f0aa27f8079bec640cc16b2a" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a7ab68c15f0aa27f8079bec640cc16b2a" > com.google.ortools.sat.SatParametersOrBuilder.hasUseExactLpReason< / a > < / div > < div class = "ttdeci" > boolean hasUseExactLpReason()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_abffe600c5f025aa611dbcce90d3c5e1a" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#abffe600c5f025aa611dbcce90d3c5e1a" > com.google.ortools.sat.SatParametersOrBuilder.getInitialVariablesActivity< / a > < / div > < div class = "ttdeci" > double getInitialVariablesActivity()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a7ba2c6feb84e2e2aab6690ab298784eb" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a7ba2c6feb84e2e2aab6690ab298784eb" > com.google.ortools.sat.SatParametersOrBuilder.hasRestartDlAverageRatio< / a > < / div > < div class = "ttdeci" > boolean hasRestartDlAverageRatio()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a112701506aa30b0329ace128a9f829eb" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a112701506aa30b0329ace128a9f829eb" > com.google.ortools.sat.SatParametersOrBuilder.hasShareLevelZeroBounds< / a > < / div > < div class = "ttdeci" > boolean hasShareLevelZeroBounds()< / div > < / div >
2019-07-11 17:54:23 -07:00
< div class = "ttc" id = "enumcom_1_1google_1_1ortools_1_1sat_1_1SatParameters_1_1RestartAlgorithm_html" > < div class = "ttname" > < a href = "enumcom_1_1google_1_1ortools_1_1sat_1_1SatParameters_1_1RestartAlgorithm.html" > com.google.ortools.sat.SatParameters.RestartAlgorithm< / a > < / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "SatParameters_8java_source.html#l01587" > SatParameters.java:1587< / a > < / div > < / div >
2019-06-13 02:45:44 +02:00
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a59452439061823b44eb2f339ab514f90" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a59452439061823b44eb2f339ab514f90" > com.google.ortools.sat.SatParametersOrBuilder.getStrategyChangeIncreaseRatio< / a > < / div > < div class = "ttdeci" > double getStrategyChangeIncreaseRatio()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a3ef24a13a88a43506023a59a83d44dd3" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a3ef24a13a88a43506023a59a83d44dd3" > com.google.ortools.sat.SatParametersOrBuilder.hasMaxSatAssumptionOrder< / a > < / div > < div class = "ttdeci" > boolean hasMaxSatAssumptionOrder()< / div > < div class = "ttdoc" > optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_ada7bec969c8174a26a81733a6c8f3f1d" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#ada7bec969c8174a26a81733a6c8f3f1d" > com.google.ortools.sat.SatParametersOrBuilder.hasLnsFocusOnDecisionVariables< / a > < / div > < div class = "ttdeci" > boolean hasLnsFocusOnDecisionVariables()< / div > < div class = "ttdoc" > optional bool lns_focus_on_decision_variables = 105 [default = false];< / div > < / div >
2019-07-11 17:54:23 -07:00
< div class = "ttc" id = "enumcom_1_1google_1_1ortools_1_1sat_1_1SatParameters_1_1MaxSatAssumptionOrder_html" > < div class = "ttname" > < a href = "enumcom_1_1google_1_1ortools_1_1sat_1_1SatParameters_1_1MaxSatAssumptionOrder.html" > com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder< / a > < / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "SatParameters_8java_source.html#l01740" > SatParameters.java:1740< / a > < / div > < / div >
2019-06-13 02:45:44 +02:00
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_abf829b24960a892d39e66b76f2f86567" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#abf829b24960a892d39e66b76f2f86567" > com.google.ortools.sat.SatParametersOrBuilder.getVariableActivityDecay< / a > < / div > < div class = "ttdeci" > double getVariableActivityDecay()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a73988a2133823886bcfcf24e105ee878" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a73988a2133823886bcfcf24e105ee878" > com.google.ortools.sat.SatParametersOrBuilder.hasMinimizationAlgorithm< / a > < / div > < div class = "ttdeci" > boolean hasMinimizationAlgorithm()< / div > < div class = "ttdoc" > optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a89c95b7b38105ea57138bf18a7c35bdf" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a89c95b7b38105ea57138bf18a7c35bdf" > com.google.ortools.sat.SatParametersOrBuilder.hasRestartRunningWindowSize< / a > < / div > < div class = "ttdeci" > boolean hasRestartRunningWindowSize()< / div > < / div >
< div class = "ttc" id = "namespacecom_html" > < div class = "ttname" > < a href = "namespacecom.html" > com< / a > < / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a33cc39b299f5722c5c8d0fd62f20db65" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a33cc39b299f5722c5c8d0fd62f20db65" > com.google.ortools.sat.SatParametersOrBuilder.getLnsFocusOnDecisionVariables< / a > < / div > < div class = "ttdeci" > boolean getLnsFocusOnDecisionVariables()< / div > < div class = "ttdoc" > optional bool lns_focus_on_decision_variables = 105 [default = false];< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a2b988c9029c1d26466ed739c5dacc809" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a2b988c9029c1d26466ed739c5dacc809" > com.google.ortools.sat.SatParametersOrBuilder.getRestartPeriod< / a > < / div > < div class = "ttdeci" > int getRestartPeriod()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a2499d2f4b4bccf8f1d5fd23846ebb355" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a2499d2f4b4bccf8f1d5fd23846ebb355" > com.google.ortools.sat.SatParametersOrBuilder.hasBlockingRestartMultiplier< / a > < / div > < div class = "ttdeci" > boolean hasBlockingRestartMultiplier()< / div > < div class = "ttdoc" > optional double blocking_restart_multiplier = 66 [default = 1.4];< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_aa886d3f99749536c42e130eae3d1bf44" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#aa886d3f99749536c42e130eae3d1bf44" > com.google.ortools.sat.SatParametersOrBuilder.getBooleanEncodingLevel< / a > < / div > < div class = "ttdeci" > int getBooleanEncodingLevel()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_add4b207cfbaab6d1e90944dadd1029a9" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#add4b207cfbaab6d1e90944dadd1029a9" > com.google.ortools.sat.SatParametersOrBuilder.hasBinarySearchNumConflicts< / a > < / div > < div class = "ttdeci" > boolean hasBinarySearchNumConflicts()< / div > < / div >
2019-07-11 17:54:23 -07:00
< div class = "ttc" id = "enumcom_1_1google_1_1ortools_1_1sat_1_1SatParameters_1_1Polarity_html" > < div class = "ttname" > < a href = "enumcom_1_1google_1_1ortools_1_1sat_1_1SatParameters_1_1Polarity.html" > com.google.ortools.sat.SatParameters.Polarity< / a > < / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "SatParameters_8java_source.html#l00966" > SatParameters.java:966< / a > < / div > < / div >
2019-06-13 02:45:44 +02:00
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_adee626cb1bfd33cd571a98b40b77778f" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#adee626cb1bfd33cd571a98b40b77778f" > com.google.ortools.sat.SatParametersOrBuilder.getLogSearchProgress< / a > < / div > < div class = "ttdeci" > boolean getLogSearchProgress()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_abc07aee4cd7620a1084b6042316bc117" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#abc07aee4cd7620a1084b6042316bc117" > com.google.ortools.sat.SatParametersOrBuilder.getUseCombinedNoOverlap< / a > < / div > < div class = "ttdeci" > boolean getUseCombinedNoOverlap()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_af451122e1f0f107b4da7f96ae0640d79" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#af451122e1f0f107b4da7f96ae0640d79" > com.google.ortools.sat.SatParametersOrBuilder.hasNumConflictsBeforeStrategyChanges< / a > < / div > < div class = "ttdeci" > boolean hasNumConflictsBeforeStrategyChanges()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a8015c735836d43cbd6a1a4c844bab02a" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a8015c735836d43cbd6a1a4c844bab02a" > com.google.ortools.sat.SatParametersOrBuilder.getEnumerateAllSolutions< / a > < / div > < div class = "ttdeci" > boolean getEnumerateAllSolutions()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_af4fdc5b31d784c131bbb1e0f2abbb3ee" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#af4fdc5b31d784c131bbb1e0f2abbb3ee" > com.google.ortools.sat.SatParametersOrBuilder.hasCpModelProbingLevel< / a > < / div > < div class = "ttdeci" > boolean hasCpModelProbingLevel()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a9e0466af28dbc3ac5f201c9476181cd8" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a9e0466af28dbc3ac5f201c9476181cd8" > com.google.ortools.sat.SatParametersOrBuilder.getOptimizeWithCore< / a > < / div > < div class = "ttdeci" > boolean getOptimizeWithCore()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a8d1e98642571273dc045a7940b5559d3" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a8d1e98642571273dc045a7940b5559d3" > com.google.ortools.sat.SatParametersOrBuilder.hasBinaryMinimizationAlgorithm< / a > < / div > < div class = "ttdeci" > boolean hasBinaryMinimizationAlgorithm()< / div > < div class = "ttdoc" > optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a8e9f362b05db1e1180c98669a718a064" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a8e9f362b05db1e1180c98669a718a064" > com.google.ortools.sat.SatParametersOrBuilder.hasStopAfterFirstSolution< / a > < / div > < div class = "ttdeci" > boolean hasStopAfterFirstSolution()< / div > < / div >
2019-07-04 15:11:35 +02:00
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a45b7bf8a145abd1337d7c816b35a6cf5" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a45b7bf8a145abd1337d7c816b35a6cf5" > com.google.ortools.sat.SatParametersOrBuilder.hasUseLnsOnly< / a > < / div > < div class = "ttdeci" > boolean hasUseLnsOnly()< / div > < / div >
2019-06-13 02:45:44 +02:00
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_aad018d653703e6f6edd72a9f314af9eb" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#aad018d653703e6f6edd72a9f314af9eb" > com.google.ortools.sat.SatParametersOrBuilder.getMaxNumCuts< / a > < / div > < div class = "ttdeci" > int getMaxNumCuts()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_ac82bfe2052fdf58da18faaaea91d6e1b" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#ac82bfe2052fdf58da18faaaea91d6e1b" > com.google.ortools.sat.SatParametersOrBuilder.getAlsoBumpVariablesInConflictReasons< / a > < / div > < div class = "ttdeci" > boolean getAlsoBumpVariablesInConflictReasons()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a9c03d03d94f1dbde1ee94928d18f31c5" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a9c03d03d94f1dbde1ee94928d18f31c5" > com.google.ortools.sat.SatParametersOrBuilder.hasRestartPeriod< / a > < / div > < div class = "ttdeci" > boolean hasRestartPeriod()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a3016c905640c855329c625e4c4f4fe66" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a3016c905640c855329c625e4c4f4fe66" > com.google.ortools.sat.SatParametersOrBuilder.hasTreatBinaryClausesSeparately< / a > < / div > < div class = "ttdeci" > boolean hasTreatBinaryClausesSeparately()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_adb035cc9746ab89873ff9314cb074c56" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#adb035cc9746ab89873ff9314cb074c56" > com.google.ortools.sat.SatParametersOrBuilder.getSearchRandomizationTolerance< / a > < / div > < div class = "ttdeci" > long getSearchRandomizationTolerance()< / div > < / div >
2019-07-11 17:54:23 -07:00
< div class = "ttc" id = "enumcom_1_1google_1_1ortools_1_1sat_1_1SatParameters_1_1ClauseProtection_html" > < div class = "ttname" > < a href = "enumcom_1_1google_1_1ortools_1_1sat_1_1SatParameters_1_1ClauseProtection.html" > com.google.ortools.sat.SatParameters.ClauseProtection< / a > < / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "SatParameters_8java_source.html#l01345" > SatParameters.java:1345< / a > < / div > < / div >
2019-06-13 02:45:44 +02:00
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a4acc1c8b71d41cf5148d170493ea737e" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a4acc1c8b71d41cf5148d170493ea737e" > com.google.ortools.sat.SatParametersOrBuilder.getAutoDetectGreaterThanAtLeastOneOf< / a > < / div > < div class = "ttdeci" > boolean getAutoDetectGreaterThanAtLeastOneOf()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a15af86ee27b47465a8d7df7c520e2878" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a15af86ee27b47465a8d7df7c520e2878" > com.google.ortools.sat.SatParametersOrBuilder.getRandomBranchesRatio< / a > < / div > < div class = "ttdeci" > double getRandomBranchesRatio()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a282c8f8b06640bc8497563ce066b4b6e" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a282c8f8b06640bc8497563ce066b4b6e" > com.google.ortools.sat.SatParametersOrBuilder.hasPresolveBvaThreshold< / a > < / div > < div class = "ttdeci" > boolean hasPresolveBvaThreshold()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a1341a5775c27a56d8d7b3551e636787a" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a1341a5775c27a56d8d7b3551e636787a" > com.google.ortools.sat.SatParametersOrBuilder.getMaxNumberOfConflicts< / a > < / div > < div class = "ttdeci" > long getMaxNumberOfConflicts()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_ae40aaa472a022a761380c0735a6cbfec" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#ae40aaa472a022a761380c0735a6cbfec" > com.google.ortools.sat.SatParametersOrBuilder.hasUseMirRounding< / a > < / div > < div class = "ttdeci" > boolean hasUseMirRounding()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a12e534626ffb61cd26dcf074f9ed13c3" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a12e534626ffb61cd26dcf074f9ed13c3" > com.google.ortools.sat.SatParametersOrBuilder.hasAlsoBumpVariablesInConflictReasons< / a > < / div > < div class = "ttdeci" > boolean hasAlsoBumpVariablesInConflictReasons()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a3a60b6f50cc0a7802324c7f21fae6578" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a3a60b6f50cc0a7802324c7f21fae6578" > com.google.ortools.sat.SatParametersOrBuilder.hasConstraintRemovalBatchSize< / a > < / div > < div class = "ttdeci" > boolean hasConstraintRemovalBatchSize()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a05bd07398cf040ac09a30e062a8e4aa0" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a05bd07398cf040ac09a30e062a8e4aa0" > com.google.ortools.sat.SatParametersOrBuilder.getUseOverloadCheckerInCumulativeConstraint< / a > < / div > < div class = "ttdeci" > boolean getUseOverloadCheckerInCumulativeConstraint()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a09ae62d7b4d376515026545d29f3530d" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a09ae62d7b4d376515026545d29f3530d" > com.google.ortools.sat.SatParametersOrBuilder.hasClauseCleanupProtection< / a > < / div > < div class = "ttdeci" > boolean hasClauseCleanupProtection()< / div > < div class = "ttdoc" > optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a7c35e5b89de258bd2b9cb604573948e1" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a7c35e5b89de258bd2b9cb604573948e1" > com.google.ortools.sat.SatParametersOrBuilder.hasSearchRandomizationTolerance< / a > < / div > < div class = "ttdeci" > boolean hasSearchRandomizationTolerance()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a2e4f3f60d3c0626b01f461b31cdde699" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a2e4f3f60d3c0626b01f461b31cdde699" > com.google.ortools.sat.SatParametersOrBuilder.getFindMultipleCores< / a > < / div > < div class = "ttdeci" > boolean getFindMultipleCores()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_aab76054864e163c27dd3e72534bb1fd7" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#aab76054864e163c27dd3e72534bb1fd7" > com.google.ortools.sat.SatParametersOrBuilder.getRandomizeSearch< / a > < / div > < div class = "ttdeci" > boolean getRandomizeSearch()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html" > com.google.ortools.sat.SatParametersOrBuilder< / a > < / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "SatParametersOrBuilder_8java_source.html#l00006" > SatParametersOrBuilder.java:6< / a > < / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a85a7c3990c3d56a5936897d931c9719a" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a85a7c3990c3d56a5936897d931c9719a" > com.google.ortools.sat.SatParametersOrBuilder.hasCoverOptimization< / a > < / div > < div class = "ttdeci" > boolean hasCoverOptimization()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_affcbae2959fd306d64dfbf795f47aed4" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#affcbae2959fd306d64dfbf795f47aed4" > com.google.ortools.sat.SatParametersOrBuilder.getUseOptionalVariables< / a > < / div > < div class = "ttdeci" > boolean getUseOptionalVariables()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a68fff3cf794196e7f0ea996bdac44436" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a68fff3cf794196e7f0ea996bdac44436" > com.google.ortools.sat.SatParametersOrBuilder.hasMinOrthogonalityForLpConstraints< / a > < / div > < div class = "ttdeci" > boolean hasMinOrthogonalityForLpConstraints()< / div > < / div >
2019-07-11 17:54:23 -07:00
< div class = "ttc" id = "enumcom_1_1google_1_1ortools_1_1sat_1_1SatParameters_1_1BinaryMinizationAlgorithm_html" > < div class = "ttname" > < a href = "enumcom_1_1google_1_1ortools_1_1sat_1_1SatParameters_1_1BinaryMinizationAlgorithm.html" > com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm< / a > < / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "SatParameters_8java_source.html#l01222" > SatParameters.java:1222< / a > < / div > < / div >
2019-06-13 02:45:44 +02:00
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a4f5a3b26fb5b0b8693ca79b013dc6a88" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a4f5a3b26fb5b0b8693ca79b013dc6a88" > com.google.ortools.sat.SatParametersOrBuilder.getMaxClauseActivityValue< / a > < / div > < div class = "ttdeci" > double getMaxClauseActivityValue()< / div > < div class = "ttdoc" > optional double max_clause_activity_value = 18 [default = 1e+20];< / div > < / div >
2019-07-05 09:33:19 +02:00
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_aa293074272ad0f45548e40e9411fb47d" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#aa293074272ad0f45548e40e9411fb47d" > com.google.ortools.sat.SatParametersOrBuilder.getInterleaveSearch< / a > < / div > < div class = "ttdeci" > boolean getInterleaveSearch()< / div > < / div >
2019-06-13 02:45:44 +02:00
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a344a1c65a593ff7d2820ed939b2b650f" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a344a1c65a593ff7d2820ed939b2b650f" > com.google.ortools.sat.SatParametersOrBuilder.hasBooleanEncodingLevel< / a > < / div > < div class = "ttdeci" > boolean hasBooleanEncodingLevel()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a6ca39338926543eedfc868df6339e2c5" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a6ca39338926543eedfc868df6339e2c5" > com.google.ortools.sat.SatParametersOrBuilder.hasPresolveBveClauseWeight< / a > < / div > < div class = "ttdeci" > boolean hasPresolveBveClauseWeight()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a71a8ab459505fdbbd228880cf0fd01e4" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a71a8ab459505fdbbd228880cf0fd01e4" > com.google.ortools.sat.SatParametersOrBuilder.getUseMirRounding< / a > < / div > < div class = "ttdeci" > boolean getUseMirRounding()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a607afe16b84004e0e9c8eac3034ca57f" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a607afe16b84004e0e9c8eac3034ca57f" > com.google.ortools.sat.SatParametersOrBuilder.getRandomPolarityRatio< / a > < / div > < div class = "ttdeci" > double getRandomPolarityRatio()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_ab7b2b83842c7af1943191e82d2704eb1" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#ab7b2b83842c7af1943191e82d2704eb1" > com.google.ortools.sat.SatParametersOrBuilder.hasInstantiateAllVariables< / a > < / div > < div class = "ttdeci" > boolean hasInstantiateAllVariables()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a77981aace636d7f3de12e7a89aae5763" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a77981aace636d7f3de12e7a89aae5763" > com.google.ortools.sat.SatParametersOrBuilder.getMaxInactiveCount< / a > < / div > < div class = "ttdeci" > long getMaxInactiveCount()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a6e79b48c31cdb39b40bdfd53aead5e3f" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a6e79b48c31cdb39b40bdfd53aead5e3f" > com.google.ortools.sat.SatParametersOrBuilder.hasMaxVariableActivityValue< / a > < / div > < div class = "ttdeci" > boolean hasMaxVariableActivityValue()< / div > < div class = "ttdoc" > optional double max_variable_activity_value = 16 [default = 1e+100];< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_abee0c8a4fe5ccf3f0d6dc316ad0ebb7a" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#abee0c8a4fe5ccf3f0d6dc316ad0ebb7a" > com.google.ortools.sat.SatParametersOrBuilder.getClauseCleanupPeriod< / a > < / div > < div class = "ttdeci" > int getClauseCleanupPeriod()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a5da07a7183145265948eae3891a4e529" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a5da07a7183145265948eae3891a4e529" > com.google.ortools.sat.SatParametersOrBuilder.hasMaxNumberOfConflicts< / a > < / div > < div class = "ttdeci" > boolean hasMaxNumberOfConflicts()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_acc53b47d0b86a10175dabd4f0a31180c" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#acc53b47d0b86a10175dabd4f0a31180c" > com.google.ortools.sat.SatParametersOrBuilder.getShareObjectiveBounds< / a > < / div > < div class = "ttdeci" > boolean getShareObjectiveBounds()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a785b564e872240c9ffd351a8599b0230" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a785b564e872240c9ffd351a8599b0230" > com.google.ortools.sat.SatParametersOrBuilder.getCoverOptimization< / a > < / div > < div class = "ttdeci" > boolean getCoverOptimization()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_aed1385803f214c917c0c85420e26398c" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#aed1385803f214c917c0c85420e26398c" > com.google.ortools.sat.SatParametersOrBuilder.hasUseCombinedNoOverlap< / a > < / div > < div class = "ttdeci" > boolean hasUseCombinedNoOverlap()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_abbd02746e0546397168ebfdb829a6b49" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#abbd02746e0546397168ebfdb829a6b49" > com.google.ortools.sat.SatParametersOrBuilder.getBinarySearchNumConflicts< / a > < / div > < div class = "ttdeci" > int getBinarySearchNumConflicts()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a6df0c2633fcc2addea76f0d47fd4be1a" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a6df0c2633fcc2addea76f0d47fd4be1a" > com.google.ortools.sat.SatParametersOrBuilder.hasOptimizeWithCore< / a > < / div > < div class = "ttdeci" > boolean hasOptimizeWithCore()< / div > < / div >
< div class = "ttc" id = "namespacecom_1_1google_1_1ortools_html" > < div class = "ttname" > < a href = "namespacecom_1_1google_1_1ortools.html" > com.google.ortools< / a > < / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a3c86e17545edb2ddcbee93a86e434064" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a3c86e17545edb2ddcbee93a86e434064" > com.google.ortools.sat.SatParametersOrBuilder.hasUseRinsLns< / a > < / div > < div class = "ttdeci" > boolean hasUseRinsLns()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a3f7ba16e430bf483afd9ed66601b882c" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a3f7ba16e430bf483afd9ed66601b882c" > com.google.ortools.sat.SatParametersOrBuilder.getOnlyAddCutsAtLevelZero< / a > < / div > < div class = "ttdeci" > boolean getOnlyAddCutsAtLevelZero()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a4737ad102d1a5be08122aec483112ebc" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a4737ad102d1a5be08122aec483112ebc" > com.google.ortools.sat.SatParametersOrBuilder.hasMaxIntegerRoundingScaling< / a > < / div > < div class = "ttdeci" > boolean hasMaxIntegerRoundingScaling()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a455259bd216d071b122bd089a888d8a7" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a455259bd216d071b122bd089a888d8a7" > com.google.ortools.sat.SatParametersOrBuilder.hasAddCgCuts< / a > < / div > < div class = "ttdeci" > boolean hasAddCgCuts()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_afa485fa403c3d31932899158497a6220" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#afa485fa403c3d31932899158497a6220" > com.google.ortools.sat.SatParametersOrBuilder.hasDefaultRestartAlgorithms< / a > < / div > < div class = "ttdeci" > boolean hasDefaultRestartAlgorithms()< / div > < div class = "ttdoc" > optional string default_restart_algorithms = 70 [default = " LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_ab0c0a48c9a15865d46f76992d3b360ee" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#ab0c0a48c9a15865d46f76992d3b360ee" > com.google.ortools.sat.SatParametersOrBuilder.hasUseDisjunctiveConstraintInCumulativeConstraint< / a > < / div > < div class = "ttdeci" > boolean hasUseDisjunctiveConstraintInCumulativeConstraint()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a0ca4b1447602a71c38403ab7ce7c3d66" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a0ca4b1447602a71c38403ab7ce7c3d66" > com.google.ortools.sat.SatParametersOrBuilder.hasMinimizeWithPropagationRestartPeriod< / a > < / div > < div class = "ttdeci" > boolean hasMinimizeWithPropagationRestartPeriod()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a04d04e6486eb41a73676d5edcd697cd7" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a04d04e6486eb41a73676d5edcd697cd7" > com.google.ortools.sat.SatParametersOrBuilder.hasStrategyChangeIncreaseRatio< / a > < / div > < div class = "ttdeci" > boolean hasStrategyChangeIncreaseRatio()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a9a7cadab99ba41209e7d46a77c680623" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a9a7cadab99ba41209e7d46a77c680623" > com.google.ortools.sat.SatParametersOrBuilder.hasAddLpConstraintsLazily< / a > < / div > < div class = "ttdeci" > boolean hasAddLpConstraintsLazily()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a84f4869b7e979e704331add148ae4ce7" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a84f4869b7e979e704331add148ae4ce7" > com.google.ortools.sat.SatParametersOrBuilder.getClauseCleanupProtection< / a > < / div > < div class = "ttdeci" > com.google.ortools.sat.SatParameters.ClauseProtection getClauseCleanupProtection()< / div > < div class = "ttdoc" > optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a819faeb51b09fd1b2e1a1de8da269cc3" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a819faeb51b09fd1b2e1a1de8da269cc3" > com.google.ortools.sat.SatParametersOrBuilder.hasSearchBranching< / a > < / div > < div class = "ttdeci" > boolean hasSearchBranching()< / div > < div class = "ttdoc" > optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a3738dca11b09e51fde8ed187057af4e0" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a3738dca11b09e51fde8ed187057af4e0" > com.google.ortools.sat.SatParametersOrBuilder.hasPresolveUseBva< / a > < / div > < div class = "ttdeci" > boolean hasPresolveUseBva()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a210b195ee693d7f8d59ac260b80c4c3b" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a210b195ee693d7f8d59ac260b80c4c3b" > com.google.ortools.sat.SatParametersOrBuilder.hasClauseCleanupPeriod< / a > < / div > < div class = "ttdeci" > boolean hasClauseCleanupPeriod()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_aa2f19ea8143b8c20abfe02a38779d972" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#aa2f19ea8143b8c20abfe02a38779d972" > com.google.ortools.sat.SatParametersOrBuilder.getExploitAllLpSolution< / a > < / div > < div class = "ttdeci" > boolean getExploitAllLpSolution()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a8c3ba80c0411fbfab7f8a6c879028495" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a8c3ba80c0411fbfab7f8a6c879028495" > com.google.ortools.sat.SatParametersOrBuilder.getPresolveBveClauseWeight< / a > < / div > < div class = "ttdeci" > int getPresolveBveClauseWeight()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a908e80504e07036a8149d5de159c9492" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a908e80504e07036a8149d5de159c9492" > com.google.ortools.sat.SatParametersOrBuilder.hasExploitAllLpSolution< / a > < / div > < div class = "ttdeci" > boolean hasExploitAllLpSolution()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a270c05b44011ee4c49f89faa34113094" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a270c05b44011ee4c49f89faa34113094" > com.google.ortools.sat.SatParametersOrBuilder.getShareLevelZeroBounds< / a > < / div > < div class = "ttdeci" > boolean getShareLevelZeroBounds()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a2ac899dae58768fc7fb22fe7133a2474" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a2ac899dae58768fc7fb22fe7133a2474" > com.google.ortools.sat.SatParametersOrBuilder.getMaxVariableActivityValue< / a > < / div > < div class = "ttdeci" > double getMaxVariableActivityValue()< / div > < div class = "ttdoc" > optional double max_variable_activity_value = 16 [default = 1e+100];< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a0308b1e1644f0bf178ce87d2add7fc61" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a0308b1e1644f0bf178ce87d2add7fc61" > com.google.ortools.sat.SatParametersOrBuilder.getMaxSatAssumptionOrder< / a > < / div > < div class = "ttdeci" > com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder()< / div > < div class = "ttdoc" > optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a56c01803cc3fe42a8d4043185647dd59" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a56c01803cc3fe42a8d4043185647dd59" > com.google.ortools.sat.SatParametersOrBuilder.getUseOptimizationHints< / a > < / div > < div class = "ttdeci" > boolean getUseOptimizationHints()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_abe71bb79e0bb703d2051bf6337996ce6" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#abe71bb79e0bb703d2051bf6337996ce6" > com.google.ortools.sat.SatParametersOrBuilder.hasEnumerateAllSolutions< / a > < / div > < div class = "ttdeci" > boolean hasEnumerateAllSolutions()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a3871b9df5e619ddf793f141c9181457b" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a3871b9df5e619ddf793f141c9181457b" > com.google.ortools.sat.SatParametersOrBuilder.hasCpModelPresolve< / a > < / div > < div class = "ttdeci" > boolean hasCpModelPresolve()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a6b41bf86c253e9696230dbc8b3b5de33" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a6b41bf86c253e9696230dbc8b3b5de33" > com.google.ortools.sat.SatParametersOrBuilder.getSubsumptionDuringConflictAnalysis< / a > < / div > < div class = "ttdeci" > boolean getSubsumptionDuringConflictAnalysis()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a6b6dcac76863358828a22ad2c57e3302" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a6b6dcac76863358828a22ad2c57e3302" > com.google.ortools.sat.SatParametersOrBuilder.hasLogSearchProgress< / a > < / div > < div class = "ttdeci" > boolean hasLogSearchProgress()< / div > < / div >
2019-07-04 15:11:35 +02:00
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_ac44225fd0d38992144681917a30ba751" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#ac44225fd0d38992144681917a30ba751" > com.google.ortools.sat.SatParametersOrBuilder.hasDeterministicParallelSearch< / a > < / div > < div class = "ttdeci" > boolean hasDeterministicParallelSearch()< / div > < / div >
2019-06-13 02:45:44 +02:00
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a2d723c5401ee43ba44e4daab8184e494" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a2d723c5401ee43ba44e4daab8184e494" > com.google.ortools.sat.SatParametersOrBuilder.getGlucoseMaxDecay< / a > < / div > < div class = "ttdeci" > double getGlucoseMaxDecay()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_aa2148fbadb9bc7e42c7a6d71426c1a20" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#aa2148fbadb9bc7e42c7a6d71426c1a20" > com.google.ortools.sat.SatParametersOrBuilder.getGlucoseDecayIncrement< / a > < / div > < div class = "ttdeci" > double getGlucoseDecayIncrement()< / div > < div class = "ttdoc" > optional double glucose_decay_increment = 23 [default = 0.01];< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_abebec5c9bdca711816ade4108ef6d535" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#abebec5c9bdca711816ade4108ef6d535" > com.google.ortools.sat.SatParametersOrBuilder.hasFillTightenedDomainsInResponse< / a > < / div > < div class = "ttdeci" > boolean hasFillTightenedDomainsInResponse()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a3b530d18cbcf5cb6a98541592b562ff6" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a3b530d18cbcf5cb6a98541592b562ff6" > com.google.ortools.sat.SatParametersOrBuilder.hasPbCleanupIncrement< / a > < / div > < div class = "ttdeci" > boolean hasPbCleanupIncrement()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a0070a3365331ce17eb23bec84dd3e06a" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a0070a3365331ce17eb23bec84dd3e06a" > com.google.ortools.sat.SatParametersOrBuilder.hasCountAssumptionLevelsInLbd< / a > < / div > < div class = "ttdeci" > boolean hasCountAssumptionLevelsInLbd()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a8bb15121cedf5a1184ac89e4bdcd2a14" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a8bb15121cedf5a1184ac89e4bdcd2a14" > com.google.ortools.sat.SatParametersOrBuilder.getUseExactLpReason< / a > < / div > < div class = "ttdeci" > boolean getUseExactLpReason()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a5d98841c0f0118d6d562f1478f0b5e2e" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a5d98841c0f0118d6d562f1478f0b5e2e" > com.google.ortools.sat.SatParametersOrBuilder.hasExploitIntegerLpSolution< / a > < / div > < div class = "ttdeci" > boolean hasExploitIntegerLpSolution()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a16b198aeea05c3937b6c7a1fc36f4f88" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a16b198aeea05c3937b6c7a1fc36f4f88" > com.google.ortools.sat.SatParametersOrBuilder.getGlucoseDecayIncrementPeriod< / a > < / div > < div class = "ttdeci" > int getGlucoseDecayIncrementPeriod()< / div > < div class = "ttdoc" > optional int32 glucose_decay_increment_period = 24 [default = 5000];< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a26d6046a1a6638fbacb38d813c55e7c6" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a26d6046a1a6638fbacb38d813c55e7c6" > com.google.ortools.sat.SatParametersOrBuilder.getDefaultRestartAlgorithms< / a > < / div > < div class = "ttdeci" > java.lang.String getDefaultRestartAlgorithms()< / div > < div class = "ttdoc" > optional string default_restart_algorithms = 70 [default = " LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_aa491f2b4da0cd33c74dda5795e8a2597" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#aa491f2b4da0cd33c74dda5795e8a2597" > com.google.ortools.sat.SatParametersOrBuilder.hasInitialVariablesActivity< / a > < / div > < div class = "ttdeci" > boolean hasInitialVariablesActivity()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_ad63ab2dddd8e25b6a58f6406fa2a93e4" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#ad63ab2dddd8e25b6a58f6406fa2a93e4" > com.google.ortools.sat.SatParametersOrBuilder.getMipMaxBound< / a > < / div > < div class = "ttdeci" > double getMipMaxBound()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a9d4e8eebe7d644a57abdfb86d2c2ec07" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a9d4e8eebe7d644a57abdfb86d2c2ec07" > com.google.ortools.sat.SatParametersOrBuilder.hasPbCleanupRatio< / a > < / div > < div class = "ttdeci" > boolean hasPbCleanupRatio()< / div > < div class = "ttdoc" > optional double pb_cleanup_ratio = 47 [default = 0.5];< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a1bee5ca3b53bcbe04f75456d2c90166b" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a1bee5ca3b53bcbe04f75456d2c90166b" > com.google.ortools.sat.SatParametersOrBuilder.hasRestartLbdAverageRatio< / a > < / div > < div class = "ttdeci" > boolean hasRestartLbdAverageRatio()< / div > < div class = "ttdoc" > optional double restart_lbd_average_ratio = 71 [default = 1];< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a7e207d34c6ba6c646fc3db99977aae29" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a7e207d34c6ba6c646fc3db99977aae29" > com.google.ortools.sat.SatParametersOrBuilder.getMinimizationAlgorithm< / a > < / div > < div class = "ttdeci" > com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm()< / div > < div class = "ttdoc" > optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a733abb428f5e310df9848c0d4831e268" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a733abb428f5e310df9848c0d4831e268" > com.google.ortools.sat.SatParametersOrBuilder.getClauseCleanupLbdBound< / a > < / div > < div class = "ttdeci" > int getClauseCleanupLbdBound()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a82480296950eb8962c248293ad45927b" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a82480296950eb8962c248293ad45927b" > com.google.ortools.sat.SatParametersOrBuilder.hasUseOptionalVariables< / a > < / div > < div class = "ttdeci" > boolean hasUseOptionalVariables()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a1e535140a273b1cca20666b8f3568455" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a1e535140a273b1cca20666b8f3568455" > com.google.ortools.sat.SatParametersOrBuilder.hasInitialPolarity< / a > < / div > < div class = "ttdeci" > boolean hasInitialPolarity()< / div > < div class = "ttdoc" > optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a1a93c373c2390adfe0cc38923e409b01" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a1a93c373c2390adfe0cc38923e409b01" > com.google.ortools.sat.SatParametersOrBuilder.hasMaxInactiveCount< / a > < / div > < div class = "ttdeci" > boolean hasMaxInactiveCount()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a9fe4288d7995590d679913f8554400ba" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a9fe4288d7995590d679913f8554400ba" > com.google.ortools.sat.SatParametersOrBuilder.hasUseTimetableEdgeFindingInCumulativeConstraint< / a > < / div > < div class = "ttdeci" > boolean hasUseTimetableEdgeFindingInCumulativeConstraint()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a22e0ba493916290cd258588ea8f0bc07" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a22e0ba493916290cd258588ea8f0bc07" > com.google.ortools.sat.SatParametersOrBuilder.getDefaultRestartAlgorithmsBytes< / a > < / div > < div class = "ttdeci" > com.google.protobuf.ByteString getDefaultRestartAlgorithmsBytes()< / div > < div class = "ttdoc" > optional string default_restart_algorithms = 70 [default = " LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a3cbe3cb786e7b503d47ce8e2aa6cd85d" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a3cbe3cb786e7b503d47ce8e2aa6cd85d" > com.google.ortools.sat.SatParametersOrBuilder.hasAutoDetectGreaterThanAtLeastOneOf< / a > < / div > < div class = "ttdeci" > boolean hasAutoDetectGreaterThanAtLeastOneOf()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a8573516faa6301681345ad04ba0b655f" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a8573516faa6301681345ad04ba0b655f" > com.google.ortools.sat.SatParametersOrBuilder.hasShareObjectiveBounds< / a > < / div > < div class = "ttdeci" > boolean hasShareObjectiveBounds()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_ac161849f8e1ccadb36ff34dda4f2e2f6" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#ac161849f8e1ccadb36ff34dda4f2e2f6" > com.google.ortools.sat.SatParametersOrBuilder.getMaxIntegerRoundingScaling< / a > < / div > < div class = "ttdeci" > int getMaxIntegerRoundingScaling()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_ab92803c4c50de325ee9e612d1385f5e3" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#ab92803c4c50de325ee9e612d1385f5e3" > com.google.ortools.sat.SatParametersOrBuilder.getMaxTimeInSeconds< / a > < / div > < div class = "ttdeci" > double getMaxTimeInSeconds()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a9e97eb710f25420f3caa7888e7327226" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a9e97eb710f25420f3caa7888e7327226" > com.google.ortools.sat.SatParametersOrBuilder.getPresolveBveThreshold< / a > < / div > < div class = "ttdeci" > int getPresolveBveThreshold()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a80ced5bb23cdc674c01b91785c1d6d74" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a80ced5bb23cdc674c01b91785c1d6d74" > com.google.ortools.sat.SatParametersOrBuilder.getUseTimetableEdgeFindingInCumulativeConstraint< / a > < / div > < div class = "ttdeci" > boolean getUseTimetableEdgeFindingInCumulativeConstraint()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a1bcb5273fe65ef16e030bddf7cd546a5" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a1bcb5273fe65ef16e030bddf7cd546a5" > com.google.ortools.sat.SatParametersOrBuilder.hasFindMultipleCores< / a > < / div > < div class = "ttdeci" > boolean hasFindMultipleCores()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a8863865e75b7ae59711e49e9677e3ee8" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a8863865e75b7ae59711e49e9677e3ee8" > com.google.ortools.sat.SatParametersOrBuilder.getRestartAlgorithmsList< / a > < / div > < div class = "ttdeci" > java.util.List< com.google.ortools.sat.SatParameters.RestartAlgorithm > getRestartAlgorithmsList()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_aa85fe930cd1caf982d6723798819d3db" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#aa85fe930cd1caf982d6723798819d3db" > com.google.ortools.sat.SatParametersOrBuilder.getRestartLbdAverageRatio< / a > < / div > < div class = "ttdeci" > double getRestartLbdAverageRatio()< / div > < div class = "ttdoc" > optional double restart_lbd_average_ratio = 71 [default = 1];< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_ae2ea14409304fb0eae177d631a0f01f3" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#ae2ea14409304fb0eae177d631a0f01f3" > com.google.ortools.sat.SatParametersOrBuilder.hasExploitBestSolution< / a > < / div > < div class = "ttdeci" > boolean hasExploitBestSolution()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a741fd9f2ae0f0bbf0400f45468cdf6f3" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a741fd9f2ae0f0bbf0400f45468cdf6f3" > com.google.ortools.sat.SatParametersOrBuilder.getAddCgCuts< / a > < / div > < div class = "ttdeci" > boolean getAddCgCuts()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a5fd7e9df6f327e6e867adebfffe8b8c6" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a5fd7e9df6f327e6e867adebfffe8b8c6" > com.google.ortools.sat.SatParametersOrBuilder.hasPseudoCostReliabilityThreshold< / a > < / div > < div class = "ttdeci" > boolean hasPseudoCostReliabilityThreshold()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a3687bb2c63018b970556346cb1302874" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a3687bb2c63018b970556346cb1302874" > com.google.ortools.sat.SatParametersOrBuilder.hasClauseCleanupTarget< / a > < / div > < div class = "ttdeci" > boolean hasClauseCleanupTarget()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_adeaab94450d51c13ce7dd1f54b320f78" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#adeaab94450d51c13ce7dd1f54b320f78" > com.google.ortools.sat.SatParametersOrBuilder.hasMipCheckPrecision< / a > < / div > < div class = "ttdeci" > boolean hasMipCheckPrecision()< / div > < / div >
2019-07-11 17:54:23 -07:00
< div class = "ttc" id = "enumcom_1_1google_1_1ortools_1_1sat_1_1SatParameters_1_1VariableOrder_html" > < div class = "ttname" > < a href = "enumcom_1_1google_1_1ortools_1_1sat_1_1SatParameters_1_1VariableOrder.html" > com.google.ortools.sat.SatParameters.VariableOrder< / a > < / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "SatParameters_8java_source.html#l00851" > SatParameters.java:851< / a > < / div > < / div >
2019-06-13 02:45:44 +02:00
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a3435a2c786e5f738598b47b0dec6fac8" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a3435a2c786e5f738598b47b0dec6fac8" > com.google.ortools.sat.SatParametersOrBuilder.getConstraintRemovalBatchSize< / a > < / div > < div class = "ttdeci" > long getConstraintRemovalBatchSize()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a4922a2ddd8abc6468674a8e333e1e044" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a4922a2ddd8abc6468674a8e333e1e044" > com.google.ortools.sat.SatParametersOrBuilder.getOptimizeWithMaxHs< / a > < / div > < div class = "ttdeci" > boolean getOptimizeWithMaxHs()< / div > < / div >
2019-07-04 15:11:35 +02:00
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_af7d1c10879681b993b8c426156159b28" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#af7d1c10879681b993b8c426156159b28" > com.google.ortools.sat.SatParametersOrBuilder.getDeterministicParallelSearch< / a > < / div > < div class = "ttdeci" > boolean getDeterministicParallelSearch()< / div > < / div >
2019-06-13 02:45:44 +02:00
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a729bf397e02af89eb3d283110afa8a84" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a729bf397e02af89eb3d283110afa8a84" > com.google.ortools.sat.SatParametersOrBuilder.getAddMirCuts< / a > < / div > < div class = "ttdeci" > boolean getAddMirCuts()< / div > < / div >
2019-07-04 15:11:35 +02:00
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_aa965dbefcd2945e01f1a55e4bdfe66ac" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#aa965dbefcd2945e01f1a55e4bdfe66ac" > com.google.ortools.sat.SatParametersOrBuilder.getUseLnsOnly< / a > < / div > < div class = "ttdeci" > boolean getUseLnsOnly()< / div > < / div >
2019-06-13 02:45:44 +02:00
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a7c10fef198c2365eabd8ae8d10f1efeb" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a7c10fef198c2365eabd8ae8d10f1efeb" > com.google.ortools.sat.SatParametersOrBuilder.getExploitBestSolution< / a > < / div > < div class = "ttdeci" > boolean getExploitBestSolution()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a03dd5d6e1b7c4ec16d2a50e9100f4197" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a03dd5d6e1b7c4ec16d2a50e9100f4197" > com.google.ortools.sat.SatParametersOrBuilder.getClauseActivityDecay< / a > < / div > < div class = "ttdeci" > double getClauseActivityDecay()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a6622f7ffd5ee8d9bada77749fd438eec" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a6622f7ffd5ee8d9bada77749fd438eec" > com.google.ortools.sat.SatParametersOrBuilder.hasMaxSatReverseAssumptionOrder< / a > < / div > < div class = "ttdeci" > boolean hasMaxSatReverseAssumptionOrder()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_af1d668c5e5bf84ce9d4b83ea11b96bfd" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#af1d668c5e5bf84ce9d4b83ea11b96bfd" > com.google.ortools.sat.SatParametersOrBuilder.hasMinimizeWithPropagationNumDecisions< / a > < / div > < div class = "ttdeci" > boolean hasMinimizeWithPropagationNumDecisions()< / div > < div class = "ttdoc" > optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_af6f80217363cb7264d595ed2d1912249" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#af6f80217363cb7264d595ed2d1912249" > com.google.ortools.sat.SatParametersOrBuilder.hasGlucoseDecayIncrement< / a > < / div > < div class = "ttdeci" > boolean hasGlucoseDecayIncrement()< / div > < div class = "ttdoc" > optional double glucose_decay_increment = 23 [default = 0.01];< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a4ff89a799a9054c91afbdfa3f72f062e" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a4ff89a799a9054c91afbdfa3f72f062e" > com.google.ortools.sat.SatParametersOrBuilder.getMaxMemoryInMb< / a > < / div > < div class = "ttdeci" > long getMaxMemoryInMb()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a8235fa327da97f6f79a5adf146ee0d18" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a8235fa327da97f6f79a5adf146ee0d18" > com.google.ortools.sat.SatParametersOrBuilder.getRestartAlgorithmsCount< / a > < / div > < div class = "ttdeci" > int getRestartAlgorithmsCount()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_aa413925ffaaf4b18e6760a21c347df9f" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#aa413925ffaaf4b18e6760a21c347df9f" > com.google.ortools.sat.SatParametersOrBuilder.getUsePbResolution< / a > < / div > < div class = "ttdeci" > boolean getUsePbResolution()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a4522c3dd5260e8f5d9f3dd108c05bfb3" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a4522c3dd5260e8f5d9f3dd108c05bfb3" > com.google.ortools.sat.SatParametersOrBuilder.hasRandomBranchesRatio< / a > < / div > < div class = "ttdeci" > boolean hasRandomBranchesRatio()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a22948330412c4ad08020ae730f4af472" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a22948330412c4ad08020ae730f4af472" > com.google.ortools.sat.SatParametersOrBuilder.hasUseErwaHeuristic< / a > < / div > < div class = "ttdeci" > boolean hasUseErwaHeuristic()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_abbc0ab675bcfff55c55485c0fc9936ed" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#abbc0ab675bcfff55c55485c0fc9936ed" > com.google.ortools.sat.SatParametersOrBuilder.getBlockingRestartMultiplier< / a > < / div > < div class = "ttdeci" > double getBlockingRestartMultiplier()< / div > < div class = "ttdoc" > optional double blocking_restart_multiplier = 66 [default = 1.4];< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a889b1c70899cb418cb6b266220576c69" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a889b1c70899cb418cb6b266220576c69" > com.google.ortools.sat.SatParametersOrBuilder.getMaxSatReverseAssumptionOrder< / a > < / div > < div class = "ttdeci" > boolean getMaxSatReverseAssumptionOrder()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a2dd657045f3a4a67aa0ad90a243fe47e" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a2dd657045f3a4a67aa0ad90a243fe47e" > com.google.ortools.sat.SatParametersOrBuilder.getSearchBranching< / a > < / div > < div class = "ttdeci" > com.google.ortools.sat.SatParameters.SearchBranching getSearchBranching()< / div > < div class = "ttdoc" > optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...< / div > < / div >
< div class = "ttc" id = "namespacecom_1_1google_html" > < div class = "ttname" > < a href = "namespacecom_1_1google.html" > com.google< / a > < / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_af05e3c39425f463d41fe90896b7cc998" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#af05e3c39425f463d41fe90896b7cc998" > com.google.ortools.sat.SatParametersOrBuilder.getClauseCleanupOrdering< / a > < / div > < div class = "ttdeci" > com.google.ortools.sat.SatParameters.ClauseOrdering getClauseCleanupOrdering()< / div > < div class = "ttdoc" > optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a27306cd20f88885f0dc20d92af01fa50" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a27306cd20f88885f0dc20d92af01fa50" > com.google.ortools.sat.SatParametersOrBuilder.hasMaxMemoryInMb< / a > < / div > < div class = "ttdeci" > boolean hasMaxMemoryInMb()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_aa10df9e7cadff9e0bd6e7b71b58757e7" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#aa10df9e7cadff9e0bd6e7b71b58757e7" > com.google.ortools.sat.SatParametersOrBuilder.getPresolveUseBva< / a > < / div > < div class = "ttdeci" > boolean getPresolveUseBva()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a7925cda4dcd11c3389472bc7457a60bf" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a7925cda4dcd11c3389472bc7457a60bf" > com.google.ortools.sat.SatParametersOrBuilder.getUsePrecedencesInDisjunctiveConstraint< / a > < / div > < div class = "ttdeci" > boolean getUsePrecedencesInDisjunctiveConstraint()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a215f2cf80ff2bd92584a2e31bbc6d65b" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a215f2cf80ff2bd92584a2e31bbc6d65b" > com.google.ortools.sat.SatParametersOrBuilder.hasAddMirCuts< / a > < / div > < div class = "ttdeci" > boolean hasAddMirCuts()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a6b7ae8e9ee9dc4c1d0a38fb6bc4650ee" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a6b7ae8e9ee9dc4c1d0a38fb6bc4650ee" > com.google.ortools.sat.SatParametersOrBuilder.hasMipWantedPrecision< / a > < / div > < div class = "ttdeci" > boolean hasMipWantedPrecision()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a9132d115b82a6e1f0151af117109fbd9" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a9132d115b82a6e1f0151af117109fbd9" > com.google.ortools.sat.SatParametersOrBuilder.getPseudoCostReliabilityThreshold< / a > < / div > < div class = "ttdeci" > long getPseudoCostReliabilityThreshold()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a8a1eae18e991602e48f0271342e0df6a" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a8a1eae18e991602e48f0271342e0df6a" > com.google.ortools.sat.SatParametersOrBuilder.getMipVarScaling< / a > < / div > < div class = "ttdeci" > double getMipVarScaling()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_ac1efc326ff7af270059c566eaf5d472f" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#ac1efc326ff7af270059c566eaf5d472f" > com.google.ortools.sat.SatParametersOrBuilder.hasClauseCleanupLbdBound< / a > < / div > < div class = "ttdeci" > boolean hasClauseCleanupLbdBound()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_aad2f751b4c88c90be9b8e50258d73b47" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#aad2f751b4c88c90be9b8e50258d73b47" > com.google.ortools.sat.SatParametersOrBuilder.hasRandomizeSearch< / a > < / div > < div class = "ttdeci" > boolean hasRandomizeSearch()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_af6a8e26430699ca3d2f66e6af7a2997d" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#af6a8e26430699ca3d2f66e6af7a2997d" > com.google.ortools.sat.SatParametersOrBuilder.hasUsePrecedencesInDisjunctiveConstraint< / a > < / div > < div class = "ttdeci" > boolean hasUsePrecedencesInDisjunctiveConstraint()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a3d8521de467bf3bfa8ffec8580b29882" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a3d8521de467bf3bfa8ffec8580b29882" > com.google.ortools.sat.SatParametersOrBuilder.getMaxDeterministicTime< / a > < / div > < div class = "ttdeci" > double getMaxDeterministicTime()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a6b63eaed1e7837ccd97eea6d983ef8a8" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a6b63eaed1e7837ccd97eea6d983ef8a8" > com.google.ortools.sat.SatParametersOrBuilder.getCpModelUseSatPresolve< / a > < / div > < div class = "ttdeci" > boolean getCpModelUseSatPresolve()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_ac5e980b963f7f911eddf34501187ae7e" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#ac5e980b963f7f911eddf34501187ae7e" > com.google.ortools.sat.SatParametersOrBuilder.getPbCleanupRatio< / a > < / div > < div class = "ttdeci" > double getPbCleanupRatio()< / div > < div class = "ttdoc" > optional double pb_cleanup_ratio = 47 [default = 0.5];< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a8122f25d56c18061a4500787e17bea5b" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a8122f25d56c18061a4500787e17bea5b" > com.google.ortools.sat.SatParametersOrBuilder.getMipCheckPrecision< / a > < / div > < div class = "ttdeci" > double getMipCheckPrecision()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a7c3d5eb41aa3c75986fae1f003cd6fce" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a7c3d5eb41aa3c75986fae1f003cd6fce" > com.google.ortools.sat.SatParametersOrBuilder.hasPresolveBveThreshold< / a > < / div > < div class = "ttdeci" > boolean hasPresolveBveThreshold()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a31db768281dd4487d789d00219c6615d" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a31db768281dd4487d789d00219c6615d" > com.google.ortools.sat.SatParametersOrBuilder.getMaxSatStratification< / a > < / div > < div class = "ttdeci" > com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification()< / div > < div class = "ttdoc" > optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a16b14d2b774cc0f57a4e09b15243dece" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a16b14d2b774cc0f57a4e09b15243dece" > com.google.ortools.sat.SatParametersOrBuilder.getLinearizationLevel< / a > < / div > < div class = "ttdeci" > int getLinearizationLevel()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_af8240a6a87bfe57cb5fa07f8d489e259" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#af8240a6a87bfe57cb5fa07f8d489e259" > com.google.ortools.sat.SatParametersOrBuilder.hasPresolveBlockedClause< / a > < / div > < div class = "ttdeci" > boolean hasPresolveBlockedClause()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a3e14ec250dc42ab1dabcf4cb681e6dbf" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a3e14ec250dc42ab1dabcf4cb681e6dbf" > com.google.ortools.sat.SatParametersOrBuilder.hasVariableActivityDecay< / a > < / div > < div class = "ttdeci" > boolean hasVariableActivityDecay()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_ac5fbcc7255dfbca841907bce23f4c4d1" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#ac5fbcc7255dfbca841907bce23f4c4d1" > com.google.ortools.sat.SatParametersOrBuilder.getMipMaxActivityExponent< / a > < / div > < div class = "ttdeci" > int getMipMaxActivityExponent()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a3abf7a96dd3fdd7ac2ed0dcd5f408e94" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a3abf7a96dd3fdd7ac2ed0dcd5f408e94" > com.google.ortools.sat.SatParametersOrBuilder.hasGlucoseMaxDecay< / a > < / div > < div class = "ttdeci" > boolean hasGlucoseMaxDecay()< / div > < / div >
2019-06-29 13:03:00 +02:00
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a2780b12451f12ba3a421e3ac91479ad7" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a2780b12451f12ba3a421e3ac91479ad7" > com.google.ortools.sat.SatParametersOrBuilder.hasCatchSigintSignal< / a > < / div > < div class = "ttdeci" > boolean hasCatchSigintSignal()< / div > < / div >
2019-06-13 02:45:44 +02:00
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a4b937ddf5eca591622ed90b805398d4e" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a4b937ddf5eca591622ed90b805398d4e" > com.google.ortools.sat.SatParametersOrBuilder.getInstantiateAllVariables< / a > < / div > < div class = "ttdeci" > boolean getInstantiateAllVariables()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a54cff3936fa454b98012d0502530f862" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a54cff3936fa454b98012d0502530f862" > com.google.ortools.sat.SatParametersOrBuilder.getStopAfterFirstSolution< / a > < / div > < div class = "ttdeci" > boolean getStopAfterFirstSolution()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a919897d46413f5544ec98bf52e3d353d" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a919897d46413f5544ec98bf52e3d353d" > com.google.ortools.sat.SatParametersOrBuilder.hasSubsumptionDuringConflictAnalysis< / a > < / div > < div class = "ttdeci" > boolean hasSubsumptionDuringConflictAnalysis()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_ac55afa384706e743da4e67a43da8bc09" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#ac55afa384706e743da4e67a43da8bc09" > com.google.ortools.sat.SatParametersOrBuilder.hasUseBlockingRestart< / a > < / div > < div class = "ttdeci" > boolean hasUseBlockingRestart()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_aea2faa38abc58366ca4f5f6c294ebc7f" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#aea2faa38abc58366ca4f5f6c294ebc7f" > com.google.ortools.sat.SatParametersOrBuilder.getPreferredVariableOrder< / a > < / div > < div class = "ttdeci" > com.google.ortools.sat.SatParameters.VariableOrder getPreferredVariableOrder()< / div > < div class = "ttdoc" > optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a047bdbbb9b723e5ef2b404cb65192447" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a047bdbbb9b723e5ef2b404cb65192447" > com.google.ortools.sat.SatParametersOrBuilder.hasOnlyAddCutsAtLevelZero< / a > < / div > < div class = "ttdeci" > boolean hasOnlyAddCutsAtLevelZero()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_ae7b633c809d636e4f67c6880f0744d69" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#ae7b633c809d636e4f67c6880f0744d69" > com.google.ortools.sat.SatParametersOrBuilder.hasMaxDeterministicTime< / a > < / div > < div class = "ttdeci" > boolean hasMaxDeterministicTime()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a205a003bc19ecd07a54d35bbfe3eb6d5" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a205a003bc19ecd07a54d35bbfe3eb6d5" > com.google.ortools.sat.SatParametersOrBuilder.getBinaryMinimizationAlgorithm< / a > < / div > < div class = "ttdeci" > com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm()< / div > < div class = "ttdoc" > optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a8c24de0ecdd1843eb53d81b3c286f92d" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a8c24de0ecdd1843eb53d81b3c286f92d" > com.google.ortools.sat.SatParametersOrBuilder.getExploitIntegerLpSolution< / a > < / div > < div class = "ttdeci" > boolean getExploitIntegerLpSolution()< / div > < / div >
2019-07-05 09:33:19 +02:00
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a6543234f6d0d6ab5bdfe87f132d59b00" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a6543234f6d0d6ab5bdfe87f132d59b00" > com.google.ortools.sat.SatParametersOrBuilder.hasInterleaveSearch< / a > < / div > < div class = "ttdeci" > boolean hasInterleaveSearch()< / div > < / div >
2019-06-13 02:45:44 +02:00
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a5df8d1e711042c498d8f0dacd17f85fe" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a5df8d1e711042c498d8f0dacd17f85fe" > com.google.ortools.sat.SatParametersOrBuilder.getTreatBinaryClausesSeparately< / a > < / div > < div class = "ttdeci" > boolean getTreatBinaryClausesSeparately()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a123b093ef1248c4f6f8d638625026d27" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a123b093ef1248c4f6f8d638625026d27" > com.google.ortools.sat.SatParametersOrBuilder.getUseBlockingRestart< / a > < / div > < div class = "ttdeci" > boolean getUseBlockingRestart()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a8b1cccd2fcaf788bb262dd6c4f15b192" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a8b1cccd2fcaf788bb262dd6c4f15b192" > com.google.ortools.sat.SatParametersOrBuilder.getRestartAlgorithms< / a > < / div > < div class = "ttdeci" > com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index)< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a05032a3cdefec144578567796da9c5af" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a05032a3cdefec144578567796da9c5af" > com.google.ortools.sat.SatParametersOrBuilder.hasGlucoseDecayIncrementPeriod< / a > < / div > < div class = "ttdeci" > boolean hasGlucoseDecayIncrementPeriod()< / div > < div class = "ttdoc" > optional int32 glucose_decay_increment_period = 24 [default = 5000];< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_ae4bb4487a26fc6b47dc7c94f0de059ab" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#ae4bb4487a26fc6b47dc7c94f0de059ab" > com.google.ortools.sat.SatParametersOrBuilder.hasOptimizeWithMaxHs< / a > < / div > < div class = "ttdeci" > boolean hasOptimizeWithMaxHs()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_ab6e3b6ed1b209eca2cf83036d753613e" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#ab6e3b6ed1b209eca2cf83036d753613e" > com.google.ortools.sat.SatParametersOrBuilder.getPbCleanupIncrement< / a > < / div > < div class = "ttdeci" > int getPbCleanupIncrement()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a3d689aa72d2ca19dc5c04c35086ebcf9" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a3d689aa72d2ca19dc5c04c35086ebcf9" > com.google.ortools.sat.SatParametersOrBuilder.hasClauseActivityDecay< / a > < / div > < div class = "ttdeci" > boolean hasClauseActivityDecay()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a7ff428a3e91b16f8f7da9bbfe9158fa8" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a7ff428a3e91b16f8f7da9bbfe9158fa8" > com.google.ortools.sat.SatParametersOrBuilder.hasAddKnapsackCuts< / a > < / div > < div class = "ttdeci" > boolean hasAddKnapsackCuts()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_ab21d7f1a698e821da3482040be056fe1" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#ab21d7f1a698e821da3482040be056fe1" > com.google.ortools.sat.SatParametersOrBuilder.getMinimizeReductionDuringPbResolution< / a > < / div > < div class = "ttdeci" > boolean getMinimizeReductionDuringPbResolution()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a791d1f591ca469c622f0c20fc5b2774f" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a791d1f591ca469c622f0c20fc5b2774f" > com.google.ortools.sat.SatParametersOrBuilder.hasExploitObjective< / a > < / div > < div class = "ttdeci" > boolean hasExploitObjective()< / div > < / div >
2019-06-29 13:03:00 +02:00
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_ad719cc4674c3b6dd95f48ed2c566e4a5" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#ad719cc4674c3b6dd95f48ed2c566e4a5" > com.google.ortools.sat.SatParametersOrBuilder.getCatchSigintSignal< / a > < / div > < div class = "ttdeci" > boolean getCatchSigintSignal()< / div > < / div >
2019-06-13 02:45:44 +02:00
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a9e3bfaf568b94a4b700a896ade6f0740" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a9e3bfaf568b94a4b700a896ade6f0740" > com.google.ortools.sat.SatParametersOrBuilder.hasNumSearchWorkers< / a > < / div > < div class = "ttdeci" > boolean hasNumSearchWorkers()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a51863f815becb183cbf59541f1b37e53" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a51863f815becb183cbf59541f1b37e53" > com.google.ortools.sat.SatParametersOrBuilder.getCpModelPresolve< / a > < / div > < div class = "ttdeci" > boolean getCpModelPresolve()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a14e0c9469371a2ed8a81b46dc5650d7b" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a14e0c9469371a2ed8a81b46dc5650d7b" > com.google.ortools.sat.SatParametersOrBuilder.getUseErwaHeuristic< / a > < / div > < div class = "ttdeci" > boolean getUseErwaHeuristic()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_af2ad7e0eb5e07174033dc8c55547ef05" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#af2ad7e0eb5e07174033dc8c55547ef05" > com.google.ortools.sat.SatParametersOrBuilder.getAddLpConstraintsLazily< / a > < / div > < div class = "ttdeci" > boolean getAddLpConstraintsLazily()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a331b525d8f1221d2c7824b0d9845a08b" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a331b525d8f1221d2c7824b0d9845a08b" > com.google.ortools.sat.SatParametersOrBuilder.hasMaxClauseActivityValue< / a > < / div > < div class = "ttdeci" > boolean hasMaxClauseActivityValue()< / div > < div class = "ttdoc" > optional double max_clause_activity_value = 18 [default = 1e+20];< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a0149472e466c6202573df501c595d5b5" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a0149472e466c6202573df501c595d5b5" > com.google.ortools.sat.SatParametersOrBuilder.hasMaxSatStratification< / a > < / div > < div class = "ttdeci" > boolean hasMaxSatStratification()< / div > < div class = "ttdoc" > optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_aa7013c0c54723f4a0408a2dadd5a7352" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#aa7013c0c54723f4a0408a2dadd5a7352" > com.google.ortools.sat.SatParametersOrBuilder.hasUseOptimizationHints< / a > < / div > < div class = "ttdeci" > boolean hasUseOptimizationHints()< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_ae9915084860321be24eec9bb878f8cc6" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#ae9915084860321be24eec9bb878f8cc6" > com.google.ortools.sat.SatParametersOrBuilder.getMinimizeWithPropagationNumDecisions< / a > < / div > < div class = "ttdeci" > int getMinimizeWithPropagationNumDecisions()< / div > < div class = "ttdoc" > optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];< / div > < / div >
< div class = "ttc" id = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder_html_a5d420c40c05d96591d89fd75424f99e4" > < div class = "ttname" > < a href = "interfacecom_1_1google_1_1ortools_1_1sat_1_1SatParametersOrBuilder.html#a5d420c40c05d96591d89fd75424f99e4" > com.google.ortools.sat.SatParametersOrBuilder.hasCpModelUseSatPresolve< / a > < / div > < div class = "ttdeci" > boolean hasCpModelUseSatPresolve()< / div > < / div >
< / div > <!-- fragment --> < / div > <!-- contents -->
2019-06-13 13:08:49 +02:00
< / div >
< div id = "footer-container" >
< div id = "footer" >
< / div >
< / div >
< / body >
2019-06-13 02:45:44 +02:00
< / html >
