Java Reference
Java Reference
SatParameters.java
Go to the documentation of this file.
176 com.google.ortools.sat.SatParameters.VariableOrder value = com.google.ortools.sat.SatParameters.VariableOrder.valueOf(rawValue);
188 com.google.ortools.sat.SatParameters.Polarity value = com.google.ortools.sat.SatParameters.Polarity.valueOf(rawValue);
200 com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value = com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.valueOf(rawValue);
277 com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value = com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.valueOf(rawValue);
354 com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder value = com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf(rawValue);
371 com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value = com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.valueOf(rawValue);
403 com.google.ortools.sat.SatParameters.ClauseProtection value = com.google.ortools.sat.SatParameters.ClauseProtection.valueOf(rawValue);
420 com.google.ortools.sat.SatParameters.ClauseOrdering value = com.google.ortools.sat.SatParameters.ClauseOrdering.valueOf(rawValue);
432 com.google.ortools.sat.SatParameters.RestartAlgorithm value = com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(rawValue);
450 com.google.ortools.sat.SatParameters.RestartAlgorithm value = com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(rawValue);
563 com.google.ortools.sat.SatParameters.SearchBranching value = com.google.ortools.sat.SatParameters.SearchBranching.valueOf(rawValue);
975 com.google.ortools.sat.SatParameters.FPRoundingMethod value = com.google.ortools.sat.SatParameters.FPRoundingMethod.valueOf(rawValue);
1109 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
1115 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_fieldAccessorTable
1117 com.google.ortools.sat.SatParameters.class, com.google.ortools.sat.SatParameters.Builder.class);
1506 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.ConflictMinimizationAlgorithm)
1634 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.BinaryMinizationAlgorithm)
2158 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.MaxSatAssumptionOrder)
2299 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.MaxSatStratificationAlgorithm)
2773 @java.lang.Override public com.google.ortools.sat.SatParameters.VariableOrder getPreferredVariableOrder() {
2775 com.google.ortools.sat.SatParameters.VariableOrder result = com.google.ortools.sat.SatParameters.VariableOrder.valueOf(preferredVariableOrder_);
2792 @java.lang.Override public com.google.ortools.sat.SatParameters.Polarity getInitialPolarity() {
2794 com.google.ortools.sat.SatParameters.Polarity result = com.google.ortools.sat.SatParameters.Polarity.valueOf(initialPolarity_);
3052 @java.lang.Override public com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm() {
3054 com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm result = com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.valueOf(minimizationAlgorithm_);
3055 return result == null ? com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.RECURSIVE : result;
3071 @java.lang.Override public com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm() {
3073 com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm result = com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.valueOf(binaryMinimizationAlgorithm_);
3074 return result == null ? com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_FIRST : result;
3179 @java.lang.Override public com.google.ortools.sat.SatParameters.ClauseProtection getClauseCleanupProtection() {
3181 com.google.ortools.sat.SatParameters.ClauseProtection result = com.google.ortools.sat.SatParameters.ClauseProtection.valueOf(clauseCleanupProtection_);
3182 return result == null ? com.google.ortools.sat.SatParameters.ClauseProtection.PROTECTION_NONE : result;
3227 @java.lang.Override public com.google.ortools.sat.SatParameters.ClauseOrdering getClauseCleanupOrdering() {
3229 com.google.ortools.sat.SatParameters.ClauseOrdering result = com.google.ortools.sat.SatParameters.ClauseOrdering.valueOf(clauseCleanupOrdering_);
3230 return result == null ? com.google.ortools.sat.SatParameters.ClauseOrdering.CLAUSE_ACTIVITY : result;
3523 java.lang.Integer, com.google.ortools.sat.SatParameters.RestartAlgorithm> restartAlgorithms_converter_ =
3528 com.google.ortools.sat.SatParameters.RestartAlgorithm result = com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(from);
3529 return result == null ? com.google.ortools.sat.SatParameters.RestartAlgorithm.NO_RESTART : result;
3548 public java.util.List<com.google.ortools.sat.SatParameters.RestartAlgorithm> getRestartAlgorithmsList() {
3550 java.lang.Integer, com.google.ortools.sat.SatParameters.RestartAlgorithm>(restartAlgorithms_, restartAlgorithms_converter_);
5165 @java.lang.Override public com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder() {
5167 com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder result = com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf(maxSatAssumptionOrder_);
5168 return result == null ? com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.DEFAULT_ASSUMPTION_ORDER : result;
5213 @java.lang.Override public com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification() {
5215 com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm result = com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.valueOf(maxSatStratification_);
5216 return result == null ? com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.STRATIFICATION_DESCENT : result;
5994 @java.lang.Override public com.google.ortools.sat.SatParameters.SearchBranching getSearchBranching() {
5996 com.google.ortools.sat.SatParameters.SearchBranching result = com.google.ortools.sat.SatParameters.SearchBranching.valueOf(searchBranching_);
5997 return result == null ? com.google.ortools.sat.SatParameters.SearchBranching.AUTOMATIC_SEARCH : result;
6936 @java.lang.Override public com.google.ortools.sat.SatParameters.FPRoundingMethod getFpRounding() {
6938 com.google.ortools.sat.SatParameters.FPRoundingMethod result = com.google.ortools.sat.SatParameters.FPRoundingMethod.valueOf(fpRounding_);
6939 return result == null ? com.google.ortools.sat.SatParameters.FPRoundingMethod.PROPAGATION_ASSISTED : result;
8272 size += com.google.protobuf.GeneratedMessageV3.computeStringSize(70, defaultRestartAlgorithms_);
8782 if (hasAlsoBumpVariablesInConflictReasons() != other.hasAlsoBumpVariablesInConflictReasons()) return false;
8795 if (hasSubsumptionDuringConflictAnalysis() != other.hasSubsumptionDuringConflictAnalysis()) return false;
8834 if (hasMinimizeWithPropagationRestartPeriod() != other.hasMinimizeWithPropagationRestartPeriod()) return false;
8839 if (hasMinimizeWithPropagationNumDecisions() != other.hasMinimizeWithPropagationNumDecisions()) return false;
8929 if (hasNumConflictsBeforeStrategyChanges() != other.hasNumConflictsBeforeStrategyChanges()) return false;
8974 if (hasTreatBinaryClausesSeparately() != other.hasTreatBinaryClausesSeparately()) return false;
8989 if (hasPermutePresolveConstraintOrder() != other.hasPermutePresolveConstraintOrder()) return false;
9014 if (hasMinimizeReductionDuringPbResolution() != other.hasMinimizeReductionDuringPbResolution()) return false;
9034 if (hasPresolveProbingDeterministicTimeLimit() != other.hasPresolveProbingDeterministicTimeLimit()) return false;
9065 if (hasCpModelPostsolveWithFullSolver() != other.hasCpModelPostsolveWithFullSolver()) return false;
9070 if (hasCpModelMaxNumPresolveOperations() != other.hasCpModelMaxNumPresolveOperations()) return false;
9137 if (hasPresolveExtractIntegerEnforcement() != other.hasPresolveExtractIntegerEnforcement()) return false;
9166 if (hasMaxSatReverseAssumptionOrder() != other.hasMaxSatReverseAssumptionOrder()) return false;
9175 if (hasUsePrecedencesInDisjunctiveConstraint() != other.hasUsePrecedencesInDisjunctiveConstraint()) return false;
9180 if (hasUseOverloadCheckerInCumulativeConstraint() != other.hasUseOverloadCheckerInCumulativeConstraint()) return false;
9185 if (hasUseTimetableEdgeFindingInCumulativeConstraint() != other.hasUseTimetableEdgeFindingInCumulativeConstraint()) return false;
9190 if (hasUseDisjunctiveConstraintInCumulativeConstraint() != other.hasUseDisjunctiveConstraintInCumulativeConstraint()) return false;
9260 if (hasMinOrthogonalityForLpConstraints() != other.hasMinOrthogonalityForLpConstraints()) return false;
9347 if (hasPseudoCostReliabilityThreshold() != other.hasPseudoCostReliabilityThreshold()) return false;
9372 if (hasKeepAllFeasibleSolutionsInPresolve() != other.hasKeepAllFeasibleSolutionsInPresolve()) return false;
9377 if (hasFillTightenedDomainsInResponse() != other.hasFillTightenedDomainsInResponse()) return false;
9387 if (hasAutoDetectGreaterThanAtLeastOneOf() != other.hasAutoDetectGreaterThanAtLeastOneOf()) return false;
9417 if (hasReduceMemoryUsageInInterleaveMode() != other.hasReduceMemoryUsageInInterleaveMode()) return false;
9442 if (hasLnsExpandIntervalsInConstraintGraph() != other.hasLnsExpandIntervalsInConstraintGraph()) return false;
9476 if (hasSearchRandomizationTolerance() != other.hasSearchRandomizationTolerance()) return false;
9538 if (hasMipAutomaticallyScaleVariables() != other.hasMipAutomaticallyScaleVariables()) return false;
10382 public static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input)
10443 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
10449 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_fieldAccessorTable
10451 com.google.ortools.sat.SatParameters.class, com.google.ortools.sat.SatParameters.Builder.class);
10532 defaultRestartAlgorithms_ = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,DL_MOVING_AVERAGE_RESTART";
10802 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
11188 result.useTimetableEdgeFindingInCumulativeConstraint_ = useTimetableEdgeFindingInCumulativeConstraint_;
11194 result.useDisjunctiveConstraintInCumulativeConstraint_ = useDisjunctiveConstraintInCumulativeConstraint_;
11810 setUseOverloadCheckerInCumulativeConstraint(other.getUseOverloadCheckerInCumulativeConstraint());
11813 setUseTimetableEdgeFindingInCumulativeConstraint(other.getUseTimetableEdgeFindingInCumulativeConstraint());
11816 setUseDisjunctiveConstraintInCumulativeConstraint(other.getUseDisjunctiveConstraintInCumulativeConstraint());
12198 com.google.ortools.sat.SatParameters.VariableOrder result = com.google.ortools.sat.SatParameters.VariableOrder.valueOf(preferredVariableOrder_);
12206 public Builder setPreferredVariableOrder(com.google.ortools.sat.SatParameters.VariableOrder value) {
12241 com.google.ortools.sat.SatParameters.Polarity result = com.google.ortools.sat.SatParameters.Polarity.valueOf(initialPolarity_);
12242 return result == null ? com.google.ortools.sat.SatParameters.Polarity.POLARITY_FALSE : result;
12771 public com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm() {
12773 com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm result = com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.valueOf(minimizationAlgorithm_);
12774 return result == null ? com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.RECURSIVE : result;
12781 public Builder setMinimizationAlgorithm(com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value) {
12814 public com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm() {
12816 com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm result = com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.valueOf(binaryMinimizationAlgorithm_);
12817 return result == null ? com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_FIRST : result;
12824 public Builder setBinaryMinimizationAlgorithm(com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value) {
13040 com.google.ortools.sat.SatParameters.ClauseProtection result = com.google.ortools.sat.SatParameters.ClauseProtection.valueOf(clauseCleanupProtection_);
13041 return result == null ? com.google.ortools.sat.SatParameters.ClauseProtection.PROTECTION_NONE : result;
13048 public Builder setClauseCleanupProtection(com.google.ortools.sat.SatParameters.ClauseProtection value) {
13142 com.google.ortools.sat.SatParameters.ClauseOrdering result = com.google.ortools.sat.SatParameters.ClauseOrdering.valueOf(clauseCleanupOrdering_);
13143 return result == null ? com.google.ortools.sat.SatParameters.ClauseOrdering.CLAUSE_ACTIVITY : result;
13150 public Builder setClauseCleanupOrdering(com.google.ortools.sat.SatParameters.ClauseOrdering value) {
13778 public java.util.List<com.google.ortools.sat.SatParameters.RestartAlgorithm> getRestartAlgorithmsList() {
13780 java.lang.Integer, com.google.ortools.sat.SatParameters.RestartAlgorithm>(restartAlgorithms_, restartAlgorithms_converter_);
13816 public com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index) {
13862 public Builder addRestartAlgorithms(com.google.ortools.sat.SatParameters.RestartAlgorithm value) {
13918 private java.lang.Object defaultRestartAlgorithms_ = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,DL_MOVING_AVERAGE_RESTART";
17091 public com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder() {
17093 com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder result = com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf(maxSatAssumptionOrder_);
17094 return result == null ? com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.DEFAULT_ASSUMPTION_ORDER : result;
17101 public Builder setMaxSatAssumptionOrder(com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder value) {
17193 public com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification() {
17195 com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm result = com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.valueOf(maxSatStratification_);
17196 return result == null ? com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.STRATIFICATION_DESCENT : result;
17203 public Builder setMaxSatStratification(com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value) {
18786 com.google.ortools.sat.SatParameters.SearchBranching result = com.google.ortools.sat.SatParameters.SearchBranching.valueOf(searchBranching_);
18787 return result == null ? com.google.ortools.sat.SatParameters.SearchBranching.AUTOMATIC_SEARCH : result;
18794 public Builder setSearchBranching(com.google.ortools.sat.SatParameters.SearchBranching value) {
20706 com.google.ortools.sat.SatParameters.FPRoundingMethod result = com.google.ortools.sat.SatParameters.FPRoundingMethod.valueOf(fpRounding_);
20707 return result == null ? com.google.ortools.sat.SatParameters.FPRoundingMethod.PROPAGATION_ASSISTED : result;
Builder setMaxSatAssumptionOrder(com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder value)
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:17101
Builder setMipWantedPrecision(double value)
Definition: SatParameters.java:21819
Builder setMipMaxBound(double value)
Definition: SatParameters.java:21601
Builder setSubsumptionDuringConflictAnalysis(boolean value)
Definition: SatParameters.java:12887
Builder setRelativeGapLimit(double value)
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:14854
Builder setInitialPolarity(com.google.ortools.sat.SatParameters.Polarity value)
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:12249
.lang.Override int getNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:14381
.lang.Override boolean hasExploitAllLpSolution()
Definition: SatParameters.java:19015
.lang.Override boolean getCountAssumptionLevelsInLbd()
Definition: SatParameters.java:15434
Builder setRestartLbdAverageRatio(double value)
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:14197
.lang.Override boolean hasMipCheckPrecision()
Definition: SatParameters.java:21940
.lang.Override boolean hasRepairHint()
Definition: SatParameters.java:18882
.lang.Override boolean hasPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:15614
.lang.Override boolean getAddCliqueCuts()
Definition: SatParameters.java:18057
.lang.Override double getCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:18632
.lang.Override boolean hasCatchSigintSignal()
Definition: SatParameters.java:21250
Builder clearUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:17532
.lang.Override boolean hasAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:12704
.lang.Override boolean hasUseProbingSearch()
Definition: SatParameters.java:19317
.lang.Override boolean getUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:16211
.lang.Override boolean hasRandomPolarityRatio()
Definition: SatParameters.java:12433
.lang.Override int getCutCleanupTarget()
Definition: SatParameters.java:18679
.lang.Override boolean getPresolveUseBva()
Definition: SatParameters.java:15743
Builder setCpModelUseSatPresolve(boolean value)
Definition: SatParameters.java:16176
com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index)
Definition: SatParameters.java:13816
.lang.Override boolean hasExpandAlldiffConstraints()
Definition: SatParameters.java:16420
.lang.Override double getRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:14846
Builder clearStopAfterFirstSolution()
Definition: SatParameters.java:20032
Builder setBlockingRestartMultiplier(double value)
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:14338
.lang.Override double getBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:14330
Builder setLinearizationLevel(int value)
Definition: SatParameters.java:17582
.lang.Override boolean getUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:17259
.lang.Override boolean hasInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:12231
Builder clearMaxTimeInSeconds()
Definition: SatParameters.java:14529
Builder setLnsFocusOnDecisionVariables(boolean value)
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:20525
.lang.Override boolean hasExpandElementConstraints()
Definition: SatParameters.java:16247
Builder setInitialVariablesActivity(double value)
Definition: SatParameters.java:12665
Builder setClauseCleanupOrdering(com.google.ortools.sat.SatParameters.ClauseOrdering value)
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:13150
Builder clearOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:17784
Builder addAllRestartAlgorithms(java.lang.Iterable<? extends com.google.ortools.sat.SatParameters.RestartAlgorithm > values)
Definition: SatParameters.java:13887
Builder clearRandomBranchesRatio()
Definition: SatParameters.java:12546
Builder setRandomBranchesRatio(double value)
Definition: SatParameters.java:12530
Builder setMaxPresolveIterations(int value)
Definition: SatParameters.java:15883
Builder setCountAssumptionLevelsInLbd(boolean value)
Definition: SatParameters.java:15453
.lang.Override boolean hasPresolveBveClauseWeight()
Definition: SatParameters.java:15555
.lang.Override com.google.ortools.sat.SatParameters buildPartial()
Definition: SatParameters.java:10820
Builder setMaxIntegerRoundingScaling(int value)
Definition: SatParameters.java:18272
.lang.Override boolean hasPresolveBlockedClause()
Definition: SatParameters.java:15673
Builder clearCpModelPostsolveWithFullSolver()
Definition: SatParameters.java:16021
Builder setExpandReservoirConstraints(boolean value)
Definition: SatParameters.java:16505
Builder clearMipMaxBound()
Definition: SatParameters.java:21617
Builder clearPermutePresolveConstraintOrder()
optional bool permute_presolve_constraint_order = 179 [default = false];
Definition: SatParameters.java:15108
Builder clearAbsoluteGapLimit()
Definition: SatParameters.java:14825
.lang.Override boolean hasMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:13483
Builder clearGlucoseMaxDecay()
Definition: SatParameters.java:13576
Builder setRestartAlgorithms(int index, com.google.ortools.sat.SatParameters.RestartAlgorithm value)
Definition: SatParameters.java:13836
Builder setPbCleanupIncrement(int value)
Definition: SatParameters.java:13204
Builder clearLogSearchProgress()
Definition: SatParameters.java:15202
.lang.Override boolean hasSearchRandomizationTolerance()
Definition: SatParameters.java:20919
Builder clearAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:12751
.lang.Override boolean hasAddLpConstraintsLazily()
Definition: SatParameters.java:18312
.lang.Override boolean hasMipVarScaling()
Definition: SatParameters.java:21636
.lang.Override boolean hasLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:20509
.lang.Override boolean hasMaxConsecutiveInactiveCount()
Definition: SatParameters.java:18504
Builder clearInstantiateAllVariables()
Definition: SatParameters.java:19910
Builder clearBooleanEncodingLevel()
Definition: SatParameters.java:17658
.lang.Override boolean hasExpandAutomatonConstraints()
Definition: SatParameters.java:16305
.lang.Override boolean hasMaxDeterministicTime()
Definition: SatParameters.java:14548
.lang.Override boolean hasFindMultipleCores()
Definition: SatParameters.java:16971
Builder clearHintConflictLimit()
Definition: SatParameters.java:18862
Builder setStopAfterPresolve(boolean value)
Definition: SatParameters.java:20076
Builder setInterleaveSearch(boolean value)
Definition: SatParameters.java:20219
Builder clearMaxPresolveIterations()
Definition: SatParameters.java:15899
Builder setUseCombinedNoOverlap(boolean value)
Definition: SatParameters.java:21215
.lang.Override boolean hasUseCombinedNoOverlap()
Definition: SatParameters.java:21187
.lang.Override boolean hasRandomSeed()
Definition: SatParameters.java:14949
Builder clearMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:18485
Builder clearUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:16229
.lang.Override com.google.ortools.sat.SatParameters.ClauseOrdering getClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:13140
Builder clearVariableActivityDecay()
Definition: SatParameters.java:13470
Builder setMaxMemoryInMb(long value)
Definition: SatParameters.java:14717
Builder clearReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:20331
.lang.Override boolean getMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:15359
.lang.Override int getCpModelProbingLevel()
Definition: SatParameters.java:16109
Builder clearShareObjectiveBounds()
Definition: SatParameters.java:20386
.lang.Override double getRandomPolarityRatio()
Definition: SatParameters.java:12449
.lang.Override double getStrategyChangeIncreaseRatio()
Definition: SatParameters.java:14442
Builder clearPresolveBveThreshold()
Definition: SatParameters.java:15537
Builder clearMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:15391
Builder clearAddMirCuts()
Definition: SatParameters.java:17965
.lang.Override boolean hasCoverOptimization()
Definition: SatParameters.java:17030
Builder setCatchSigintSignal(boolean value)
Definition: SatParameters.java:21278
.lang.Override boolean getUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:17492
Builder setNewConstraintsBatchSize(int value)
Definition: SatParameters.java:18749
.lang.Override boolean getDisableConstraintExpansion()
Definition: SatParameters.java:16551
.lang.Override boolean getUseRelaxationLns()
Definition: SatParameters.java:20758
.lang.Override boolean hasUseLnsOnly()
Definition: SatParameters.java:20458
Builder clearExpandReservoirConstraints()
Definition: SatParameters.java:16520
.lang.Override boolean hasMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:13365
.lang.Override boolean hasTreatBinaryClausesSeparately()
Definition: SatParameters.java:14883
.lang.Override boolean hasRestartPeriod()
Definition: SatParameters.java:14013
.lang.Override boolean hasExploitObjective()
Definition: SatParameters.java:19195
.lang.Override boolean hasPermuteVariableRandomly()
Definition: SatParameters.java:15022
Builder clearTreatBinaryClausesSeparately()
Definition: SatParameters.java:14927
Builder clearCpModelProbingLevel()
Definition: SatParameters.java:16135
.lang.Override double getMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:13730
Builder setAbsoluteGapLimit(double value)
Definition: SatParameters.java:14802
.lang.Override boolean hasInstantiateAllVariables()
Definition: SatParameters.java:19869
.lang.Override boolean hasUseFeasibilityPump()
Definition: SatParameters.java:20646
Builder setGlucoseDecayIncrement(double value)
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:13605
Builder clearName()
Definition: SatParameters.java:12156
.lang.Override int getMipMaxActivityExponent()
Definition: SatParameters.java:21883
Builder setUsePbResolution(boolean value)
Definition: SatParameters.java:15307
Builder clearRestartAlgorithms()
Definition: SatParameters.java:13911
.lang.Override boolean getEnumerateAllSolutions()
Definition: SatParameters.java:19665
.lang.Override boolean hasAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:19930
.lang.Override boolean hasCutCleanupTarget()
Definition: SatParameters.java:18667
Builder setLogSearchProgress(boolean value)
Definition: SatParameters.java:15188
.lang.Override boolean getPermutePresolveConstraintOrder()
optional bool permute_presolve_constraint_order = 179 [default = false];
Definition: SatParameters.java:15090
Builder clearMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:17173
.lang.Override int getMaxPresolveIterations()
Definition: SatParameters.java:15869
.lang.Override boolean hasRandomizeSearch()
Definition: SatParameters.java:20858
Builder setProbingPeriodAtRoot(long value)
Definition: SatParameters.java:19283
.lang.Override Builder mergeFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:12045
.lang.Override boolean hasExploitBestSolution()
Definition: SatParameters.java:19076
Builder setInstantiateAllVariables(boolean value)
Definition: SatParameters.java:19895
.lang.Override Builder setField(com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value)
Definition: SatParameters.java:11498
.lang.Override boolean hasUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:17240
Builder setEnumerateAllSolutions(boolean value)
Definition: SatParameters.java:19682
Builder setUseTimetableEdgeFindingInCumulativeConstraint(boolean value)
Definition: SatParameters.java:17430
Builder setMinimizeWithPropagationRestartPeriod(int value)
Definition: SatParameters.java:13328
Builder clearPresolveExtractIntegerEnforcement()
Definition: SatParameters.java:16831
.lang.Override int getLinearizationLevel()
Definition: SatParameters.java:17567
Builder clearMipVarScaling()
Definition: SatParameters.java:21680
Builder setLnsExpandIntervalsInConstraintGraph(boolean value)
optional bool lns_expand_intervals_in_constraint_graph = 184 [default = true];
Definition: SatParameters.java:20564
Builder setStopAfterFirstSolution(boolean value)
Definition: SatParameters.java:20018
Builder setPresolveBveThreshold(int value)
Definition: SatParameters.java:15521
Builder setUseProbingSearch(boolean value)
Definition: SatParameters.java:19343
Builder setShareObjectiveBounds(boolean value)
Definition: SatParameters.java:20372
.lang.Override boolean hasClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:13132
Builder clearUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:17449
.lang.Override int getInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:20258
Builder clearDisableConstraintExpansion()
Definition: SatParameters.java:16579
.lang.Override boolean hasMaxIntegerRoundingScaling()
Definition: SatParameters.java:18236
Builder clearSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:18807
.lang.Override Builder setRepeatedField(com.google.protobuf.Descriptors.FieldDescriptor field, int index, java.lang.Object value)
Definition: SatParameters.java:11514
.lang.Override boolean getUseRinsLns()
Definition: SatParameters.java:20603
.lang.Override boolean hasClauseActivityDecay()
Definition: SatParameters.java:13671
Builder setExpandTableConstraints(boolean value)
Definition: SatParameters.java:16387
Builder clearMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:18430
Builder clearFillLogsInResponse()
Definition: SatParameters.java:15257
.lang.Override boolean hasMipMaxActivityExponent()
Definition: SatParameters.java:21865
Builder clearBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:14309
.lang.Override boolean hasShareObjectiveBounds()
Definition: SatParameters.java:20348
Builder setName(java.lang.String value)
Definition: SatParameters.java:12137
Builder setClauseCleanupPeriod(int value)
Definition: SatParameters.java:12945
.lang.Override boolean getCpModelUseSatPresolve()
Definition: SatParameters.java:16164
Builder clearSymmetryLevel()
Definition: SatParameters.java:21554
Builder clearMaxDeterministicTime()
Definition: SatParameters.java:14592
.lang.Override boolean hasSymmetryLevel()
Definition: SatParameters.java:21507
.lang.Override double getMipWantedPrecision()
Definition: SatParameters.java:21798
Builder setCutMaxActiveCountValue(double value)
Definition: SatParameters.java:18595
.lang.Override boolean hasMaxPresolveIterations()
Definition: SatParameters.java:15855
.lang.Override boolean hasMaxNumberOfConflicts()
Definition: SatParameters.java:14614
.lang.Override boolean hasClauseCleanupTarget()
Definition: SatParameters.java:12977
.lang.Override boolean hasAddMirCuts()
Definition: SatParameters.java:17924
Builder setMaxAllDiffCutSize(int value)
Definition: SatParameters.java:18134
Builder setMaxSatReverseAssumptionOrder(boolean value)
Definition: SatParameters.java:17158
.lang.Override long getMaxMemoryInMb()
Definition: SatParameters.java:14702
Builder setMipMaxActivityExponent(int value)
Definition: SatParameters.java:21901
.lang.Override com.google.ortools.sat.SatParameters getDefaultInstanceForType()
Definition: SatParameters.java:10806
Builder clearLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:20535
.lang.Override boolean getUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:17413
.lang.Override boolean getMinimizeCore()
Definition: SatParameters.java:16927
Builder setPermutePresolveConstraintOrder(boolean value)
optional bool permute_presolve_constraint_order = 179 [default = false];
Definition: SatParameters.java:15098
.lang.Override final Builder mergeUnknownFields(final com.google.protobuf.UnknownFieldSet unknownFields)
Definition: SatParameters.java:21997
.lang.Override double getMergeNoOverlapWorkLimit()
Definition: SatParameters.java:16616
Builder clearBinarySearchNumConflicts()
Definition: SatParameters.java:19551
Builder setOptimizeWithCore(boolean value)
Definition: SatParameters.java:19467
.lang.Override boolean hasConvertIntervals()
Definition: SatParameters.java:21443
.lang.Override boolean getUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:17338
.lang.Override boolean hasMergeNoOverlapWorkLimit()
Definition: SatParameters.java:16600
.lang.Override boolean getLogSearchProgress()
Definition: SatParameters.java:15176
Builder setPolarityRephaseIncrement(int value)
Definition: SatParameters.java:12396
.lang.Override boolean getLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:20517
.lang.Override int getNewConstraintsBatchSize()
Definition: SatParameters.java:18736
Builder setExpandAlldiffConstraints(boolean value)
Definition: SatParameters.java:16446
java.util.List< com.google.ortools.sat.SatParameters.RestartAlgorithm > getRestartAlgorithmsList()
Definition: SatParameters.java:13778
.lang.Override int getMaxAllDiffCutSize()
Definition: SatParameters.java:18120
.lang.Override boolean getLnsExpandIntervalsInConstraintGraph()
optional bool lns_expand_intervals_in_constraint_graph = 184 [default = true];
Definition: SatParameters.java:20556
Builder clearMaxAllDiffCutSize()
Definition: SatParameters.java:18150
.lang.Override boolean hasPbCleanupIncrement()
Definition: SatParameters.java:13180
.lang.Override boolean hasOptimizeWithMaxHs()
Definition: SatParameters.java:19573
Builder setMinimizeWithPropagationNumDecisions(int value)
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:13381
.lang.Override boolean hasVariableActivityDecay()
Definition: SatParameters.java:13414
Builder clearProbingPeriodAtRoot()
Definition: SatParameters.java:19299
.lang.Override boolean hasMipWantedPrecision()
Definition: SatParameters.java:21777
.lang.Override boolean hasClauseCleanupLbdBound()
Definition: SatParameters.java:13079
Builder clearCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:18650
Builder setUseErwaHeuristic(boolean value)
Definition: SatParameters.java:12593
.lang.Override boolean hasPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:12188
Builder clearAddZeroHalfCuts()
Definition: SatParameters.java:18024
Builder clearMaxNumCuts()
Definition: SatParameters.java:17725
boolean hasName()
Definition: SatParameters.java:12079
Builder setMergeAtMostOneWorkLimit(double value)
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:16679
.lang.Override boolean getInstantiateAllVariables()
Definition: SatParameters.java:19882
Builder clearCountAssumptionLevelsInLbd()
Definition: SatParameters.java:15474
Builder setMaxNumberOfConflicts(long value)
Definition: SatParameters.java:14648
Builder setPresolveBveClauseWeight(int value)
Definition: SatParameters.java:15581
Builder clearMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:13352
Builder clearCutCleanupTarget()
Definition: SatParameters.java:18705
Builder setNameBytes(com.google.protobuf.ByteString value)
Definition: SatParameters.java:12172
.lang.Override boolean getUseProbingSearch()
Definition: SatParameters.java:19330
.lang.Override double getMaxDeterministicTime()
Definition: SatParameters.java:14562
.lang.Override boolean getExpandAlldiffConstraints()
Definition: SatParameters.java:16433
Builder clearMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:17114
.lang.Override boolean hasExploitIntegerLpSolution()
Definition: SatParameters.java:18949
.lang.Override Builder addRepeatedField(com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value)
Definition: SatParameters.java:11520
Builder clearSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:12904
.lang.Override boolean getShareLevelZeroBounds()
Definition: SatParameters.java:20415
.lang.Override boolean hasInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:20250
.lang.Override boolean getOptimizeWithCore()
Definition: SatParameters.java:19452
Builder setExploitRelaxationSolution(boolean value)
Definition: SatParameters.java:19161
Builder setCpModelProbingLevel(int value)
Definition: SatParameters.java:16121
.lang.Override boolean hasBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:12806
Builder setMinimizeCore(boolean value)
Definition: SatParameters.java:16939
.lang.Override boolean hasClauseCleanupPeriod()
Definition: SatParameters.java:12921
Builder setUseRinsLns(boolean value)
Definition: SatParameters.java:20615
.lang.Override boolean hasMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:15344
.lang.Override boolean hasAddZeroHalfCuts()
Definition: SatParameters.java:17983
Builder clearUseBlockingRestart()
Definition: SatParameters.java:14270
.lang.Override int getRandomSeed()
Definition: SatParameters.java:14966
Builder setUseBlockingRestart(boolean value)
Definition: SatParameters.java:14254
.lang.Override Builder clear()
Definition: SatParameters.java:10470
.lang.Override boolean hasMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:16663
Builder clearUseImpliedBounds()
Definition: SatParameters.java:21357
.lang.Override boolean hasExploitRelaxationSolution()
Definition: SatParameters.java:19133
Builder setHintConflictLimit(int value)
Definition: SatParameters.java:18848
Builder clearDiversifyLnsParams()
Definition: SatParameters.java:20841
Builder setConvertIntervals(boolean value)
Definition: SatParameters.java:21471
Builder setCutCleanupTarget(int value)
Definition: SatParameters.java:18691
Builder clearAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:19977
Builder setAutoDetectGreaterThanAtLeastOneOf(boolean value)
Definition: SatParameters.java:19960
.lang.Override boolean getSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:12872
Builder setBinarySearchNumConflicts(int value)
Definition: SatParameters.java:19534
Builder clearCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:16080
Builder clearRandomSeed()
Definition: SatParameters.java:15002
Builder setRestartDlAverageRatio(double value)
Definition: SatParameters.java:14153
.lang.Override boolean getShareObjectiveBounds()
Definition: SatParameters.java:20360
Builder clearMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:17216
Builder setInterleaveBatchSize(int value)
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:20266
.lang.Override boolean hasUsePbResolution()
Definition: SatParameters.java:15277
Builder clearPseudoCostReliabilityThreshold()
Definition: SatParameters.java:19417
.lang.Override boolean hasUseOptionalVariables()
Definition: SatParameters.java:20994
.lang.Override com.google.protobuf.Descriptors.Descriptor getDescriptorForType()
Definition: SatParameters.java:10801
Builder clearCoverOptimization()
Definition: SatParameters.java:17071
.lang.Override boolean hasUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:17321
.lang.Override boolean hasAddCliqueCuts()
Definition: SatParameters.java:18043
.lang.Override boolean hasGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:13589
Builder clearClauseCleanupLbdBound()
Definition: SatParameters.java:13120
.lang.Override boolean hasPolarityRephaseIncrement()
Definition: SatParameters.java:12368
Builder setAddLpConstraintsLazily(boolean value)
Definition: SatParameters.java:18342
Builder setFpRounding(com.google.ortools.sat.SatParameters.FPRoundingMethod value)
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:20714
Builder setVariableActivityDecay(double value)
Definition: SatParameters.java:13450
Builder clearConvertIntervals()
Definition: SatParameters.java:21487
Builder setExploitAllLpSolution(boolean value)
Definition: SatParameters.java:19043
.lang.Override boolean hasUseErwaHeuristic()
Definition: SatParameters.java:12565
.lang.Override int getPolarityRephaseIncrement()
Definition: SatParameters.java:12382
.lang.Override boolean hasNewConstraintsBatchSize()
Definition: SatParameters.java:18723
Builder clearCpModelPresolve()
Definition: SatParameters.java:15954
.lang.Override boolean getInterleaveSearch()
Definition: SatParameters.java:20203
Builder clearCpModelUseSatPresolve()
Definition: SatParameters.java:16190
.lang.Override boolean hasOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:17743
.lang.Override double getRandomBranchesRatio()
Definition: SatParameters.java:12516
Builder setAddCliqueCuts(boolean value)
Definition: SatParameters.java:18071
.lang.Override boolean hasBinarySearchNumConflicts()
Definition: SatParameters.java:19504
.lang.Override boolean getExpandAutomatonConstraints()
Definition: SatParameters.java:16317
Builder clearKeepAllFeasibleSolutionsInPresolve()
Definition: SatParameters.java:19780
Builder setOnlyAddCutsAtLevelZero(boolean value)
Definition: SatParameters.java:17769
Builder clearEnumerateAllSolutions()
Definition: SatParameters.java:19701
.lang.Override boolean hasShareLevelZeroBounds()
Definition: SatParameters.java:20403
.lang.Override boolean getOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:17756
.lang.Override boolean hasFillTightenedDomainsInResponse()
Definition: SatParameters.java:19801
.lang.Override boolean getRepairHint()
Definition: SatParameters.java:18897
.lang.Override boolean hasUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:17396
Builder setPbCleanupRatio(double value)
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:13247
.lang.Override boolean getExpandReservoirConstraints()
Definition: SatParameters.java:16492
.lang.Override boolean hasClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:13030
.lang.Override double getCutMaxActiveCountValue()
Definition: SatParameters.java:18581
Builder setUseSatInprocessing(boolean value)
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:16219
.lang.Override double getRestartDlAverageRatio()
Definition: SatParameters.java:14140
Builder setSearchBranching(com.google.ortools.sat.SatParameters.SearchBranching value)
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:18794
.lang.Override boolean hasFillLogsInResponse()
Definition: SatParameters.java:15219
Builder clearUseErwaHeuristic()
Definition: SatParameters.java:12609
Builder setBlockingRestartWindowSize(int value)
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:14299
Builder setNumSearchWorkers(int value)
Definition: SatParameters.java:20147
.lang.Override int getRestartRunningWindowSize()
Definition: SatParameters.java:14083
.lang.Override boolean hasMaxAllDiffCutSize()
Definition: SatParameters.java:18106
.lang.Override boolean hasMaxNumCuts()
Definition: SatParameters.java:17678
Builder clearMergeNoOverlapWorkLimit()
Definition: SatParameters.java:16650
com.google.protobuf.ByteString getDefaultRestartAlgorithmsBytes()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:13949
Builder setUseOptimizationHints(boolean value)
Definition: SatParameters.java:16881
.lang.Override int getRestartPeriod()
Definition: SatParameters.java:14026
.lang.Override boolean hasUsePhaseSaving()
Definition: SatParameters.java:12287
Builder setMaxCutRoundsAtLevelZero(int value)
Definition: SatParameters.java:18471
.lang.Override boolean hasOptimizeWithCore()
Definition: SatParameters.java:19437
Builder clearMipCheckPrecision()
Definition: SatParameters.java:21984
.lang.Override boolean getExploitAllLpSolution()
Definition: SatParameters.java:19029
Builder setClauseCleanupLbdBound(int value)
Definition: SatParameters.java:13105
Builder setClauseCleanupTarget(int value)
Definition: SatParameters.java:13003
.lang.Override boolean hasAddCgCuts()
Definition: SatParameters.java:17865
.lang.Override long getPseudoCostReliabilityThreshold()
Definition: SatParameters.java:19389
.lang.Override boolean getPermuteVariableRandomly()
Definition: SatParameters.java:15037
.lang.Override double getMaxTimeInSeconds()
Definition: SatParameters.java:14501
.lang.Override int getPresolveSubstitutionLevel()
Definition: SatParameters.java:16724
Builder clearClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:13061
Builder clearLnsExpandIntervalsInConstraintGraph()
optional bool lns_expand_intervals_in_constraint_graph = 184 [default = true];
Definition: SatParameters.java:20574
Builder setUseExactLpReason(boolean value)
Definition: SatParameters.java:21088
.lang.Override com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:17091
Builder mergeFrom(com.google.ortools.sat.SatParameters other)
Definition: SatParameters.java:11535
Builder setUseOverloadCheckerInCumulativeConstraint(boolean value)
Definition: SatParameters.java:17355
Builder clearRandomPolarityRatio()
Definition: SatParameters.java:12483
.lang.Override boolean hasPseudoCostReliabilityThreshold()
Definition: SatParameters.java:19376
Builder clearMipMaxActivityExponent()
Definition: SatParameters.java:21921
Builder clearCatchSigintSignal()
Definition: SatParameters.java:21294
.lang.Override boolean getAddKnapsackCuts()
Definition: SatParameters.java:17817
.lang.Override boolean hasCpModelProbingLevel()
Definition: SatParameters.java:16097
Builder clearPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:15655
Builder clearSearchRandomizationTolerance()
Definition: SatParameters.java:20975
java.lang.String getDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:13930
.lang.Override boolean hasMaxMemoryInMb()
Definition: SatParameters.java:14687
Builder clearNumSearchWorkers()
Definition: SatParameters.java:20166
.lang.Override boolean hasRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:14838
Builder clearUseLnsOnly()
Definition: SatParameters.java:20496
.lang.Override boolean getOptimizeWithMaxHs()
Definition: SatParameters.java:19590
Builder setRandomPolarityRatio(double value)
Definition: SatParameters.java:12465
.lang.Override int getClauseCleanupTarget()
Definition: SatParameters.java:12990
Builder clearOptimizeWithMaxHs()
Definition: SatParameters.java:19626
.lang.Override boolean hasInitialVariablesActivity()
Definition: SatParameters.java:12631
Builder setExpandAutomatonConstraints(boolean value)
Definition: SatParameters.java:16329
.lang.Override boolean hasMinimizeCore()
Definition: SatParameters.java:16915
Builder setTreatBinaryClausesSeparately(boolean value)
Definition: SatParameters.java:14911
Builder clearMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:13391
.lang.Override boolean hasEnumerateAllSolutions()
Definition: SatParameters.java:19648
.lang.Override double getClauseActivityDecay()
Definition: SatParameters.java:13683
Builder clearInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:20276
Builder setCoverOptimization(boolean value)
Definition: SatParameters.java:17056
.lang.Override boolean hasPresolveExtractIntegerEnforcement()
Definition: SatParameters.java:16778
.lang.Override boolean hasFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:20696
Builder clearUsePbResolution()
Definition: SatParameters.java:15324
Builder setUseDisjunctiveConstraintInCumulativeConstraint(boolean value)
Definition: SatParameters.java:17511
Builder clearUseCombinedNoOverlap()
Definition: SatParameters.java:21231
Builder setSymmetryLevel(int value)
Definition: SatParameters.java:21537
.lang.Override boolean getCpModelPostsolveWithFullSolver()
Definition: SatParameters.java:15989
.lang.Override boolean hasCpModelPostsolveWithFullSolver()
Definition: SatParameters.java:15974
Builder setMaxNumCuts(int value)
Definition: SatParameters.java:17708
.lang.Override int getNumSearchWorkers()
Definition: SatParameters.java:20130
.lang.Override boolean hasMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:13722
.lang.Override double getRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:14189
.lang.Override boolean getUseBranchingInLp()
Definition: SatParameters.java:21138
Builder clearPresolveBlockedClause()
Definition: SatParameters.java:15714
.lang.Override boolean getMipAutomaticallyScaleVariables()
Definition: SatParameters.java:21717
Builder clearClauseCleanupTarget()
Definition: SatParameters.java:13018
.lang.Override boolean hasCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:16039
Builder clearAddCliqueCuts()
Definition: SatParameters.java:18087
Builder clearPolarityRephaseIncrement()
Definition: SatParameters.java:12412
Builder setMaxTimeInSeconds(double value)
Definition: SatParameters.java:14514
.lang.Override int getMaxConsecutiveInactiveCount()
Definition: SatParameters.java:18518
Builder setDisableConstraintExpansion(boolean value)
Definition: SatParameters.java:16564
.lang.Override boolean getExpandElementConstraints()
Definition: SatParameters.java:16260
Builder setAddLinMaxCuts(boolean value)
Definition: SatParameters.java:18197
.lang.Override boolean getTreatBinaryClausesSeparately()
Definition: SatParameters.java:14897
.lang.Override boolean getExploitRelaxationSolution()
Definition: SatParameters.java:19147
Builder setExploitBestSolution(boolean value)
Definition: SatParameters.java:19100
.lang.Override double getMipVarScaling()
Definition: SatParameters.java:21650
Builder clearMinimizeCore()
Definition: SatParameters.java:16953
Builder setRandomSeed(int value)
Definition: SatParameters.java:14983
Builder setUseFeasibilityPump(boolean value)
Definition: SatParameters.java:20670
.lang.Override int getBooleanEncodingLevel()
Definition: SatParameters.java:17630
.lang.Override boolean hasSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:18776
.lang.Override boolean getPolishLpSolution()
Definition: SatParameters.java:21392
Builder clearPbCleanupIncrement()
Definition: SatParameters.java:13218
.lang.Override boolean hasUseAbslRandom()
optional bool use_absl_random = 180 [default = false];
Definition: SatParameters.java:15121
Builder clearInterleaveSearch()
Definition: SatParameters.java:20237
.lang.Override boolean hasAbsoluteGapLimit()
Definition: SatParameters.java:14760
Builder clearExploitObjective()
Definition: SatParameters.java:19236
Builder clearUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:17299
Builder clearMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:16689
Builder clearFindMultipleCores()
Definition: SatParameters.java:17012
.lang.Override Builder mergeFrom(com.google.protobuf.Message other)
Definition: SatParameters.java:11526
Builder setPresolveBvaThreshold(int value)
Definition: SatParameters.java:15819
.lang.Override int getCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:16052
.lang.Override long getProbingPeriodAtRoot()
Definition: SatParameters.java:19269
Builder setNumConflictsBeforeStrategyChanges(int value)
Definition: SatParameters.java:14395
Builder clearExploitIntegerLpSolution()
Definition: SatParameters.java:18996
.lang.Override boolean hasUseExactLpReason()
Definition: SatParameters.java:21058
.lang.Override com.google.protobuf.GeneratedMessageV3.FieldAccessorTable internalGetFieldAccessorTable()
Definition: SatParameters.java:10448
Builder setFillLogsInResponse(boolean value)
Definition: SatParameters.java:15243
Builder clearExploitAllLpSolution()
Definition: SatParameters.java:19059
.lang.Override boolean hasKeepAllFeasibleSolutionsInPresolve()
Definition: SatParameters.java:19724
.lang.Override boolean hasCountAssumptionLevelsInLbd()
Definition: SatParameters.java:15415
.lang.Override com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:12771
Builder clearFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:20727
Builder setGlucoseDecayIncrementPeriod(int value)
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:13644
Builder setUseBranchingInLp(boolean value)
Definition: SatParameters.java:21152
Builder clearLinearizationLevel()
Definition: SatParameters.java:17599
Builder clearUseBranchingInLp()
Definition: SatParameters.java:21168
.lang.Override final boolean isInitialized()
Definition: SatParameters.java:12040
.lang.Override boolean hasInterleaveSearch()
Definition: SatParameters.java:20187
.lang.Override boolean getStopAfterFirstSolution()
Definition: SatParameters.java:20006
.lang.Override double getPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:13239
Builder clearGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:13654
Builder clearUseExactLpReason()
Definition: SatParameters.java:21105
Builder setMipVarScaling(double value)
Definition: SatParameters.java:21664
Builder setMinimizeReductionDuringPbResolution(boolean value)
Definition: SatParameters.java:15374
.lang.Override double getPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:15627
.lang.Override double getInitialVariablesActivity()
Definition: SatParameters.java:12648
Builder setAddCgCuts(boolean value)
Definition: SatParameters.java:17891
.lang.Override boolean hasNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:14367
.lang.Override boolean getCatchSigintSignal()
Definition: SatParameters.java:21264
Builder clearUseOptimizationHints()
Definition: SatParameters.java:16898
.lang.Override boolean hasBooleanEncodingLevel()
Definition: SatParameters.java:17617
.lang.Override boolean hasMaxTimeInSeconds()
Definition: SatParameters.java:14488
.lang.Override boolean hasUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:17473
.lang.Override boolean hasHintConflictLimit()
Definition: SatParameters.java:18824
.lang.Override int getPresolveBvaThreshold()
Definition: SatParameters.java:15804
Builder clearPresolveBveClauseWeight()
Definition: SatParameters.java:15596
Builder clearUseOptionalVariables()
Definition: SatParameters.java:21038
.lang.Override double getGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:13597
Builder setDefaultRestartAlgorithmsBytes(com.google.protobuf.ByteString value)
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:13991
Builder clearMaxNumberOfConflicts()
Definition: SatParameters.java:14667
.lang.Override boolean hasRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:14181
.lang.Override boolean getExpandTableConstraints()
Definition: SatParameters.java:16374
.lang.Override int getPresolveBveClauseWeight()
Definition: SatParameters.java:15568
.lang.Override double getMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:13491
.lang.Override boolean hasMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:17083
.lang.Override double getMipCheckPrecision()
Definition: SatParameters.java:21954
.lang.Override int getMaxNumCuts()
Definition: SatParameters.java:17693
Builder clearPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:13257
Builder clearRestartDlAverageRatio()
Definition: SatParameters.java:14168
Builder setMinOrthogonalityForLpConstraints(double value)
Definition: SatParameters.java:18412
.lang.Override boolean hasPresolveUseBva()
Definition: SatParameters.java:15731
.lang.Override boolean getUseOptimizationHints()
Definition: SatParameters.java:16866
.lang.Override int getHintConflictLimit()
Definition: SatParameters.java:18836
.lang.Override int getClauseCleanupPeriod()
Definition: SatParameters.java:12933
.lang.Override long getSearchRandomizationTolerance()
Definition: SatParameters.java:20937
.lang.Override boolean hasDisableConstraintExpansion()
Definition: SatParameters.java:16538
.lang.Override boolean hasMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:18447
.lang.Override boolean hasGlucoseMaxDecay()
Definition: SatParameters.java:13529
Builder clearMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:13748
.lang.Override boolean hasUseImpliedBounds()
Definition: SatParameters.java:21313
Builder setFindMultipleCores(boolean value)
Definition: SatParameters.java:16997
Builder clearPresolveBvaThreshold()
Definition: SatParameters.java:15836
.lang.Override boolean hasCutMaxActiveCountValue()
Definition: SatParameters.java:18567
.lang.Override boolean hasMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:17185
.lang.Override com.google.ortools.sat.SatParameters.Polarity getInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:12239
Builder clearGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:13615
Builder clearExpandElementConstraints()
Definition: SatParameters.java:16288
Builder setUseAbslRandom(boolean value)
optional bool use_absl_random = 180 [default = false];
Definition: SatParameters.java:15137
Builder setUsePrecedencesInDisjunctiveConstraint(boolean value)
Definition: SatParameters.java:17278
.lang.Override boolean hasAddKnapsackCuts()
Definition: SatParameters.java:17803
.lang.Override boolean hasUseRelaxationLns()
Definition: SatParameters.java:20745
Builder setStrategyChangeIncreaseRatio(double value)
Definition: SatParameters.java:14455
Builder clearExploitBestSolution()
Definition: SatParameters.java:19114
.lang.Override boolean getUseCombinedNoOverlap()
Definition: SatParameters.java:21201
Builder setGlucoseMaxDecay(double value)
Definition: SatParameters.java:13559
Builder setBooleanEncodingLevel(int value)
Definition: SatParameters.java:17643
Builder setRestartRunningWindowSize(int value)
Definition: SatParameters.java:14095
.lang.Override boolean hasPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:13231
.lang.Override boolean getPresolveExtractIntegerEnforcement()
Definition: SatParameters.java:16795
Builder setMaxClauseActivityValue(double value)
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:13738
Builder setUseLnsOnly(boolean value)
Definition: SatParameters.java:20482
Builder setFillTightenedDomainsInResponse(boolean value)
Definition: SatParameters.java:19833
Builder clearRestartRunningWindowSize()
Definition: SatParameters.java:14109
Builder clearNewConstraintsBatchSize()
Definition: SatParameters.java:18764
Builder clearClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:13163
Builder setPresolveProbingDeterministicTimeLimit(double value)
Definition: SatParameters.java:15640
.lang.Override boolean getKeepAllFeasibleSolutionsInPresolve()
Definition: SatParameters.java:19742
Builder clearNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:14411
Builder setPolishLpSolution(boolean value)
Definition: SatParameters.java:21407
.lang.Override double getGlucoseMaxDecay()
Definition: SatParameters.java:13544
Builder clearMaxConsecutiveInactiveCount()
Definition: SatParameters.java:18548
.lang.Override boolean hasMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:18380
.lang.Override boolean hasProbingPeriodAtRoot()
Definition: SatParameters.java:19255
Builder setExploitIntegerLpSolution(boolean value)
Definition: SatParameters.java:18979
Builder setRepairHint(boolean value)
Definition: SatParameters.java:18912
.lang.Override boolean hasCpModelUseSatPresolve()
Definition: SatParameters.java:16152
.lang.Override boolean getConvertIntervals()
Definition: SatParameters.java:21457
.lang.Override boolean hasRestartDlAverageRatio()
Definition: SatParameters.java:14127
int getRestartAlgorithmsCount()
Definition: SatParameters.java:13797
Builder clearAddCgCuts()
Definition: SatParameters.java:17906
.lang.Override boolean hasMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:13284
Builder setDiversifyLnsParams(boolean value)
Definition: SatParameters.java:20827
Builder clearRandomizeSearch()
Definition: SatParameters.java:20896
.lang.Override boolean hasLinearizationLevel()
Definition: SatParameters.java:17552
Builder setClauseActivityDecay(double value)
Definition: SatParameters.java:13695
Builder clearShareLevelZeroBounds()
Definition: SatParameters.java:20441
Builder clearRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:14207
.lang.Override boolean getReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:20305
.lang.Override boolean hasPresolveSubstitutionLevel()
Definition: SatParameters.java:16709
java.lang.String getName()
Definition: SatParameters.java:12091
Builder clearBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:12837
.lang.Override boolean getAddCgCuts()
Definition: SatParameters.java:17878
.lang.Override boolean hasPresolveBvaThreshold()
Definition: SatParameters.java:15789
Builder clearDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:13980
.lang.Override boolean getExploitBestSolution()
Definition: SatParameters.java:19088
Builder clearExpandAutomatonConstraints()
Definition: SatParameters.java:16343
Builder setAddZeroHalfCuts(boolean value)
Definition: SatParameters.java:18009
.lang.Override boolean hasGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:13628
Builder clearUseAbslRandom()
optional bool use_absl_random = 180 [default = false];
Definition: SatParameters.java:15147
.lang.Override double getMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:18396
Builder clearAddKnapsackCuts()
Definition: SatParameters.java:17847
Builder setPresolveUseBva(boolean value)
Definition: SatParameters.java:15755
Builder setPermuteVariableRandomly(boolean value)
Definition: SatParameters.java:15052
.lang.Override boolean hasRestartRunningWindowSize()
Definition: SatParameters.java:14071
.lang.Override boolean hasExpandReservoirConstraints()
Definition: SatParameters.java:16479
Builder clearPermuteVariableRandomly()
Definition: SatParameters.java:15069
Builder setRandomizeSearch(boolean value)
Definition: SatParameters.java:20882
.lang.Override boolean hasStrategyChangeIncreaseRatio()
Definition: SatParameters.java:14429
.lang.Override int getBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:14291
.lang.Override final Builder setUnknownFields(final com.google.protobuf.UnknownFieldSet unknownFields)
Definition: SatParameters.java:21991
Builder clearRepairHint()
Definition: SatParameters.java:18929
.lang.Override boolean getDiversifyLnsParams()
Definition: SatParameters.java:20815
Builder setRestartPeriod(int value)
Definition: SatParameters.java:14039
.lang.Override boolean hasMipMaxBound()
Definition: SatParameters.java:21573
.lang.Override int getMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:13373
.lang.Override boolean getUseAbslRandom()
optional bool use_absl_random = 180 [default = false];
Definition: SatParameters.java:15129
Builder setMergeNoOverlapWorkLimit(double value)
Definition: SatParameters.java:16632
Builder setPseudoCostReliabilityThreshold(long value)
Definition: SatParameters.java:19402
Builder setExploitObjective(boolean value)
Definition: SatParameters.java:19221
.lang.Override boolean getFillTightenedDomainsInResponse()
Definition: SatParameters.java:19817
Builder clearInitialVariablesActivity()
Definition: SatParameters.java:12684
Builder setUseRelaxationLns(boolean value)
Definition: SatParameters.java:20771
.lang.Override com.google.ortools.sat.SatParameters.FPRoundingMethod getFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:20704
.lang.Override double getMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:16671
.lang.Override boolean hasUseRinsLns()
Definition: SatParameters.java:20591
Builder clearExpandAlldiffConstraints()
Definition: SatParameters.java:16461
.lang.Override boolean getExploitObjective()
Definition: SatParameters.java:19208
Builder clearOptimizeWithCore()
Definition: SatParameters.java:19484
Builder setKeepAllFeasibleSolutionsInPresolve(boolean value)
Definition: SatParameters.java:19760
Builder clearMaxIntegerRoundingScaling()
Definition: SatParameters.java:18292
Builder clearInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:12262
Builder clearCutMaxActiveCountValue()
Definition: SatParameters.java:18611
.lang.Override boolean hasUseBlockingRestart()
Definition: SatParameters.java:14226
Builder setSearchRandomizationTolerance(long value)
Definition: SatParameters.java:20955
.lang.Override com.google.ortools.sat.SatParameters.SearchBranching getSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:18784
Builder setCpModelPostsolveWithFullSolver(boolean value)
Definition: SatParameters.java:16004
.lang.Override boolean hasStopAfterFirstSolution()
Definition: SatParameters.java:19994
Builder clearUseRinsLns()
Definition: SatParameters.java:20629
Builder clearPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:12219
Builder setMaxVariableActivityValue(double value)
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:13499
Builder setMaxDeterministicTime(double value)
Definition: SatParameters.java:14576
.lang.Override boolean getFillLogsInResponse()
Definition: SatParameters.java:15231
.lang.Override boolean hasPresolveBveThreshold()
Definition: SatParameters.java:15493
.lang.Override com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:17193
.lang.Override boolean getAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:12719
.lang.Override Builder clone()
Definition: SatParameters.java:11494
.lang.Override boolean getCpModelPresolve()
Definition: SatParameters.java:15928
Builder clearFillTightenedDomainsInResponse()
Definition: SatParameters.java:19851
Builder clearPresolveUseBva()
Definition: SatParameters.java:15769
.lang.Override boolean hasBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:14322
Builder clearMaxMemoryInMb()
Definition: SatParameters.java:14734
.lang.Override boolean getCoverOptimization()
Definition: SatParameters.java:17043
.lang.Override boolean hasReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:20293
.lang.Override double getAbsoluteGapLimit()
Definition: SatParameters.java:14781
Builder setOptimizeWithMaxHs(boolean value)
Definition: SatParameters.java:19607
.lang.Override boolean hasSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:12857
static final com.google.protobuf.Descriptors.Descriptor getDescriptor()
Definition: SatParameters.java:10442
Builder clearMipAutomaticallyScaleVariables()
Definition: SatParameters.java:21751
.lang.Override int getPresolveBveThreshold()
Definition: SatParameters.java:15507
.lang.Override com.google.ortools.sat.SatParameters build()
Definition: SatParameters.java:10811
.lang.Override boolean getUseImpliedBounds()
Definition: SatParameters.java:21327
Builder clearMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:12794
Builder clearAddLpConstraintsLazily()
Definition: SatParameters.java:18359
.lang.Override double getVariableActivityDecay()
Definition: SatParameters.java:13432
Builder setClauseCleanupProtection(com.google.ortools.sat.SatParameters.ClauseProtection value)
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:13048
Builder setUseImpliedBounds(boolean value)
Definition: SatParameters.java:21341
.lang.Override boolean getUseLnsOnly()
Definition: SatParameters.java:20470
Builder clearUseRelaxationLns()
Definition: SatParameters.java:20786
Builder clearUsePhaseSaving()
Definition: SatParameters.java:12349
Builder setPreferredVariableOrder(com.google.ortools.sat.SatParameters.VariableOrder value)
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:12206
.lang.Override int getPbCleanupIncrement()
Definition: SatParameters.java:13192
.lang.Override boolean getPresolveBlockedClause()
Definition: SatParameters.java:15686
Builder setMaxSatStratification(com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value)
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:17203
.lang.Override boolean hasUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:16203
.lang.Override com.google.ortools.sat.SatParameters.ClauseProtection getClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:13038
Builder clearPresolveSubstitutionLevel()
Definition: SatParameters.java:16756
Builder clearMipWantedPrecision()
Definition: SatParameters.java:21842
Builder setDefaultRestartAlgorithms(java.lang.String value)
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:13966
.lang.Override boolean hasMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:17132
.lang.Override boolean hasStopAfterPresolve()
Definition: SatParameters.java:20050
.lang.Override boolean hasDiversifyLnsParams()
Definition: SatParameters.java:20803
.lang.Override int getClauseCleanupLbdBound()
Definition: SatParameters.java:13092
Builder setBinaryMinimizationAlgorithm(com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value)
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:12824
.lang.Override boolean hasLnsExpandIntervalsInConstraintGraph()
optional bool lns_expand_intervals_in_constraint_graph = 184 [default = true];
Definition: SatParameters.java:20548
Builder addRestartAlgorithms(com.google.ortools.sat.SatParameters.RestartAlgorithm value)
Definition: SatParameters.java:13862
Builder clearUseFeasibilityPump()
Definition: SatParameters.java:20684
Builder setCutActiveCountDecay(double value)
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:18640
.lang.Override int getMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:13306
.lang.Override boolean hasCpModelPresolve()
Definition: SatParameters.java:15916
boolean hasDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:13923
.lang.Override boolean getFindMultipleCores()
Definition: SatParameters.java:16984
.lang.Override int getMaxIntegerRoundingScaling()
Definition: SatParameters.java:18254
.lang.Override boolean hasRandomBranchesRatio()
Definition: SatParameters.java:12502
.lang.Override boolean hasPolishLpSolution()
Definition: SatParameters.java:21377
Builder clearRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:14864
.lang.Override boolean getUsePhaseSaving()
Definition: SatParameters.java:12307
Builder setMinimizationAlgorithm(com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value)
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:12781
Builder setReduceMemoryUsageInInterleaveMode(boolean value)
Definition: SatParameters.java:20317
.lang.Override boolean getAddLinMaxCuts()
Definition: SatParameters.java:18183
Builder clearPolishLpSolution()
Definition: SatParameters.java:21424
.lang.Override boolean getAddMirCuts()
Definition: SatParameters.java:17937
Builder setMipCheckPrecision(double value)
Definition: SatParameters.java:21968
com.google.protobuf.ByteString getNameBytes()
Definition: SatParameters.java:12115
Builder clearExploitRelaxationSolution()
Definition: SatParameters.java:19177
.lang.Override boolean getMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:17145
.lang.Override long getMaxNumberOfConflicts()
Definition: SatParameters.java:14631
.lang.Override boolean hasMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:12763
.lang.Override boolean hasExpandTableConstraints()
Definition: SatParameters.java:16361
Builder clearUseProbingSearch()
Definition: SatParameters.java:19358
.lang.Override boolean getUseOptionalVariables()
Definition: SatParameters.java:21008
Builder clearMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:13509
Builder clearAddLinMaxCuts()
Definition: SatParameters.java:18213
Builder setMipAutomaticallyScaleVariables(boolean value)
Definition: SatParameters.java:21733
.lang.Override boolean getUsePbResolution()
Definition: SatParameters.java:15292
.lang.Override boolean getExploitIntegerLpSolution()
Definition: SatParameters.java:18964
Builder setPresolveBlockedClause(boolean value)
Definition: SatParameters.java:15699
.lang.Override boolean hasPermutePresolveConstraintOrder()
optional bool permute_presolve_constraint_order = 179 [default = false];
Definition: SatParameters.java:15082
.lang.Override boolean getAddZeroHalfCuts()
Definition: SatParameters.java:17996
Builder setShareLevelZeroBounds(boolean value)
Definition: SatParameters.java:20427
.lang.Override boolean getAddLpConstraintsLazily()
Definition: SatParameters.java:18327
Builder clearStrategyChangeIncreaseRatio()
Definition: SatParameters.java:14470
.lang.Override boolean getUseErwaHeuristic()
Definition: SatParameters.java:12579
.lang.Override boolean getAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:19945
Builder clearClauseCleanupPeriod()
Definition: SatParameters.java:12959
Builder setCpModelPresolve(boolean value)
Definition: SatParameters.java:15940
Builder setUsePhaseSaving(boolean value)
Definition: SatParameters.java:12327
Builder clearRestartPeriod()
Definition: SatParameters.java:14054
Builder setAlsoBumpVariablesInConflictReasons(boolean value)
Definition: SatParameters.java:12734
.lang.Override boolean hasUseOptimizationHints()
Definition: SatParameters.java:16851
.lang.Override boolean hasMipAutomaticallyScaleVariables()
Definition: SatParameters.java:21701
.lang.Override boolean hasLogSearchProgress()
Definition: SatParameters.java:15164
.lang.Override int getSymmetryLevel()
Definition: SatParameters.java:21522
.lang.Override boolean hasUseBranchingInLp()
Definition: SatParameters.java:21124
Builder setPresolveExtractIntegerEnforcement(boolean value)
Definition: SatParameters.java:16812
Builder setPresolveSubstitutionLevel(int value)
Definition: SatParameters.java:16739
Builder clearClauseActivityDecay()
Definition: SatParameters.java:13709
.lang.Override boolean getRandomizeSearch()
Definition: SatParameters.java:20870
.lang.Override boolean hasNumSearchWorkers()
Definition: SatParameters.java:20113
.lang.Override boolean hasAddLinMaxCuts()
Definition: SatParameters.java:18169
.lang.Override Builder clearField(com.google.protobuf.Descriptors.FieldDescriptor field)
Definition: SatParameters.java:11504
.lang.Override boolean getUseFeasibilityPump()
Definition: SatParameters.java:20658
Builder clearStopAfterPresolve()
Definition: SatParameters.java:20091
.lang.Override double getMipMaxBound()
Definition: SatParameters.java:21587
.lang.Override boolean hasCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:18624
Builder setCpModelMaxNumPresolveOperations(int value)
Definition: SatParameters.java:16065
.lang.Override boolean getUseBlockingRestart()
Definition: SatParameters.java:14240
.lang.Override int getBinarySearchNumConflicts()
Definition: SatParameters.java:19519
Builder setAddKnapsackCuts(boolean value)
Definition: SatParameters.java:17831
.lang.Override int getGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:13636
Builder setAddMirCuts(boolean value)
Definition: SatParameters.java:17950
Builder clearBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:14348
.lang.Override boolean hasBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:14283
Builder clearExpandTableConstraints()
Definition: SatParameters.java:16402
.lang.Override boolean getUseExactLpReason()
Definition: SatParameters.java:21073
.lang.Override int getMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:18459
Builder setExpandElementConstraints(boolean value)
Definition: SatParameters.java:16273
Builder setMaxConsecutiveInactiveCount(int value)
Definition: SatParameters.java:18532
.lang.Override com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:12814
.lang.Override com.google.ortools.sat.SatParameters.VariableOrder getPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:12196
Builder setUseOptionalVariables(boolean value)
Definition: SatParameters.java:21022
Builder clearUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:17374
.lang.Override Builder clearOneof(com.google.protobuf.Descriptors.OneofDescriptor oneof)
Definition: SatParameters.java:11509
.lang.Override boolean getStopAfterPresolve()
Definition: SatParameters.java:20063
static final int EXPLOIT_BEST_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:6124
static final int USE_OPTIONAL_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:7064
static final int CLAUSE_ACTIVITY_DECAY_FIELD_NUMBER
Definition: SatParameters.java:3474
.lang.Override int getNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:3840
.lang.Override boolean hasExploitAllLpSolution()
Definition: SatParameters.java:6106
.lang.Override boolean getCountAssumptionLevelsInLbd()
Definition: SatParameters.java:4363
static final int PRESOLVE_BVE_CLAUSE_WEIGHT_FIELD_NUMBER
Definition: SatParameters.java:4398
static final int MAX_NUM_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5437
static final int ADD_MIR_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5559
.lang.Override boolean hasMipCheckPrecision()
Definition: SatParameters.java:7543
static final int USE_TIMETABLE_EDGE_FINDING_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:5297
static final int SEARCH_RANDOMIZATION_TOLERANCE_FIELD_NUMBER
Definition: SatParameters.java:7025
.lang.Override boolean hasRepairHint()
Definition: SatParameters.java:6041
.lang.Override boolean hasPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:4439
.lang.Override boolean getAddCliqueCuts()
Definition: SatParameters.java:5644
static final int RANDOM_BRANCHES_RATIO_FIELD_NUMBER
Definition: SatParameters.java:2907
.lang.Override double getCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:5921
.lang.Override boolean hasCatchSigintSignal()
Definition: SatParameters.java:7203
static final int LNS_EXPAND_INTERVALS_IN_CONSTRAINT_GRAPH_FIELD_NUMBER
Definition: SatParameters.java:6850
.lang.Override boolean hasAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:3020
.lang.Override boolean hasUseProbingSearch()
Definition: SatParameters.java:6254
.lang.Override boolean getUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:4734
.lang.Override boolean hasRandomPolarityRatio()
Definition: SatParameters.java:2887
static final int MIP_AUTOMATICALLY_SCALE_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:7411
.lang.Override int getCutCleanupTarget()
Definition: SatParameters.java:5948
static final int MAX_SAT_STRATIFICATION_FIELD_NUMBER
Definition: SatParameters.java:5200
.lang.Override boolean getPresolveUseBva()
Definition: SatParameters.java:4508
static final int RESTART_LBD_AVERAGE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3725
.lang.Override boolean hasExpandAlldiffConstraints()
Definition: SatParameters.java:4835
.lang.Override double getRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:4063
.lang.Override double getBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:3809
.lang.Override boolean getUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:5256
.lang.Override boolean hasInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:2785
static final int CLAUSE_CLEANUP_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:3110
.lang.Override boolean hasExpandElementConstraints()
Definition: SatParameters.java:4750
static final int PRESOLVE_SUBSTITUTION_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:4964
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:10354
static final int USE_IMPLIED_BOUNDS_FIELD_NUMBER
Definition: SatParameters.java:7221
.lang.Override boolean hasPresolveBveClauseWeight()
Definition: SatParameters.java:4410
.lang.Override boolean hasPresolveBlockedClause()
Definition: SatParameters.java:4468
.lang.Override boolean hasMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:3391
.lang.Override java.lang.String getDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:3607
.lang.Override boolean hasSearchRandomizationTolerance()
Definition: SatParameters.java:7042
.lang.Override boolean hasAddLpConstraintsLazily()
Definition: SatParameters.java:5763
.lang.Override boolean hasMipVarScaling()
Definition: SatParameters.java:7393
static final int CUT_CLEANUP_TARGET_FIELD_NUMBER
Definition: SatParameters.java:5925
.lang.Override boolean hasLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:6838
.lang.Override boolean hasMaxConsecutiveInactiveCount()
Definition: SatParameters.java:5857
.lang.Override boolean hasExpandAutomatonConstraints()
Definition: SatParameters.java:4778
.lang.Override boolean hasMaxDeterministicTime()
Definition: SatParameters.java:3915
.lang.Override boolean hasFindMultipleCores()
Definition: SatParameters.java:5106
static com.google.ortools.sat.SatParameters parseFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:10375
.lang.Override boolean hasUseCombinedNoOverlap()
Definition: SatParameters.java:7172
.lang.Override boolean hasRandomSeed()
Definition: SatParameters.java:4114
.lang.Override com.google.ortools.sat.SatParameters.ClauseOrdering getClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:3227
.lang.Override boolean getMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:4322
.lang.Override int getCpModelProbingLevel()
Definition: SatParameters.java:4688
.lang.Override double getRandomPolarityRatio()
Definition: SatParameters.java:2903
static final int RESTART_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:3640
.lang.Override double getStrategyChangeIncreaseRatio()
Definition: SatParameters.java:3869
.lang.Override boolean hasCoverOptimization()
Definition: SatParameters.java:5135
.lang.Override boolean getUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:5371
.lang.Override boolean getDisableConstraintExpansion()
Definition: SatParameters.java:4906
.lang.Override boolean getUseRelaxationLns()
Definition: SatParameters.java:6967
static final int CP_MODEL_USE_SAT_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:4692
.lang.Override boolean hasUseLnsOnly()
Definition: SatParameters.java:6815
.lang.Override boolean hasMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:3333
.lang.Override boolean hasTreatBinaryClausesSeparately()
Definition: SatParameters.java:4080
.lang.Override boolean hasRestartPeriod()
Definition: SatParameters.java:3652
.lang.Override boolean hasExploitObjective()
Definition: SatParameters.java:6194
.lang.Override boolean hasPermuteVariableRandomly()
Definition: SatParameters.java:4149
.lang.Override com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index)
Definition: SatParameters.java:3588
.lang.Override double getMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:3516
.lang.Override boolean hasInstantiateAllVariables()
Definition: SatParameters.java:6526
static final int MINIMIZE_WITH_PROPAGATION_RESTART_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:3279
.lang.Override boolean hasUseFeasibilityPump()
Definition: SatParameters.java:6907
static final int SHARE_OBJECTIVE_BOUNDS_FIELD_NUMBER
Definition: SatParameters.java:6750
.lang.Override int getMipMaxActivityExponent()
Definition: SatParameters.java:7526
.lang.Override boolean getEnumerateAllSolutions()
Definition: SatParameters.java:6436
.lang.Override boolean hasAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:6557
.lang.Override int getRestartAlgorithmsCount()
Definition: SatParameters.java:3568
.lang.Override boolean hasCutCleanupTarget()
Definition: SatParameters.java:5936
.lang.Override boolean getPermutePresolveConstraintOrder()
optional bool permute_presolve_constraint_order = 179 [default = false];
Definition: SatParameters.java:4183
.lang.Override int getMaxPresolveIterations()
Definition: SatParameters.java:4572
.lang.Override boolean hasRandomizeSearch()
Definition: SatParameters.java:7009
.lang.Override boolean hasDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:3599
static final int MIP_VAR_SCALING_FIELD_NUMBER
Definition: SatParameters.java:7380
.lang.Override boolean hasExploitBestSolution()
Definition: SatParameters.java:6135
static final int INTERLEAVE_BATCH_SIZE_FIELD_NUMBER
Definition: SatParameters.java:6704
static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:10387
.lang.Override boolean hasUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:5237
static final int USE_RELAXATION_LNS_FIELD_NUMBER
Definition: SatParameters.java:6942
static final int USE_PROBING_SEARCH_FIELD_NUMBER
Definition: SatParameters.java:6242
.lang.Override int getLinearizationLevel()
Definition: SatParameters.java:5404
static final int LNS_FOCUS_ON_DECISION_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:6831
static final int SUBSUMPTION_DURING_CONFLICT_ANALYSIS_FIELD_NUMBER
Definition: SatParameters.java:3077
.lang.Override boolean hasClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:3220
static final int INITIAL_VARIABLES_ACTIVITY_FIELD_NUMBER
Definition: SatParameters.java:2969
.lang.Override int getInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:6719
.lang.Override boolean hasMaxIntegerRoundingScaling()
Definition: SatParameters.java:5727
static final int HINT_CONFLICT_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:6000
.lang.Override boolean getUseRinsLns()
Definition: SatParameters.java:6892
.lang.Override boolean hasClauseActivityDecay()
Definition: SatParameters.java:3485
static final int MIP_WANTED_PRECISION_FIELD_NUMBER
Definition: SatParameters.java:7446
.lang.Override boolean hasMipMaxActivityExponent()
Definition: SatParameters.java:7508
.lang.Override boolean hasShareObjectiveBounds()
Definition: SatParameters.java:6761
.lang.Override boolean getCpModelUseSatPresolve()
Definition: SatParameters.java:4715
.lang.Override boolean hasSymmetryLevel()
Definition: SatParameters.java:7330
.lang.Override double getMipWantedPrecision()
Definition: SatParameters.java:7487
static final int RANDOMIZE_SEARCH_FIELD_NUMBER
Definition: SatParameters.java:6998
.lang.Override boolean hasMaxPresolveIterations()
Definition: SatParameters.java:4558
.lang.Override boolean hasMaxNumberOfConflicts()
Definition: SatParameters.java:3949
.lang.Override boolean hasClauseCleanupTarget()
Definition: SatParameters.java:3149
.lang.Override boolean hasAddMirCuts()
Definition: SatParameters.java:5571
.lang.Override long getMaxMemoryInMb()
Definition: SatParameters.java:3999
.lang.Override com.google.ortools.sat.SatParameters getDefaultInstanceForType()
Definition: SatParameters.java:22037
static final int ALSO_BUMP_VARIABLES_IN_CONFLICT_REASONS_FIELD_NUMBER
Definition: SatParameters.java:3006
static final int COUNT_ASSUMPTION_LEVELS_IN_LBD_FIELD_NUMBER
Definition: SatParameters.java:4326
static final int USE_RINS_LNS_FIELD_NUMBER
Definition: SatParameters.java:6869
.lang.Override boolean getUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:5330
.lang.Override boolean getMinimizeCore()
Definition: SatParameters.java:5090
static final int FIND_MULTIPLE_CORES_FIELD_NUMBER
Definition: SatParameters.java:5094
.lang.Override double getMergeNoOverlapWorkLimit()
Definition: SatParameters.java:4941
static final int NUM_SEARCH_WORKERS_FIELD_NUMBER
Definition: SatParameters.java:6632
.lang.Override Builder newBuilderForType(com.google.protobuf.GeneratedMessageV3.BuilderParent parent)
Definition: SatParameters.java:10423
static final int STRATEGY_CHANGE_INCREASE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3844
.lang.Override boolean hasConvertIntervals()
Definition: SatParameters.java:7298
.lang.Override boolean getUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:5293
.lang.Override boolean hasMergeNoOverlapWorkLimit()
Definition: SatParameters.java:4925
.lang.Override boolean getLogSearchProgress()
Definition: SatParameters.java:4229
static final int MAX_VARIABLE_ACTIVITY_VALUE_FIELD_NUMBER
Definition: SatParameters.java:3384
.lang.Override boolean getLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:6846
.lang.Override int getNewConstraintsBatchSize()
Definition: SatParameters.java:5977
static Builder newBuilder(com.google.ortools.sat.SatParameters prototype)
Definition: SatParameters.java:10413
.lang.Override int getMaxAllDiffCutSize()
Definition: SatParameters.java:5675
.lang.Override boolean getLnsExpandIntervalsInConstraintGraph()
optional bool lns_expand_intervals_in_constraint_graph = 184 [default = true];
Definition: SatParameters.java:6865
static final int ADD_CLIQUE_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5617
.lang.Override boolean hasPbCleanupIncrement()
Definition: SatParameters.java:3244
.lang.Override boolean hasOptimizeWithMaxHs()
Definition: SatParameters.java:6382
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.CodedInputStream input)
Definition: SatParameters.java:10394
.lang.Override boolean hasVariableActivityDecay()
Definition: SatParameters.java:3362
static final int AUTO_DETECT_GREATER_THAN_AT_LEAST_ONE_OF_FIELD_NUMBER
Definition: SatParameters.java:6543
.lang.Override boolean hasMipWantedPrecision()
Definition: SatParameters.java:7466
.lang.Override boolean hasClauseCleanupLbdBound()
Definition: SatParameters.java:3197
static final int COVER_OPTIMIZATION_FIELD_NUMBER
Definition: SatParameters.java:5123
static final int STOP_AFTER_FIRST_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:6576
.lang.Override boolean hasPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:2766
.lang.Override boolean getInstantiateAllVariables()
Definition: SatParameters.java:6539
.lang.Override boolean getUseProbingSearch()
Definition: SatParameters.java:6267
.lang.Override double getMaxDeterministicTime()
Definition: SatParameters.java:3929
.lang.Override boolean getExpandAlldiffConstraints()
Definition: SatParameters.java:4848
.lang.Override boolean hasExploitIntegerLpSolution()
Definition: SatParameters.java:6074
static final int BLOCKING_RESTART_MULTIPLIER_FIELD_NUMBER
Definition: SatParameters.java:3794
static final int STOP_AFTER_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:6603
.lang.Override boolean getShareLevelZeroBounds()
Definition: SatParameters.java:6800
.lang.Override boolean hasInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:6711
static final int CLAUSE_CLEANUP_ORDERING_FIELD_NUMBER
Definition: SatParameters.java:3214
.lang.Override boolean getOptimizeWithCore()
Definition: SatParameters.java:6329
.lang.Override boolean hasBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:3064
.lang.Override boolean hasClauseCleanupPeriod()
Definition: SatParameters.java:3121
.lang.Override boolean hasMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:4307
.lang.Override boolean hasAddZeroHalfCuts()
Definition: SatParameters.java:5600
.lang.Override int getRandomSeed()
Definition: SatParameters.java:4131
static com.google.ortools.sat.SatParameters getDefaultInstance()
Definition: SatParameters.java:22012
static final int EXPAND_AUTOMATON_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:4767
.lang.Override boolean hasMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:4952
.lang.Override boolean hasExploitRelaxationSolution()
Definition: SatParameters.java:6164
.lang.Override boolean getSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:3106
static final int USE_DISJUNCTIVE_CONSTRAINT_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:5334
static com.google.ortools.sat.SatParameters parseFrom(byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:10364
.lang.Override java.lang.String getName()
Definition: SatParameters.java:2722
static final int ADD_KNAPSACK_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5499
static final int PROBING_PERIOD_AT_ROOT_FIELD_NUMBER
Definition: SatParameters.java:6211
.lang.Override boolean getShareObjectiveBounds()
Definition: SatParameters.java:6773
static final int MAX_SAT_ASSUMPTION_ORDER_FIELD_NUMBER
Definition: SatParameters.java:5152
.lang.Override boolean hasUsePbResolution()
Definition: SatParameters.java:4274
static final int NUM_CONFLICTS_BEFORE_STRATEGY_CHANGES_FIELD_NUMBER
Definition: SatParameters.java:3813
static final int MINIMIZATION_ALGORITHM_FIELD_NUMBER
Definition: SatParameters.java:3039
.lang.Override boolean hasUseOptionalVariables()
Definition: SatParameters.java:7077
static final int PRESOLVE_PROBING_DETERMINISTIC_TIME_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:4427
static final int BLOCKING_RESTART_WINDOW_SIZE_FIELD_NUMBER
Definition: SatParameters.java:3775
.lang.Override boolean hasUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:5276
static final int MINIMIZE_CORE_FIELD_NUMBER
Definition: SatParameters.java:5067
.lang.Override boolean hasAddCliqueCuts()
Definition: SatParameters.java:5630
.lang.Override boolean hasGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:3443
.lang.Override boolean hasPolarityRephaseIncrement()
Definition: SatParameters.java:2854
static final int LOG_SEARCH_PROGRESS_FIELD_NUMBER
Definition: SatParameters.java:4206
.lang.Override boolean hasUseErwaHeuristic()
Definition: SatParameters.java:2951
static final int PRESOLVE_EXTRACT_INTEGER_ENFORCEMENT_FIELD_NUMBER
Definition: SatParameters.java:4997
static final int MAX_INTEGER_ROUNDING_SCALING_FIELD_NUMBER
Definition: SatParameters.java:5710
.lang.Override int getPolarityRephaseIncrement()
Definition: SatParameters.java:2868
.lang.Override boolean hasNewConstraintsBatchSize()
Definition: SatParameters.java:5964
static final int MAX_CONSECUTIVE_INACTIVE_COUNT_FIELD_NUMBER
Definition: SatParameters.java:5844
static final int CUT_MAX_ACTIVE_COUNT_VALUE_FIELD_NUMBER
Definition: SatParameters.java:5875
.lang.Override boolean getInterleaveSearch()
Definition: SatParameters.java:6700
.lang.Override boolean hasOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:5482
.lang.Override double getRandomBranchesRatio()
Definition: SatParameters.java:2934
static final int REPAIR_HINT_FIELD_NUMBER
Definition: SatParameters.java:6027
.lang.Override boolean hasBinarySearchNumConflicts()
Definition: SatParameters.java:6347
.lang.Override boolean getExpandAutomatonConstraints()
Definition: SatParameters.java:4790
.lang.Override boolean hasShareLevelZeroBounds()
Definition: SatParameters.java:6788
static final int MIN_ORTHOGONALITY_FOR_LP_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:5782
static final int PERMUTE_PRESOLVE_CONSTRAINT_ORDER_FIELD_NUMBER
Definition: SatParameters.java:4168
static final int MIP_MAX_BOUND_FIELD_NUMBER
Definition: SatParameters.java:7349
.lang.Override boolean getOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:5495
.lang.Override boolean hasFillTightenedDomainsInResponse()
Definition: SatParameters.java:6494
.lang.Override boolean getRepairHint()
Definition: SatParameters.java:6056
.lang.Override boolean hasUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:5313
static final int USE_SAT_INPROCESSING_FIELD_NUMBER
Definition: SatParameters.java:4719
.lang.Override boolean getExpandReservoirConstraints()
Definition: SatParameters.java:4877
.lang.Override boolean hasClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:3172
.lang.Override double getCutMaxActiveCountValue()
Definition: SatParameters.java:5902
.lang.Override double getRestartDlAverageRatio()
Definition: SatParameters.java:3721
static final int USE_OPTIMIZATION_HINTS_FIELD_NUMBER
Definition: SatParameters.java:5034
.lang.Override boolean hasFillLogsInResponse()
Definition: SatParameters.java:4244
static final int POLARITY_REPHASE_INCREMENT_FIELD_NUMBER
Definition: SatParameters.java:2841
.lang.Override int getRestartRunningWindowSize()
Definition: SatParameters.java:3692
.lang.Override boolean hasMaxAllDiffCutSize()
Definition: SatParameters.java:5661
.lang.Override boolean hasMaxNumCuts()
Definition: SatParameters.java:5451
static final int USE_PB_RESOLUTION_FIELD_NUMBER
Definition: SatParameters.java:4260
static final int MAX_PRESOLVE_ITERATIONS_FIELD_NUMBER
Definition: SatParameters.java:4545
.lang.Override int getRestartPeriod()
Definition: SatParameters.java:3665
.lang.Override boolean hasUsePhaseSaving()
Definition: SatParameters.java:2817
static final int MAX_NUMBER_OF_CONFLICTS_FIELD_NUMBER
Definition: SatParameters.java:3933
.lang.Override boolean hasOptimizeWithCore()
Definition: SatParameters.java:6314
.lang.Override boolean getExploitAllLpSolution()
Definition: SatParameters.java:6120
.lang.Override boolean hasAddCgCuts()
Definition: SatParameters.java:5542
.lang.Override long getPseudoCostReliabilityThreshold()
Definition: SatParameters.java:6296
static final int USE_COMBINED_NO_OVERLAP_FIELD_NUMBER
Definition: SatParameters.java:7159
.lang.Override boolean getPermuteVariableRandomly()
Definition: SatParameters.java:4164
.lang.Override double getMaxTimeInSeconds()
Definition: SatParameters.java:3898
.lang.Override int getPresolveSubstitutionLevel()
Definition: SatParameters.java:4993
.lang.Override com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:5165
.lang.Override com.google.protobuf.Parser< SatParameters > getParserForType()
Definition: SatParameters.java:22032
.lang.Override boolean hasPseudoCostReliabilityThreshold()
Definition: SatParameters.java:6283
.lang.Override boolean getAddKnapsackCuts()
Definition: SatParameters.java:5526
.lang.Override boolean hasCpModelProbingLevel()
Definition: SatParameters.java:4676
.lang.Override Builder toBuilder()
Definition: SatParameters.java:10417
.lang.Override boolean hasMaxMemoryInMb()
Definition: SatParameters.java:3984
.lang.Override boolean hasRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:4055
static final int NAME_FIELD_NUMBER
Definition: SatParameters.java:2697
.lang.Override boolean getOptimizeWithMaxHs()
Definition: SatParameters.java:6399
static final int USE_PRECEDENCES_IN_DISJUNCTIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:5219
.lang.Override Builder newBuilderForType()
Definition: SatParameters.java:10409
static com.google.ortools.sat.SatParameters parseFrom(java.nio.ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:10343
static final int MAX_CLAUSE_ACTIVITY_VALUE_FIELD_NUMBER
Definition: SatParameters.java:3501
.lang.Override int getClauseCleanupTarget()
Definition: SatParameters.java:3162
static final int CP_MODEL_POSTSOLVE_WITH_FULL_SOLVER_FIELD_NUMBER
Definition: SatParameters.java:4603
.lang.Override boolean hasInitialVariablesActivity()
Definition: SatParameters.java:2985
.lang.Override boolean hasMinimizeCore()
Definition: SatParameters.java:5078
.lang.Override boolean hasEnumerateAllSolutions()
Definition: SatParameters.java:6419
.lang.Override double getClauseActivityDecay()
Definition: SatParameters.java:3497
static com.google.protobuf.Parser< SatParameters > parser()
Definition: SatParameters.java:22027
static final int POLISH_LP_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:7252
.lang.Override boolean hasPresolveExtractIntegerEnforcement()
Definition: SatParameters.java:5013
.lang.Override boolean hasFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:6929
.lang.Override void writeTo(com.google.protobuf.CodedOutputStream output)
Definition: SatParameters.java:7573
static final int GLUCOSE_DECAY_INCREMENT_FIELD_NUMBER
Definition: SatParameters.java:3436
static final int PRESOLVE_BVE_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:4367
static final int RESTART_ALGORITHMS_FIELD_NUMBER
Definition: SatParameters.java:3520
static final int GLUCOSE_DECAY_INCREMENT_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:3455
.lang.Override boolean getCpModelPostsolveWithFullSolver()
Definition: SatParameters.java:4632
.lang.Override int getSerializedSize()
Definition: SatParameters.java:8065
static final int KEEP_ALL_FEASIBLE_SOLUTIONS_IN_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:6440
.lang.Override boolean hasCpModelPostsolveWithFullSolver()
Definition: SatParameters.java:4617
static final int CLAUSE_CLEANUP_LBD_BOUND_FIELD_NUMBER
Definition: SatParameters.java:3185
.lang.Override int getNumSearchWorkers()
Definition: SatParameters.java:6665
.lang.Override boolean hasMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:3508
.lang.Override double getRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:3740
static final int MAX_TIME_IN_SECONDS_FIELD_NUMBER
Definition: SatParameters.java:3873
.lang.Override boolean getUseBranchingInLp()
Definition: SatParameters.java:7155
.lang.Override boolean getMipAutomaticallyScaleVariables()
Definition: SatParameters.java:7442
.lang.Override java.util.List< com.google.ortools.sat.SatParameters.RestartAlgorithm > getRestartAlgorithmsList()
Definition: SatParameters.java:3548
static final int USE_FEASIBILITY_PUMP_FIELD_NUMBER
Definition: SatParameters.java:6896
.lang.Override boolean hasCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:4648
static final int EXPAND_ALLDIFF_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:4823
static final int TREAT_BINARY_CLAUSES_SEPARATELY_FIELD_NUMBER
Definition: SatParameters.java:4067
static final int PRESOLVE_USE_BVA_FIELD_NUMBER
Definition: SatParameters.java:4485
.lang.Override int getMaxConsecutiveInactiveCount()
Definition: SatParameters.java:5871
.lang.Override boolean getExpandElementConstraints()
Definition: SatParameters.java:4763
.lang.Override boolean getTreatBinaryClausesSeparately()
Definition: SatParameters.java:4094
.lang.Override boolean getExploitRelaxationSolution()
Definition: SatParameters.java:6178
static final int USE_LNS_ONLY_FIELD_NUMBER
Definition: SatParameters.java:6804
.lang.Override double getMipVarScaling()
Definition: SatParameters.java:7407
static final int PRESOLVE_BVA_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:4512
.lang.Override int getBooleanEncodingLevel()
Definition: SatParameters.java:5433
.lang.Override boolean hasSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:5987
.lang.Override boolean getPolishLpSolution()
Definition: SatParameters.java:7281
.lang.Override boolean hasUseAbslRandom()
optional bool use_absl_random = 180 [default = false];
Definition: SatParameters.java:4194
static final int MIP_MAX_ACTIVITY_EXPONENT_FIELD_NUMBER
Definition: SatParameters.java:7491
.lang.Override boolean hasAbsoluteGapLimit()
Definition: SatParameters.java:4023
.lang.Override int getCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:4661
.lang.Override long getProbingPeriodAtRoot()
Definition: SatParameters.java:6238
.lang.Override boolean hasUseExactLpReason()
Definition: SatParameters.java:7109
.lang.Override com.google.protobuf.GeneratedMessageV3.FieldAccessorTable internalGetFieldAccessorTable()
Definition: SatParameters.java:1114
static final int ADD_LIN_MAX_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5679
.lang.Override boolean hasKeepAllFeasibleSolutionsInPresolve()
Definition: SatParameters.java:6457
.lang.Override boolean hasCountAssumptionLevelsInLbd()
Definition: SatParameters.java:4344
.lang.Override com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:3052
.lang.Override final com.google.protobuf.UnknownFieldSet getUnknownFields()
Definition: SatParameters.java:146
static final int CP_MODEL_MAX_NUM_PRESOLVE_OPERATIONS_FIELD_NUMBER
Definition: SatParameters.java:4636
.lang.Override final boolean isInitialized()
Definition: SatParameters.java:7563
.lang.Override boolean hasInterleaveSearch()
Definition: SatParameters.java:6684
.lang.Override boolean getStopAfterFirstSolution()
Definition: SatParameters.java:6599
.lang.Override double getPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:3275
.lang.Override double getPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:4452
.lang.Override double getInitialVariablesActivity()
Definition: SatParameters.java:3002
static final int EXPLOIT_ALL_LP_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:6093
static final int CATCH_SIGINT_SIGNAL_FIELD_NUMBER
Definition: SatParameters.java:7190
.lang.Override boolean hasNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:3826
.lang.Override boolean getCatchSigintSignal()
Definition: SatParameters.java:7217
.lang.Override boolean hasBooleanEncodingLevel()
Definition: SatParameters.java:5420
.lang.Override boolean hasMaxTimeInSeconds()
Definition: SatParameters.java:3885
.lang.Override boolean hasUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:5352
.lang.Override boolean hasHintConflictLimit()
Definition: SatParameters.java:6011
.lang.Override int getPresolveBvaThreshold()
Definition: SatParameters.java:4541
static final int CONVERT_INTERVALS_FIELD_NUMBER
Definition: SatParameters.java:7285
.lang.Override double getGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:3451
static final int ADD_LP_CONSTRAINTS_LAZILY_FIELD_NUMBER
Definition: SatParameters.java:5749
static final int CUT_ACTIVE_COUNT_DECAY_FIELD_NUMBER
Definition: SatParameters.java:5906
.lang.Override boolean hasRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:3732
.lang.Override boolean getExpandTableConstraints()
Definition: SatParameters.java:4819
.lang.Override int getPresolveBveClauseWeight()
Definition: SatParameters.java:4423
static final int RELATIVE_GAP_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:4048
static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input)
Definition: SatParameters.java:10382
.lang.Override double getMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:3399
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:10400
static final int EXPAND_ELEMENT_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:4738
.lang.Override boolean hasMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:5158
.lang.Override double getMipCheckPrecision()
Definition: SatParameters.java:7557
.lang.Override int getMaxNumCuts()
Definition: SatParameters.java:5466
static final int SYMMETRY_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:7316
.lang.Override boolean hasPresolveUseBva()
Definition: SatParameters.java:4496
.lang.Override boolean getUseOptimizationHints()
Definition: SatParameters.java:5063
.lang.Override int getHintConflictLimit()
Definition: SatParameters.java:6023
.lang.Override int getClauseCleanupPeriod()
Definition: SatParameters.java:3133
.lang.Override long getSearchRandomizationTolerance()
Definition: SatParameters.java:7060
.lang.Override boolean hasDisableConstraintExpansion()
Definition: SatParameters.java:4893
.lang.Override boolean hasMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:5828
static final int RANDOM_SEED_FIELD_NUMBER
Definition: SatParameters.java:4098
.lang.Override boolean hasGlucoseMaxDecay()
Definition: SatParameters.java:3417
static final int MAX_MEMORY_IN_MB_FIELD_NUMBER
Definition: SatParameters.java:3970
.lang.Override boolean hasUseImpliedBounds()
Definition: SatParameters.java:7234
.lang.Override boolean hasCutMaxActiveCountValue()
Definition: SatParameters.java:5888
.lang.Override boolean hasMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:5206
static final int FILL_TIGHTENED_DOMAINS_IN_RESPONSE_FIELD_NUMBER
Definition: SatParameters.java:6479
static final int RANDOM_POLARITY_RATIO_FIELD_NUMBER
Definition: SatParameters.java:2872
.lang.Override com.google.ortools.sat.SatParameters.Polarity getInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:2792
static final int ABSOLUTE_GAP_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:4003
static final int EXPLOIT_INTEGER_LP_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:6060
.lang.Override boolean hasAddKnapsackCuts()
Definition: SatParameters.java:5512
.lang.Override boolean hasUseRelaxationLns()
Definition: SatParameters.java:6954
static final int ONLY_ADD_CUTS_AT_LEVEL_ZERO_FIELD_NUMBER
Definition: SatParameters.java:5470
.lang.Override boolean getUseCombinedNoOverlap()
Definition: SatParameters.java:7186
.lang.Deprecated static final com.google.protobuf.Parser< SatParameters > PARSER
Definition: SatParameters.java:22017
.lang.Override boolean hasPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:3267
.lang.Override boolean getPresolveExtractIntegerEnforcement()
Definition: SatParameters.java:5030
static final int SEARCH_BRANCHING_FIELD_NUMBER
Definition: SatParameters.java:5981
static final int BINARY_SEARCH_NUM_CONFLICTS_FIELD_NUMBER
Definition: SatParameters.java:6333
static com.google.ortools.sat.SatParameters parseFrom(java.nio.ByteBuffer data)
Definition: SatParameters.java:10338
.lang.Override boolean getKeepAllFeasibleSolutionsInPresolve()
Definition: SatParameters.java:6475
.lang.Override double getGlucoseMaxDecay()
Definition: SatParameters.java:3432
.lang.Override boolean hasMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:5797
.lang.Override boolean hasProbingPeriodAtRoot()
Definition: SatParameters.java:6224
static final int FILL_LOGS_IN_RESPONSE_FIELD_NUMBER
Definition: SatParameters.java:4233
static final int USE_ABSL_RANDOM_FIELD_NUMBER
Definition: SatParameters.java:4187
.lang.Override boolean hasCpModelUseSatPresolve()
Definition: SatParameters.java:4703
.lang.Override boolean getConvertIntervals()
Definition: SatParameters.java:7312
.lang.Override boolean hasRestartDlAverageRatio()
Definition: SatParameters.java:3708
.lang.Override int hashCode()
Definition: SatParameters.java:9565
.lang.Override boolean hasMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:3300
.lang.Override boolean hasLinearizationLevel()
Definition: SatParameters.java:5389
static final int INTERLEAVE_SEARCH_FIELD_NUMBER
Definition: SatParameters.java:6669
static final int ENUMERATE_ALL_SOLUTIONS_FIELD_NUMBER
Definition: SatParameters.java:6403
static final int CLAUSE_CLEANUP_PROTECTION_FIELD_NUMBER
Definition: SatParameters.java:3166
.lang.Override boolean getReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:6746
.lang.Override boolean hasPresolveSubstitutionLevel()
Definition: SatParameters.java:4978
.lang.Override boolean getAddCgCuts()
Definition: SatParameters.java:5555
.lang.Override boolean hasPresolveBvaThreshold()
Definition: SatParameters.java:4526
.lang.Override boolean getExploitBestSolution()
Definition: SatParameters.java:6147
static final int PRESOLVE_BLOCKED_CLAUSE_FIELD_NUMBER
Definition: SatParameters.java:4456
.lang.Override com.google.protobuf.ByteString getNameBytes()
Definition: SatParameters.java:2747
.lang.Override boolean hasGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:3462
.lang.Override double getMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:5813
.lang.Override boolean hasRestartRunningWindowSize()
Definition: SatParameters.java:3680
.lang.Override boolean hasExpandReservoirConstraints()
Definition: SatParameters.java:4864
static final int MERGE_AT_MOST_ONE_WORK_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:4945
.lang.Override boolean hasStrategyChangeIncreaseRatio()
Definition: SatParameters.java:3856
.lang.Override int getBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:3790
.lang.Override boolean getDiversifyLnsParams()
Definition: SatParameters.java:6994
.lang.Override boolean hasMipMaxBound()
Definition: SatParameters.java:7362
static final int USE_BLOCKING_RESTART_FIELD_NUMBER
Definition: SatParameters.java:3744
static final int VARIABLE_ACTIVITY_DECAY_FIELD_NUMBER
Definition: SatParameters.java:3345
.lang.Override int getMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:3341
.lang.Override boolean getUseAbslRandom()
optional bool use_absl_random = 180 [default = false];
Definition: SatParameters.java:4202
static final int ADD_CG_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5530
.lang.Override boolean getFillTightenedDomainsInResponse()
Definition: SatParameters.java:6510
static final int INSTANTIATE_ALL_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:6514
.lang.Override com.google.ortools.sat.SatParameters.FPRoundingMethod getFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:6936
static final int NEW_CONSTRAINTS_BATCH_SIZE_FIELD_NUMBER
Definition: SatParameters.java:5952
.lang.Override double getMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:4960
.lang.Override boolean hasUseRinsLns()
Definition: SatParameters.java:6880
.lang.Override boolean getExploitObjective()
Definition: SatParameters.java:6207
static final int MAX_ALL_DIFF_CUT_SIZE_FIELD_NUMBER
Definition: SatParameters.java:5648
.lang.Override java.lang.Object newInstance(UnusedPrivateParameter unused)
Definition: SatParameters.java:139
.lang.Override boolean hasUseBlockingRestart()
Definition: SatParameters.java:3757
static final int DEFAULT_RESTART_ALGORITHMS_FIELD_NUMBER
Definition: SatParameters.java:3592
.lang.Override com.google.ortools.sat.SatParameters.SearchBranching getSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:5994
.lang.Override boolean hasStopAfterFirstSolution()
Definition: SatParameters.java:6587
static final int CP_MODEL_PROBING_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:4665
static final int EXPAND_TABLE_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:4794
static final int CP_MODEL_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:4576
.lang.Override boolean getFillLogsInResponse()
Definition: SatParameters.java:4256
static final int PSEUDO_COST_RELIABILITY_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:6271
static final int USE_EXACT_LP_REASON_FIELD_NUMBER
Definition: SatParameters.java:7095
.lang.Override boolean hasPresolveBveThreshold()
Definition: SatParameters.java:4380
static final int GLUCOSE_MAX_DECAY_FIELD_NUMBER
Definition: SatParameters.java:3403
.lang.Override com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:5213
.lang.Override boolean getAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:3035
static final int RESTART_RUNNING_WINDOW_SIZE_FIELD_NUMBER
Definition: SatParameters.java:3669
.lang.Override boolean getCpModelPresolve()
Definition: SatParameters.java:4599
static final int PB_CLEANUP_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3260
static final int INITIAL_POLARITY_FIELD_NUMBER
Definition: SatParameters.java:2779
.lang.Override boolean hasBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:3801
.lang.Override boolean getCoverOptimization()
Definition: SatParameters.java:5148
.lang.Override boolean hasReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:6734
.lang.Override double getAbsoluteGapLimit()
Definition: SatParameters.java:4044
static final int ADD_ZERO_HALF_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5588
.lang.Override boolean equals(final java.lang.Object obj)
Definition: SatParameters.java:8727
.lang.Override boolean hasSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:3091
static final com.google.protobuf.Descriptors.Descriptor getDescriptor()
Definition: SatParameters.java:1108
.lang.Override int getPresolveBveThreshold()
Definition: SatParameters.java:4394
.lang.Override boolean getUseImpliedBounds()
Definition: SatParameters.java:7248
static final int MAX_DETERMINISTIC_TIME_FIELD_NUMBER
Definition: SatParameters.java:3902
.lang.Override double getVariableActivityDecay()
Definition: SatParameters.java:3380
.lang.Override boolean getUseLnsOnly()
Definition: SatParameters.java:6827
.lang.Override int getPbCleanupIncrement()
Definition: SatParameters.java:3256
.lang.Override boolean getPresolveBlockedClause()
Definition: SatParameters.java:4481
static final int PERMUTE_VARIABLE_RANDOMLY_FIELD_NUMBER
Definition: SatParameters.java:4135
.lang.Override boolean hasUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:4726
static final int CLAUSE_CLEANUP_TARGET_FIELD_NUMBER
Definition: SatParameters.java:3137
.lang.Override com.google.ortools.sat.SatParameters.ClauseProtection getClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:3179
static com.google.ortools.sat.SatParameters parseFrom(byte[] data)
Definition: SatParameters.java:10360
static final int OPTIMIZE_WITH_MAX_HS_FIELD_NUMBER
Definition: SatParameters.java:6366
.lang.Override boolean hasMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:5183
.lang.Override boolean hasStopAfterPresolve()
Definition: SatParameters.java:6615
.lang.Override boolean hasDiversifyLnsParams()
Definition: SatParameters.java:6982
.lang.Override int getClauseCleanupLbdBound()
Definition: SatParameters.java:3210
static final int MERGE_NO_OVERLAP_WORK_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:4910
.lang.Override boolean hasLnsExpandIntervalsInConstraintGraph()
optional bool lns_expand_intervals_in_constraint_graph = 184 [default = true];
Definition: SatParameters.java:6857
.lang.Override int getMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:3322
.lang.Override boolean hasCpModelPresolve()
Definition: SatParameters.java:4587
.lang.Override boolean getFindMultipleCores()
Definition: SatParameters.java:5119
.lang.Override int getMaxIntegerRoundingScaling()
Definition: SatParameters.java:5745
.lang.Override boolean hasRandomBranchesRatio()
Definition: SatParameters.java:2920
static final int BOOLEAN_ENCODING_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:5408
.lang.Override boolean hasPolishLpSolution()
Definition: SatParameters.java:7266
.lang.Override boolean getUsePhaseSaving()
Definition: SatParameters.java:2837
static final int MINIMIZE_WITH_PROPAGATION_NUM_DECISIONS_FIELD_NUMBER
Definition: SatParameters.java:3326
.lang.Override boolean getAddLinMaxCuts()
Definition: SatParameters.java:5706
static final int REDUCE_MEMORY_USAGE_IN_INTERLEAVE_MODE_FIELD_NUMBER
Definition: SatParameters.java:6723
.lang.Override boolean getAddMirCuts()
Definition: SatParameters.java:5584
.lang.Override boolean getMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:5196
.lang.Override long getMaxNumberOfConflicts()
Definition: SatParameters.java:3966
static com.google.ortools.sat.SatParameters parseFrom(java.io.InputStream input)
Definition: SatParameters.java:10370
.lang.Override boolean hasMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:3045
.lang.Override boolean hasExpandTableConstraints()
Definition: SatParameters.java:4806
static final int LINEARIZATION_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:5375
.lang.Override boolean getUseOptionalVariables()
Definition: SatParameters.java:7091
static final int USE_ERWA_HEURISTIC_FIELD_NUMBER
Definition: SatParameters.java:2938
.lang.Override boolean getUsePbResolution()
Definition: SatParameters.java:4289
.lang.Override boolean getExploitIntegerLpSolution()
Definition: SatParameters.java:6089
static Builder newBuilder()
Definition: SatParameters.java:10410
.lang.Override boolean hasPermutePresolveConstraintOrder()
optional bool permute_presolve_constraint_order = 179 [default = false];
Definition: SatParameters.java:4175
static final int EXPLOIT_RELAXATION_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:6151
.lang.Override boolean getAddZeroHalfCuts()
Definition: SatParameters.java:5613
.lang.Override boolean getAddLpConstraintsLazily()
Definition: SatParameters.java:5778
.lang.Override boolean getUseErwaHeuristic()
Definition: SatParameters.java:2965
.lang.Override boolean getAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:6572
.lang.Override boolean hasUseOptimizationHints()
Definition: SatParameters.java:5048
static final int RESTART_DL_AVERAGE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3696
.lang.Override boolean hasMipAutomaticallyScaleVariables()
Definition: SatParameters.java:7426
.lang.Override boolean hasLogSearchProgress()
Definition: SatParameters.java:4217
.lang.Override int getSymmetryLevel()
Definition: SatParameters.java:7345
.lang.Override boolean hasUseBranchingInLp()
Definition: SatParameters.java:7141
static final int FP_ROUNDING_FIELD_NUMBER
Definition: SatParameters.java:6923
static final int OPTIMIZE_WITH_CORE_FIELD_NUMBER
Definition: SatParameters.java:6300
.lang.Override boolean getRandomizeSearch()
Definition: SatParameters.java:7021
.lang.Override boolean hasNumSearchWorkers()
Definition: SatParameters.java:6648
.lang.Override boolean hasAddLinMaxCuts()
Definition: SatParameters.java:5692
.lang.Override boolean getUseFeasibilityPump()
Definition: SatParameters.java:6919
.lang.Override double getMipMaxBound()
Definition: SatParameters.java:7376
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.ByteString data)
Definition: SatParameters.java:10349
static final int MINIMIZE_REDUCTION_DURING_PB_RESOLUTION_FIELD_NUMBER
Definition: SatParameters.java:4293
.lang.Override boolean hasCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:5913
static final int DISABLE_CONSTRAINT_EXPANSION_FIELD_NUMBER
Definition: SatParameters.java:4881
static final int PREFERRED_VARIABLE_ORDER_FIELD_NUMBER
Definition: SatParameters.java:2760
.lang.Override boolean getUseBlockingRestart()
Definition: SatParameters.java:3771
.lang.Override int getBinarySearchNumConflicts()
Definition: SatParameters.java:6362
.lang.Override int getGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:3470
static final int MIP_CHECK_PRECISION_FIELD_NUMBER
Definition: SatParameters.java:7530
.lang.Override boolean hasBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:3782
.lang.Override boolean getUseExactLpReason()
Definition: SatParameters.java:7124
static final int BINARY_MINIMIZATION_ALGORITHM_FIELD_NUMBER
Definition: SatParameters.java:3058
.lang.Override int getMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:5840
static final int USE_BRANCHING_IN_LP_FIELD_NUMBER
Definition: SatParameters.java:7128
.lang.Override boolean hasName()
Definition: SatParameters.java:2709
static final int USE_PHASE_SAVING_FIELD_NUMBER
Definition: SatParameters.java:2798
.lang.Override com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:3071
static final int MAX_CUT_ROUNDS_AT_LEVEL_ZERO_FIELD_NUMBER
Definition: SatParameters.java:5817
.lang.Override com.google.ortools.sat.SatParameters.VariableOrder getPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:2773
static final int DIVERSIFY_LNS_PARAMS_FIELD_NUMBER
Definition: SatParameters.java:6971
static final int PB_CLEANUP_INCREMENT_FIELD_NUMBER
Definition: SatParameters.java:3233
static final int MAX_SAT_REVERSE_ASSUMPTION_ORDER_FIELD_NUMBER
Definition: SatParameters.java:5171
static final int EXPLOIT_OBJECTIVE_FIELD_NUMBER
Definition: SatParameters.java:6182
static final int EXPAND_RESERVOIR_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:4852
static final int USE_OVERLOAD_CHECKER_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:5260
.lang.Override com.google.protobuf.ByteString getDefaultRestartAlgorithmsBytes()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:3627
.lang.Override boolean getStopAfterPresolve()
Definition: SatParameters.java:6628
static final int SHARE_LEVEL_ZERO_BOUNDS_FIELD_NUMBER
Definition: SatParameters.java:6777
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1613
static com.google.protobuf.Internal.EnumLiteMap< BinaryMinizationAlgorithm > internalGetValueMap()
Definition: SatParameters.java:1593
BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION
BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION = 4;
Definition: SatParameters.java:1530
static BinaryMinizationAlgorithm forNumber(int value)
Definition: SatParameters.java:1581
.lang.Deprecated static BinaryMinizationAlgorithm valueOf(int value)
Definition: SatParameters.java:1573
com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_WITH_REACHABILITY
BINARY_MINIMIZATION_WITH_REACHABILITY
BINARY_MINIMIZATION_WITH_REACHABILITY = 2;
Definition: SatParameters.java:1534
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1605
EXPERIMENTAL_BINARY_MINIMIZATION
EXPERIMENTAL_BINARY_MINIMIZATION = 3;
Definition: SatParameters.java:1538
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1609
static BinaryMinizationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1619
final int getNumber()
Definition: SatParameters.java:1563
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1865
.lang.Deprecated static ClauseOrdering valueOf(int value)
Definition: SatParameters.java:1828
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1857
static ClauseOrdering valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1871
CLAUSE_ACTIVITY
Definition: SatParameters.java:1789
static ClauseOrdering forNumber(int value)
Definition: SatParameters.java:1836
static com.google.protobuf.Internal.EnumLiteMap< ClauseOrdering > internalGetValueMap()
Definition: SatParameters.java:1845
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1861
final int getNumber()
Definition: SatParameters.java:1818
CLAUSE_LBD
Definition: SatParameters.java:1797
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1748
PROTECTION_LBD
Definition: SatParameters.java:1671
PROTECTION_ALWAYS
Definition: SatParameters.java:1663
static ClauseProtection valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1754
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1740
.lang.Deprecated static ClauseProtection valueOf(int value)
Definition: SatParameters.java:1710
static com.google.protobuf.Internal.EnumLiteMap< ClauseProtection > internalGetValueMap()
Definition: SatParameters.java:1728
PROTECTION_NONE
Definition: SatParameters.java:1655
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1744
static ClauseProtection forNumber(int value)
Definition: SatParameters.java:1718
final int getNumber()
Definition: SatParameters.java:1700
Definition: SatParameters.java:1399
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1485
.lang.Deprecated static ConflictMinimizationAlgorithm valueOf(int value)
Definition: SatParameters.java:1446
static com.google.protobuf.Internal.EnumLiteMap< ConflictMinimizationAlgorithm > internalGetValueMap()
Definition: SatParameters.java:1465
static ConflictMinimizationAlgorithm forNumber(int value)
Definition: SatParameters.java:1454
static ConflictMinimizationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1491
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1477
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1481
final int getNumber()
Definition: SatParameters.java:1436
static FPRoundingMethod forNumber(int value)
Definition: SatParameters.java:2636
NEAREST_INTEGER
Definition: SatParameters.java:2541
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2667
static FPRoundingMethod valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2673
static com.google.protobuf.Internal.EnumLiteMap< FPRoundingMethod > internalGetValueMap()
Definition: SatParameters.java:2647
PROPAGATION_ASSISTED
Definition: SatParameters.java:2573
ACTIVE_LOCK_BASED
Definition: SatParameters.java:2560
LOCK_BASED
Definition: SatParameters.java:2551
.lang.Deprecated static FPRoundingMethod valueOf(int value)
Definition: SatParameters.java:2628
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2659
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2663
final int getNumber()
Definition: SatParameters.java:2618
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2137
static MaxSatAssumptionOrder forNumber(int value)
Definition: SatParameters.java:2107
.lang.Deprecated static MaxSatAssumptionOrder valueOf(int value)
Definition: SatParameters.java:2099
static MaxSatAssumptionOrder valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2143
static com.google.protobuf.Internal.EnumLiteMap< MaxSatAssumptionOrder > internalGetValueMap()
Definition: SatParameters.java:2117
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2129
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2133
final int getNumber()
Definition: SatParameters.java:2089
Definition: SatParameters.java:2169
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2278
static MaxSatStratificationAlgorithm forNumber(int value)
Definition: SatParameters.java:2248
STRATIFICATION_DESCENT
Definition: SatParameters.java:2186
STRATIFICATION_ASCENT
Definition: SatParameters.java:2197
static com.google.protobuf.Internal.EnumLiteMap< MaxSatStratificationAlgorithm > internalGetValueMap()
Definition: SatParameters.java:2258
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2270
STRATIFICATION_NONE
Definition: SatParameters.java:2177
.lang.Deprecated static MaxSatStratificationAlgorithm valueOf(int value)
Definition: SatParameters.java:2240
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2274
final int getNumber()
Definition: SatParameters.java:2230
static MaxSatStratificationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2284
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1367
.lang.Deprecated static Polarity valueOf(int value)
Definition: SatParameters.java:1327
POLARITY_REVERSE_WEIGHTED_SIGN
Definition: SatParameters.java:1281
POLARITY_WEIGHTED_SIGN
Definition: SatParameters.java:1273
static Polarity valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1373
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1359
static com.google.protobuf.Internal.EnumLiteMap< Polarity > internalGetValueMap()
Definition: SatParameters.java:1347
static Polarity forNumber(int value)
Definition: SatParameters.java:1335
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1363
final int getNumber()
Definition: SatParameters.java:1317
.lang.Deprecated static RestartAlgorithm valueOf(int value)
Definition: SatParameters.java:1988
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2028
static com.google.protobuf.Internal.EnumLiteMap< RestartAlgorithm > internalGetValueMap()
Definition: SatParameters.java:2008
LBD_MOVING_AVERAGE_RESTART
Definition: SatParameters.java:1929
FIXED_RESTART
Definition: SatParameters.java:1937
LUBY_RESTART
Definition: SatParameters.java:1913
static RestartAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2034
static RestartAlgorithm forNumber(int value)
Definition: SatParameters.java:1996
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2020
DL_MOVING_AVERAGE_RESTART
Definition: SatParameters.java:1921
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2024
final int getNumber()
Definition: SatParameters.java:1978
static com.google.protobuf.Internal.EnumLiteMap< SearchBranching > internalGetValueMap()
Definition: SatParameters.java:2481
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2501
.lang.Deprecated static SearchBranching valueOf(int value)
Definition: SatParameters.java:2459
static SearchBranching forNumber(int value)
Definition: SatParameters.java:2467
AUTOMATIC_SEARCH
Definition: SatParameters.java:2319
PORTFOLIO_WITH_QUICK_RESTART_SEARCH
Definition: SatParameters.java:2367
LP_SEARCH
Definition: SatParameters.java:2347
PORTFOLIO_SEARCH
Definition: SatParameters.java:2337
PSEUDO_COST_SEARCH
Definition: SatParameters.java:2357
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2493
FIXED_SEARCH
Definition: SatParameters.java:2329
HINT_SEARCH
Definition: SatParameters.java:2377
static SearchBranching valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2507
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2497
final int getNumber()
Definition: SatParameters.java:2449
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1214
IN_ORDER
Definition: SatParameters.java:1137
.lang.Deprecated static VariableOrder valueOf(int value)
Definition: SatParameters.java:1176
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1206
static VariableOrder valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1220
static VariableOrder forNumber(int value)
Definition: SatParameters.java:1184
static com.google.protobuf.Internal.EnumLiteMap< VariableOrder > internalGetValueMap()
Definition: SatParameters.java:1194
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1210
final int getNumber()
Definition: SatParameters.java:1166