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);
1104 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
1110 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_fieldAccessorTable
1112 com.google.ortools.sat.SatParameters.class, com.google.ortools.sat.SatParameters.Builder.class);
1501 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.ConflictMinimizationAlgorithm)
1629 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.BinaryMinizationAlgorithm)
2153 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.MaxSatAssumptionOrder)
2294 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.MaxSatStratificationAlgorithm)
2767 @java.lang.Override public com.google.ortools.sat.SatParameters.VariableOrder getPreferredVariableOrder() {
2769 com.google.ortools.sat.SatParameters.VariableOrder result = com.google.ortools.sat.SatParameters.VariableOrder.valueOf(preferredVariableOrder_);
2786 @java.lang.Override public com.google.ortools.sat.SatParameters.Polarity getInitialPolarity() {
2788 com.google.ortools.sat.SatParameters.Polarity result = com.google.ortools.sat.SatParameters.Polarity.valueOf(initialPolarity_);
3046 @java.lang.Override public com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm() {
3048 com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm result = com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.valueOf(minimizationAlgorithm_);
3049 return result == null ? com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.RECURSIVE : result;
3065 @java.lang.Override public com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm() {
3067 com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm result = com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.valueOf(binaryMinimizationAlgorithm_);
3068 return result == null ? com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_FIRST : result;
3173 @java.lang.Override public com.google.ortools.sat.SatParameters.ClauseProtection getClauseCleanupProtection() {
3175 com.google.ortools.sat.SatParameters.ClauseProtection result = com.google.ortools.sat.SatParameters.ClauseProtection.valueOf(clauseCleanupProtection_);
3176 return result == null ? com.google.ortools.sat.SatParameters.ClauseProtection.PROTECTION_NONE : result;
3221 @java.lang.Override public com.google.ortools.sat.SatParameters.ClauseOrdering getClauseCleanupOrdering() {
3223 com.google.ortools.sat.SatParameters.ClauseOrdering result = com.google.ortools.sat.SatParameters.ClauseOrdering.valueOf(clauseCleanupOrdering_);
3224 return result == null ? com.google.ortools.sat.SatParameters.ClauseOrdering.CLAUSE_ACTIVITY : result;
3517 java.lang.Integer, com.google.ortools.sat.SatParameters.RestartAlgorithm> restartAlgorithms_converter_ =
3522 com.google.ortools.sat.SatParameters.RestartAlgorithm result = com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(from);
3523 return result == null ? com.google.ortools.sat.SatParameters.RestartAlgorithm.NO_RESTART : result;
3542 public java.util.List<com.google.ortools.sat.SatParameters.RestartAlgorithm> getRestartAlgorithmsList() {
3544 java.lang.Integer, com.google.ortools.sat.SatParameters.RestartAlgorithm>(restartAlgorithms_, restartAlgorithms_converter_);
5132 @java.lang.Override public com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder() {
5134 com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder result = com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf(maxSatAssumptionOrder_);
5135 return result == null ? com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.DEFAULT_ASSUMPTION_ORDER : result;
5180 @java.lang.Override public com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification() {
5182 com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm result = com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.valueOf(maxSatStratification_);
5183 return result == null ? com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.STRATIFICATION_DESCENT : result;
5961 @java.lang.Override public com.google.ortools.sat.SatParameters.SearchBranching getSearchBranching() {
5963 com.google.ortools.sat.SatParameters.SearchBranching result = com.google.ortools.sat.SatParameters.SearchBranching.valueOf(searchBranching_);
5964 return result == null ? com.google.ortools.sat.SatParameters.SearchBranching.AUTOMATIC_SEARCH : result;
6903 @java.lang.Override public com.google.ortools.sat.SatParameters.FPRoundingMethod getFpRounding() {
6905 com.google.ortools.sat.SatParameters.FPRoundingMethod result = com.google.ortools.sat.SatParameters.FPRoundingMethod.valueOf(fpRounding_);
6906 return result == null ? com.google.ortools.sat.SatParameters.FPRoundingMethod.PROPAGATION_ASSISTED : result;
8236 size += com.google.protobuf.GeneratedMessageV3.computeStringSize(70, defaultRestartAlgorithms_);
8742 if (hasAlsoBumpVariablesInConflictReasons() != other.hasAlsoBumpVariablesInConflictReasons()) return false;
8755 if (hasSubsumptionDuringConflictAnalysis() != other.hasSubsumptionDuringConflictAnalysis()) return false;
8794 if (hasMinimizeWithPropagationRestartPeriod() != other.hasMinimizeWithPropagationRestartPeriod()) return false;
8799 if (hasMinimizeWithPropagationNumDecisions() != other.hasMinimizeWithPropagationNumDecisions()) return false;
8889 if (hasNumConflictsBeforeStrategyChanges() != other.hasNumConflictsBeforeStrategyChanges()) return false;
8934 if (hasTreatBinaryClausesSeparately() != other.hasTreatBinaryClausesSeparately()) return false;
8949 if (hasPermutePresolveConstraintOrder() != other.hasPermutePresolveConstraintOrder()) return false;
8969 if (hasMinimizeReductionDuringPbResolution() != other.hasMinimizeReductionDuringPbResolution()) return false;
8989 if (hasPresolveProbingDeterministicTimeLimit() != other.hasPresolveProbingDeterministicTimeLimit()) return false;
9020 if (hasCpModelPostsolveWithFullSolver() != other.hasCpModelPostsolveWithFullSolver()) return false;
9025 if (hasCpModelMaxNumPresolveOperations() != other.hasCpModelMaxNumPresolveOperations()) return false;
9092 if (hasPresolveExtractIntegerEnforcement() != other.hasPresolveExtractIntegerEnforcement()) return false;
9121 if (hasMaxSatReverseAssumptionOrder() != other.hasMaxSatReverseAssumptionOrder()) return false;
9130 if (hasUsePrecedencesInDisjunctiveConstraint() != other.hasUsePrecedencesInDisjunctiveConstraint()) return false;
9135 if (hasUseOverloadCheckerInCumulativeConstraint() != other.hasUseOverloadCheckerInCumulativeConstraint()) return false;
9140 if (hasUseTimetableEdgeFindingInCumulativeConstraint() != other.hasUseTimetableEdgeFindingInCumulativeConstraint()) return false;
9145 if (hasUseDisjunctiveConstraintInCumulativeConstraint() != other.hasUseDisjunctiveConstraintInCumulativeConstraint()) return false;
9215 if (hasMinOrthogonalityForLpConstraints() != other.hasMinOrthogonalityForLpConstraints()) return false;
9302 if (hasPseudoCostReliabilityThreshold() != other.hasPseudoCostReliabilityThreshold()) return false;
9327 if (hasKeepAllFeasibleSolutionsInPresolve() != other.hasKeepAllFeasibleSolutionsInPresolve()) return false;
9332 if (hasFillTightenedDomainsInResponse() != other.hasFillTightenedDomainsInResponse()) return false;
9342 if (hasAutoDetectGreaterThanAtLeastOneOf() != other.hasAutoDetectGreaterThanAtLeastOneOf()) return false;
9372 if (hasReduceMemoryUsageInInterleaveMode() != other.hasReduceMemoryUsageInInterleaveMode()) return false;
9397 if (hasLnsExpandIntervalsInConstraintGraph() != other.hasLnsExpandIntervalsInConstraintGraph()) return false;
9431 if (hasSearchRandomizationTolerance() != other.hasSearchRandomizationTolerance()) return false;
9493 if (hasMipAutomaticallyScaleVariables() != other.hasMipAutomaticallyScaleVariables()) return false;
10332 public static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input)
10393 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
10399 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_fieldAccessorTable
10401 com.google.ortools.sat.SatParameters.class, com.google.ortools.sat.SatParameters.Builder.class);
10482 defaultRestartAlgorithms_ = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,DL_MOVING_AVERAGE_RESTART";
10750 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
11131 result.useTimetableEdgeFindingInCumulativeConstraint_ = useTimetableEdgeFindingInCumulativeConstraint_;
11137 result.useDisjunctiveConstraintInCumulativeConstraint_ = useDisjunctiveConstraintInCumulativeConstraint_;
11749 setUseOverloadCheckerInCumulativeConstraint(other.getUseOverloadCheckerInCumulativeConstraint());
11752 setUseTimetableEdgeFindingInCumulativeConstraint(other.getUseTimetableEdgeFindingInCumulativeConstraint());
11755 setUseDisjunctiveConstraintInCumulativeConstraint(other.getUseDisjunctiveConstraintInCumulativeConstraint());
12137 com.google.ortools.sat.SatParameters.VariableOrder result = com.google.ortools.sat.SatParameters.VariableOrder.valueOf(preferredVariableOrder_);
12145 public Builder setPreferredVariableOrder(com.google.ortools.sat.SatParameters.VariableOrder value) {
12180 com.google.ortools.sat.SatParameters.Polarity result = com.google.ortools.sat.SatParameters.Polarity.valueOf(initialPolarity_);
12181 return result == null ? com.google.ortools.sat.SatParameters.Polarity.POLARITY_FALSE : result;
12710 public com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm() {
12712 com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm result = com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.valueOf(minimizationAlgorithm_);
12713 return result == null ? com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.RECURSIVE : result;
12720 public Builder setMinimizationAlgorithm(com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value) {
12753 public com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm() {
12755 com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm result = com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.valueOf(binaryMinimizationAlgorithm_);
12756 return result == null ? com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_FIRST : result;
12763 public Builder setBinaryMinimizationAlgorithm(com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value) {
12979 com.google.ortools.sat.SatParameters.ClauseProtection result = com.google.ortools.sat.SatParameters.ClauseProtection.valueOf(clauseCleanupProtection_);
12980 return result == null ? com.google.ortools.sat.SatParameters.ClauseProtection.PROTECTION_NONE : result;
12987 public Builder setClauseCleanupProtection(com.google.ortools.sat.SatParameters.ClauseProtection value) {
13081 com.google.ortools.sat.SatParameters.ClauseOrdering result = com.google.ortools.sat.SatParameters.ClauseOrdering.valueOf(clauseCleanupOrdering_);
13082 return result == null ? com.google.ortools.sat.SatParameters.ClauseOrdering.CLAUSE_ACTIVITY : result;
13089 public Builder setClauseCleanupOrdering(com.google.ortools.sat.SatParameters.ClauseOrdering value) {
13717 public java.util.List<com.google.ortools.sat.SatParameters.RestartAlgorithm> getRestartAlgorithmsList() {
13719 java.lang.Integer, com.google.ortools.sat.SatParameters.RestartAlgorithm>(restartAlgorithms_, restartAlgorithms_converter_);
13755 public com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index) {
13801 public Builder addRestartAlgorithms(com.google.ortools.sat.SatParameters.RestartAlgorithm value) {
13857 private java.lang.Object defaultRestartAlgorithms_ = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,DL_MOVING_AVERAGE_RESTART";
16975 public com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder() {
16977 com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder result = com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf(maxSatAssumptionOrder_);
16978 return result == null ? com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.DEFAULT_ASSUMPTION_ORDER : result;
16985 public Builder setMaxSatAssumptionOrder(com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder value) {
17077 public com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification() {
17079 com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm result = com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.valueOf(maxSatStratification_);
17080 return result == null ? com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.STRATIFICATION_DESCENT : result;
17087 public Builder setMaxSatStratification(com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value) {
18670 com.google.ortools.sat.SatParameters.SearchBranching result = com.google.ortools.sat.SatParameters.SearchBranching.valueOf(searchBranching_);
18671 return result == null ? com.google.ortools.sat.SatParameters.SearchBranching.AUTOMATIC_SEARCH : result;
18678 public Builder setSearchBranching(com.google.ortools.sat.SatParameters.SearchBranching value) {
20590 com.google.ortools.sat.SatParameters.FPRoundingMethod result = com.google.ortools.sat.SatParameters.FPRoundingMethod.valueOf(fpRounding_);
20591 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:16985
Builder setMipWantedPrecision(double value)
Definition: SatParameters.java:21703
Builder setMipMaxBound(double value)
Definition: SatParameters.java:21485
Builder setSubsumptionDuringConflictAnalysis(boolean value)
Definition: SatParameters.java:12826
Builder setRelativeGapLimit(double value)
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:14793
Builder setInitialPolarity(com.google.ortools.sat.SatParameters.Polarity value)
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:12188
.lang.Override int getNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:14320
.lang.Override boolean hasExploitAllLpSolution()
Definition: SatParameters.java:18899
.lang.Override boolean getCountAssumptionLevelsInLbd()
Definition: SatParameters.java:15318
Builder setRestartLbdAverageRatio(double value)
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:14136
.lang.Override boolean hasMipCheckPrecision()
Definition: SatParameters.java:21824
.lang.Override boolean hasRepairHint()
Definition: SatParameters.java:18766
.lang.Override boolean hasPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:15498
.lang.Override boolean getAddCliqueCuts()
Definition: SatParameters.java:17941
.lang.Override double getCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:18516
.lang.Override boolean hasCatchSigintSignal()
Definition: SatParameters.java:21134
Builder clearUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:17416
.lang.Override boolean hasAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:12643
.lang.Override boolean hasUseProbingSearch()
Definition: SatParameters.java:19201
.lang.Override boolean getUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:16095
.lang.Override boolean hasRandomPolarityRatio()
Definition: SatParameters.java:12372
.lang.Override int getCutCleanupTarget()
Definition: SatParameters.java:18563
.lang.Override boolean getPresolveUseBva()
Definition: SatParameters.java:15627
Builder setCpModelUseSatPresolve(boolean value)
Definition: SatParameters.java:16060
com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index)
Definition: SatParameters.java:13755
.lang.Override boolean hasExpandAlldiffConstraints()
Definition: SatParameters.java:16304
.lang.Override double getRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:14785
Builder clearStopAfterFirstSolution()
Definition: SatParameters.java:19916
Builder setBlockingRestartMultiplier(double value)
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:14277
.lang.Override double getBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:14269
Builder setLinearizationLevel(int value)
Definition: SatParameters.java:17466
.lang.Override boolean getUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:17143
.lang.Override boolean hasInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:12170
Builder clearMaxTimeInSeconds()
Definition: SatParameters.java:14468
Builder setLnsFocusOnDecisionVariables(boolean value)
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:20409
.lang.Override boolean hasExpandElementConstraints()
Definition: SatParameters.java:16131
Builder setInitialVariablesActivity(double value)
Definition: SatParameters.java:12604
Builder setClauseCleanupOrdering(com.google.ortools.sat.SatParameters.ClauseOrdering value)
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:13089
Builder clearOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:17668
Builder addAllRestartAlgorithms(java.lang.Iterable<? extends com.google.ortools.sat.SatParameters.RestartAlgorithm > values)
Definition: SatParameters.java:13826
Builder clearRandomBranchesRatio()
Definition: SatParameters.java:12485
Builder setRandomBranchesRatio(double value)
Definition: SatParameters.java:12469
Builder setMaxPresolveIterations(int value)
Definition: SatParameters.java:15767
Builder setCountAssumptionLevelsInLbd(boolean value)
Definition: SatParameters.java:15337
.lang.Override boolean hasPresolveBveClauseWeight()
Definition: SatParameters.java:15439
.lang.Override com.google.ortools.sat.SatParameters buildPartial()
Definition: SatParameters.java:10768
Builder setMaxIntegerRoundingScaling(int value)
Definition: SatParameters.java:18156
.lang.Override boolean hasPresolveBlockedClause()
Definition: SatParameters.java:15557
Builder clearCpModelPostsolveWithFullSolver()
Definition: SatParameters.java:15905
Builder setExpandReservoirConstraints(boolean value)
Definition: SatParameters.java:16389
Builder clearMipMaxBound()
Definition: SatParameters.java:21501
Builder clearPermutePresolveConstraintOrder()
optional bool permute_presolve_constraint_order = 179 [default = false];
Definition: SatParameters.java:15047
Builder clearAbsoluteGapLimit()
Definition: SatParameters.java:14764
.lang.Override boolean hasMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:13422
Builder clearGlucoseMaxDecay()
Definition: SatParameters.java:13515
Builder setRestartAlgorithms(int index, com.google.ortools.sat.SatParameters.RestartAlgorithm value)
Definition: SatParameters.java:13775
Builder setPbCleanupIncrement(int value)
Definition: SatParameters.java:13143
Builder clearLogSearchProgress()
Definition: SatParameters.java:15141
.lang.Override boolean hasSearchRandomizationTolerance()
Definition: SatParameters.java:20803
Builder clearAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:12690
.lang.Override boolean hasAddLpConstraintsLazily()
Definition: SatParameters.java:18196
.lang.Override boolean hasMipVarScaling()
Definition: SatParameters.java:21520
.lang.Override boolean hasLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:20393
.lang.Override boolean hasMaxConsecutiveInactiveCount()
Definition: SatParameters.java:18388
Builder clearInstantiateAllVariables()
Definition: SatParameters.java:19794
Builder clearBooleanEncodingLevel()
Definition: SatParameters.java:17542
.lang.Override boolean hasExpandAutomatonConstraints()
Definition: SatParameters.java:16189
.lang.Override boolean hasMaxDeterministicTime()
Definition: SatParameters.java:14487
.lang.Override boolean hasFindMultipleCores()
Definition: SatParameters.java:16855
Builder clearHintConflictLimit()
Definition: SatParameters.java:18746
Builder setStopAfterPresolve(boolean value)
Definition: SatParameters.java:19960
Builder setInterleaveSearch(boolean value)
Definition: SatParameters.java:20103
Builder clearMaxPresolveIterations()
Definition: SatParameters.java:15783
Builder setUseCombinedNoOverlap(boolean value)
Definition: SatParameters.java:21099
.lang.Override boolean hasUseCombinedNoOverlap()
Definition: SatParameters.java:21071
.lang.Override boolean hasRandomSeed()
Definition: SatParameters.java:14888
Builder clearMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:18369
Builder clearUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:16113
.lang.Override com.google.ortools.sat.SatParameters.ClauseOrdering getClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:13079
Builder clearVariableActivityDecay()
Definition: SatParameters.java:13409
Builder setMaxMemoryInMb(long value)
Definition: SatParameters.java:14656
Builder clearReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:20215
.lang.Override boolean getMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:15243
.lang.Override int getCpModelProbingLevel()
Definition: SatParameters.java:15993
Builder clearShareObjectiveBounds()
Definition: SatParameters.java:20270
.lang.Override double getRandomPolarityRatio()
Definition: SatParameters.java:12388
.lang.Override double getStrategyChangeIncreaseRatio()
Definition: SatParameters.java:14381
Builder clearPresolveBveThreshold()
Definition: SatParameters.java:15421
Builder clearMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:15275
Builder clearAddMirCuts()
Definition: SatParameters.java:17849
.lang.Override boolean hasCoverOptimization()
Definition: SatParameters.java:16914
Builder setCatchSigintSignal(boolean value)
Definition: SatParameters.java:21162
.lang.Override boolean getUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:17376
Builder setNewConstraintsBatchSize(int value)
Definition: SatParameters.java:18633
.lang.Override boolean getDisableConstraintExpansion()
Definition: SatParameters.java:16435
.lang.Override boolean getUseRelaxationLns()
Definition: SatParameters.java:20642
.lang.Override boolean hasUseLnsOnly()
Definition: SatParameters.java:20342
Builder clearExpandReservoirConstraints()
Definition: SatParameters.java:16404
.lang.Override boolean hasMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:13304
.lang.Override boolean hasTreatBinaryClausesSeparately()
Definition: SatParameters.java:14822
.lang.Override boolean hasRestartPeriod()
Definition: SatParameters.java:13952
.lang.Override boolean hasExploitObjective()
Definition: SatParameters.java:19079
.lang.Override boolean hasPermuteVariableRandomly()
Definition: SatParameters.java:14961
Builder clearTreatBinaryClausesSeparately()
Definition: SatParameters.java:14866
Builder clearCpModelProbingLevel()
Definition: SatParameters.java:16019
.lang.Override double getMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:13669
Builder setAbsoluteGapLimit(double value)
Definition: SatParameters.java:14741
.lang.Override boolean hasInstantiateAllVariables()
Definition: SatParameters.java:19753
.lang.Override boolean hasUseFeasibilityPump()
Definition: SatParameters.java:20530
Builder setGlucoseDecayIncrement(double value)
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:13544
Builder clearName()
Definition: SatParameters.java:12095
.lang.Override int getMipMaxActivityExponent()
Definition: SatParameters.java:21767
Builder setUsePbResolution(boolean value)
Definition: SatParameters.java:15191
Builder clearRestartAlgorithms()
Definition: SatParameters.java:13850
.lang.Override boolean getEnumerateAllSolutions()
Definition: SatParameters.java:19549
.lang.Override boolean hasAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:19814
.lang.Override boolean hasCutCleanupTarget()
Definition: SatParameters.java:18551
Builder setLogSearchProgress(boolean value)
Definition: SatParameters.java:15127
.lang.Override boolean getPermutePresolveConstraintOrder()
optional bool permute_presolve_constraint_order = 179 [default = false];
Definition: SatParameters.java:15029
Builder clearMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:17057
.lang.Override int getMaxPresolveIterations()
Definition: SatParameters.java:15753
.lang.Override boolean hasRandomizeSearch()
Definition: SatParameters.java:20742
Builder setProbingPeriodAtRoot(long value)
Definition: SatParameters.java:19167
.lang.Override Builder mergeFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:11984
.lang.Override boolean hasExploitBestSolution()
Definition: SatParameters.java:18960
Builder setInstantiateAllVariables(boolean value)
Definition: SatParameters.java:19779
.lang.Override Builder setField(com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value)
Definition: SatParameters.java:11440
.lang.Override boolean hasUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:17124
Builder setEnumerateAllSolutions(boolean value)
Definition: SatParameters.java:19566
Builder setUseTimetableEdgeFindingInCumulativeConstraint(boolean value)
Definition: SatParameters.java:17314
Builder setMinimizeWithPropagationRestartPeriod(int value)
Definition: SatParameters.java:13267
Builder clearPresolveExtractIntegerEnforcement()
Definition: SatParameters.java:16715
.lang.Override int getLinearizationLevel()
Definition: SatParameters.java:17451
Builder clearMipVarScaling()
Definition: SatParameters.java:21564
Builder setLnsExpandIntervalsInConstraintGraph(boolean value)
optional bool lns_expand_intervals_in_constraint_graph = 184 [default = true];
Definition: SatParameters.java:20448
Builder setStopAfterFirstSolution(boolean value)
Definition: SatParameters.java:19902
Builder setPresolveBveThreshold(int value)
Definition: SatParameters.java:15405
Builder setUseProbingSearch(boolean value)
Definition: SatParameters.java:19227
Builder setShareObjectiveBounds(boolean value)
Definition: SatParameters.java:20256
.lang.Override boolean hasClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:13071
Builder clearUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:17333
.lang.Override int getInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:20142
Builder clearDisableConstraintExpansion()
Definition: SatParameters.java:16463
.lang.Override boolean hasMaxIntegerRoundingScaling()
Definition: SatParameters.java:18120
Builder clearSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:18691
.lang.Override Builder setRepeatedField(com.google.protobuf.Descriptors.FieldDescriptor field, int index, java.lang.Object value)
Definition: SatParameters.java:11456
.lang.Override boolean getUseRinsLns()
Definition: SatParameters.java:20487
.lang.Override boolean hasClauseActivityDecay()
Definition: SatParameters.java:13610
Builder setExpandTableConstraints(boolean value)
Definition: SatParameters.java:16271
Builder clearMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:18314
.lang.Override boolean hasMipMaxActivityExponent()
Definition: SatParameters.java:21749
Builder clearBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:14248
.lang.Override boolean hasShareObjectiveBounds()
Definition: SatParameters.java:20232
Builder setName(java.lang.String value)
Definition: SatParameters.java:12076
Builder setClauseCleanupPeriod(int value)
Definition: SatParameters.java:12884
.lang.Override boolean getCpModelUseSatPresolve()
Definition: SatParameters.java:16048
Builder clearSymmetryLevel()
Definition: SatParameters.java:21438
Builder clearMaxDeterministicTime()
Definition: SatParameters.java:14531
.lang.Override boolean hasSymmetryLevel()
Definition: SatParameters.java:21391
.lang.Override double getMipWantedPrecision()
Definition: SatParameters.java:21682
Builder setCutMaxActiveCountValue(double value)
Definition: SatParameters.java:18479
.lang.Override boolean hasMaxPresolveIterations()
Definition: SatParameters.java:15739
.lang.Override boolean hasMaxNumberOfConflicts()
Definition: SatParameters.java:14553
.lang.Override boolean hasClauseCleanupTarget()
Definition: SatParameters.java:12916
.lang.Override boolean hasAddMirCuts()
Definition: SatParameters.java:17808
Builder setMaxAllDiffCutSize(int value)
Definition: SatParameters.java:18018
Builder setMaxSatReverseAssumptionOrder(boolean value)
Definition: SatParameters.java:17042
.lang.Override long getMaxMemoryInMb()
Definition: SatParameters.java:14641
Builder setMipMaxActivityExponent(int value)
Definition: SatParameters.java:21785
.lang.Override com.google.ortools.sat.SatParameters getDefaultInstanceForType()
Definition: SatParameters.java:10754
Builder clearLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:20419
.lang.Override boolean getUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:17297
.lang.Override boolean getMinimizeCore()
Definition: SatParameters.java:16811
Builder setPermutePresolveConstraintOrder(boolean value)
optional bool permute_presolve_constraint_order = 179 [default = false];
Definition: SatParameters.java:15037
.lang.Override final Builder mergeUnknownFields(final com.google.protobuf.UnknownFieldSet unknownFields)
Definition: SatParameters.java:21881
.lang.Override double getMergeNoOverlapWorkLimit()
Definition: SatParameters.java:16500
Builder clearBinarySearchNumConflicts()
Definition: SatParameters.java:19435
Builder setOptimizeWithCore(boolean value)
Definition: SatParameters.java:19351
.lang.Override boolean hasConvertIntervals()
Definition: SatParameters.java:21327
.lang.Override boolean getUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:17222
.lang.Override boolean hasMergeNoOverlapWorkLimit()
Definition: SatParameters.java:16484
.lang.Override boolean getLogSearchProgress()
Definition: SatParameters.java:15115
Builder setPolarityRephaseIncrement(int value)
Definition: SatParameters.java:12335
.lang.Override boolean getLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:20401
.lang.Override int getNewConstraintsBatchSize()
Definition: SatParameters.java:18620
Builder setExpandAlldiffConstraints(boolean value)
Definition: SatParameters.java:16330
java.util.List< com.google.ortools.sat.SatParameters.RestartAlgorithm > getRestartAlgorithmsList()
Definition: SatParameters.java:13717
.lang.Override int getMaxAllDiffCutSize()
Definition: SatParameters.java:18004
.lang.Override boolean getLnsExpandIntervalsInConstraintGraph()
optional bool lns_expand_intervals_in_constraint_graph = 184 [default = true];
Definition: SatParameters.java:20440
Builder clearMaxAllDiffCutSize()
Definition: SatParameters.java:18034
.lang.Override boolean hasPbCleanupIncrement()
Definition: SatParameters.java:13119
.lang.Override boolean hasOptimizeWithMaxHs()
Definition: SatParameters.java:19457
Builder setMinimizeWithPropagationNumDecisions(int value)
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:13320
.lang.Override boolean hasVariableActivityDecay()
Definition: SatParameters.java:13353
Builder clearProbingPeriodAtRoot()
Definition: SatParameters.java:19183
.lang.Override boolean hasMipWantedPrecision()
Definition: SatParameters.java:21661
.lang.Override boolean hasClauseCleanupLbdBound()
Definition: SatParameters.java:13018
Builder clearCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:18534
Builder setUseErwaHeuristic(boolean value)
Definition: SatParameters.java:12532
.lang.Override boolean hasPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:12127
Builder clearAddZeroHalfCuts()
Definition: SatParameters.java:17908
Builder clearMaxNumCuts()
Definition: SatParameters.java:17609
boolean hasName()
Definition: SatParameters.java:12018
Builder setMergeAtMostOneWorkLimit(double value)
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:16563
.lang.Override boolean getInstantiateAllVariables()
Definition: SatParameters.java:19766
Builder clearCountAssumptionLevelsInLbd()
Definition: SatParameters.java:15358
Builder setMaxNumberOfConflicts(long value)
Definition: SatParameters.java:14587
Builder setPresolveBveClauseWeight(int value)
Definition: SatParameters.java:15465
Builder clearMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:13291
Builder clearCutCleanupTarget()
Definition: SatParameters.java:18589
Builder setNameBytes(com.google.protobuf.ByteString value)
Definition: SatParameters.java:12111
.lang.Override boolean getUseProbingSearch()
Definition: SatParameters.java:19214
.lang.Override double getMaxDeterministicTime()
Definition: SatParameters.java:14501
.lang.Override boolean getExpandAlldiffConstraints()
Definition: SatParameters.java:16317
Builder clearMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:16998
.lang.Override boolean hasExploitIntegerLpSolution()
Definition: SatParameters.java:18833
.lang.Override Builder addRepeatedField(com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value)
Definition: SatParameters.java:11462
Builder clearSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:12843
.lang.Override boolean getShareLevelZeroBounds()
Definition: SatParameters.java:20299
.lang.Override boolean hasInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:20134
.lang.Override boolean getOptimizeWithCore()
Definition: SatParameters.java:19336
Builder setExploitRelaxationSolution(boolean value)
Definition: SatParameters.java:19045
Builder setCpModelProbingLevel(int value)
Definition: SatParameters.java:16005
.lang.Override boolean hasBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:12745
Builder setMinimizeCore(boolean value)
Definition: SatParameters.java:16823
.lang.Override boolean hasClauseCleanupPeriod()
Definition: SatParameters.java:12860
Builder setUseRinsLns(boolean value)
Definition: SatParameters.java:20499
.lang.Override boolean hasMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:15228
.lang.Override boolean hasAddZeroHalfCuts()
Definition: SatParameters.java:17867
Builder clearUseBlockingRestart()
Definition: SatParameters.java:14209
.lang.Override int getRandomSeed()
Definition: SatParameters.java:14905
Builder setUseBlockingRestart(boolean value)
Definition: SatParameters.java:14193
.lang.Override Builder clear()
Definition: SatParameters.java:10420
.lang.Override boolean hasMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:16547
Builder clearUseImpliedBounds()
Definition: SatParameters.java:21241
.lang.Override boolean hasExploitRelaxationSolution()
Definition: SatParameters.java:19017
Builder setHintConflictLimit(int value)
Definition: SatParameters.java:18732
Builder clearDiversifyLnsParams()
Definition: SatParameters.java:20725
Builder setConvertIntervals(boolean value)
Definition: SatParameters.java:21355
Builder setCutCleanupTarget(int value)
Definition: SatParameters.java:18575
Builder clearAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:19861
Builder setAutoDetectGreaterThanAtLeastOneOf(boolean value)
Definition: SatParameters.java:19844
.lang.Override boolean getSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:12811
Builder setBinarySearchNumConflicts(int value)
Definition: SatParameters.java:19418
Builder clearCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:15964
Builder clearRandomSeed()
Definition: SatParameters.java:14941
Builder setRestartDlAverageRatio(double value)
Definition: SatParameters.java:14092
.lang.Override boolean getShareObjectiveBounds()
Definition: SatParameters.java:20244
Builder clearMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:17100
Builder setInterleaveBatchSize(int value)
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:20150
.lang.Override boolean hasUsePbResolution()
Definition: SatParameters.java:15161
Builder clearPseudoCostReliabilityThreshold()
Definition: SatParameters.java:19301
.lang.Override boolean hasUseOptionalVariables()
Definition: SatParameters.java:20878
.lang.Override com.google.protobuf.Descriptors.Descriptor getDescriptorForType()
Definition: SatParameters.java:10749
Builder clearCoverOptimization()
Definition: SatParameters.java:16955
.lang.Override boolean hasUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:17205
.lang.Override boolean hasAddCliqueCuts()
Definition: SatParameters.java:17927
.lang.Override boolean hasGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:13528
Builder clearClauseCleanupLbdBound()
Definition: SatParameters.java:13059
.lang.Override boolean hasPolarityRephaseIncrement()
Definition: SatParameters.java:12307
Builder setAddLpConstraintsLazily(boolean value)
Definition: SatParameters.java:18226
Builder setFpRounding(com.google.ortools.sat.SatParameters.FPRoundingMethod value)
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:20598
Builder setVariableActivityDecay(double value)
Definition: SatParameters.java:13389
Builder clearConvertIntervals()
Definition: SatParameters.java:21371
Builder setExploitAllLpSolution(boolean value)
Definition: SatParameters.java:18927
.lang.Override boolean hasUseErwaHeuristic()
Definition: SatParameters.java:12504
.lang.Override int getPolarityRephaseIncrement()
Definition: SatParameters.java:12321
.lang.Override boolean hasNewConstraintsBatchSize()
Definition: SatParameters.java:18607
Builder clearCpModelPresolve()
Definition: SatParameters.java:15838
.lang.Override boolean getInterleaveSearch()
Definition: SatParameters.java:20087
Builder clearCpModelUseSatPresolve()
Definition: SatParameters.java:16074
.lang.Override boolean hasOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:17627
.lang.Override double getRandomBranchesRatio()
Definition: SatParameters.java:12455
Builder setAddCliqueCuts(boolean value)
Definition: SatParameters.java:17955
.lang.Override boolean hasBinarySearchNumConflicts()
Definition: SatParameters.java:19388
.lang.Override boolean getExpandAutomatonConstraints()
Definition: SatParameters.java:16201
Builder clearKeepAllFeasibleSolutionsInPresolve()
Definition: SatParameters.java:19664
Builder setOnlyAddCutsAtLevelZero(boolean value)
Definition: SatParameters.java:17653
Builder clearEnumerateAllSolutions()
Definition: SatParameters.java:19585
.lang.Override boolean hasShareLevelZeroBounds()
Definition: SatParameters.java:20287
.lang.Override boolean getOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:17640
.lang.Override boolean hasFillTightenedDomainsInResponse()
Definition: SatParameters.java:19685
.lang.Override boolean getRepairHint()
Definition: SatParameters.java:18781
.lang.Override boolean hasUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:17280
Builder setPbCleanupRatio(double value)
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:13186
.lang.Override boolean getExpandReservoirConstraints()
Definition: SatParameters.java:16376
.lang.Override boolean hasClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:12969
.lang.Override double getCutMaxActiveCountValue()
Definition: SatParameters.java:18465
Builder setUseSatInprocessing(boolean value)
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:16103
.lang.Override double getRestartDlAverageRatio()
Definition: SatParameters.java:14079
Builder setSearchBranching(com.google.ortools.sat.SatParameters.SearchBranching value)
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:18678
Builder clearUseErwaHeuristic()
Definition: SatParameters.java:12548
Builder setBlockingRestartWindowSize(int value)
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:14238
Builder setNumSearchWorkers(int value)
Definition: SatParameters.java:20031
.lang.Override int getRestartRunningWindowSize()
Definition: SatParameters.java:14022
.lang.Override boolean hasMaxAllDiffCutSize()
Definition: SatParameters.java:17990
.lang.Override boolean hasMaxNumCuts()
Definition: SatParameters.java:17562
Builder clearMergeNoOverlapWorkLimit()
Definition: SatParameters.java:16534
com.google.protobuf.ByteString getDefaultRestartAlgorithmsBytes()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:13888
Builder setUseOptimizationHints(boolean value)
Definition: SatParameters.java:16765
.lang.Override int getRestartPeriod()
Definition: SatParameters.java:13965
.lang.Override boolean hasUsePhaseSaving()
Definition: SatParameters.java:12226
Builder setMaxCutRoundsAtLevelZero(int value)
Definition: SatParameters.java:18355
.lang.Override boolean hasOptimizeWithCore()
Definition: SatParameters.java:19321
Builder clearMipCheckPrecision()
Definition: SatParameters.java:21868
.lang.Override boolean getExploitAllLpSolution()
Definition: SatParameters.java:18913
Builder setClauseCleanupLbdBound(int value)
Definition: SatParameters.java:13044
Builder setClauseCleanupTarget(int value)
Definition: SatParameters.java:12942
.lang.Override boolean hasAddCgCuts()
Definition: SatParameters.java:17749
.lang.Override long getPseudoCostReliabilityThreshold()
Definition: SatParameters.java:19273
.lang.Override boolean getPermuteVariableRandomly()
Definition: SatParameters.java:14976
.lang.Override double getMaxTimeInSeconds()
Definition: SatParameters.java:14440
.lang.Override int getPresolveSubstitutionLevel()
Definition: SatParameters.java:16608
Builder clearClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:13000
Builder clearLnsExpandIntervalsInConstraintGraph()
optional bool lns_expand_intervals_in_constraint_graph = 184 [default = true];
Definition: SatParameters.java:20458
Builder setUseExactLpReason(boolean value)
Definition: SatParameters.java:20972
.lang.Override com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:16975
Builder mergeFrom(com.google.ortools.sat.SatParameters other)
Definition: SatParameters.java:11477
Builder setUseOverloadCheckerInCumulativeConstraint(boolean value)
Definition: SatParameters.java:17239
Builder clearRandomPolarityRatio()
Definition: SatParameters.java:12422
.lang.Override boolean hasPseudoCostReliabilityThreshold()
Definition: SatParameters.java:19260
Builder clearMipMaxActivityExponent()
Definition: SatParameters.java:21805
Builder clearCatchSigintSignal()
Definition: SatParameters.java:21178
.lang.Override boolean getAddKnapsackCuts()
Definition: SatParameters.java:17701
.lang.Override boolean hasCpModelProbingLevel()
Definition: SatParameters.java:15981
Builder clearPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:15539
Builder clearSearchRandomizationTolerance()
Definition: SatParameters.java:20859
java.lang.String getDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:13869
.lang.Override boolean hasMaxMemoryInMb()
Definition: SatParameters.java:14626
Builder clearNumSearchWorkers()
Definition: SatParameters.java:20050
.lang.Override boolean hasRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:14777
Builder clearUseLnsOnly()
Definition: SatParameters.java:20380
.lang.Override boolean getOptimizeWithMaxHs()
Definition: SatParameters.java:19474
Builder setRandomPolarityRatio(double value)
Definition: SatParameters.java:12404
.lang.Override int getClauseCleanupTarget()
Definition: SatParameters.java:12929
Builder clearOptimizeWithMaxHs()
Definition: SatParameters.java:19510
.lang.Override boolean hasInitialVariablesActivity()
Definition: SatParameters.java:12570
Builder setExpandAutomatonConstraints(boolean value)
Definition: SatParameters.java:16213
.lang.Override boolean hasMinimizeCore()
Definition: SatParameters.java:16799
Builder setTreatBinaryClausesSeparately(boolean value)
Definition: SatParameters.java:14850
Builder clearMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:13330
.lang.Override boolean hasEnumerateAllSolutions()
Definition: SatParameters.java:19532
.lang.Override double getClauseActivityDecay()
Definition: SatParameters.java:13622
Builder clearInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:20160
Builder setCoverOptimization(boolean value)
Definition: SatParameters.java:16940
.lang.Override boolean hasPresolveExtractIntegerEnforcement()
Definition: SatParameters.java:16662
.lang.Override boolean hasFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:20580
Builder clearUsePbResolution()
Definition: SatParameters.java:15208
Builder setUseDisjunctiveConstraintInCumulativeConstraint(boolean value)
Definition: SatParameters.java:17395
Builder clearUseCombinedNoOverlap()
Definition: SatParameters.java:21115
Builder setSymmetryLevel(int value)
Definition: SatParameters.java:21421
.lang.Override boolean getCpModelPostsolveWithFullSolver()
Definition: SatParameters.java:15873
.lang.Override boolean hasCpModelPostsolveWithFullSolver()
Definition: SatParameters.java:15858
Builder setMaxNumCuts(int value)
Definition: SatParameters.java:17592
.lang.Override int getNumSearchWorkers()
Definition: SatParameters.java:20014
.lang.Override boolean hasMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:13661
.lang.Override double getRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:14128
.lang.Override boolean getUseBranchingInLp()
Definition: SatParameters.java:21022
Builder clearPresolveBlockedClause()
Definition: SatParameters.java:15598
.lang.Override boolean getMipAutomaticallyScaleVariables()
Definition: SatParameters.java:21601
Builder clearClauseCleanupTarget()
Definition: SatParameters.java:12957
.lang.Override boolean hasCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:15923
Builder clearAddCliqueCuts()
Definition: SatParameters.java:17971
Builder clearPolarityRephaseIncrement()
Definition: SatParameters.java:12351
Builder setMaxTimeInSeconds(double value)
Definition: SatParameters.java:14453
.lang.Override int getMaxConsecutiveInactiveCount()
Definition: SatParameters.java:18402
Builder setDisableConstraintExpansion(boolean value)
Definition: SatParameters.java:16448
.lang.Override boolean getExpandElementConstraints()
Definition: SatParameters.java:16144
Builder setAddLinMaxCuts(boolean value)
Definition: SatParameters.java:18081
.lang.Override boolean getTreatBinaryClausesSeparately()
Definition: SatParameters.java:14836
.lang.Override boolean getExploitRelaxationSolution()
Definition: SatParameters.java:19031
Builder setExploitBestSolution(boolean value)
Definition: SatParameters.java:18984
.lang.Override double getMipVarScaling()
Definition: SatParameters.java:21534
Builder clearMinimizeCore()
Definition: SatParameters.java:16837
Builder setRandomSeed(int value)
Definition: SatParameters.java:14922
Builder setUseFeasibilityPump(boolean value)
Definition: SatParameters.java:20554
.lang.Override int getBooleanEncodingLevel()
Definition: SatParameters.java:17514
.lang.Override boolean hasSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:18660
.lang.Override boolean getPolishLpSolution()
Definition: SatParameters.java:21276
Builder clearPbCleanupIncrement()
Definition: SatParameters.java:13157
.lang.Override boolean hasUseAbslRandom()
optional bool use_absl_random = 180 [default = false];
Definition: SatParameters.java:15060
Builder clearInterleaveSearch()
Definition: SatParameters.java:20121
.lang.Override boolean hasAbsoluteGapLimit()
Definition: SatParameters.java:14699
Builder clearExploitObjective()
Definition: SatParameters.java:19120
Builder clearUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:17183
Builder clearMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:16573
Builder clearFindMultipleCores()
Definition: SatParameters.java:16896
.lang.Override Builder mergeFrom(com.google.protobuf.Message other)
Definition: SatParameters.java:11468
Builder setPresolveBvaThreshold(int value)
Definition: SatParameters.java:15703
.lang.Override int getCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:15936
.lang.Override long getProbingPeriodAtRoot()
Definition: SatParameters.java:19153
Builder setNumConflictsBeforeStrategyChanges(int value)
Definition: SatParameters.java:14334
Builder clearExploitIntegerLpSolution()
Definition: SatParameters.java:18880
.lang.Override boolean hasUseExactLpReason()
Definition: SatParameters.java:20942
.lang.Override com.google.protobuf.GeneratedMessageV3.FieldAccessorTable internalGetFieldAccessorTable()
Definition: SatParameters.java:10398
Builder clearExploitAllLpSolution()
Definition: SatParameters.java:18943
.lang.Override boolean hasKeepAllFeasibleSolutionsInPresolve()
Definition: SatParameters.java:19608
.lang.Override boolean hasCountAssumptionLevelsInLbd()
Definition: SatParameters.java:15299
.lang.Override com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:12710
Builder clearFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:20611
Builder setGlucoseDecayIncrementPeriod(int value)
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:13583
Builder setUseBranchingInLp(boolean value)
Definition: SatParameters.java:21036
Builder clearLinearizationLevel()
Definition: SatParameters.java:17483
Builder clearUseBranchingInLp()
Definition: SatParameters.java:21052
.lang.Override final boolean isInitialized()
Definition: SatParameters.java:11979
.lang.Override boolean hasInterleaveSearch()
Definition: SatParameters.java:20071
.lang.Override boolean getStopAfterFirstSolution()
Definition: SatParameters.java:19890
.lang.Override double getPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:13178
Builder clearGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:13593
Builder clearUseExactLpReason()
Definition: SatParameters.java:20989
Builder setMipVarScaling(double value)
Definition: SatParameters.java:21548
Builder setMinimizeReductionDuringPbResolution(boolean value)
Definition: SatParameters.java:15258
.lang.Override double getPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:15511
.lang.Override double getInitialVariablesActivity()
Definition: SatParameters.java:12587
Builder setAddCgCuts(boolean value)
Definition: SatParameters.java:17775
.lang.Override boolean hasNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:14306
.lang.Override boolean getCatchSigintSignal()
Definition: SatParameters.java:21148
Builder clearUseOptimizationHints()
Definition: SatParameters.java:16782
.lang.Override boolean hasBooleanEncodingLevel()
Definition: SatParameters.java:17501
.lang.Override boolean hasMaxTimeInSeconds()
Definition: SatParameters.java:14427
.lang.Override boolean hasUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:17357
.lang.Override boolean hasHintConflictLimit()
Definition: SatParameters.java:18708
.lang.Override int getPresolveBvaThreshold()
Definition: SatParameters.java:15688
Builder clearPresolveBveClauseWeight()
Definition: SatParameters.java:15480
Builder clearUseOptionalVariables()
Definition: SatParameters.java:20922
.lang.Override double getGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:13536
Builder setDefaultRestartAlgorithmsBytes(com.google.protobuf.ByteString value)
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:13930
Builder clearMaxNumberOfConflicts()
Definition: SatParameters.java:14606
.lang.Override boolean hasRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:14120
.lang.Override boolean getExpandTableConstraints()
Definition: SatParameters.java:16258
.lang.Override int getPresolveBveClauseWeight()
Definition: SatParameters.java:15452
.lang.Override double getMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:13430
.lang.Override boolean hasMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:16967
.lang.Override double getMipCheckPrecision()
Definition: SatParameters.java:21838
.lang.Override int getMaxNumCuts()
Definition: SatParameters.java:17577
Builder clearPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:13196
Builder clearRestartDlAverageRatio()
Definition: SatParameters.java:14107
Builder setMinOrthogonalityForLpConstraints(double value)
Definition: SatParameters.java:18296
.lang.Override boolean hasPresolveUseBva()
Definition: SatParameters.java:15615
.lang.Override boolean getUseOptimizationHints()
Definition: SatParameters.java:16750
.lang.Override int getHintConflictLimit()
Definition: SatParameters.java:18720
.lang.Override int getClauseCleanupPeriod()
Definition: SatParameters.java:12872
.lang.Override long getSearchRandomizationTolerance()
Definition: SatParameters.java:20821
.lang.Override boolean hasDisableConstraintExpansion()
Definition: SatParameters.java:16422
.lang.Override boolean hasMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:18331
.lang.Override boolean hasGlucoseMaxDecay()
Definition: SatParameters.java:13468
Builder clearMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:13687
.lang.Override boolean hasUseImpliedBounds()
Definition: SatParameters.java:21197
Builder setFindMultipleCores(boolean value)
Definition: SatParameters.java:16881
Builder clearPresolveBvaThreshold()
Definition: SatParameters.java:15720
.lang.Override boolean hasCutMaxActiveCountValue()
Definition: SatParameters.java:18451
.lang.Override boolean hasMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:17069
.lang.Override com.google.ortools.sat.SatParameters.Polarity getInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:12178
Builder clearGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:13554
Builder clearExpandElementConstraints()
Definition: SatParameters.java:16172
Builder setUseAbslRandom(boolean value)
optional bool use_absl_random = 180 [default = false];
Definition: SatParameters.java:15076
Builder setUsePrecedencesInDisjunctiveConstraint(boolean value)
Definition: SatParameters.java:17162
.lang.Override boolean hasAddKnapsackCuts()
Definition: SatParameters.java:17687
.lang.Override boolean hasUseRelaxationLns()
Definition: SatParameters.java:20629
Builder setStrategyChangeIncreaseRatio(double value)
Definition: SatParameters.java:14394
Builder clearExploitBestSolution()
Definition: SatParameters.java:18998
.lang.Override boolean getUseCombinedNoOverlap()
Definition: SatParameters.java:21085
Builder setGlucoseMaxDecay(double value)
Definition: SatParameters.java:13498
Builder setBooleanEncodingLevel(int value)
Definition: SatParameters.java:17527
Builder setRestartRunningWindowSize(int value)
Definition: SatParameters.java:14034
.lang.Override boolean hasPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:13170
.lang.Override boolean getPresolveExtractIntegerEnforcement()
Definition: SatParameters.java:16679
Builder setMaxClauseActivityValue(double value)
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:13677
Builder setUseLnsOnly(boolean value)
Definition: SatParameters.java:20366
Builder setFillTightenedDomainsInResponse(boolean value)
Definition: SatParameters.java:19717
Builder clearRestartRunningWindowSize()
Definition: SatParameters.java:14048
Builder clearNewConstraintsBatchSize()
Definition: SatParameters.java:18648
Builder clearClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:13102
Builder setPresolveProbingDeterministicTimeLimit(double value)
Definition: SatParameters.java:15524
.lang.Override boolean getKeepAllFeasibleSolutionsInPresolve()
Definition: SatParameters.java:19626
Builder clearNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:14350
Builder setPolishLpSolution(boolean value)
Definition: SatParameters.java:21291
.lang.Override double getGlucoseMaxDecay()
Definition: SatParameters.java:13483
Builder clearMaxConsecutiveInactiveCount()
Definition: SatParameters.java:18432
.lang.Override boolean hasMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:18264
.lang.Override boolean hasProbingPeriodAtRoot()
Definition: SatParameters.java:19139
Builder setExploitIntegerLpSolution(boolean value)
Definition: SatParameters.java:18863
Builder setRepairHint(boolean value)
Definition: SatParameters.java:18796
.lang.Override boolean hasCpModelUseSatPresolve()
Definition: SatParameters.java:16036
.lang.Override boolean getConvertIntervals()
Definition: SatParameters.java:21341
.lang.Override boolean hasRestartDlAverageRatio()
Definition: SatParameters.java:14066
int getRestartAlgorithmsCount()
Definition: SatParameters.java:13736
Builder clearAddCgCuts()
Definition: SatParameters.java:17790
.lang.Override boolean hasMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:13223
Builder setDiversifyLnsParams(boolean value)
Definition: SatParameters.java:20711
Builder clearRandomizeSearch()
Definition: SatParameters.java:20780
.lang.Override boolean hasLinearizationLevel()
Definition: SatParameters.java:17436
Builder setClauseActivityDecay(double value)
Definition: SatParameters.java:13634
Builder clearShareLevelZeroBounds()
Definition: SatParameters.java:20325
Builder clearRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:14146
.lang.Override boolean getReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:20189
.lang.Override boolean hasPresolveSubstitutionLevel()
Definition: SatParameters.java:16593
java.lang.String getName()
Definition: SatParameters.java:12030
Builder clearBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:12776
.lang.Override boolean getAddCgCuts()
Definition: SatParameters.java:17762
.lang.Override boolean hasPresolveBvaThreshold()
Definition: SatParameters.java:15673
Builder clearDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:13919
.lang.Override boolean getExploitBestSolution()
Definition: SatParameters.java:18972
Builder clearExpandAutomatonConstraints()
Definition: SatParameters.java:16227
Builder setAddZeroHalfCuts(boolean value)
Definition: SatParameters.java:17893
.lang.Override boolean hasGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:13567
Builder clearUseAbslRandom()
optional bool use_absl_random = 180 [default = false];
Definition: SatParameters.java:15086
.lang.Override double getMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:18280
Builder clearAddKnapsackCuts()
Definition: SatParameters.java:17731
Builder setPresolveUseBva(boolean value)
Definition: SatParameters.java:15639
Builder setPermuteVariableRandomly(boolean value)
Definition: SatParameters.java:14991
.lang.Override boolean hasRestartRunningWindowSize()
Definition: SatParameters.java:14010
.lang.Override boolean hasExpandReservoirConstraints()
Definition: SatParameters.java:16363
Builder clearPermuteVariableRandomly()
Definition: SatParameters.java:15008
Builder setRandomizeSearch(boolean value)
Definition: SatParameters.java:20766
.lang.Override boolean hasStrategyChangeIncreaseRatio()
Definition: SatParameters.java:14368
.lang.Override int getBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:14230
.lang.Override final Builder setUnknownFields(final com.google.protobuf.UnknownFieldSet unknownFields)
Definition: SatParameters.java:21875
Builder clearRepairHint()
Definition: SatParameters.java:18813
.lang.Override boolean getDiversifyLnsParams()
Definition: SatParameters.java:20699
Builder setRestartPeriod(int value)
Definition: SatParameters.java:13978
.lang.Override boolean hasMipMaxBound()
Definition: SatParameters.java:21457
.lang.Override int getMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:13312
.lang.Override boolean getUseAbslRandom()
optional bool use_absl_random = 180 [default = false];
Definition: SatParameters.java:15068
Builder setMergeNoOverlapWorkLimit(double value)
Definition: SatParameters.java:16516
Builder setPseudoCostReliabilityThreshold(long value)
Definition: SatParameters.java:19286
Builder setExploitObjective(boolean value)
Definition: SatParameters.java:19105
.lang.Override boolean getFillTightenedDomainsInResponse()
Definition: SatParameters.java:19701
Builder clearInitialVariablesActivity()
Definition: SatParameters.java:12623
Builder setUseRelaxationLns(boolean value)
Definition: SatParameters.java:20655
.lang.Override com.google.ortools.sat.SatParameters.FPRoundingMethod getFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:20588
.lang.Override double getMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:16555
.lang.Override boolean hasUseRinsLns()
Definition: SatParameters.java:20475
Builder clearExpandAlldiffConstraints()
Definition: SatParameters.java:16345
.lang.Override boolean getExploitObjective()
Definition: SatParameters.java:19092
Builder clearOptimizeWithCore()
Definition: SatParameters.java:19368
Builder setKeepAllFeasibleSolutionsInPresolve(boolean value)
Definition: SatParameters.java:19644
Builder clearMaxIntegerRoundingScaling()
Definition: SatParameters.java:18176
Builder clearInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:12201
Builder clearCutMaxActiveCountValue()
Definition: SatParameters.java:18495
.lang.Override boolean hasUseBlockingRestart()
Definition: SatParameters.java:14165
Builder setSearchRandomizationTolerance(long value)
Definition: SatParameters.java:20839
.lang.Override com.google.ortools.sat.SatParameters.SearchBranching getSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:18668
Builder setCpModelPostsolveWithFullSolver(boolean value)
Definition: SatParameters.java:15888
.lang.Override boolean hasStopAfterFirstSolution()
Definition: SatParameters.java:19878
Builder clearUseRinsLns()
Definition: SatParameters.java:20513
Builder clearPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:12158
Builder setMaxVariableActivityValue(double value)
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:13438
Builder setMaxDeterministicTime(double value)
Definition: SatParameters.java:14515
.lang.Override boolean hasPresolveBveThreshold()
Definition: SatParameters.java:15377
.lang.Override com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:17077
.lang.Override boolean getAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:12658
.lang.Override Builder clone()
Definition: SatParameters.java:11436
.lang.Override boolean getCpModelPresolve()
Definition: SatParameters.java:15812
Builder clearFillTightenedDomainsInResponse()
Definition: SatParameters.java:19735
Builder clearPresolveUseBva()
Definition: SatParameters.java:15653
.lang.Override boolean hasBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:14261
Builder clearMaxMemoryInMb()
Definition: SatParameters.java:14673
.lang.Override boolean getCoverOptimization()
Definition: SatParameters.java:16927
.lang.Override boolean hasReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:20177
.lang.Override double getAbsoluteGapLimit()
Definition: SatParameters.java:14720
Builder setOptimizeWithMaxHs(boolean value)
Definition: SatParameters.java:19491
.lang.Override boolean hasSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:12796
static final com.google.protobuf.Descriptors.Descriptor getDescriptor()
Definition: SatParameters.java:10392
Builder clearMipAutomaticallyScaleVariables()
Definition: SatParameters.java:21635
.lang.Override int getPresolveBveThreshold()
Definition: SatParameters.java:15391
.lang.Override com.google.ortools.sat.SatParameters build()
Definition: SatParameters.java:10759
.lang.Override boolean getUseImpliedBounds()
Definition: SatParameters.java:21211
Builder clearMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:12733
Builder clearAddLpConstraintsLazily()
Definition: SatParameters.java:18243
.lang.Override double getVariableActivityDecay()
Definition: SatParameters.java:13371
Builder setClauseCleanupProtection(com.google.ortools.sat.SatParameters.ClauseProtection value)
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:12987
Builder setUseImpliedBounds(boolean value)
Definition: SatParameters.java:21225
.lang.Override boolean getUseLnsOnly()
Definition: SatParameters.java:20354
Builder clearUseRelaxationLns()
Definition: SatParameters.java:20670
Builder clearUsePhaseSaving()
Definition: SatParameters.java:12288
Builder setPreferredVariableOrder(com.google.ortools.sat.SatParameters.VariableOrder value)
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:12145
.lang.Override int getPbCleanupIncrement()
Definition: SatParameters.java:13131
.lang.Override boolean getPresolveBlockedClause()
Definition: SatParameters.java:15570
Builder setMaxSatStratification(com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value)
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:17087
.lang.Override boolean hasUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:16087
.lang.Override com.google.ortools.sat.SatParameters.ClauseProtection getClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:12977
Builder clearPresolveSubstitutionLevel()
Definition: SatParameters.java:16640
Builder clearMipWantedPrecision()
Definition: SatParameters.java:21726
Builder setDefaultRestartAlgorithms(java.lang.String value)
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:13905
.lang.Override boolean hasMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:17016
.lang.Override boolean hasStopAfterPresolve()
Definition: SatParameters.java:19934
.lang.Override boolean hasDiversifyLnsParams()
Definition: SatParameters.java:20687
.lang.Override int getClauseCleanupLbdBound()
Definition: SatParameters.java:13031
Builder setBinaryMinimizationAlgorithm(com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value)
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:12763
.lang.Override boolean hasLnsExpandIntervalsInConstraintGraph()
optional bool lns_expand_intervals_in_constraint_graph = 184 [default = true];
Definition: SatParameters.java:20432
Builder addRestartAlgorithms(com.google.ortools.sat.SatParameters.RestartAlgorithm value)
Definition: SatParameters.java:13801
Builder clearUseFeasibilityPump()
Definition: SatParameters.java:20568
Builder setCutActiveCountDecay(double value)
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:18524
.lang.Override int getMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:13245
.lang.Override boolean hasCpModelPresolve()
Definition: SatParameters.java:15800
boolean hasDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:13862
.lang.Override boolean getFindMultipleCores()
Definition: SatParameters.java:16868
.lang.Override int getMaxIntegerRoundingScaling()
Definition: SatParameters.java:18138
.lang.Override boolean hasRandomBranchesRatio()
Definition: SatParameters.java:12441
.lang.Override boolean hasPolishLpSolution()
Definition: SatParameters.java:21261
Builder clearRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:14803
.lang.Override boolean getUsePhaseSaving()
Definition: SatParameters.java:12246
Builder setMinimizationAlgorithm(com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value)
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:12720
Builder setReduceMemoryUsageInInterleaveMode(boolean value)
Definition: SatParameters.java:20201
.lang.Override boolean getAddLinMaxCuts()
Definition: SatParameters.java:18067
Builder clearPolishLpSolution()
Definition: SatParameters.java:21308
.lang.Override boolean getAddMirCuts()
Definition: SatParameters.java:17821
Builder setMipCheckPrecision(double value)
Definition: SatParameters.java:21852
com.google.protobuf.ByteString getNameBytes()
Definition: SatParameters.java:12054
Builder clearExploitRelaxationSolution()
Definition: SatParameters.java:19061
.lang.Override boolean getMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:17029
.lang.Override long getMaxNumberOfConflicts()
Definition: SatParameters.java:14570
.lang.Override boolean hasMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:12702
.lang.Override boolean hasExpandTableConstraints()
Definition: SatParameters.java:16245
Builder clearUseProbingSearch()
Definition: SatParameters.java:19242
.lang.Override boolean getUseOptionalVariables()
Definition: SatParameters.java:20892
Builder clearMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:13448
Builder clearAddLinMaxCuts()
Definition: SatParameters.java:18097
Builder setMipAutomaticallyScaleVariables(boolean value)
Definition: SatParameters.java:21617
.lang.Override boolean getUsePbResolution()
Definition: SatParameters.java:15176
.lang.Override boolean getExploitIntegerLpSolution()
Definition: SatParameters.java:18848
Builder setPresolveBlockedClause(boolean value)
Definition: SatParameters.java:15583
.lang.Override boolean hasPermutePresolveConstraintOrder()
optional bool permute_presolve_constraint_order = 179 [default = false];
Definition: SatParameters.java:15021
.lang.Override boolean getAddZeroHalfCuts()
Definition: SatParameters.java:17880
Builder setShareLevelZeroBounds(boolean value)
Definition: SatParameters.java:20311
.lang.Override boolean getAddLpConstraintsLazily()
Definition: SatParameters.java:18211
Builder clearStrategyChangeIncreaseRatio()
Definition: SatParameters.java:14409
.lang.Override boolean getUseErwaHeuristic()
Definition: SatParameters.java:12518
.lang.Override boolean getAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:19829
Builder clearClauseCleanupPeriod()
Definition: SatParameters.java:12898
Builder setCpModelPresolve(boolean value)
Definition: SatParameters.java:15824
Builder setUsePhaseSaving(boolean value)
Definition: SatParameters.java:12266
Builder clearRestartPeriod()
Definition: SatParameters.java:13993
Builder setAlsoBumpVariablesInConflictReasons(boolean value)
Definition: SatParameters.java:12673
.lang.Override boolean hasUseOptimizationHints()
Definition: SatParameters.java:16735
.lang.Override boolean hasMipAutomaticallyScaleVariables()
Definition: SatParameters.java:21585
.lang.Override boolean hasLogSearchProgress()
Definition: SatParameters.java:15103
.lang.Override int getSymmetryLevel()
Definition: SatParameters.java:21406
.lang.Override boolean hasUseBranchingInLp()
Definition: SatParameters.java:21008
Builder setPresolveExtractIntegerEnforcement(boolean value)
Definition: SatParameters.java:16696
Builder setPresolveSubstitutionLevel(int value)
Definition: SatParameters.java:16623
Builder clearClauseActivityDecay()
Definition: SatParameters.java:13648
.lang.Override boolean getRandomizeSearch()
Definition: SatParameters.java:20754
.lang.Override boolean hasNumSearchWorkers()
Definition: SatParameters.java:19997
.lang.Override boolean hasAddLinMaxCuts()
Definition: SatParameters.java:18053
.lang.Override Builder clearField(com.google.protobuf.Descriptors.FieldDescriptor field)
Definition: SatParameters.java:11446
.lang.Override boolean getUseFeasibilityPump()
Definition: SatParameters.java:20542
Builder clearStopAfterPresolve()
Definition: SatParameters.java:19975
.lang.Override double getMipMaxBound()
Definition: SatParameters.java:21471
.lang.Override boolean hasCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:18508
Builder setCpModelMaxNumPresolveOperations(int value)
Definition: SatParameters.java:15949
.lang.Override boolean getUseBlockingRestart()
Definition: SatParameters.java:14179
.lang.Override int getBinarySearchNumConflicts()
Definition: SatParameters.java:19403
Builder setAddKnapsackCuts(boolean value)
Definition: SatParameters.java:17715
.lang.Override int getGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:13575
Builder setAddMirCuts(boolean value)
Definition: SatParameters.java:17834
Builder clearBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:14287
.lang.Override boolean hasBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:14222
Builder clearExpandTableConstraints()
Definition: SatParameters.java:16286
.lang.Override boolean getUseExactLpReason()
Definition: SatParameters.java:20957
.lang.Override int getMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:18343
Builder setExpandElementConstraints(boolean value)
Definition: SatParameters.java:16157
Builder setMaxConsecutiveInactiveCount(int value)
Definition: SatParameters.java:18416
.lang.Override com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:12753
.lang.Override com.google.ortools.sat.SatParameters.VariableOrder getPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:12135
Builder setUseOptionalVariables(boolean value)
Definition: SatParameters.java:20906
Builder clearUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:17258
.lang.Override Builder clearOneof(com.google.protobuf.Descriptors.OneofDescriptor oneof)
Definition: SatParameters.java:11451
.lang.Override boolean getStopAfterPresolve()
Definition: SatParameters.java:19947
static final int EXPLOIT_BEST_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:6091
static final int USE_OPTIONAL_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:7031
static final int CLAUSE_ACTIVITY_DECAY_FIELD_NUMBER
Definition: SatParameters.java:3468
.lang.Override int getNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:3834
.lang.Override boolean hasExploitAllLpSolution()
Definition: SatParameters.java:6073
.lang.Override boolean getCountAssumptionLevelsInLbd()
Definition: SatParameters.java:4330
static final int PRESOLVE_BVE_CLAUSE_WEIGHT_FIELD_NUMBER
Definition: SatParameters.java:4365
static final int MAX_NUM_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5404
static final int ADD_MIR_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5526
.lang.Override boolean hasMipCheckPrecision()
Definition: SatParameters.java:7510
static final int USE_TIMETABLE_EDGE_FINDING_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:5264
static final int SEARCH_RANDOMIZATION_TOLERANCE_FIELD_NUMBER
Definition: SatParameters.java:6992
.lang.Override boolean hasRepairHint()
Definition: SatParameters.java:6008
.lang.Override boolean hasPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:4406
.lang.Override boolean getAddCliqueCuts()
Definition: SatParameters.java:5611
static final int RANDOM_BRANCHES_RATIO_FIELD_NUMBER
Definition: SatParameters.java:2901
.lang.Override double getCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:5888
.lang.Override boolean hasCatchSigintSignal()
Definition: SatParameters.java:7170
static final int LNS_EXPAND_INTERVALS_IN_CONSTRAINT_GRAPH_FIELD_NUMBER
Definition: SatParameters.java:6817
.lang.Override boolean hasAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:3014
.lang.Override boolean hasUseProbingSearch()
Definition: SatParameters.java:6221
.lang.Override boolean getUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:4701
.lang.Override boolean hasRandomPolarityRatio()
Definition: SatParameters.java:2881
static final int MIP_AUTOMATICALLY_SCALE_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:7378
.lang.Override int getCutCleanupTarget()
Definition: SatParameters.java:5915
static final int MAX_SAT_STRATIFICATION_FIELD_NUMBER
Definition: SatParameters.java:5167
.lang.Override boolean getPresolveUseBva()
Definition: SatParameters.java:4475
static final int RESTART_LBD_AVERAGE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3719
.lang.Override boolean hasExpandAlldiffConstraints()
Definition: SatParameters.java:4802
.lang.Override double getRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:4057
.lang.Override double getBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:3803
.lang.Override boolean getUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:5223
.lang.Override boolean hasInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:2779
static final int CLAUSE_CLEANUP_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:3104
.lang.Override boolean hasExpandElementConstraints()
Definition: SatParameters.java:4717
static final int PRESOLVE_SUBSTITUTION_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:4931
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:10304
static final int USE_IMPLIED_BOUNDS_FIELD_NUMBER
Definition: SatParameters.java:7188
.lang.Override boolean hasPresolveBveClauseWeight()
Definition: SatParameters.java:4377
.lang.Override boolean hasPresolveBlockedClause()
Definition: SatParameters.java:4435
.lang.Override boolean hasMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:3385
.lang.Override java.lang.String getDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:3601
.lang.Override boolean hasSearchRandomizationTolerance()
Definition: SatParameters.java:7009
.lang.Override boolean hasAddLpConstraintsLazily()
Definition: SatParameters.java:5730
.lang.Override boolean hasMipVarScaling()
Definition: SatParameters.java:7360
static final int CUT_CLEANUP_TARGET_FIELD_NUMBER
Definition: SatParameters.java:5892
.lang.Override boolean hasLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:6805
.lang.Override boolean hasMaxConsecutiveInactiveCount()
Definition: SatParameters.java:5824
.lang.Override boolean hasExpandAutomatonConstraints()
Definition: SatParameters.java:4745
.lang.Override boolean hasMaxDeterministicTime()
Definition: SatParameters.java:3909
.lang.Override boolean hasFindMultipleCores()
Definition: SatParameters.java:5073
static com.google.ortools.sat.SatParameters parseFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:10325
.lang.Override boolean hasUseCombinedNoOverlap()
Definition: SatParameters.java:7139
.lang.Override boolean hasRandomSeed()
Definition: SatParameters.java:4108
.lang.Override com.google.ortools.sat.SatParameters.ClauseOrdering getClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:3221
.lang.Override boolean getMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:4289
.lang.Override int getCpModelProbingLevel()
Definition: SatParameters.java:4655
.lang.Override double getRandomPolarityRatio()
Definition: SatParameters.java:2897
static final int RESTART_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:3634
.lang.Override double getStrategyChangeIncreaseRatio()
Definition: SatParameters.java:3863
.lang.Override boolean hasCoverOptimization()
Definition: SatParameters.java:5102
.lang.Override boolean getUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:5338
.lang.Override boolean getDisableConstraintExpansion()
Definition: SatParameters.java:4873
.lang.Override boolean getUseRelaxationLns()
Definition: SatParameters.java:6934
static final int CP_MODEL_USE_SAT_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:4659
.lang.Override boolean hasUseLnsOnly()
Definition: SatParameters.java:6782
.lang.Override boolean hasMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:3327
.lang.Override boolean hasTreatBinaryClausesSeparately()
Definition: SatParameters.java:4074
.lang.Override boolean hasRestartPeriod()
Definition: SatParameters.java:3646
.lang.Override boolean hasExploitObjective()
Definition: SatParameters.java:6161
.lang.Override boolean hasPermuteVariableRandomly()
Definition: SatParameters.java:4143
.lang.Override com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index)
Definition: SatParameters.java:3582
.lang.Override double getMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:3510
.lang.Override boolean hasInstantiateAllVariables()
Definition: SatParameters.java:6493
static final int MINIMIZE_WITH_PROPAGATION_RESTART_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:3273
.lang.Override boolean hasUseFeasibilityPump()
Definition: SatParameters.java:6874
static final int SHARE_OBJECTIVE_BOUNDS_FIELD_NUMBER
Definition: SatParameters.java:6717
.lang.Override int getMipMaxActivityExponent()
Definition: SatParameters.java:7493
.lang.Override boolean getEnumerateAllSolutions()
Definition: SatParameters.java:6403
.lang.Override boolean hasAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:6524
.lang.Override int getRestartAlgorithmsCount()
Definition: SatParameters.java:3562
.lang.Override boolean hasCutCleanupTarget()
Definition: SatParameters.java:5903
.lang.Override boolean getPermutePresolveConstraintOrder()
optional bool permute_presolve_constraint_order = 179 [default = false];
Definition: SatParameters.java:4177
.lang.Override int getMaxPresolveIterations()
Definition: SatParameters.java:4539
.lang.Override boolean hasRandomizeSearch()
Definition: SatParameters.java:6976
.lang.Override boolean hasDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:3593
static final int MIP_VAR_SCALING_FIELD_NUMBER
Definition: SatParameters.java:7347
.lang.Override boolean hasExploitBestSolution()
Definition: SatParameters.java:6102
static final int INTERLEAVE_BATCH_SIZE_FIELD_NUMBER
Definition: SatParameters.java:6671
static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:10337
.lang.Override boolean hasUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:5204
static final int USE_RELAXATION_LNS_FIELD_NUMBER
Definition: SatParameters.java:6909
static final int USE_PROBING_SEARCH_FIELD_NUMBER
Definition: SatParameters.java:6209
.lang.Override int getLinearizationLevel()
Definition: SatParameters.java:5371
static final int LNS_FOCUS_ON_DECISION_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:6798
static final int SUBSUMPTION_DURING_CONFLICT_ANALYSIS_FIELD_NUMBER
Definition: SatParameters.java:3071
.lang.Override boolean hasClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:3214
static final int INITIAL_VARIABLES_ACTIVITY_FIELD_NUMBER
Definition: SatParameters.java:2963
.lang.Override int getInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:6686
.lang.Override boolean hasMaxIntegerRoundingScaling()
Definition: SatParameters.java:5694
static final int HINT_CONFLICT_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:5967
.lang.Override boolean getUseRinsLns()
Definition: SatParameters.java:6859
.lang.Override boolean hasClauseActivityDecay()
Definition: SatParameters.java:3479
static final int MIP_WANTED_PRECISION_FIELD_NUMBER
Definition: SatParameters.java:7413
.lang.Override boolean hasMipMaxActivityExponent()
Definition: SatParameters.java:7475
.lang.Override boolean hasShareObjectiveBounds()
Definition: SatParameters.java:6728
.lang.Override boolean getCpModelUseSatPresolve()
Definition: SatParameters.java:4682
.lang.Override boolean hasSymmetryLevel()
Definition: SatParameters.java:7297
.lang.Override double getMipWantedPrecision()
Definition: SatParameters.java:7454
static final int RANDOMIZE_SEARCH_FIELD_NUMBER
Definition: SatParameters.java:6965
.lang.Override boolean hasMaxPresolveIterations()
Definition: SatParameters.java:4525
.lang.Override boolean hasMaxNumberOfConflicts()
Definition: SatParameters.java:3943
.lang.Override boolean hasClauseCleanupTarget()
Definition: SatParameters.java:3143
.lang.Override boolean hasAddMirCuts()
Definition: SatParameters.java:5538
.lang.Override long getMaxMemoryInMb()
Definition: SatParameters.java:3993
.lang.Override com.google.ortools.sat.SatParameters getDefaultInstanceForType()
Definition: SatParameters.java:21921
static final int ALSO_BUMP_VARIABLES_IN_CONFLICT_REASONS_FIELD_NUMBER
Definition: SatParameters.java:3000
static final int COUNT_ASSUMPTION_LEVELS_IN_LBD_FIELD_NUMBER
Definition: SatParameters.java:4293
static final int USE_RINS_LNS_FIELD_NUMBER
Definition: SatParameters.java:6836
.lang.Override boolean getUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:5297
.lang.Override boolean getMinimizeCore()
Definition: SatParameters.java:5057
static final int FIND_MULTIPLE_CORES_FIELD_NUMBER
Definition: SatParameters.java:5061
.lang.Override double getMergeNoOverlapWorkLimit()
Definition: SatParameters.java:4908
static final int NUM_SEARCH_WORKERS_FIELD_NUMBER
Definition: SatParameters.java:6599
.lang.Override Builder newBuilderForType(com.google.protobuf.GeneratedMessageV3.BuilderParent parent)
Definition: SatParameters.java:10373
static final int STRATEGY_CHANGE_INCREASE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3838
.lang.Override boolean hasConvertIntervals()
Definition: SatParameters.java:7265
.lang.Override boolean getUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:5260
.lang.Override boolean hasMergeNoOverlapWorkLimit()
Definition: SatParameters.java:4892
.lang.Override boolean getLogSearchProgress()
Definition: SatParameters.java:4223
static final int MAX_VARIABLE_ACTIVITY_VALUE_FIELD_NUMBER
Definition: SatParameters.java:3378
.lang.Override boolean getLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:6813
.lang.Override int getNewConstraintsBatchSize()
Definition: SatParameters.java:5944
static Builder newBuilder(com.google.ortools.sat.SatParameters prototype)
Definition: SatParameters.java:10363
.lang.Override int getMaxAllDiffCutSize()
Definition: SatParameters.java:5642
.lang.Override boolean getLnsExpandIntervalsInConstraintGraph()
optional bool lns_expand_intervals_in_constraint_graph = 184 [default = true];
Definition: SatParameters.java:6832
static final int ADD_CLIQUE_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5584
.lang.Override boolean hasPbCleanupIncrement()
Definition: SatParameters.java:3238
.lang.Override boolean hasOptimizeWithMaxHs()
Definition: SatParameters.java:6349
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.CodedInputStream input)
Definition: SatParameters.java:10344
.lang.Override boolean hasVariableActivityDecay()
Definition: SatParameters.java:3356
static final int AUTO_DETECT_GREATER_THAN_AT_LEAST_ONE_OF_FIELD_NUMBER
Definition: SatParameters.java:6510
.lang.Override boolean hasMipWantedPrecision()
Definition: SatParameters.java:7433
.lang.Override boolean hasClauseCleanupLbdBound()
Definition: SatParameters.java:3191
static final int COVER_OPTIMIZATION_FIELD_NUMBER
Definition: SatParameters.java:5090
static final int STOP_AFTER_FIRST_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:6543
.lang.Override boolean hasPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:2760
.lang.Override boolean getInstantiateAllVariables()
Definition: SatParameters.java:6506
.lang.Override boolean getUseProbingSearch()
Definition: SatParameters.java:6234
.lang.Override double getMaxDeterministicTime()
Definition: SatParameters.java:3923
.lang.Override boolean getExpandAlldiffConstraints()
Definition: SatParameters.java:4815
.lang.Override boolean hasExploitIntegerLpSolution()
Definition: SatParameters.java:6041
static final int BLOCKING_RESTART_MULTIPLIER_FIELD_NUMBER
Definition: SatParameters.java:3788
static final int STOP_AFTER_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:6570
.lang.Override boolean getShareLevelZeroBounds()
Definition: SatParameters.java:6767
.lang.Override boolean hasInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:6678
static final int CLAUSE_CLEANUP_ORDERING_FIELD_NUMBER
Definition: SatParameters.java:3208
.lang.Override boolean getOptimizeWithCore()
Definition: SatParameters.java:6296
.lang.Override boolean hasBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:3058
.lang.Override boolean hasClauseCleanupPeriod()
Definition: SatParameters.java:3115
.lang.Override boolean hasMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:4274
.lang.Override boolean hasAddZeroHalfCuts()
Definition: SatParameters.java:5567
.lang.Override int getRandomSeed()
Definition: SatParameters.java:4125
static com.google.ortools.sat.SatParameters getDefaultInstance()
Definition: SatParameters.java:21896
static final int EXPAND_AUTOMATON_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:4734
.lang.Override boolean hasMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:4919
.lang.Override boolean hasExploitRelaxationSolution()
Definition: SatParameters.java:6131
.lang.Override boolean getSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:3100
static final int USE_DISJUNCTIVE_CONSTRAINT_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:5301
static com.google.ortools.sat.SatParameters parseFrom(byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:10314
.lang.Override java.lang.String getName()
Definition: SatParameters.java:2716
static final int ADD_KNAPSACK_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5466
static final int PROBING_PERIOD_AT_ROOT_FIELD_NUMBER
Definition: SatParameters.java:6178
.lang.Override boolean getShareObjectiveBounds()
Definition: SatParameters.java:6740
static final int MAX_SAT_ASSUMPTION_ORDER_FIELD_NUMBER
Definition: SatParameters.java:5119
.lang.Override boolean hasUsePbResolution()
Definition: SatParameters.java:4241
static final int NUM_CONFLICTS_BEFORE_STRATEGY_CHANGES_FIELD_NUMBER
Definition: SatParameters.java:3807
static final int MINIMIZATION_ALGORITHM_FIELD_NUMBER
Definition: SatParameters.java:3033
.lang.Override boolean hasUseOptionalVariables()
Definition: SatParameters.java:7044
static final int PRESOLVE_PROBING_DETERMINISTIC_TIME_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:4394
static final int BLOCKING_RESTART_WINDOW_SIZE_FIELD_NUMBER
Definition: SatParameters.java:3769
.lang.Override boolean hasUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:5243
static final int MINIMIZE_CORE_FIELD_NUMBER
Definition: SatParameters.java:5034
.lang.Override boolean hasAddCliqueCuts()
Definition: SatParameters.java:5597
.lang.Override boolean hasGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:3437
.lang.Override boolean hasPolarityRephaseIncrement()
Definition: SatParameters.java:2848
static final int LOG_SEARCH_PROGRESS_FIELD_NUMBER
Definition: SatParameters.java:4200
.lang.Override boolean hasUseErwaHeuristic()
Definition: SatParameters.java:2945
static final int PRESOLVE_EXTRACT_INTEGER_ENFORCEMENT_FIELD_NUMBER
Definition: SatParameters.java:4964
static final int MAX_INTEGER_ROUNDING_SCALING_FIELD_NUMBER
Definition: SatParameters.java:5677
.lang.Override int getPolarityRephaseIncrement()
Definition: SatParameters.java:2862
.lang.Override boolean hasNewConstraintsBatchSize()
Definition: SatParameters.java:5931
static final int MAX_CONSECUTIVE_INACTIVE_COUNT_FIELD_NUMBER
Definition: SatParameters.java:5811
static final int CUT_MAX_ACTIVE_COUNT_VALUE_FIELD_NUMBER
Definition: SatParameters.java:5842
.lang.Override boolean getInterleaveSearch()
Definition: SatParameters.java:6667
.lang.Override boolean hasOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:5449
.lang.Override double getRandomBranchesRatio()
Definition: SatParameters.java:2928
static final int REPAIR_HINT_FIELD_NUMBER
Definition: SatParameters.java:5994
.lang.Override boolean hasBinarySearchNumConflicts()
Definition: SatParameters.java:6314
.lang.Override boolean getExpandAutomatonConstraints()
Definition: SatParameters.java:4757
.lang.Override boolean hasShareLevelZeroBounds()
Definition: SatParameters.java:6755
static final int MIN_ORTHOGONALITY_FOR_LP_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:5749
static final int PERMUTE_PRESOLVE_CONSTRAINT_ORDER_FIELD_NUMBER
Definition: SatParameters.java:4162
static final int MIP_MAX_BOUND_FIELD_NUMBER
Definition: SatParameters.java:7316
.lang.Override boolean getOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:5462
.lang.Override boolean hasFillTightenedDomainsInResponse()
Definition: SatParameters.java:6461
.lang.Override boolean getRepairHint()
Definition: SatParameters.java:6023
.lang.Override boolean hasUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:5280
static final int USE_SAT_INPROCESSING_FIELD_NUMBER
Definition: SatParameters.java:4686
.lang.Override boolean getExpandReservoirConstraints()
Definition: SatParameters.java:4844
.lang.Override boolean hasClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:3166
.lang.Override double getCutMaxActiveCountValue()
Definition: SatParameters.java:5869
.lang.Override double getRestartDlAverageRatio()
Definition: SatParameters.java:3715
static final int USE_OPTIMIZATION_HINTS_FIELD_NUMBER
Definition: SatParameters.java:5001
static final int POLARITY_REPHASE_INCREMENT_FIELD_NUMBER
Definition: SatParameters.java:2835
.lang.Override int getRestartRunningWindowSize()
Definition: SatParameters.java:3686
.lang.Override boolean hasMaxAllDiffCutSize()
Definition: SatParameters.java:5628
.lang.Override boolean hasMaxNumCuts()
Definition: SatParameters.java:5418
static final int USE_PB_RESOLUTION_FIELD_NUMBER
Definition: SatParameters.java:4227
static final int MAX_PRESOLVE_ITERATIONS_FIELD_NUMBER
Definition: SatParameters.java:4512
.lang.Override int getRestartPeriod()
Definition: SatParameters.java:3659
.lang.Override boolean hasUsePhaseSaving()
Definition: SatParameters.java:2811
static final int MAX_NUMBER_OF_CONFLICTS_FIELD_NUMBER
Definition: SatParameters.java:3927
.lang.Override boolean hasOptimizeWithCore()
Definition: SatParameters.java:6281
.lang.Override boolean getExploitAllLpSolution()
Definition: SatParameters.java:6087
.lang.Override boolean hasAddCgCuts()
Definition: SatParameters.java:5509
.lang.Override long getPseudoCostReliabilityThreshold()
Definition: SatParameters.java:6263
static final int USE_COMBINED_NO_OVERLAP_FIELD_NUMBER
Definition: SatParameters.java:7126
.lang.Override boolean getPermuteVariableRandomly()
Definition: SatParameters.java:4158
.lang.Override double getMaxTimeInSeconds()
Definition: SatParameters.java:3892
.lang.Override int getPresolveSubstitutionLevel()
Definition: SatParameters.java:4960
.lang.Override com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:5132
.lang.Override com.google.protobuf.Parser< SatParameters > getParserForType()
Definition: SatParameters.java:21916
.lang.Override boolean hasPseudoCostReliabilityThreshold()
Definition: SatParameters.java:6250
.lang.Override boolean getAddKnapsackCuts()
Definition: SatParameters.java:5493
.lang.Override boolean hasCpModelProbingLevel()
Definition: SatParameters.java:4643
.lang.Override Builder toBuilder()
Definition: SatParameters.java:10367
.lang.Override boolean hasMaxMemoryInMb()
Definition: SatParameters.java:3978
.lang.Override boolean hasRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:4049
static final int NAME_FIELD_NUMBER
Definition: SatParameters.java:2691
.lang.Override boolean getOptimizeWithMaxHs()
Definition: SatParameters.java:6366
static final int USE_PRECEDENCES_IN_DISJUNCTIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:5186
.lang.Override Builder newBuilderForType()
Definition: SatParameters.java:10359
static com.google.ortools.sat.SatParameters parseFrom(java.nio.ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:10293
static final int MAX_CLAUSE_ACTIVITY_VALUE_FIELD_NUMBER
Definition: SatParameters.java:3495
.lang.Override int getClauseCleanupTarget()
Definition: SatParameters.java:3156
static final int CP_MODEL_POSTSOLVE_WITH_FULL_SOLVER_FIELD_NUMBER
Definition: SatParameters.java:4570
.lang.Override boolean hasInitialVariablesActivity()
Definition: SatParameters.java:2979
.lang.Override boolean hasMinimizeCore()
Definition: SatParameters.java:5045
.lang.Override boolean hasEnumerateAllSolutions()
Definition: SatParameters.java:6386
.lang.Override double getClauseActivityDecay()
Definition: SatParameters.java:3491
static com.google.protobuf.Parser< SatParameters > parser()
Definition: SatParameters.java:21911
static final int POLISH_LP_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:7219
.lang.Override boolean hasPresolveExtractIntegerEnforcement()
Definition: SatParameters.java:4980
.lang.Override boolean hasFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:6896
.lang.Override void writeTo(com.google.protobuf.CodedOutputStream output)
Definition: SatParameters.java:7540
static final int GLUCOSE_DECAY_INCREMENT_FIELD_NUMBER
Definition: SatParameters.java:3430
static final int PRESOLVE_BVE_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:4334
static final int RESTART_ALGORITHMS_FIELD_NUMBER
Definition: SatParameters.java:3514
static final int GLUCOSE_DECAY_INCREMENT_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:3449
.lang.Override boolean getCpModelPostsolveWithFullSolver()
Definition: SatParameters.java:4599
.lang.Override int getSerializedSize()
Definition: SatParameters.java:8029
static final int KEEP_ALL_FEASIBLE_SOLUTIONS_IN_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:6407
.lang.Override boolean hasCpModelPostsolveWithFullSolver()
Definition: SatParameters.java:4584
static final int CLAUSE_CLEANUP_LBD_BOUND_FIELD_NUMBER
Definition: SatParameters.java:3179
.lang.Override int getNumSearchWorkers()
Definition: SatParameters.java:6632
.lang.Override boolean hasMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:3502
.lang.Override double getRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:3734
static final int MAX_TIME_IN_SECONDS_FIELD_NUMBER
Definition: SatParameters.java:3867
.lang.Override boolean getUseBranchingInLp()
Definition: SatParameters.java:7122
.lang.Override boolean getMipAutomaticallyScaleVariables()
Definition: SatParameters.java:7409
.lang.Override java.util.List< com.google.ortools.sat.SatParameters.RestartAlgorithm > getRestartAlgorithmsList()
Definition: SatParameters.java:3542
static final int USE_FEASIBILITY_PUMP_FIELD_NUMBER
Definition: SatParameters.java:6863
.lang.Override boolean hasCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:4615
static final int EXPAND_ALLDIFF_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:4790
static final int TREAT_BINARY_CLAUSES_SEPARATELY_FIELD_NUMBER
Definition: SatParameters.java:4061
static final int PRESOLVE_USE_BVA_FIELD_NUMBER
Definition: SatParameters.java:4452
.lang.Override int getMaxConsecutiveInactiveCount()
Definition: SatParameters.java:5838
.lang.Override boolean getExpandElementConstraints()
Definition: SatParameters.java:4730
.lang.Override boolean getTreatBinaryClausesSeparately()
Definition: SatParameters.java:4088
.lang.Override boolean getExploitRelaxationSolution()
Definition: SatParameters.java:6145
static final int USE_LNS_ONLY_FIELD_NUMBER
Definition: SatParameters.java:6771
.lang.Override double getMipVarScaling()
Definition: SatParameters.java:7374
static final int PRESOLVE_BVA_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:4479
.lang.Override int getBooleanEncodingLevel()
Definition: SatParameters.java:5400
.lang.Override boolean hasSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:5954
.lang.Override boolean getPolishLpSolution()
Definition: SatParameters.java:7248
.lang.Override boolean hasUseAbslRandom()
optional bool use_absl_random = 180 [default = false];
Definition: SatParameters.java:4188
static final int MIP_MAX_ACTIVITY_EXPONENT_FIELD_NUMBER
Definition: SatParameters.java:7458
.lang.Override boolean hasAbsoluteGapLimit()
Definition: SatParameters.java:4017
.lang.Override int getCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:4628
.lang.Override long getProbingPeriodAtRoot()
Definition: SatParameters.java:6205
.lang.Override boolean hasUseExactLpReason()
Definition: SatParameters.java:7076
.lang.Override com.google.protobuf.GeneratedMessageV3.FieldAccessorTable internalGetFieldAccessorTable()
Definition: SatParameters.java:1109
static final int ADD_LIN_MAX_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5646
.lang.Override boolean hasKeepAllFeasibleSolutionsInPresolve()
Definition: SatParameters.java:6424
.lang.Override boolean hasCountAssumptionLevelsInLbd()
Definition: SatParameters.java:4311
.lang.Override com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:3046
.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:4603
.lang.Override final boolean isInitialized()
Definition: SatParameters.java:7530
.lang.Override boolean hasInterleaveSearch()
Definition: SatParameters.java:6651
.lang.Override boolean getStopAfterFirstSolution()
Definition: SatParameters.java:6566
.lang.Override double getPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:3269
.lang.Override double getPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:4419
.lang.Override double getInitialVariablesActivity()
Definition: SatParameters.java:2996
static final int EXPLOIT_ALL_LP_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:6060
static final int CATCH_SIGINT_SIGNAL_FIELD_NUMBER
Definition: SatParameters.java:7157
.lang.Override boolean hasNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:3820
.lang.Override boolean getCatchSigintSignal()
Definition: SatParameters.java:7184
.lang.Override boolean hasBooleanEncodingLevel()
Definition: SatParameters.java:5387
.lang.Override boolean hasMaxTimeInSeconds()
Definition: SatParameters.java:3879
.lang.Override boolean hasUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:5319
.lang.Override boolean hasHintConflictLimit()
Definition: SatParameters.java:5978
.lang.Override int getPresolveBvaThreshold()
Definition: SatParameters.java:4508
static final int CONVERT_INTERVALS_FIELD_NUMBER
Definition: SatParameters.java:7252
.lang.Override double getGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:3445
static final int ADD_LP_CONSTRAINTS_LAZILY_FIELD_NUMBER
Definition: SatParameters.java:5716
static final int CUT_ACTIVE_COUNT_DECAY_FIELD_NUMBER
Definition: SatParameters.java:5873
.lang.Override boolean hasRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:3726
.lang.Override boolean getExpandTableConstraints()
Definition: SatParameters.java:4786
.lang.Override int getPresolveBveClauseWeight()
Definition: SatParameters.java:4390
static final int RELATIVE_GAP_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:4042
static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input)
Definition: SatParameters.java:10332
.lang.Override double getMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:3393
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:10350
static final int EXPAND_ELEMENT_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:4705
.lang.Override boolean hasMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:5125
.lang.Override double getMipCheckPrecision()
Definition: SatParameters.java:7524
.lang.Override int getMaxNumCuts()
Definition: SatParameters.java:5433
static final int SYMMETRY_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:7283
.lang.Override boolean hasPresolveUseBva()
Definition: SatParameters.java:4463
.lang.Override boolean getUseOptimizationHints()
Definition: SatParameters.java:5030
.lang.Override int getHintConflictLimit()
Definition: SatParameters.java:5990
.lang.Override int getClauseCleanupPeriod()
Definition: SatParameters.java:3127
.lang.Override long getSearchRandomizationTolerance()
Definition: SatParameters.java:7027
.lang.Override boolean hasDisableConstraintExpansion()
Definition: SatParameters.java:4860
.lang.Override boolean hasMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:5795
static final int RANDOM_SEED_FIELD_NUMBER
Definition: SatParameters.java:4092
.lang.Override boolean hasGlucoseMaxDecay()
Definition: SatParameters.java:3411
static final int MAX_MEMORY_IN_MB_FIELD_NUMBER
Definition: SatParameters.java:3964
.lang.Override boolean hasUseImpliedBounds()
Definition: SatParameters.java:7201
.lang.Override boolean hasCutMaxActiveCountValue()
Definition: SatParameters.java:5855
.lang.Override boolean hasMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:5173
static final int FILL_TIGHTENED_DOMAINS_IN_RESPONSE_FIELD_NUMBER
Definition: SatParameters.java:6446
static final int RANDOM_POLARITY_RATIO_FIELD_NUMBER
Definition: SatParameters.java:2866
.lang.Override com.google.ortools.sat.SatParameters.Polarity getInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:2786
static final int ABSOLUTE_GAP_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:3997
static final int EXPLOIT_INTEGER_LP_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:6027
.lang.Override boolean hasAddKnapsackCuts()
Definition: SatParameters.java:5479
.lang.Override boolean hasUseRelaxationLns()
Definition: SatParameters.java:6921
static final int ONLY_ADD_CUTS_AT_LEVEL_ZERO_FIELD_NUMBER
Definition: SatParameters.java:5437
.lang.Override boolean getUseCombinedNoOverlap()
Definition: SatParameters.java:7153
.lang.Deprecated static final com.google.protobuf.Parser< SatParameters > PARSER
Definition: SatParameters.java:21901
.lang.Override boolean hasPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:3261
.lang.Override boolean getPresolveExtractIntegerEnforcement()
Definition: SatParameters.java:4997
static final int SEARCH_BRANCHING_FIELD_NUMBER
Definition: SatParameters.java:5948
static final int BINARY_SEARCH_NUM_CONFLICTS_FIELD_NUMBER
Definition: SatParameters.java:6300
static com.google.ortools.sat.SatParameters parseFrom(java.nio.ByteBuffer data)
Definition: SatParameters.java:10288
.lang.Override boolean getKeepAllFeasibleSolutionsInPresolve()
Definition: SatParameters.java:6442
.lang.Override double getGlucoseMaxDecay()
Definition: SatParameters.java:3426
.lang.Override boolean hasMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:5764
.lang.Override boolean hasProbingPeriodAtRoot()
Definition: SatParameters.java:6191
static final int USE_ABSL_RANDOM_FIELD_NUMBER
Definition: SatParameters.java:4181
.lang.Override boolean hasCpModelUseSatPresolve()
Definition: SatParameters.java:4670
.lang.Override boolean getConvertIntervals()
Definition: SatParameters.java:7279
.lang.Override boolean hasRestartDlAverageRatio()
Definition: SatParameters.java:3702
.lang.Override int hashCode()
Definition: SatParameters.java:9520
.lang.Override boolean hasMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:3294
.lang.Override boolean hasLinearizationLevel()
Definition: SatParameters.java:5356
static final int INTERLEAVE_SEARCH_FIELD_NUMBER
Definition: SatParameters.java:6636
static final int ENUMERATE_ALL_SOLUTIONS_FIELD_NUMBER
Definition: SatParameters.java:6370
static final int CLAUSE_CLEANUP_PROTECTION_FIELD_NUMBER
Definition: SatParameters.java:3160
.lang.Override boolean getReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:6713
.lang.Override boolean hasPresolveSubstitutionLevel()
Definition: SatParameters.java:4945
.lang.Override boolean getAddCgCuts()
Definition: SatParameters.java:5522
.lang.Override boolean hasPresolveBvaThreshold()
Definition: SatParameters.java:4493
.lang.Override boolean getExploitBestSolution()
Definition: SatParameters.java:6114
static final int PRESOLVE_BLOCKED_CLAUSE_FIELD_NUMBER
Definition: SatParameters.java:4423
.lang.Override com.google.protobuf.ByteString getNameBytes()
Definition: SatParameters.java:2741
.lang.Override boolean hasGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:3456
.lang.Override double getMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:5780
.lang.Override boolean hasRestartRunningWindowSize()
Definition: SatParameters.java:3674
.lang.Override boolean hasExpandReservoirConstraints()
Definition: SatParameters.java:4831
static final int MERGE_AT_MOST_ONE_WORK_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:4912
.lang.Override boolean hasStrategyChangeIncreaseRatio()
Definition: SatParameters.java:3850
.lang.Override int getBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:3784
.lang.Override boolean getDiversifyLnsParams()
Definition: SatParameters.java:6961
.lang.Override boolean hasMipMaxBound()
Definition: SatParameters.java:7329
static final int USE_BLOCKING_RESTART_FIELD_NUMBER
Definition: SatParameters.java:3738
static final int VARIABLE_ACTIVITY_DECAY_FIELD_NUMBER
Definition: SatParameters.java:3339
.lang.Override int getMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:3335
.lang.Override boolean getUseAbslRandom()
optional bool use_absl_random = 180 [default = false];
Definition: SatParameters.java:4196
static final int ADD_CG_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5497
.lang.Override boolean getFillTightenedDomainsInResponse()
Definition: SatParameters.java:6477
static final int INSTANTIATE_ALL_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:6481
.lang.Override com.google.ortools.sat.SatParameters.FPRoundingMethod getFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:6903
static final int NEW_CONSTRAINTS_BATCH_SIZE_FIELD_NUMBER
Definition: SatParameters.java:5919
.lang.Override double getMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:4927
.lang.Override boolean hasUseRinsLns()
Definition: SatParameters.java:6847
.lang.Override boolean getExploitObjective()
Definition: SatParameters.java:6174
static final int MAX_ALL_DIFF_CUT_SIZE_FIELD_NUMBER
Definition: SatParameters.java:5615
.lang.Override java.lang.Object newInstance(UnusedPrivateParameter unused)
Definition: SatParameters.java:139
.lang.Override boolean hasUseBlockingRestart()
Definition: SatParameters.java:3751
static final int DEFAULT_RESTART_ALGORITHMS_FIELD_NUMBER
Definition: SatParameters.java:3586
.lang.Override com.google.ortools.sat.SatParameters.SearchBranching getSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:5961
.lang.Override boolean hasStopAfterFirstSolution()
Definition: SatParameters.java:6554
static final int CP_MODEL_PROBING_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:4632
static final int EXPAND_TABLE_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:4761
static final int CP_MODEL_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:4543
static final int PSEUDO_COST_RELIABILITY_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:6238
static final int USE_EXACT_LP_REASON_FIELD_NUMBER
Definition: SatParameters.java:7062
.lang.Override boolean hasPresolveBveThreshold()
Definition: SatParameters.java:4347
static final int GLUCOSE_MAX_DECAY_FIELD_NUMBER
Definition: SatParameters.java:3397
.lang.Override com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:5180
.lang.Override boolean getAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:3029
static final int RESTART_RUNNING_WINDOW_SIZE_FIELD_NUMBER
Definition: SatParameters.java:3663
.lang.Override boolean getCpModelPresolve()
Definition: SatParameters.java:4566
static final int PB_CLEANUP_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3254
static final int INITIAL_POLARITY_FIELD_NUMBER
Definition: SatParameters.java:2773
.lang.Override boolean hasBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:3795
.lang.Override boolean getCoverOptimization()
Definition: SatParameters.java:5115
.lang.Override boolean hasReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:6701
.lang.Override double getAbsoluteGapLimit()
Definition: SatParameters.java:4038
static final int ADD_ZERO_HALF_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5555
.lang.Override boolean equals(final java.lang.Object obj)
Definition: SatParameters.java:8687
.lang.Override boolean hasSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:3085
static final com.google.protobuf.Descriptors.Descriptor getDescriptor()
Definition: SatParameters.java:1103
.lang.Override int getPresolveBveThreshold()
Definition: SatParameters.java:4361
.lang.Override boolean getUseImpliedBounds()
Definition: SatParameters.java:7215
static final int MAX_DETERMINISTIC_TIME_FIELD_NUMBER
Definition: SatParameters.java:3896
.lang.Override double getVariableActivityDecay()
Definition: SatParameters.java:3374
.lang.Override boolean getUseLnsOnly()
Definition: SatParameters.java:6794
.lang.Override int getPbCleanupIncrement()
Definition: SatParameters.java:3250
.lang.Override boolean getPresolveBlockedClause()
Definition: SatParameters.java:4448
static final int PERMUTE_VARIABLE_RANDOMLY_FIELD_NUMBER
Definition: SatParameters.java:4129
.lang.Override boolean hasUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:4693
static final int CLAUSE_CLEANUP_TARGET_FIELD_NUMBER
Definition: SatParameters.java:3131
.lang.Override com.google.ortools.sat.SatParameters.ClauseProtection getClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:3173
static com.google.ortools.sat.SatParameters parseFrom(byte[] data)
Definition: SatParameters.java:10310
static final int OPTIMIZE_WITH_MAX_HS_FIELD_NUMBER
Definition: SatParameters.java:6333
.lang.Override boolean hasMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:5150
.lang.Override boolean hasStopAfterPresolve()
Definition: SatParameters.java:6582
.lang.Override boolean hasDiversifyLnsParams()
Definition: SatParameters.java:6949
.lang.Override int getClauseCleanupLbdBound()
Definition: SatParameters.java:3204
static final int MERGE_NO_OVERLAP_WORK_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:4877
.lang.Override boolean hasLnsExpandIntervalsInConstraintGraph()
optional bool lns_expand_intervals_in_constraint_graph = 184 [default = true];
Definition: SatParameters.java:6824
.lang.Override int getMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:3316
.lang.Override boolean hasCpModelPresolve()
Definition: SatParameters.java:4554
.lang.Override boolean getFindMultipleCores()
Definition: SatParameters.java:5086
.lang.Override int getMaxIntegerRoundingScaling()
Definition: SatParameters.java:5712
.lang.Override boolean hasRandomBranchesRatio()
Definition: SatParameters.java:2914
static final int BOOLEAN_ENCODING_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:5375
.lang.Override boolean hasPolishLpSolution()
Definition: SatParameters.java:7233
.lang.Override boolean getUsePhaseSaving()
Definition: SatParameters.java:2831
static final int MINIMIZE_WITH_PROPAGATION_NUM_DECISIONS_FIELD_NUMBER
Definition: SatParameters.java:3320
.lang.Override boolean getAddLinMaxCuts()
Definition: SatParameters.java:5673
static final int REDUCE_MEMORY_USAGE_IN_INTERLEAVE_MODE_FIELD_NUMBER
Definition: SatParameters.java:6690
.lang.Override boolean getAddMirCuts()
Definition: SatParameters.java:5551
.lang.Override boolean getMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:5163
.lang.Override long getMaxNumberOfConflicts()
Definition: SatParameters.java:3960
static com.google.ortools.sat.SatParameters parseFrom(java.io.InputStream input)
Definition: SatParameters.java:10320
.lang.Override boolean hasMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:3039
.lang.Override boolean hasExpandTableConstraints()
Definition: SatParameters.java:4773
static final int LINEARIZATION_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:5342
.lang.Override boolean getUseOptionalVariables()
Definition: SatParameters.java:7058
static final int USE_ERWA_HEURISTIC_FIELD_NUMBER
Definition: SatParameters.java:2932
.lang.Override boolean getUsePbResolution()
Definition: SatParameters.java:4256
.lang.Override boolean getExploitIntegerLpSolution()
Definition: SatParameters.java:6056
static Builder newBuilder()
Definition: SatParameters.java:10360
.lang.Override boolean hasPermutePresolveConstraintOrder()
optional bool permute_presolve_constraint_order = 179 [default = false];
Definition: SatParameters.java:4169
static final int EXPLOIT_RELAXATION_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:6118
.lang.Override boolean getAddZeroHalfCuts()
Definition: SatParameters.java:5580
.lang.Override boolean getAddLpConstraintsLazily()
Definition: SatParameters.java:5745
.lang.Override boolean getUseErwaHeuristic()
Definition: SatParameters.java:2959
.lang.Override boolean getAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:6539
.lang.Override boolean hasUseOptimizationHints()
Definition: SatParameters.java:5015
static final int RESTART_DL_AVERAGE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3690
.lang.Override boolean hasMipAutomaticallyScaleVariables()
Definition: SatParameters.java:7393
.lang.Override boolean hasLogSearchProgress()
Definition: SatParameters.java:4211
.lang.Override int getSymmetryLevel()
Definition: SatParameters.java:7312
.lang.Override boolean hasUseBranchingInLp()
Definition: SatParameters.java:7108
static final int FP_ROUNDING_FIELD_NUMBER
Definition: SatParameters.java:6890
static final int OPTIMIZE_WITH_CORE_FIELD_NUMBER
Definition: SatParameters.java:6267
.lang.Override boolean getRandomizeSearch()
Definition: SatParameters.java:6988
.lang.Override boolean hasNumSearchWorkers()
Definition: SatParameters.java:6615
.lang.Override boolean hasAddLinMaxCuts()
Definition: SatParameters.java:5659
.lang.Override boolean getUseFeasibilityPump()
Definition: SatParameters.java:6886
.lang.Override double getMipMaxBound()
Definition: SatParameters.java:7343
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.ByteString data)
Definition: SatParameters.java:10299
static final int MINIMIZE_REDUCTION_DURING_PB_RESOLUTION_FIELD_NUMBER
Definition: SatParameters.java:4260
.lang.Override boolean hasCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:5880
static final int DISABLE_CONSTRAINT_EXPANSION_FIELD_NUMBER
Definition: SatParameters.java:4848
static final int PREFERRED_VARIABLE_ORDER_FIELD_NUMBER
Definition: SatParameters.java:2754
.lang.Override boolean getUseBlockingRestart()
Definition: SatParameters.java:3765
.lang.Override int getBinarySearchNumConflicts()
Definition: SatParameters.java:6329
.lang.Override int getGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:3464
static final int MIP_CHECK_PRECISION_FIELD_NUMBER
Definition: SatParameters.java:7497
.lang.Override boolean hasBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:3776
.lang.Override boolean getUseExactLpReason()
Definition: SatParameters.java:7091
static final int BINARY_MINIMIZATION_ALGORITHM_FIELD_NUMBER
Definition: SatParameters.java:3052
.lang.Override int getMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:5807
static final int USE_BRANCHING_IN_LP_FIELD_NUMBER
Definition: SatParameters.java:7095
.lang.Override boolean hasName()
Definition: SatParameters.java:2703
static final int USE_PHASE_SAVING_FIELD_NUMBER
Definition: SatParameters.java:2792
.lang.Override com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:3065
static final int MAX_CUT_ROUNDS_AT_LEVEL_ZERO_FIELD_NUMBER
Definition: SatParameters.java:5784
.lang.Override com.google.ortools.sat.SatParameters.VariableOrder getPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:2767
static final int DIVERSIFY_LNS_PARAMS_FIELD_NUMBER
Definition: SatParameters.java:6938
static final int PB_CLEANUP_INCREMENT_FIELD_NUMBER
Definition: SatParameters.java:3227
static final int MAX_SAT_REVERSE_ASSUMPTION_ORDER_FIELD_NUMBER
Definition: SatParameters.java:5138
static final int EXPLOIT_OBJECTIVE_FIELD_NUMBER
Definition: SatParameters.java:6149
static final int EXPAND_RESERVOIR_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:4819
static final int USE_OVERLOAD_CHECKER_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:5227
.lang.Override com.google.protobuf.ByteString getDefaultRestartAlgorithmsBytes()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:3621
.lang.Override boolean getStopAfterPresolve()
Definition: SatParameters.java:6595
static final int SHARE_LEVEL_ZERO_BOUNDS_FIELD_NUMBER
Definition: SatParameters.java:6744
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1608
static com.google.protobuf.Internal.EnumLiteMap< BinaryMinizationAlgorithm > internalGetValueMap()
Definition: SatParameters.java:1588
BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION
BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION = 4;
Definition: SatParameters.java:1525
static BinaryMinizationAlgorithm forNumber(int value)
Definition: SatParameters.java:1576
.lang.Deprecated static BinaryMinizationAlgorithm valueOf(int value)
Definition: SatParameters.java:1568
com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_WITH_REACHABILITY
BINARY_MINIMIZATION_WITH_REACHABILITY
BINARY_MINIMIZATION_WITH_REACHABILITY = 2;
Definition: SatParameters.java:1529
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1600
EXPERIMENTAL_BINARY_MINIMIZATION
EXPERIMENTAL_BINARY_MINIMIZATION = 3;
Definition: SatParameters.java:1533
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1604
static BinaryMinizationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1614
final int getNumber()
Definition: SatParameters.java:1558
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1860
.lang.Deprecated static ClauseOrdering valueOf(int value)
Definition: SatParameters.java:1823
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1852
static ClauseOrdering valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1866
CLAUSE_ACTIVITY
Definition: SatParameters.java:1784
static ClauseOrdering forNumber(int value)
Definition: SatParameters.java:1831
static com.google.protobuf.Internal.EnumLiteMap< ClauseOrdering > internalGetValueMap()
Definition: SatParameters.java:1840
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1856
final int getNumber()
Definition: SatParameters.java:1813
CLAUSE_LBD
Definition: SatParameters.java:1792
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1743
PROTECTION_LBD
Definition: SatParameters.java:1666
PROTECTION_ALWAYS
Definition: SatParameters.java:1658
static ClauseProtection valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1749
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1735
.lang.Deprecated static ClauseProtection valueOf(int value)
Definition: SatParameters.java:1705
static com.google.protobuf.Internal.EnumLiteMap< ClauseProtection > internalGetValueMap()
Definition: SatParameters.java:1723
PROTECTION_NONE
Definition: SatParameters.java:1650
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1739
static ClauseProtection forNumber(int value)
Definition: SatParameters.java:1713
final int getNumber()
Definition: SatParameters.java:1695
Definition: SatParameters.java:1394
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1480
.lang.Deprecated static ConflictMinimizationAlgorithm valueOf(int value)
Definition: SatParameters.java:1441
static com.google.protobuf.Internal.EnumLiteMap< ConflictMinimizationAlgorithm > internalGetValueMap()
Definition: SatParameters.java:1460
static ConflictMinimizationAlgorithm forNumber(int value)
Definition: SatParameters.java:1449
static ConflictMinimizationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1486
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1472
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1476
final int getNumber()
Definition: SatParameters.java:1431
static FPRoundingMethod forNumber(int value)
Definition: SatParameters.java:2631
NEAREST_INTEGER
Definition: SatParameters.java:2536
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2662
static FPRoundingMethod valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2668
static com.google.protobuf.Internal.EnumLiteMap< FPRoundingMethod > internalGetValueMap()
Definition: SatParameters.java:2642
PROPAGATION_ASSISTED
Definition: SatParameters.java:2568
ACTIVE_LOCK_BASED
Definition: SatParameters.java:2555
LOCK_BASED
Definition: SatParameters.java:2546
.lang.Deprecated static FPRoundingMethod valueOf(int value)
Definition: SatParameters.java:2623
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2654
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2658
final int getNumber()
Definition: SatParameters.java:2613
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2132
static MaxSatAssumptionOrder forNumber(int value)
Definition: SatParameters.java:2102
.lang.Deprecated static MaxSatAssumptionOrder valueOf(int value)
Definition: SatParameters.java:2094
static MaxSatAssumptionOrder valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2138
static com.google.protobuf.Internal.EnumLiteMap< MaxSatAssumptionOrder > internalGetValueMap()
Definition: SatParameters.java:2112
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2124
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2128
final int getNumber()
Definition: SatParameters.java:2084
Definition: SatParameters.java:2164
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2273
static MaxSatStratificationAlgorithm forNumber(int value)
Definition: SatParameters.java:2243
STRATIFICATION_DESCENT
Definition: SatParameters.java:2181
STRATIFICATION_ASCENT
Definition: SatParameters.java:2192
static com.google.protobuf.Internal.EnumLiteMap< MaxSatStratificationAlgorithm > internalGetValueMap()
Definition: SatParameters.java:2253
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2265
STRATIFICATION_NONE
Definition: SatParameters.java:2172
.lang.Deprecated static MaxSatStratificationAlgorithm valueOf(int value)
Definition: SatParameters.java:2235
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2269
final int getNumber()
Definition: SatParameters.java:2225
static MaxSatStratificationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2279
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1362
.lang.Deprecated static Polarity valueOf(int value)
Definition: SatParameters.java:1322
POLARITY_REVERSE_WEIGHTED_SIGN
Definition: SatParameters.java:1276
POLARITY_WEIGHTED_SIGN
Definition: SatParameters.java:1268
static Polarity valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1368
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1354
static com.google.protobuf.Internal.EnumLiteMap< Polarity > internalGetValueMap()
Definition: SatParameters.java:1342
static Polarity forNumber(int value)
Definition: SatParameters.java:1330
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1358
final int getNumber()
Definition: SatParameters.java:1312
.lang.Deprecated static RestartAlgorithm valueOf(int value)
Definition: SatParameters.java:1983
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2023
static com.google.protobuf.Internal.EnumLiteMap< RestartAlgorithm > internalGetValueMap()
Definition: SatParameters.java:2003
LBD_MOVING_AVERAGE_RESTART
Definition: SatParameters.java:1924
FIXED_RESTART
Definition: SatParameters.java:1932
LUBY_RESTART
Definition: SatParameters.java:1908
static RestartAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2029
static RestartAlgorithm forNumber(int value)
Definition: SatParameters.java:1991
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2015
DL_MOVING_AVERAGE_RESTART
Definition: SatParameters.java:1916
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2019
final int getNumber()
Definition: SatParameters.java:1973
static com.google.protobuf.Internal.EnumLiteMap< SearchBranching > internalGetValueMap()
Definition: SatParameters.java:2476
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2496
.lang.Deprecated static SearchBranching valueOf(int value)
Definition: SatParameters.java:2454
static SearchBranching forNumber(int value)
Definition: SatParameters.java:2462
AUTOMATIC_SEARCH
Definition: SatParameters.java:2314
PORTFOLIO_WITH_QUICK_RESTART_SEARCH
Definition: SatParameters.java:2362
LP_SEARCH
Definition: SatParameters.java:2342
PORTFOLIO_SEARCH
Definition: SatParameters.java:2332
PSEUDO_COST_SEARCH
Definition: SatParameters.java:2352
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2488
FIXED_SEARCH
Definition: SatParameters.java:2324
HINT_SEARCH
Definition: SatParameters.java:2372
static SearchBranching valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2502
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2492
final int getNumber()
Definition: SatParameters.java:2444
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1209
IN_ORDER
Definition: SatParameters.java:1132
.lang.Deprecated static VariableOrder valueOf(int value)
Definition: SatParameters.java:1171
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1201
static VariableOrder valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1215
static VariableOrder forNumber(int value)
Definition: SatParameters.java:1179
static com.google.protobuf.Internal.EnumLiteMap< VariableOrder > internalGetValueMap()
Definition: SatParameters.java:1189
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1205
final int getNumber()
Definition: SatParameters.java:1161