always-cautious/ortools-clone
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

update java/python doc for algorithms

Browse Source
This commit is contained in:
Laurent Perron
2019-07-11 17:54:23 -07:00
parent 758af2b1f5
commit 691a91e5d0
33 changed files with 2518 additions and 2100 deletions
Download Patch File Download Diff File Expand all files Collapse all files

20
docs/java/SatParametersOrBuilder_8java_source.html
View File

@@ -55,13 +55,13 @@
<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>
<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#l01472">SatParameters.java:1472</a></div></div>
<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>
<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>
<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#l01108">SatParameters.java:1108</a></div></div>
<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>
<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>
<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#l01977">SatParameters.java:1977</a></div></div>
<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>
<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>
@@ -78,7 +78,7 @@
<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>
<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#l01842">SatParameters.java:1842</a></div></div>
<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>
<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>
@@ -92,11 +92,11 @@
<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>
<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#l01586">SatParameters.java:1586</a></div></div>
<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>
<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>
<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#l01739">SatParameters.java:1739</a></div></div>
<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>
<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>
@@ -106,7 +106,7 @@
<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>
<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#l00965">SatParameters.java:965</a></div></div>
<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>
<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>
@@ -121,7 +121,7 @@
<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>
<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#l01344">SatParameters.java:1344</a></div></div>
<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>
<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>
@@ -138,7 +138,7 @@
<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>
<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#l01221">SatParameters.java:1221</a></div></div>
<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>
<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>
<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>
<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>
@@ -215,7 +215,7 @@
<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>
<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#l00850">SatParameters.java:850</a></div></div>
<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>
<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>
<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>