Java Reference
Java Reference
SatParameters.java
Go to the documentation of this file.
168 com.google.ortools.sat.SatParameters.VariableOrder value = com.google.ortools.sat.SatParameters.VariableOrder.valueOf(rawValue);
180 com.google.ortools.sat.SatParameters.Polarity value = com.google.ortools.sat.SatParameters.Polarity.valueOf(rawValue);
192 com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value = com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.valueOf(rawValue);
269 com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value = com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.valueOf(rawValue);
346 com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder value = com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf(rawValue);
363 com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value = com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.valueOf(rawValue);
395 com.google.ortools.sat.SatParameters.ClauseProtection value = com.google.ortools.sat.SatParameters.ClauseProtection.valueOf(rawValue);
412 com.google.ortools.sat.SatParameters.ClauseOrdering value = com.google.ortools.sat.SatParameters.ClauseOrdering.valueOf(rawValue);
424 com.google.ortools.sat.SatParameters.RestartAlgorithm value = com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(rawValue);
442 com.google.ortools.sat.SatParameters.RestartAlgorithm value = com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(rawValue);
555 com.google.ortools.sat.SatParameters.SearchBranching value = com.google.ortools.sat.SatParameters.SearchBranching.valueOf(rawValue);
967 com.google.ortools.sat.SatParameters.FPRoundingMethod value = com.google.ortools.sat.SatParameters.FPRoundingMethod.valueOf(rawValue);
1005 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
1011 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_fieldAccessorTable
1013 com.google.ortools.sat.SatParameters.class, com.google.ortools.sat.SatParameters.Builder.class);
1402 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.ConflictMinimizationAlgorithm)
1530 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.BinaryMinizationAlgorithm)
2054 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.MaxSatAssumptionOrder)
2195 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.MaxSatStratificationAlgorithm)
2605 @java.lang.Override public com.google.ortools.sat.SatParameters.VariableOrder getPreferredVariableOrder() {
2607 com.google.ortools.sat.SatParameters.VariableOrder result = com.google.ortools.sat.SatParameters.VariableOrder.valueOf(preferredVariableOrder_);
2624 @java.lang.Override public com.google.ortools.sat.SatParameters.Polarity getInitialPolarity() {
2626 com.google.ortools.sat.SatParameters.Polarity result = com.google.ortools.sat.SatParameters.Polarity.valueOf(initialPolarity_);
2849 @java.lang.Override public com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm() {
2851 com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm result = com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.valueOf(minimizationAlgorithm_);
2852 return result == null ? com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.RECURSIVE : result;
2868 @java.lang.Override public com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm() {
2870 com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm result = com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.valueOf(binaryMinimizationAlgorithm_);
2871 return result == null ? com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_FIRST : result;
2976 @java.lang.Override public com.google.ortools.sat.SatParameters.ClauseProtection getClauseCleanupProtection() {
2978 com.google.ortools.sat.SatParameters.ClauseProtection result = com.google.ortools.sat.SatParameters.ClauseProtection.valueOf(clauseCleanupProtection_);
2979 return result == null ? com.google.ortools.sat.SatParameters.ClauseProtection.PROTECTION_NONE : result;
3024 @java.lang.Override public com.google.ortools.sat.SatParameters.ClauseOrdering getClauseCleanupOrdering() {
3026 com.google.ortools.sat.SatParameters.ClauseOrdering result = com.google.ortools.sat.SatParameters.ClauseOrdering.valueOf(clauseCleanupOrdering_);
3027 return result == null ? com.google.ortools.sat.SatParameters.ClauseOrdering.CLAUSE_ACTIVITY : result;
3320 java.lang.Integer, com.google.ortools.sat.SatParameters.RestartAlgorithm> restartAlgorithms_converter_ =
3325 com.google.ortools.sat.SatParameters.RestartAlgorithm result = com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(from);
3326 return result == null ? com.google.ortools.sat.SatParameters.RestartAlgorithm.NO_RESTART : result;
3345 public java.util.List<com.google.ortools.sat.SatParameters.RestartAlgorithm> getRestartAlgorithmsList() {
3347 java.lang.Integer, com.google.ortools.sat.SatParameters.RestartAlgorithm>(restartAlgorithms_, restartAlgorithms_converter_);
4740 @java.lang.Override public com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder() {
4742 com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder result = com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf(maxSatAssumptionOrder_);
4743 return result == null ? com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.DEFAULT_ASSUMPTION_ORDER : result;
4788 @java.lang.Override public com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification() {
4790 com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm result = com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.valueOf(maxSatStratification_);
4791 return result == null ? com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.STRATIFICATION_DESCENT : result;
5509 @java.lang.Override public com.google.ortools.sat.SatParameters.SearchBranching getSearchBranching() {
5511 com.google.ortools.sat.SatParameters.SearchBranching result = com.google.ortools.sat.SatParameters.SearchBranching.valueOf(searchBranching_);
5512 return result == null ? com.google.ortools.sat.SatParameters.SearchBranching.AUTOMATIC_SEARCH : result;
6333 @java.lang.Override public com.google.ortools.sat.SatParameters.FPRoundingMethod getFpRounding() {
6335 com.google.ortools.sat.SatParameters.FPRoundingMethod result = com.google.ortools.sat.SatParameters.FPRoundingMethod.valueOf(fpRounding_);
6336 return result == null ? com.google.ortools.sat.SatParameters.FPRoundingMethod.PROPAGATION_ASSISTED : result;
7515 size += com.google.protobuf.GeneratedMessageV3.computeStringSize(70, defaultRestartAlgorithms_);
7940 if (hasAlsoBumpVariablesInConflictReasons() != other.hasAlsoBumpVariablesInConflictReasons()) return false;
7953 if (hasSubsumptionDuringConflictAnalysis() != other.hasSubsumptionDuringConflictAnalysis()) return false;
7992 if (hasMinimizeWithPropagationRestartPeriod() != other.hasMinimizeWithPropagationRestartPeriod()) return false;
7997 if (hasMinimizeWithPropagationNumDecisions() != other.hasMinimizeWithPropagationNumDecisions()) return false;
8087 if (hasNumConflictsBeforeStrategyChanges() != other.hasNumConflictsBeforeStrategyChanges()) return false;
8132 if (hasTreatBinaryClausesSeparately() != other.hasTreatBinaryClausesSeparately()) return false;
8152 if (hasMinimizeReductionDuringPbResolution() != other.hasMinimizeReductionDuringPbResolution()) return false;
8172 if (hasPresolveProbingDeterministicTimeLimit() != other.hasPresolveProbingDeterministicTimeLimit()) return false;
8203 if (hasCpModelPostsolveWithFullSolver() != other.hasCpModelPostsolveWithFullSolver()) return false;
8208 if (hasCpModelMaxNumPresolveOperations() != other.hasCpModelMaxNumPresolveOperations()) return false;
8284 if (hasMaxSatReverseAssumptionOrder() != other.hasMaxSatReverseAssumptionOrder()) return false;
8293 if (hasUsePrecedencesInDisjunctiveConstraint() != other.hasUsePrecedencesInDisjunctiveConstraint()) return false;
8298 if (hasUseOverloadCheckerInCumulativeConstraint() != other.hasUseOverloadCheckerInCumulativeConstraint()) return false;
8303 if (hasUseTimetableEdgeFindingInCumulativeConstraint() != other.hasUseTimetableEdgeFindingInCumulativeConstraint()) return false;
8308 if (hasUseDisjunctiveConstraintInCumulativeConstraint() != other.hasUseDisjunctiveConstraintInCumulativeConstraint()) return false;
8368 if (hasMinOrthogonalityForLpConstraints() != other.hasMinOrthogonalityForLpConstraints()) return false;
8445 if (hasPseudoCostReliabilityThreshold() != other.hasPseudoCostReliabilityThreshold()) return false;
8470 if (hasFillTightenedDomainsInResponse() != other.hasFillTightenedDomainsInResponse()) return false;
8480 if (hasAutoDetectGreaterThanAtLeastOneOf() != other.hasAutoDetectGreaterThanAtLeastOneOf()) return false;
8510 if (hasReduceMemoryUsageInInterleaveMode() != other.hasReduceMemoryUsageInInterleaveMode()) return false;
8564 if (hasSearchRandomizationTolerance() != other.hasSearchRandomizationTolerance()) return false;
8611 if (hasMipAutomaticallyScaleVariables() != other.hasMipAutomaticallyScaleVariables()) return false;
9363 public static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input)
9424 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
9430 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_fieldAccessorTable
9432 com.google.ortools.sat.SatParameters.class, com.google.ortools.sat.SatParameters.Builder.class);
9509 defaultRestartAlgorithms_ = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,DL_MOVING_AVERAGE_RESTART";
9745 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
10089 result.useTimetableEdgeFindingInCumulativeConstraint_ = useTimetableEdgeFindingInCumulativeConstraint_;
10095 result.useDisjunctiveConstraintInCumulativeConstraint_ = useDisjunctiveConstraintInCumulativeConstraint_;
10642 setUseOverloadCheckerInCumulativeConstraint(other.getUseOverloadCheckerInCumulativeConstraint());
10645 setUseTimetableEdgeFindingInCumulativeConstraint(other.getUseTimetableEdgeFindingInCumulativeConstraint());
10648 setUseDisjunctiveConstraintInCumulativeConstraint(other.getUseDisjunctiveConstraintInCumulativeConstraint());
10888 com.google.ortools.sat.SatParameters.VariableOrder result = com.google.ortools.sat.SatParameters.VariableOrder.valueOf(preferredVariableOrder_);
10896 public Builder setPreferredVariableOrder(com.google.ortools.sat.SatParameters.VariableOrder value) {
10931 com.google.ortools.sat.SatParameters.Polarity result = com.google.ortools.sat.SatParameters.Polarity.valueOf(initialPolarity_);
10932 return result == null ? com.google.ortools.sat.SatParameters.Polarity.POLARITY_FALSE : result;
11390 public com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm() {
11392 com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm result = com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.valueOf(minimizationAlgorithm_);
11393 return result == null ? com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.RECURSIVE : result;
11400 public Builder setMinimizationAlgorithm(com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value) {
11433 public com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm() {
11435 com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm result = com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.valueOf(binaryMinimizationAlgorithm_);
11436 return result == null ? com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_FIRST : result;
11443 public Builder setBinaryMinimizationAlgorithm(com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value) {
11659 com.google.ortools.sat.SatParameters.ClauseProtection result = com.google.ortools.sat.SatParameters.ClauseProtection.valueOf(clauseCleanupProtection_);
11660 return result == null ? com.google.ortools.sat.SatParameters.ClauseProtection.PROTECTION_NONE : result;
11667 public Builder setClauseCleanupProtection(com.google.ortools.sat.SatParameters.ClauseProtection value) {
11761 com.google.ortools.sat.SatParameters.ClauseOrdering result = com.google.ortools.sat.SatParameters.ClauseOrdering.valueOf(clauseCleanupOrdering_);
11762 return result == null ? com.google.ortools.sat.SatParameters.ClauseOrdering.CLAUSE_ACTIVITY : result;
11769 public Builder setClauseCleanupOrdering(com.google.ortools.sat.SatParameters.ClauseOrdering value) {
12397 public java.util.List<com.google.ortools.sat.SatParameters.RestartAlgorithm> getRestartAlgorithmsList() {
12399 java.lang.Integer, com.google.ortools.sat.SatParameters.RestartAlgorithm>(restartAlgorithms_, restartAlgorithms_converter_);
12435 public com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index) {
12481 public Builder addRestartAlgorithms(com.google.ortools.sat.SatParameters.RestartAlgorithm value) {
12537 private java.lang.Object defaultRestartAlgorithms_ = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,DL_MOVING_AVERAGE_RESTART";
15258 public com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder() {
15260 com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder result = com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf(maxSatAssumptionOrder_);
15261 return result == null ? com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.DEFAULT_ASSUMPTION_ORDER : result;
15268 public Builder setMaxSatAssumptionOrder(com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder value) {
15360 public com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification() {
15362 com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm result = com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.valueOf(maxSatStratification_);
15363 return result == null ? com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.STRATIFICATION_DESCENT : result;
15370 public Builder setMaxSatStratification(com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value) {
16831 com.google.ortools.sat.SatParameters.SearchBranching result = com.google.ortools.sat.SatParameters.SearchBranching.valueOf(searchBranching_);
16832 return result == null ? com.google.ortools.sat.SatParameters.SearchBranching.AUTOMATIC_SEARCH : result;
16839 public Builder setSearchBranching(com.google.ortools.sat.SatParameters.SearchBranching value) {
18511 com.google.ortools.sat.SatParameters.FPRoundingMethod result = com.google.ortools.sat.SatParameters.FPRoundingMethod.valueOf(fpRounding_);
18512 return result == null ? com.google.ortools.sat.SatParameters.FPRoundingMethod.PROPAGATION_ASSISTED : result;
static final int MAX_VARIABLE_ACTIVITY_VALUE_FIELD_NUMBER
Definition: SatParameters.java:3181
static final int LOG_SEARCH_PROGRESS_FIELD_NUMBER
Definition: SatParameters.java:3932
static final int REDUCE_MEMORY_USAGE_IN_INTERLEAVE_MODE_FIELD_NUMBER
Definition: SatParameters.java:6139
.lang.Override final boolean isInitialized()
Definition: SatParameters.java:10845
.lang.Override double getRandomPolarityRatio()
Definition: SatParameters.java:11068
Builder setClauseCleanupOrdering(com.google.ortools.sat.SatParameters.ClauseOrdering value)
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:11769
.lang.Override boolean hasCatchSigintSignal()
Definition: SatParameters.java:19055
static final int BLOCKING_RESTART_WINDOW_SIZE_FIELD_NUMBER
Definition: SatParameters.java:3572
.lang.Override boolean getShareObjectiveBounds()
Definition: SatParameters.java:18204
.lang.Override boolean getExploitRelaxationSolution()
Definition: SatParameters.java:17129
.lang.Override boolean getMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:4021
static final int USE_RINS_LNS_FIELD_NUMBER
Definition: SatParameters.java:6266
static ClauseProtection forNumber(int value)
Definition: SatParameters.java:1614
.lang.Override boolean getMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:13778
Builder setMaxMemoryInMb(long value)
Definition: SatParameters.java:13336
.lang.Override boolean hasUseImpliedBounds()
Definition: SatParameters.java:6631
.lang.Override boolean hasExploitAllLpSolution()
Definition: SatParameters.java:16997
.lang.Override boolean hasUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:4425
.lang.Override boolean hasAddCgCuts()
Definition: SatParameters.java:16032
java.lang.String getDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:12549
.lang.Override boolean hasClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:3017
static final int EXPLOIT_ALL_LP_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:5577
Builder setCutMaxActiveCountValue(double value)
Definition: SatParameters.java:16640
.lang.Override int getMipMaxActivityExponent()
Definition: SatParameters.java:6824
Builder setUsePhaseSaving(boolean value)
Definition: SatParameters.java:11011
.lang.Override boolean getInterleaveSearch()
Definition: SatParameters.java:6116
.lang.Override boolean getUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:15426
.lang.Override int getPresolveBveClauseWeight()
Definition: SatParameters.java:4122
Builder clearExpandAutomatonConstraints()
Definition: SatParameters.java:14762
static final int ONLY_ADD_CUTS_AT_LEVEL_ZERO_FIELD_NUMBER
Definition: SatParameters.java:5045
Builder clearMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:16475
.lang.Override boolean getUseLnsOnly()
Definition: SatParameters.java:6243
final int getNumber()
Definition: SatParameters.java:1213
.lang.Override boolean getCountAssumptionLevelsInLbd()
Definition: SatParameters.java:4062
.lang.Override boolean hasRandomizeSearch()
Definition: SatParameters.java:6406
static BinaryMinizationAlgorithm forNumber(int value)
Definition: SatParameters.java:1477
Builder setDiversifyLnsParams(boolean value)
Definition: SatParameters.java:18632
.lang.Override void writeTo(com.google.protobuf.CodedOutputStream output)
Definition: SatParameters.java:6873
.lang.Override boolean hasOptimizeWithMaxHs()
Definition: SatParameters.java:17496
.lang.Override boolean hasSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:5502
Builder clearClauseCleanupTarget()
Definition: SatParameters.java:11637
.lang.Override boolean hasPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:4138
.lang.Override boolean hasDiversifyLnsParams()
Definition: SatParameters.java:6379
Builder clearAddCgCuts()
Definition: SatParameters.java:16073
.lang.Override boolean hasClauseActivityDecay()
Definition: SatParameters.java:12290
.lang.Override int getBooleanEncodingLevel()
Definition: SatParameters.java:15797
.lang.Override boolean getShareLevelZeroBounds()
Definition: SatParameters.java:18259
static final int PSEUDO_COST_RELIABILITY_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:5726
Builder clearCutCleanupTarget()
Definition: SatParameters.java:16750
.lang.Override boolean hasUseExactLpReason()
Definition: SatParameters.java:6506
Builder addRestartAlgorithms(com.google.ortools.sat.SatParameters.RestartAlgorithm value)
Definition: SatParameters.java:12481
.lang.Override boolean hasRandomSeed()
Definition: SatParameters.java:13568
.lang.Override boolean hasMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:15299
.lang.Override boolean hasPresolveBlockedClause()
Definition: SatParameters.java:14092
.lang.Override boolean hasUseCombinedNoOverlap()
Definition: SatParameters.java:6569
.lang.Override boolean hasStopAfterFirstSolution()
Definition: SatParameters.java:6003
.lang.Override com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:15360
Builder setPseudoCostReliabilityThreshold(long value)
Definition: SatParameters.java:17325
static final int MAX_DETERMINISTIC_TIME_FIELD_NUMBER
Definition: SatParameters.java:3699
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1505
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1255
Builder setMergeNoOverlapWorkLimit(double value)
Definition: SatParameters.java:14874
static final int ADD_MIR_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5134
Builder setUseRinsLns(boolean value)
Definition: SatParameters.java:18420
Builder clearMipVarScaling()
Definition: SatParameters.java:19288
static final int AUTO_DETECT_GREATER_THAN_AT_LEAST_ONE_OF_FIELD_NUMBER
Definition: SatParameters.java:5959
.lang.Override int getLinearizationLevel()
Definition: SatParameters.java:4979
.lang.Override boolean hasExploitRelaxationSolution()
Definition: SatParameters.java:5648
.lang.Override boolean hasMaxMemoryInMb()
Definition: SatParameters.java:3781
.lang.Override boolean hasSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:2888
.lang.Override boolean hasMaxDeterministicTime()
Definition: SatParameters.java:3712
Builder setNumSearchWorkers(int value)
Definition: SatParameters.java:17991
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2563
Builder clearUseRinsLns()
Definition: SatParameters.java:18434
static final int FIND_MULTIPLE_CORES_FIELD_NUMBER
Definition: SatParameters.java:4669
.lang.Override double getMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:3313
.lang.Override boolean getInterleaveSearch()
Definition: SatParameters.java:18047
static final int CLAUSE_CLEANUP_PROTECTION_FIELD_NUMBER
Definition: SatParameters.java:2963
Builder clearVariableActivityDecay()
Definition: SatParameters.java:12089
Builder setAlsoBumpVariablesInConflictReasons(boolean value)
Definition: SatParameters.java:11353
.lang.Override double getMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:12349
.lang.Override double getRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:13465
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1102
static final int RANDOM_SEED_FIELD_NUMBER
Definition: SatParameters.java:3895
.lang.Override boolean hasRandomSeed()
Definition: SatParameters.java:3911
static com.google.protobuf.Internal.EnumLiteMap< BinaryMinizationAlgorithm > internalGetValueMap()
Definition: SatParameters.java:1489
Builder clearUseLnsOnly()
Definition: SatParameters.java:18340
.lang.Override boolean hasMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:4781
Builder clearGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:12234
Builder setInterleaveSearch(boolean value)
Definition: SatParameters.java:18063
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:9381
.lang.Override double getRandomPolarityRatio()
Definition: SatParameters.java:2700
.lang.Override boolean hasDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:3396
.lang.Override int getInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:6135
static final int CP_MODEL_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:4275
PSEUDO_COST_SEARCH
Definition: SatParameters.java:2253
static VariableOrder forNumber(int value)
Definition: SatParameters.java:1080
Builder setExpandTableConstraints(boolean value)
Definition: SatParameters.java:14806
.lang.Override int getMaxAllDiffCutSize()
Definition: SatParameters.java:5190
.lang.Override boolean hasUseOptionalVariables()
Definition: SatParameters.java:18799
Builder clearReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:18175
Builder setAddLpConstraintsLazily(boolean value)
Definition: SatParameters.java:16387
Builder setMinimizeWithPropagationRestartPeriod(int value)
Definition: SatParameters.java:11947
Builder clearShareObjectiveBounds()
Definition: SatParameters.java:18230
.lang.Override boolean hasMergeNoOverlapWorkLimit()
Definition: SatParameters.java:4537
.lang.Override boolean getStopAfterFirstSolution()
Definition: SatParameters.java:17850
.lang.Override boolean hasUseImpliedBounds()
Definition: SatParameters.java:19118
.lang.Override int getHintConflictLimit()
Definition: SatParameters.java:16883
Builder clearMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:15383
.lang.Override int getClauseCleanupPeriod()
Definition: SatParameters.java:2930
Builder setBooleanEncodingLevel(int value)
Definition: SatParameters.java:15810
.lang.Override boolean hasSearchRandomizationTolerance()
Definition: SatParameters.java:6439
Builder setPresolveBvaThreshold(int value)
Definition: SatParameters.java:14238
.lang.Override boolean hasExpandAutomatonConstraints()
Definition: SatParameters.java:14724
.lang.Override boolean getInstantiateAllVariables()
Definition: SatParameters.java:5955
.lang.Override boolean getCatchSigintSignal()
Definition: SatParameters.java:19069
.lang.Override boolean getLogSearchProgress()
Definition: SatParameters.java:13650
.lang.Override boolean getSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:2903
final int getNumber()
Definition: SatParameters.java:1714
.lang.Override boolean hasCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:14458
static final int CP_MODEL_PROBING_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:4364
Builder clearClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:11680
static final int ADD_LP_CONSTRAINTS_LAZILY_FIELD_NUMBER
Definition: SatParameters.java:5264
static final int COVER_OPTIMIZATION_FIELD_NUMBER
Definition: SatParameters.java:4698
final int getNumber()
Definition: SatParameters.java:1874
.lang.Override double getBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:12949
Builder setCutCleanupTarget(int value)
Definition: SatParameters.java:16736
.lang.Override double getCutMaxActiveCountValue()
Definition: SatParameters.java:16626
.lang.Override boolean hasCutCleanupTarget()
Definition: SatParameters.java:16712
Builder setMaxIntegerRoundingScaling(int value)
Definition: SatParameters.java:16317
.lang.Override boolean hasFindMultipleCores()
Definition: SatParameters.java:4681
.lang.Override final Builder mergeUnknownFields(final com.google.protobuf.UnknownFieldSet unknownFields)
Definition: SatParameters.java:19605
.lang.Override com.google.ortools.sat.SatParameters.SearchBranching getSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:5509
Builder clearRestartRunningWindowSize()
Definition: SatParameters.java:12728
.lang.Override boolean getUseOptionalVariables()
Definition: SatParameters.java:6488
static final int SUBSUMPTION_DURING_CONFLICT_ANALYSIS_FIELD_NUMBER
Definition: SatParameters.java:2874
static final int MIP_CHECK_PRECISION_FIELD_NUMBER
Definition: SatParameters.java:6828
.lang.Override boolean getUseFeasibilityPump()
Definition: SatParameters.java:6316
Builder setAddKnapsackCuts(boolean value)
Definition: SatParameters.java:15998
.lang.Override boolean getMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:15312
.lang.Override boolean getUseOptionalVariables()
Definition: SatParameters.java:18813
.lang.Override boolean hasInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:18094
.lang.Override boolean hasPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:14033
.lang.Override boolean hasMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:11903
static final int RANDOMIZE_SEARCH_FIELD_NUMBER
Definition: SatParameters.java:6395
EXPERIMENTAL_BINARY_MINIMIZATION
EXPERIMENTAL_BINARY_MINIMIZATION = 3;
Definition: SatParameters.java:1434
.lang.Override boolean getExploitObjective()
Definition: SatParameters.java:5691
.lang.Override long getPseudoCostReliabilityThreshold()
Definition: SatParameters.java:17312
.lang.Override double getMipWantedPrecision()
Definition: SatParameters.java:6785
.lang.Override boolean getMinimizeCore()
Definition: SatParameters.java:4665
.lang.Override int getRestartAlgorithmsCount()
Definition: SatParameters.java:3365
.lang.Override Builder newBuilderForType(com.google.protobuf.GeneratedMessageV3.BuilderParent parent)
Definition: SatParameters.java:9404
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1644
.lang.Override int getPresolveBvaThreshold()
Definition: SatParameters.java:14223
.lang.Override boolean getStopAfterPresolve()
Definition: SatParameters.java:6044
Builder setCpModelMaxNumPresolveOperations(int value)
Definition: SatParameters.java:14484
.lang.Override com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:4740
.lang.Override boolean getCpModelPostsolveWithFullSolver()
Definition: SatParameters.java:14408
STRATIFICATION_ASCENT
Definition: SatParameters.java:2093
final int getNumber()
Definition: SatParameters.java:2345
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1757
.lang.Override boolean hasMipMaxBound()
Definition: SatParameters.java:6662
.lang.Override double getGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:12216
.lang.Override boolean getPresolveBlockedClause()
Definition: SatParameters.java:14105
.lang.Override boolean hasUseBlockingRestart()
Definition: SatParameters.java:3554
.lang.Override boolean hasMaxDeterministicTime()
Definition: SatParameters.java:13167
Builder clearRestartPeriod()
Definition: SatParameters.java:12673
.lang.Override boolean hasReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:18137
.lang.Deprecated static FPRoundingMethod valueOf(int value)
Definition: SatParameters.java:2524
.lang.Override int getHintConflictLimit()
Definition: SatParameters.java:5540
Builder setExploitAllLpSolution(boolean value)
Definition: SatParameters.java:17025
Builder setMaxSatReverseAssumptionOrder(boolean value)
Definition: SatParameters.java:15325
Builder setCpModelUseSatPresolve(boolean value)
Definition: SatParameters.java:14595
.lang.Override int getCutCleanupTarget()
Definition: SatParameters.java:16724
.lang.Override boolean getExploitAllLpSolution()
Definition: SatParameters.java:5604
final int getNumber()
Definition: SatParameters.java:2126
Builder clearRestartAlgorithms()
Definition: SatParameters.java:12530
Builder setMipMaxActivityExponent(int value)
Definition: SatParameters.java:19505
.lang.Override boolean hasFillTightenedDomainsInResponse()
Definition: SatParameters.java:5910
.lang.Override boolean hasRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:12800
.lang.Override double getCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:16677
.lang.Override int getMaxPresolveIterations()
Definition: SatParameters.java:14288
Builder clearBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:11456
.lang.Override int getRestartPeriod()
Definition: SatParameters.java:3462
.lang.Override long getMaxNumberOfConflicts()
Definition: SatParameters.java:13250
Builder setMaxCutRoundsAtLevelZero(int value)
Definition: SatParameters.java:16516
Builder clearNewConstraintsBatchSize()
Definition: SatParameters.java:16809
.lang.Override Builder clear()
Definition: SatParameters.java:9451
static final int CLAUSE_CLEANUP_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:2907
Builder clearLogSearchProgress()
Definition: SatParameters.java:13676
Builder setAutoDetectGreaterThanAtLeastOneOf(boolean value)
Definition: SatParameters.java:17804
.lang.Override boolean hasPresolveUseBva()
Definition: SatParameters.java:14150
.lang.Override boolean getEnumerateAllSolutions()
Definition: SatParameters.java:17588
.lang.Override boolean hasPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:3064
.lang.Override boolean hasRandomPolarityRatio()
Definition: SatParameters.java:2684
Builder clearDiversifyLnsParams()
Definition: SatParameters.java:18646
.lang.Override double getMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:16441
.lang.Override boolean hasMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:12102
.lang.Override boolean hasRandomizeSearch()
Definition: SatParameters.java:18663
.lang.Override int getRestartRunningWindowSize()
Definition: SatParameters.java:3489
.lang.Override com.google.ortools.sat.SatParameters.FPRoundingMethod getFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:6333
.lang.Override int getMaxPresolveIterations()
Definition: SatParameters.java:4271
.lang.Override boolean hasMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:4006
Builder clearMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:11971
Builder clearMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:11413
Builder clearMipAutomaticallyScaleVariables()
Definition: SatParameters.java:19359
Builder setSearchRandomizationTolerance(long value)
Definition: SatParameters.java:18760
static final int INTERLEAVE_SEARCH_FIELD_NUMBER
Definition: SatParameters.java:6085
.lang.Override boolean hasLinearizationLevel()
Definition: SatParameters.java:15719
com.google.protobuf.ByteString getDefaultRestartAlgorithmsBytes()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:12568
Builder setLnsFocusOnDecisionVariables(boolean value)
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:18369
static final int RESTART_ALGORITHMS_FIELD_NUMBER
Definition: SatParameters.java:3317
.lang.Override boolean hasMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:14905
static final int RANDOM_POLARITY_RATIO_FIELD_NUMBER
Definition: SatParameters.java:2669
.lang.Override boolean hasGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:12247
static final int PRESOLVE_BLOCKED_CLAUSE_FIELD_NUMBER
Definition: SatParameters.java:4155
.lang.Override boolean hasMaxPresolveIterations()
Definition: SatParameters.java:14274
Builder setReduceMemoryUsageInInterleaveMode(boolean value)
Definition: SatParameters.java:18161
.lang.Override boolean hasPresolveBveClauseWeight()
Definition: SatParameters.java:13974
.lang.Deprecated static ClauseOrdering valueOf(int value)
Definition: SatParameters.java:1724
static final int CLAUSE_ACTIVITY_DECAY_FIELD_NUMBER
Definition: SatParameters.java:3271
Builder setOptimizeWithCore(boolean value)
Definition: SatParameters.java:17390
.lang.Override boolean hasUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:15640
Builder setUseImpliedBounds(boolean value)
Definition: SatParameters.java:19146
static final int MAX_SAT_REVERSE_ASSUMPTION_ORDER_FIELD_NUMBER
Definition: SatParameters.java:4746
Builder setMaxConsecutiveInactiveCount(int value)
Definition: SatParameters.java:16577
static final int OPTIMIZE_WITH_MAX_HS_FIELD_NUMBER
Definition: SatParameters.java:5821
static final int SHARE_OBJECTIVE_BOUNDS_FIELD_NUMBER
Definition: SatParameters.java:6166
Builder clearUseOptimizationHints()
Definition: SatParameters.java:15065
.lang.Override com.google.ortools.sat.SatParameters.FPRoundingMethod getFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:18509
Builder clearMaxMemoryInMb()
Definition: SatParameters.java:13353
static final int EXPAND_AUTOMATON_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:4466
.lang.Override double getCutMaxActiveCountValue()
Definition: SatParameters.java:5417
static com.google.ortools.sat.SatParameters parseFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:9356
.lang.Override boolean hasMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:16492
.lang.Override boolean hasOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:5057
Builder clearPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:10909
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1501
Builder setAbsoluteGapLimit(double value)
Definition: SatParameters.java:13421
static final int USE_COMBINED_NO_OVERLAP_FIELD_NUMBER
Definition: SatParameters.java:6556
static final int FP_ROUNDING_FIELD_NUMBER
Definition: SatParameters.java:6320
.lang.Override boolean hasLogSearchProgress()
Definition: SatParameters.java:3943
Builder setPresolveSubstitutionLevel(int value)
Definition: SatParameters.java:14981
Builder clearMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:12367
static com.google.ortools.sat.SatParameters parseFrom(byte[] data)
Definition: SatParameters.java:9341
static com.google.ortools.sat.SatParameters parseFrom(java.nio.ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:9324
.lang.Override com.google.protobuf.GeneratedMessageV3.FieldAccessorTable internalGetFieldAccessorTable()
Definition: SatParameters.java:9429
Builder setAddMirCuts(boolean value)
Definition: SatParameters.java:16117
static final int MIP_VAR_SCALING_FIELD_NUMBER
Definition: SatParameters.java:6680
.lang.Override boolean hasVariableActivityDecay()
Definition: SatParameters.java:12033
Builder clearUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:15541
.lang.Override boolean hasNumSearchWorkers()
Definition: SatParameters.java:17957
.lang.Override boolean hasBinarySearchNumConflicts()
Definition: SatParameters.java:17427
static final int PRESOLVE_BVE_CLAUSE_WEIGHT_FIELD_NUMBER
Definition: SatParameters.java:4097
static MaxSatAssumptionOrder valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2039
.lang.Override boolean hasClauseCleanupTarget()
Definition: SatParameters.java:2946
.lang.Override double getGlucoseMaxDecay()
Definition: SatParameters.java:12163
.lang.Override boolean getUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:4905
.lang.Override Builder clearField(com.google.protobuf.Descriptors.FieldDescriptor field)
Definition: SatParameters.java:10368
.lang.Override boolean hasUseCombinedNoOverlap()
Definition: SatParameters.java:18992
.lang.Override boolean getUseExactLpReason()
Definition: SatParameters.java:18878
.lang.Override boolean getUseLnsOnly()
Definition: SatParameters.java:18314
.lang.Override boolean hasUseBlockingRestart()
Definition: SatParameters.java:12845
.lang.Deprecated static BinaryMinizationAlgorithm valueOf(int value)
Definition: SatParameters.java:1469
.lang.Override com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:15258
.lang.Override boolean hasUseErwaHeuristic()
Definition: SatParameters.java:11184
Builder setStopAfterFirstSolution(boolean value)
Definition: SatParameters.java:17862
CLAUSE_ACTIVITY
Definition: SatParameters.java:1685
.lang.Override double getVariableActivityDecay()
Definition: SatParameters.java:12051
Builder clearMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:15281
.lang.Override boolean hasBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:12902
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1106
.lang.Override boolean getAddLinMaxCuts()
Definition: SatParameters.java:5221
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1110
.lang.Override boolean getCpModelUseSatPresolve()
Definition: SatParameters.java:14583
static final int PRESOLVE_BVE_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:4066
PROTECTION_LBD
Definition: SatParameters.java:1567
static final int MINIMIZE_CORE_FIELD_NUMBER
Definition: SatParameters.java:4642
Builder clearMaxNumberOfConflicts()
Definition: SatParameters.java:13286
static final int USE_BRANCHING_IN_LP_FIELD_NUMBER
Definition: SatParameters.java:6525
.lang.Override int getMipMaxActivityExponent()
Definition: SatParameters.java:19487
.lang.Override boolean hasSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:16821
static final int PRESOLVE_BVA_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:4211
Builder setUseFeasibilityPump(boolean value)
Definition: SatParameters.java:18475
boolean hasDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:12542
.lang.Override boolean hasMipWantedPrecision()
Definition: SatParameters.java:6765
.lang.Override double getMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:3196
static final int MIP_MAX_ACTIVITY_EXPONENT_FIELD_NUMBER
Definition: SatParameters.java:6789
.lang.Override boolean hasMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:5343
.lang.Override boolean getUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:14630
static MaxSatAssumptionOrder forNumber(int value)
Definition: SatParameters.java:2003
Builder setPbCleanupIncrement(int value)
Definition: SatParameters.java:11823
static final int MINIMIZE_WITH_PROPAGATION_NUM_DECISIONS_FIELD_NUMBER
Definition: SatParameters.java:3123
.lang.Override int getNumSearchWorkers()
Definition: SatParameters.java:6081
static final int SEARCH_RANDOMIZATION_TOLERANCE_FIELD_NUMBER
Definition: SatParameters.java:6422
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2170
static com.google.protobuf.Internal.EnumLiteMap< SearchBranching > internalGetValueMap()
Definition: SatParameters.java:2377
PORTFOLIO_SEARCH
Definition: SatParameters.java:2233
static final int RELATIVE_GAP_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:3845
static final int USE_DISJUNCTIVE_CONSTRAINT_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:4909
.lang.Override double getMergeNoOverlapWorkLimit()
Definition: SatParameters.java:14858
final int getNumber()
Definition: SatParameters.java:1985
.lang.Override boolean getUseOptimizationHints()
Definition: SatParameters.java:4638
.lang.Override boolean getLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:18361
static final int MAX_CLAUSE_ACTIVITY_VALUE_FIELD_NUMBER
Definition: SatParameters.java:3298
Builder clearCoverOptimization()
Definition: SatParameters.java:15238
.lang.Override int getBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:12910
static final int OPTIMIZE_WITH_CORE_FIELD_NUMBER
Definition: SatParameters.java:5755
.lang.Override double getInitialVariablesActivity()
Definition: SatParameters.java:2799
.lang.Override boolean getUsePhaseSaving()
Definition: SatParameters.java:2665
Builder clearBinarySearchNumConflicts()
Definition: SatParameters.java:17474
.lang.Override boolean getUseFeasibilityPump()
Definition: SatParameters.java:18463
Builder setMaxNumCuts(int value)
Definition: SatParameters.java:15875
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1761
.lang.Override boolean hasMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:16425
.lang.Override com.google.protobuf.Descriptors.Descriptor getDescriptorForType()
Definition: SatParameters.java:9744
static final int CUT_ACTIVE_COUNT_DECAY_FIELD_NUMBER
Definition: SatParameters.java:5421
static RestartAlgorithm forNumber(int value)
Definition: SatParameters.java:1892
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1916
Builder clearCutMaxActiveCountValue()
Definition: SatParameters.java:16656
Builder setFindMultipleCores(boolean value)
Definition: SatParameters.java:15164
.lang.Override boolean hasInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:6127
.lang.Override boolean hasCutCleanupTarget()
Definition: SatParameters.java:5451
.lang.Override boolean getUsePhaseSaving()
Definition: SatParameters.java:10993
.lang.Override boolean getUseRelaxationLns()
Definition: SatParameters.java:6364
static final int RANDOM_BRANCHES_RATIO_FIELD_NUMBER
Definition: SatParameters.java:2704
Builder setGlucoseDecayIncrement(double value)
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:12224
.lang.Deprecated static ClauseProtection valueOf(int value)
Definition: SatParameters.java:1606
.lang.Override boolean getUseBranchingInLp()
Definition: SatParameters.java:18943
.lang.Override int getMaxIntegerRoundingScaling()
Definition: SatParameters.java:5260
Builder setRestartDlAverageRatio(double value)
Definition: SatParameters.java:12772
.lang.Override boolean hasStrategyChangeIncreaseRatio()
Definition: SatParameters.java:3653
.lang.Override int hashCode()
Definition: SatParameters.java:8638
Builder clearExploitAllLpSolution()
Definition: SatParameters.java:17041
Builder clearInitialVariablesActivity()
Definition: SatParameters.java:11303
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1920
.lang.Override long getMaxMemoryInMb()
Definition: SatParameters.java:3796
.lang.Override double getRestartDlAverageRatio()
Definition: SatParameters.java:3518
.lang.Override boolean getExploitBestSolution()
Definition: SatParameters.java:5631
static final int VARIABLE_ACTIVITY_DECAY_FIELD_NUMBER
Definition: SatParameters.java:3142
Builder setMaxDeterministicTime(double value)
Definition: SatParameters.java:13195
final int getNumber()
Definition: SatParameters.java:1332
Builder clearOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:15951
.lang.Override boolean hasSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:11476
.lang.Override boolean hasGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:3240
.lang.Override boolean hasMergeNoOverlapWorkLimit()
Definition: SatParameters.java:14842
.lang.Override boolean hasInstantiateAllVariables()
Definition: SatParameters.java:5942
.lang.Override boolean hasRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:3852
.lang.Override boolean hasPseudoCostReliabilityThreshold()
Definition: SatParameters.java:17299
.lang.Override boolean getReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:6162
.lang.Override boolean getExpandElementConstraints()
Definition: SatParameters.java:4462
Builder setExpandAutomatonConstraints(boolean value)
Definition: SatParameters.java:14748
.lang.Override boolean hasMipMaxActivityExponent()
Definition: SatParameters.java:19469
static final int MERGE_NO_OVERLAP_WORK_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:4522
Builder clearAbsoluteGapLimit()
Definition: SatParameters.java:13444
AUTOMATIC_SEARCH
Definition: SatParameters.java:2215
.lang.Override boolean hasAddLpConstraintsLazily()
Definition: SatParameters.java:16357
.lang.Override boolean hasUseExactLpReason()
Definition: SatParameters.java:18863
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2389
.lang.Override boolean hasShareObjectiveBounds()
Definition: SatParameters.java:6177
Builder setMaxVariableActivityValue(double value)
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:12118
.lang.Override double getRandomBranchesRatio()
Definition: SatParameters.java:11135
Builder clearUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:15616
.lang.Override boolean hasExploitBestSolution()
Definition: SatParameters.java:5619
.lang.Override boolean getStopAfterPresolve()
Definition: SatParameters.java:17907
Builder clearMaxAllDiffCutSize()
Definition: SatParameters.java:16195
Builder clearExploitIntegerLpSolution()
Definition: SatParameters.java:16978
Builder clearLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:18379
.lang.Override com.google.protobuf.ByteString getDefaultRestartAlgorithmsBytes()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:3424
.lang.Override double getRandomBranchesRatio()
Definition: SatParameters.java:2731
.lang.Override double getMipMaxBound()
Definition: SatParameters.java:6676
com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_WITH_REACHABILITY
BINARY_MINIMIZATION_WITH_REACHABILITY
BINARY_MINIMIZATION_WITH_REACHABILITY = 2;
Definition: SatParameters.java:1430
static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input)
Definition: SatParameters.java:9363
.lang.Override boolean hasBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:3598
.lang.Override boolean hasRestartDlAverageRatio()
Definition: SatParameters.java:12746
.lang.Override Builder clone()
Definition: SatParameters.java:10358
static Builder newBuilder()
Definition: SatParameters.java:9391
LBD_MOVING_AVERAGE_RESTART
Definition: SatParameters.java:1825
.lang.Override Builder toBuilder()
Definition: SatParameters.java:9398
Builder clearMipCheckPrecision()
Definition: SatParameters.java:19592
static final com.google.protobuf.Descriptors.Descriptor getDescriptor()
Definition: SatParameters.java:9423
.lang.Override boolean getOptimizeWithCore()
Definition: SatParameters.java:17375
.lang.Override double getMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:12110
.lang.Override boolean getUseErwaHeuristic()
Definition: SatParameters.java:11198
.lang.Override boolean hasPresolveUseBva()
Definition: SatParameters.java:4195
.lang.Override boolean hasUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:4812
.lang.Override boolean getAddKnapsackCuts()
Definition: SatParameters.java:5101
.lang.Override boolean hasClauseCleanupLbdBound()
Definition: SatParameters.java:2994
.lang.Override boolean hasMipAutomaticallyScaleVariables()
Definition: SatParameters.java:19309
.lang.Override com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:2849
.lang.Override boolean hasMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:4758
.lang.Override boolean getUseImpliedBounds()
Definition: SatParameters.java:6645
Definition: SatParameters.java:2065
.lang.Override boolean hasLinearizationLevel()
Definition: SatParameters.java:4964
.lang.Override boolean getSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:11491
Builder setCountAssumptionLevelsInLbd(boolean value)
Definition: SatParameters.java:13872
.lang.Override boolean hasCountAssumptionLevelsInLbd()
Definition: SatParameters.java:4043
.lang.Override long getMaxNumberOfConflicts()
Definition: SatParameters.java:3763
.lang.Override boolean getPresolveUseBva()
Definition: SatParameters.java:4207
.lang.Override boolean getExploitIntegerLpSolution()
Definition: SatParameters.java:16946
.lang.Override boolean hasCutMaxActiveCountValue()
Definition: SatParameters.java:16612
.lang.Override boolean hasPresolveSubstitutionLevel()
Definition: SatParameters.java:14951
Builder setNumConflictsBeforeStrategyChanges(int value)
Definition: SatParameters.java:13014
.lang.Override com.google.ortools.sat.SatParameters.ClauseProtection getClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:11657
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2166
Builder setMipAutomaticallyScaleVariables(boolean value)
Definition: SatParameters.java:19341
.lang.Override boolean hasMaxNumCuts()
Definition: SatParameters.java:15845
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1263
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.CodedInputStream input)
Definition: SatParameters.java:9375
static final int CP_MODEL_MAX_NUM_PRESOLVE_OPERATIONS_FIELD_NUMBER
Definition: SatParameters.java:4335
Builder clearRandomBranchesRatio()
Definition: SatParameters.java:11165
.lang.Override boolean getExpandTableConstraints()
Definition: SatParameters.java:14793
Builder setOptimizeWithMaxHs(boolean value)
Definition: SatParameters.java:17530
.lang.Override boolean getUseImpliedBounds()
Definition: SatParameters.java:19132
static ConflictMinimizationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1387
Builder clearRandomSeed()
Definition: SatParameters.java:13621
.lang.Override boolean hasStrategyChangeIncreaseRatio()
Definition: SatParameters.java:13048
static final int MAX_CUT_ROUNDS_AT_LEVEL_ZERO_FIELD_NUMBER
Definition: SatParameters.java:5332
Builder setMipCheckPrecision(double value)
Definition: SatParameters.java:19575
.lang.Override boolean hasMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:15352
Builder setMinimizeCore(boolean value)
Definition: SatParameters.java:15106
Builder clearUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:15699
Builder setStopAfterPresolve(boolean value)
Definition: SatParameters.java:17920
Builder setUseLnsOnly(boolean value)
Definition: SatParameters.java:18326
Builder clearUseCombinedNoOverlap()
Definition: SatParameters.java:19036
Builder addAllRestartAlgorithms(java.lang.Iterable<? extends com.google.ortools.sat.SatParameters.RestartAlgorithm > values)
Definition: SatParameters.java:12506
.lang.Override double getMipWantedPrecision()
Definition: SatParameters.java:19404
.lang.Override boolean getExploitRelaxationSolution()
Definition: SatParameters.java:5662
.lang.Override boolean hasMipMaxBound()
Definition: SatParameters.java:19181
.lang.Override boolean getOptimizeWithCore()
Definition: SatParameters.java:5784
.lang.Override int getMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:3138
.lang.Override boolean hasMipVarScaling()
Definition: SatParameters.java:6693
.lang.Override int getNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:13000
static final int CATCH_SIGINT_SIGNAL_FIELD_NUMBER
Definition: SatParameters.java:6587
.lang.Override boolean getUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:15659
.lang.Override boolean hasMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:12341
.lang.Override com.google.ortools.sat.SatParameters buildPartial()
Definition: SatParameters.java:9763
.lang.Override java.util.List< com.google.ortools.sat.SatParameters.RestartAlgorithm > getRestartAlgorithmsList()
Definition: SatParameters.java:3345
.lang.Override boolean hasFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:6326
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1640
static com.google.protobuf.Parser< SatParameters > parser()
Definition: SatParameters.java:19635
static ConflictMinimizationAlgorithm forNumber(int value)
Definition: SatParameters.java:1350
.lang.Override final boolean isInitialized()
Definition: SatParameters.java:6863
.lang.Override boolean hasPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:2598
.lang.Override boolean hasMinimizeCore()
Definition: SatParameters.java:4653
Builder setUseBranchingInLp(boolean value)
Definition: SatParameters.java:18957
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2555
.lang.Override boolean getUseBlockingRestart()
Definition: SatParameters.java:12859
Builder setStrategyChangeIncreaseRatio(double value)
Definition: SatParameters.java:13074
static final int ADD_LIN_MAX_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5194
.lang.Override boolean getAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:11338
.lang.Override com.google.ortools.sat.SatParameters.Polarity getInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:10929
Builder clearMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:12128
.lang.Override int getGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:3267
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1636
.lang.Override double getMipCheckPrecision()
Definition: SatParameters.java:19560
.lang.Override boolean hasUseRinsLns()
Definition: SatParameters.java:6277
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2029
FIXED_RESTART
Definition: SatParameters.java:1833
Builder clearStrategyChangeIncreaseRatio()
Definition: SatParameters.java:13089
.lang.Override boolean hasGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:3259
.lang.Override boolean hasMipMaxActivityExponent()
Definition: SatParameters.java:6806
Builder clearMaxNumCuts()
Definition: SatParameters.java:15892
CLAUSE_LBD
Definition: SatParameters.java:1693
static MaxSatStratificationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2180
.lang.Override com.google.ortools.sat.SatParameters build()
Definition: SatParameters.java:9754
int getRestartAlgorithmsCount()
Definition: SatParameters.java:12416
static com.google.ortools.sat.SatParameters parseFrom(java.nio.ByteBuffer data)
Definition: SatParameters.java:9319
Builder setSearchBranching(com.google.ortools.sat.SatParameters.SearchBranching value)
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:16839
.lang.Override double getMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:14913
Builder clearMaxIntegerRoundingScaling()
Definition: SatParameters.java:16337
.lang.Override boolean hasUsePhaseSaving()
Definition: SatParameters.java:10975
.lang.Override int getClauseCleanupTarget()
Definition: SatParameters.java:11609
Builder setRestartAlgorithms(int index, com.google.ortools.sat.SatParameters.RestartAlgorithm value)
Definition: SatParameters.java:12455
.lang.Override boolean getCpModelPostsolveWithFullSolver()
Definition: SatParameters.java:4331
.lang.Override com.google.ortools.sat.SatParameters.SearchBranching getSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:16829
Builder setInstantiateAllVariables(boolean value)
Definition: SatParameters.java:17739
.lang.Override boolean getCoverOptimization()
Definition: SatParameters.java:15210
.lang.Override boolean hasUseFeasibilityPump()
Definition: SatParameters.java:18451
static final int EXPAND_TABLE_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:4493
static final int PRESOLVE_USE_BVA_FIELD_NUMBER
Definition: SatParameters.java:4184
.lang.Override boolean getPresolveUseBva()
Definition: SatParameters.java:14162
.lang.Override boolean hasUseLnsOnly()
Definition: SatParameters.java:6231
Builder clearSearchRandomizationTolerance()
Definition: SatParameters.java:18780
Builder setPresolveBlockedClause(boolean value)
Definition: SatParameters.java:14118
.lang.Override boolean getAddLpConstraintsLazily()
Definition: SatParameters.java:5293
Builder clearMaxTimeInSeconds()
Definition: SatParameters.java:13148
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2025
static com.google.protobuf.Internal.EnumLiteMap< ClauseOrdering > internalGetValueMap()
Definition: SatParameters.java:1741
Builder setMaxPresolveIterations(int value)
Definition: SatParameters.java:14302
Builder setEnumerateAllSolutions(boolean value)
Definition: SatParameters.java:17605
Builder clearPseudoCostReliabilityThreshold()
Definition: SatParameters.java:17340
.lang.Override boolean hasUsePhaseSaving()
Definition: SatParameters.java:2647
.lang.Override boolean hasCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:5428
.lang.Override boolean hasExploitObjective()
Definition: SatParameters.java:17177
.lang.Override Builder mergeFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:10850
.lang.Override boolean hasMaxConsecutiveInactiveCount()
Definition: SatParameters.java:5372
Builder clearExpandElementConstraints()
Definition: SatParameters.java:14707
static final int BINARY_SEARCH_NUM_CONFLICTS_FIELD_NUMBER
Definition: SatParameters.java:5788
.lang.Override boolean hasPresolveBveThreshold()
Definition: SatParameters.java:13912
.lang.Deprecated static MaxSatStratificationAlgorithm valueOf(int value)
Definition: SatParameters.java:2136
.lang.Override boolean hasCoverOptimization()
Definition: SatParameters.java:15197
.lang.Override boolean hasRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:3529
Builder clearCpModelProbingLevel()
Definition: SatParameters.java:14554
.lang.Override boolean hasCpModelUseSatPresolve()
Definition: SatParameters.java:14571
.lang.Override boolean getMipAutomaticallyScaleVariables()
Definition: SatParameters.java:19325
.lang.Override boolean hasExploitIntegerLpSolution()
Definition: SatParameters.java:16931
.lang.Override long getProbingPeriodAtRoot()
Definition: SatParameters.java:5722
static final int INTERLEAVE_BATCH_SIZE_FIELD_NUMBER
Definition: SatParameters.java:6120
.lang.Override boolean hasMipCheckPrecision()
Definition: SatParameters.java:19545
.lang.Override com.google.ortools.sat.SatParameters.ClauseOrdering getClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:3024
.lang.Override boolean hasUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:4851
.lang.Override boolean hasEnumerateAllSolutions()
Definition: SatParameters.java:17571
static final int LNS_FOCUS_ON_DECISION_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:6247
.lang.Override int getRandomSeed()
Definition: SatParameters.java:3928
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1753
Builder setMaxNumberOfConflicts(long value)
Definition: SatParameters.java:13267
.lang.Override boolean hasMaxNumberOfConflicts()
Definition: SatParameters.java:13233
.lang.Override final Builder setUnknownFields(final com.google.protobuf.UnknownFieldSet unknownFields)
Definition: SatParameters.java:19599
Builder setDefaultRestartAlgorithms(java.lang.String value)
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:12585
Builder clearAddLpConstraintsLazily()
Definition: SatParameters.java:16404
.lang.Override boolean hasBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:2861
.lang.Override int getRandomSeed()
Definition: SatParameters.java:13585
Builder clearDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:12599
.lang.Override int getClauseCleanupLbdBound()
Definition: SatParameters.java:11711
.lang.Override boolean hasMaxIntegerRoundingScaling()
Definition: SatParameters.java:5242
.lang.Override double getAbsoluteGapLimit()
Definition: SatParameters.java:3841
.lang.Override boolean hasClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:11649
.lang.Override java.lang.Object newInstance(UnusedPrivateParameter unused)
Definition: SatParameters.java:132
static final int MIP_AUTOMATICALLY_SCALE_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:6711
.lang.Override boolean hasMaxNumberOfConflicts()
Definition: SatParameters.java:3746
Builder setUseTimetableEdgeFindingInCumulativeConstraint(boolean value)
Definition: SatParameters.java:15597
.lang.Override boolean hasNewConstraintsBatchSize()
Definition: SatParameters.java:16768
.lang.Override boolean getCpModelPresolve()
Definition: SatParameters.java:14347
.lang.Override boolean hasRandomBranchesRatio()
Definition: SatParameters.java:11121
.lang.Override int getBooleanEncodingLevel()
Definition: SatParameters.java:5008
.lang.Override boolean getCpModelUseSatPresolve()
Definition: SatParameters.java:4414
.lang.Override boolean hasAddLinMaxCuts()
Definition: SatParameters.java:16214
Builder setUsePbResolution(boolean value)
Definition: SatParameters.java:13726
Builder clearNumSearchWorkers()
Definition: SatParameters.java:18010
.lang.Override com.google.ortools.sat.SatParameters.ClauseOrdering getClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:11759
Builder setGlucoseDecayIncrementPeriod(int value)
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:12263
Builder clearUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:15466
static VariableOrder valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1116
Builder setClauseCleanupPeriod(int value)
Definition: SatParameters.java:11564
static final int STOP_AFTER_FIRST_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:5992
.lang.Override boolean hasPresolveBvaThreshold()
Definition: SatParameters.java:14208
Builder setTreatBinaryClausesSeparately(boolean value)
Definition: SatParameters.java:13530
.lang.Override boolean hasUseFeasibilityPump()
Definition: SatParameters.java:6304
Builder clearFindMultipleCores()
Definition: SatParameters.java:15179
.lang.Override int getPresolveBveClauseWeight()
Definition: SatParameters.java:13987
.lang.Override boolean getUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:4831
.lang.Override int getLinearizationLevel()
Definition: SatParameters.java:15734
static final int MIP_WANTED_PRECISION_FIELD_NUMBER
Definition: SatParameters.java:6746
.lang.Override int getBinarySearchNumConflicts()
Definition: SatParameters.java:5817
.lang.Override double getMergeNoOverlapWorkLimit()
Definition: SatParameters.java:4553
POLARITY_REVERSE_WEIGHTED_SIGN
Definition: SatParameters.java:1177
IN_ORDER
Definition: SatParameters.java:1033
static final int STOP_AFTER_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:6019
static final int MIP_MAX_BOUND_FIELD_NUMBER
Definition: SatParameters.java:6649
.lang.Override boolean getUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:15580
.lang.Override boolean getDiversifyLnsParams()
Definition: SatParameters.java:18620
.lang.Override boolean hasUseOptionalVariables()
Definition: SatParameters.java:6474
.lang.Override boolean hasPresolveBlockedClause()
Definition: SatParameters.java:4167
.lang.Override final com.google.protobuf.UnknownFieldSet getUnknownFields()
Definition: SatParameters.java:139
Builder setPbCleanupRatio(double value)
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:11866
.lang.Override boolean hasMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:15250
.lang.Override boolean hasMaxIntegerRoundingScaling()
Definition: SatParameters.java:16281
static final int ADD_KNAPSACK_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5074
com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index)
Definition: SatParameters.java:12435
Builder clearMipWantedPrecision()
Definition: SatParameters.java:19446
.lang.Override boolean hasGlucoseMaxDecay()
Definition: SatParameters.java:3214
Builder setInitialVariablesActivity(double value)
Definition: SatParameters.java:11284
Builder clearBooleanEncodingLevel()
Definition: SatParameters.java:15825
Builder clearSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:16852
static ClauseProtection valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1650
.lang.Override com.google.ortools.sat.SatParameters.VariableOrder getPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:2605
.lang.Override boolean hasBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:11425
.lang.Override boolean hasClauseCleanupPeriod()
Definition: SatParameters.java:2918
Builder setUseDisjunctiveConstraintInCumulativeConstraint(boolean value)
Definition: SatParameters.java:15678
.lang.Override boolean hasMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:13763
.lang.Override Builder mergeFrom(com.google.protobuf.Message other)
Definition: SatParameters.java:10390
.lang.Override boolean hasCpModelUseSatPresolve()
Definition: SatParameters.java:4402
static final int FILL_TIGHTENED_DOMAINS_IN_RESPONSE_FIELD_NUMBER
Definition: SatParameters.java:5895
Builder setBlockingRestartMultiplier(double value)
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:12957
.lang.Override long getProbingPeriodAtRoot()
Definition: SatParameters.java:17251
static ClauseOrdering forNumber(int value)
Definition: SatParameters.java:1732
Builder setSubsumptionDuringConflictAnalysis(boolean value)
Definition: SatParameters.java:11506
.lang.Override boolean getMipAutomaticallyScaleVariables()
Definition: SatParameters.java:6742
static final int MAX_INTEGER_ROUNDING_SCALING_FIELD_NUMBER
Definition: SatParameters.java:5225
.lang.Override boolean hasCoverOptimization()
Definition: SatParameters.java:4710
.lang.Override boolean hasUseBranchingInLp()
Definition: SatParameters.java:6538
.lang.Override boolean hasShareLevelZeroBounds()
Definition: SatParameters.java:6204
.lang.Override boolean getMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:4771
Builder setPreferredVariableOrder(com.google.ortools.sat.SatParameters.VariableOrder value)
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:10896
.lang.Override boolean hasExpandTableConstraints()
Definition: SatParameters.java:14780
static final int RESTART_DL_AVERAGE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3493
.lang.Override boolean hasPresolveSubstitutionLevel()
Definition: SatParameters.java:4590
.lang.Override boolean hasUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:4888
static final int USE_PRECEDENCES_IN_DISJUNCTIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:4794
static MaxSatStratificationAlgorithm forNumber(int value)
Definition: SatParameters.java:2144
LOCK_BASED
Definition: SatParameters.java:2447
.lang.Override boolean hasPresolveBveThreshold()
Definition: SatParameters.java:4079
Builder clearStopAfterPresolve()
Definition: SatParameters.java:17935
.lang.Override int getBinarySearchNumConflicts()
Definition: SatParameters.java:17442
.lang.Override boolean getEnumerateAllSolutions()
Definition: SatParameters.java:5891
.lang.Override int getPbCleanupIncrement()
Definition: SatParameters.java:3053
static final int BOOLEAN_ENCODING_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:4983
.lang.Override boolean hasStopAfterFirstSolution()
Definition: SatParameters.java:17838
Builder setRelativeGapLimit(double value)
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:13473
static final int DIVERSIFY_LNS_PARAMS_FIELD_NUMBER
Definition: SatParameters.java:6368
.lang.Override int getMaxConsecutiveInactiveCount()
Definition: SatParameters.java:5386
Builder setRestartLbdAverageRatio(double value)
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:12816
static com.google.protobuf.Internal.EnumLiteMap< FPRoundingMethod > internalGetValueMap()
Definition: SatParameters.java:2543
Builder setCoverOptimization(boolean value)
Definition: SatParameters.java:15223
Builder setExpandElementConstraints(boolean value)
Definition: SatParameters.java:14692
Builder clearUseBlockingRestart()
Definition: SatParameters.java:12889
static final int MAX_SAT_ASSUMPTION_ORDER_FIELD_NUMBER
Definition: SatParameters.java:4727
.lang.Override Builder clearOneof(com.google.protobuf.Descriptors.OneofDescriptor oneof)
Definition: SatParameters.java:10373
.lang.Override boolean hasMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:3188
POLARITY_WEIGHTED_SIGN
Definition: SatParameters.java:1169
.lang.Override int getMaxIntegerRoundingScaling()
Definition: SatParameters.java:16299
Builder setPresolveProbingDeterministicTimeLimit(double value)
Definition: SatParameters.java:14059
static final int MAX_TIME_IN_SECONDS_FIELD_NUMBER
Definition: SatParameters.java:3670
Builder clearOptimizeWithMaxHs()
Definition: SatParameters.java:17549
Builder clearEnumerateAllSolutions()
Definition: SatParameters.java:17624
.lang.Override boolean hasInitialVariablesActivity()
Definition: SatParameters.java:11250
.lang.Override boolean getDiversifyLnsParams()
Definition: SatParameters.java:6391
.lang.Override boolean hasAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:5973
.lang.Override boolean hasFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:18501
.lang.Override boolean getCountAssumptionLevelsInLbd()
Definition: SatParameters.java:13853
Builder setProbingPeriodAtRoot(long value)
Definition: SatParameters.java:17265
static com.google.protobuf.Internal.EnumLiteMap< ConflictMinimizationAlgorithm > internalGetValueMap()
Definition: SatParameters.java:1361
Builder clearRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:13483
.lang.Override boolean hasInitialVariablesActivity()
Definition: SatParameters.java:2782
Builder clearBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:12967
Builder clearMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:14931
Builder clearGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:12273
static final int TREAT_BINARY_CLAUSES_SEPARATELY_FIELD_NUMBER
Definition: SatParameters.java:3864
.lang.Override boolean hasCpModelProbingLevel()
Definition: SatParameters.java:14516
static final int CUT_CLEANUP_TARGET_FIELD_NUMBER
Definition: SatParameters.java:5440
.lang.Override boolean hasNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:3623
Builder setUseExactLpReason(boolean value)
Definition: SatParameters.java:18893
.lang.Override boolean hasTreatBinaryClausesSeparately()
Definition: SatParameters.java:13502
static final int MAX_NUM_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5012
static final int RESTART_LBD_AVERAGE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3522
Builder setShareLevelZeroBounds(boolean value)
Definition: SatParameters.java:18271
.lang.Override int getCutCleanupTarget()
Definition: SatParameters.java:5463
.lang.Override boolean hasMaxPresolveIterations()
Definition: SatParameters.java:4257
Builder clearPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:14074
.lang.Override boolean hasMipCheckPrecision()
Definition: SatParameters.java:6842
static RestartAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1930
.lang.Override int getCpModelProbingLevel()
Definition: SatParameters.java:4387
.lang.Override boolean hasFillTightenedDomainsInResponse()
Definition: SatParameters.java:17645
.lang.Override boolean hasUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:15407
Builder setPresolveBveThreshold(int value)
Definition: SatParameters.java:13940
static final int CLAUSE_CLEANUP_LBD_BOUND_FIELD_NUMBER
Definition: SatParameters.java:2982
.lang.Override boolean hasMaxTimeInSeconds()
Definition: SatParameters.java:13107
.lang.Override boolean hasRestartPeriod()
Definition: SatParameters.java:12632
.lang.Override boolean hasRestartPeriod()
Definition: SatParameters.java:3449
static final int USE_LNS_ONLY_FIELD_NUMBER
Definition: SatParameters.java:6220
Builder setHintConflictLimit(int value)
Definition: SatParameters.java:16896
Builder setRestartRunningWindowSize(int value)
Definition: SatParameters.java:12714
Builder setMinimizeWithPropagationNumDecisions(int value)
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:12000
.lang.Override boolean getRandomizeSearch()
Definition: SatParameters.java:18675
Builder setInterleaveBatchSize(int value)
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:18110
static final int USE_SAT_INPROCESSING_FIELD_NUMBER
Definition: SatParameters.java:4418
.lang.Override int getMaxNumCuts()
Definition: SatParameters.java:5041
.lang.Override int getGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:12255
static final int MAX_CONSECUTIVE_INACTIVE_COUNT_FIELD_NUMBER
Definition: SatParameters.java:5359
static final int RESTART_RUNNING_WINDOW_SIZE_FIELD_NUMBER
Definition: SatParameters.java:3466
.lang.Override double getRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:12808
.lang.Deprecated static SearchBranching valueOf(int value)
Definition: SatParameters.java:2355
final int getNumber()
Definition: SatParameters.java:1062
Builder setMaxTimeInSeconds(double value)
Definition: SatParameters.java:13133
.lang.Override int getCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:14471
Builder setRandomizeSearch(boolean value)
Definition: SatParameters.java:18687
Builder clearNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:13030
Builder clearRandomPolarityRatio()
Definition: SatParameters.java:11102
.lang.Deprecated static VariableOrder valueOf(int value)
Definition: SatParameters.java:1072
static final int CUT_MAX_ACTIVE_COUNT_VALUE_FIELD_NUMBER
Definition: SatParameters.java:5390
static final int GLUCOSE_MAX_DECAY_FIELD_NUMBER
Definition: SatParameters.java:3200
Builder setLinearizationLevel(int value)
Definition: SatParameters.java:15749
Builder setUseOptimizationHints(boolean value)
Definition: SatParameters.java:15048
.lang.Override boolean hasPbCleanupIncrement()
Definition: SatParameters.java:3041
Builder clearRandomizeSearch()
Definition: SatParameters.java:18701
.lang.Override double getMipVarScaling()
Definition: SatParameters.java:19258
.lang.Override boolean hasMaxConsecutiveInactiveCount()
Definition: SatParameters.java:16549
Builder setExploitIntegerLpSolution(boolean value)
Definition: SatParameters.java:16961
static final int MIN_ORTHOGONALITY_FOR_LP_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:5297
.lang.Override double getGlucoseMaxDecay()
Definition: SatParameters.java:3229
.lang.Override boolean hasMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:4564
Builder setAddCgCuts(boolean value)
Definition: SatParameters.java:16058
.lang.Override double getClauseActivityDecay()
Definition: SatParameters.java:12302
.lang.Override int getMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:11925
.lang.Override boolean hasPresolveBveClauseWeight()
Definition: SatParameters.java:4109
.lang.Override boolean hasUseOptimizationHints()
Definition: SatParameters.java:4623
.lang.Override boolean getExpandElementConstraints()
Definition: SatParameters.java:14679
.lang.Override double getPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:3072
.lang.Override double getCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:5436
.lang.Override double getPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:11858
Builder clearUseOptionalVariables()
Definition: SatParameters.java:18843
.lang.Override double getMaxTimeInSeconds()
Definition: SatParameters.java:3695
.lang.Override boolean hasRandomPolarityRatio()
Definition: SatParameters.java:11052
.lang.Override boolean hasAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:17774
Builder setMinOrthogonalityForLpConstraints(double value)
Definition: SatParameters.java:16457
.lang.Override int getNewConstraintsBatchSize()
Definition: SatParameters.java:5492
.lang.Override boolean hasInterleaveSearch()
Definition: SatParameters.java:18031
.lang.Override boolean hasUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:15563
.lang.Override boolean hasRestartRunningWindowSize()
Definition: SatParameters.java:12690
.lang.Override int getMaxAllDiffCutSize()
Definition: SatParameters.java:16165
.lang.Override boolean getExploitAllLpSolution()
Definition: SatParameters.java:17011
.lang.Override double getMaxDeterministicTime()
Definition: SatParameters.java:13181
static com.google.protobuf.Internal.EnumLiteMap< RestartAlgorithm > internalGetValueMap()
Definition: SatParameters.java:1904
.lang.Override int getPbCleanupIncrement()
Definition: SatParameters.java:11811
.lang.Override Builder setField(com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value)
Definition: SatParameters.java:10362
Builder clearAddKnapsackCuts()
Definition: SatParameters.java:16014
.lang.Override boolean hasExpandElementConstraints()
Definition: SatParameters.java:4449
.lang.Override boolean hasMaxAllDiffCutSize()
Definition: SatParameters.java:5176
Builder clearUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:14648
.lang.Override double getRestartDlAverageRatio()
Definition: SatParameters.java:12759
.lang.Override boolean getCatchSigintSignal()
Definition: SatParameters.java:6614
Builder setBlockingRestartWindowSize(int value)
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:12918
.lang.Override boolean hasAddMirCuts()
Definition: SatParameters.java:16091
NEAREST_INTEGER
Definition: SatParameters.java:2437
.lang.Override boolean hasMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:11382
.lang.Override boolean getFindMultipleCores()
Definition: SatParameters.java:4694
.lang.Override boolean hasMinimizeCore()
Definition: SatParameters.java:15082
.lang.Override Builder addRepeatedField(com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value)
Definition: SatParameters.java:10384
.lang.Override boolean getUseErwaHeuristic()
Definition: SatParameters.java:2762
Builder clearFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:18532
.lang.Override com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:11433
.lang.Override int getInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:18102
Builder setInitialPolarity(com.google.ortools.sat.SatParameters.Polarity value)
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:10939
.lang.Override boolean hasMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:3305
.lang.Override boolean getUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:4946
.lang.Override boolean getAddCgCuts()
Definition: SatParameters.java:5130
.lang.Override boolean hasCountAssumptionLevelsInLbd()
Definition: SatParameters.java:13834
static FPRoundingMethod forNumber(int value)
Definition: SatParameters.java:2532
.lang.Override boolean hasUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:14622
Builder setShareObjectiveBounds(boolean value)
Definition: SatParameters.java:18216
.lang.Override boolean getStopAfterFirstSolution()
Definition: SatParameters.java:6015
static FPRoundingMethod valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2569
Builder clearUsePhaseSaving()
Definition: SatParameters.java:11031
static final int PROBING_PERIOD_AT_ROOT_FIELD_NUMBER
Definition: SatParameters.java:5695
static final int EXPLOIT_OBJECTIVE_FIELD_NUMBER
Definition: SatParameters.java:5666
.lang.Override boolean equals(final java.lang.Object obj)
Definition: SatParameters.java:7895
.lang.Override boolean hasCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:4347
Builder setClauseActivityDecay(double value)
Definition: SatParameters.java:12314
.lang.Override boolean hasRestartDlAverageRatio()
Definition: SatParameters.java:3505
.lang.Override boolean getAddKnapsackCuts()
Definition: SatParameters.java:15984
static BinaryMinizationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1515
.lang.Override int getMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:11992
.lang.Override double getMipVarScaling()
Definition: SatParameters.java:6707
.lang.Override int getPresolveBveThreshold()
Definition: SatParameters.java:4093
Builder clearExpandTableConstraints()
Definition: SatParameters.java:14821
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2033
.lang.Override boolean hasFindMultipleCores()
Definition: SatParameters.java:15138
.lang.Override boolean getUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:15505
.lang.Override boolean hasHintConflictLimit()
Definition: SatParameters.java:5527
Builder clearCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:16695
static final int RESTART_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:3437
.lang.Override boolean hasLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:6254
Builder clearUsePbResolution()
Definition: SatParameters.java:13743
.lang.Override boolean getShareObjectiveBounds()
Definition: SatParameters.java:6189
.lang.Override boolean getUsePbResolution()
Definition: SatParameters.java:3988
Builder setCutActiveCountDecay(double value)
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:16685
.lang.Override boolean hasOptimizeWithCore()
Definition: SatParameters.java:5769
static final int GLUCOSE_DECAY_INCREMENT_FIELD_NUMBER
Definition: SatParameters.java:3233
.lang.Override boolean hasShareObjectiveBounds()
Definition: SatParameters.java:18192
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.ByteString data)
Definition: SatParameters.java:9330
.lang.Override boolean hasEnumerateAllSolutions()
Definition: SatParameters.java:5874
.lang.Override boolean getAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:2832
Builder clearAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:17821
static final int PB_CLEANUP_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3057
Builder clearOptimizeWithCore()
Definition: SatParameters.java:17407
Builder clearUseExactLpReason()
Definition: SatParameters.java:18910
.lang.Override boolean getRandomizeSearch()
Definition: SatParameters.java:6418
static final int CP_MODEL_USE_SAT_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:4391
Builder clearMipMaxBound()
Definition: SatParameters.java:19225
.lang.Override boolean hasPresolveBvaThreshold()
Definition: SatParameters.java:4225
static com.google.protobuf.Internal.EnumLiteMap< Polarity > internalGetValueMap()
Definition: SatParameters.java:1243
.lang.Override boolean hasMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:5312
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2174
.lang.Override boolean hasMaxMemoryInMb()
Definition: SatParameters.java:13306
.lang.Override boolean hasExploitObjective()
Definition: SatParameters.java:5678
final int getNumber()
Definition: SatParameters.java:1596
.lang.Override double getVariableActivityDecay()
Definition: SatParameters.java:3177
static final int ENUMERATE_ALL_SOLUTIONS_FIELD_NUMBER
Definition: SatParameters.java:5858
.lang.Override boolean hasAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:2817
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1381
.lang.Override long getMaxMemoryInMb()
Definition: SatParameters.java:13321
Builder setMipWantedPrecision(double value)
Definition: SatParameters.java:19424
.lang.Override boolean hasExpandElementConstraints()
Definition: SatParameters.java:14666
Builder setUseOverloadCheckerInCumulativeConstraint(boolean value)
Definition: SatParameters.java:15522
Builder setNewConstraintsBatchSize(int value)
Definition: SatParameters.java:16794
.lang.Deprecated static final com.google.protobuf.Parser< SatParameters > PARSER
Definition: SatParameters.java:19625
.lang.Override com.google.protobuf.Parser< SatParameters > getParserForType()
Definition: SatParameters.java:19640
Builder setAddLinMaxCuts(boolean value)
Definition: SatParameters.java:16242
Builder clearMaxDeterministicTime()
Definition: SatParameters.java:13211
.lang.Override int getPresolveSubstitutionLevel()
Definition: SatParameters.java:4605
Builder setRandomBranchesRatio(double value)
Definition: SatParameters.java:11149
static com.google.protobuf.Internal.EnumLiteMap< ClauseProtection > internalGetValueMap()
Definition: SatParameters.java:1624
.lang.Override boolean hasBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:3579
.lang.Override boolean getUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:4433
.lang.Override boolean hasPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:10878
.lang.Override boolean getUseRelaxationLns()
Definition: SatParameters.java:18563
.lang.Override boolean getLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:6262
.lang.Override boolean hasClauseCleanupLbdBound()
Definition: SatParameters.java:11698
static final int INITIAL_VARIABLES_ACTIVITY_FIELD_NUMBER
Definition: SatParameters.java:2766
.lang.Override double getInitialVariablesActivity()
Definition: SatParameters.java:11267
.lang.Override int getBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:3587
.lang.Override boolean hasAddKnapsackCuts()
Definition: SatParameters.java:5087
.lang.Override double getPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:4151
.lang.Override boolean getTreatBinaryClausesSeparately()
Definition: SatParameters.java:3891
.lang.Override double getMipCheckPrecision()
Definition: SatParameters.java:6857
Builder clearHintConflictLimit()
Definition: SatParameters.java:16911
.lang.Override boolean hasClauseActivityDecay()
Definition: SatParameters.java:3282
Builder clearInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:10952
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2393
static final int BLOCKING_RESTART_MULTIPLIER_FIELD_NUMBER
Definition: SatParameters.java:3591
static final int BINARY_MINIMIZATION_ALGORITHM_FIELD_NUMBER
Definition: SatParameters.java:2855
.lang.Override boolean getExpandAutomatonConstraints()
Definition: SatParameters.java:14736
.lang.Override double getAbsoluteGapLimit()
Definition: SatParameters.java:13400
static final int USE_PB_RESOLUTION_FIELD_NUMBER
Definition: SatParameters.java:3959
.lang.Override boolean hasClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:2969
.lang.Override Builder setRepeatedField(com.google.protobuf.Descriptors.FieldDescriptor field, int index, java.lang.Object value)
Definition: SatParameters.java:10378
PROTECTION_ALWAYS
Definition: SatParameters.java:1559
Builder setMaxAllDiffCutSize(int value)
Definition: SatParameters.java:16179
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1373
Builder clearPresolveSubstitutionLevel()
Definition: SatParameters.java:14998
Builder clearStopAfterFirstSolution()
Definition: SatParameters.java:17876
.lang.Override boolean hasShareLevelZeroBounds()
Definition: SatParameters.java:18247
.lang.Override boolean getUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:4868
.lang.Override boolean getOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:15923
.lang.Override boolean hasInstantiateAllVariables()
Definition: SatParameters.java:17713
.lang.Override boolean getAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:5988
.lang.Override boolean hasAbsoluteGapLimit()
Definition: SatParameters.java:3820
Builder clearAddMirCuts()
Definition: SatParameters.java:16132
Builder clearPresolveBvaThreshold()
Definition: SatParameters.java:14255
.lang.Override boolean hasOptimizeWithMaxHs()
Definition: SatParameters.java:5837
Builder setCpModelProbingLevel(int value)
Definition: SatParameters.java:14540
static final int PREFERRED_VARIABLE_ORDER_FIELD_NUMBER
Definition: SatParameters.java:2592
.lang.Override boolean hasMaxNumCuts()
Definition: SatParameters.java:5026
.lang.Override boolean getOptimizeWithMaxHs()
Definition: SatParameters.java:17513
Builder setClauseCleanupTarget(int value)
Definition: SatParameters.java:11622
.lang.Override boolean hasUseRinsLns()
Definition: SatParameters.java:18396
.lang.Override boolean hasCpModelPostsolveWithFullSolver()
Definition: SatParameters.java:4316
static final int DEFAULT_RESTART_ALGORITHMS_FIELD_NUMBER
Definition: SatParameters.java:3389
static final int ADD_CG_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5105
.lang.Override boolean hasBooleanEncodingLevel()
Definition: SatParameters.java:4995
Builder setFpRounding(com.google.ortools.sat.SatParameters.FPRoundingMethod value)
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:18519
Builder clearUseImpliedBounds()
Definition: SatParameters.java:19162
static final int STRATEGY_CHANGE_INCREASE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3641
.lang.Override com.google.ortools.sat.SatParameters.VariableOrder getPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:10886
.lang.Override boolean hasVariableActivityDecay()
Definition: SatParameters.java:3159
HINT_SEARCH
Definition: SatParameters.java:2273
.lang.Override int getPresolveBveThreshold()
Definition: SatParameters.java:13926
static final int SEARCH_BRANCHING_FIELD_NUMBER
Definition: SatParameters.java:5496
Builder clearInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:18120
.lang.Override int getMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:16504
.lang.Override boolean getExploitIntegerLpSolution()
Definition: SatParameters.java:5573
.lang.Override com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:2868
Builder setLogSearchProgress(boolean value)
Definition: SatParameters.java:13662
Builder clearUseFeasibilityPump()
Definition: SatParameters.java:18489
Builder clearPresolveBveClauseWeight()
Definition: SatParameters.java:14015
Builder setUseErwaHeuristic(boolean value)
Definition: SatParameters.java:11212
.lang.Override boolean hasBinarySearchNumConflicts()
Definition: SatParameters.java:5802
.lang.Override boolean getAddMirCuts()
Definition: SatParameters.java:16104
Builder clearGlucoseMaxDecay()
Definition: SatParameters.java:12195
.lang.Deprecated static ConflictMinimizationAlgorithm valueOf(int value)
Definition: SatParameters.java:1342
Builder clearCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:14499
.lang.Override boolean hasCpModelProbingLevel()
Definition: SatParameters.java:4375
.lang.Override boolean hasExploitBestSolution()
Definition: SatParameters.java:17058
Builder clearMinimizeCore()
Definition: SatParameters.java:15120
.lang.Deprecated static RestartAlgorithm valueOf(int value)
Definition: SatParameters.java:1884
Builder clearRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:12826
static final int NUM_CONFLICTS_BEFORE_STRATEGY_CHANGES_FIELD_NUMBER
Definition: SatParameters.java:3610
Builder clearUseErwaHeuristic()
Definition: SatParameters.java:11228
.lang.Override boolean hasCpModelPostsolveWithFullSolver()
Definition: SatParameters.java:14393
Builder clearClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:11782
static final int HINT_CONFLICT_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:5515
static final int EXPLOIT_BEST_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:5608
.lang.Override com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index)
Definition: SatParameters.java:3385
Builder clearUseRelaxationLns()
Definition: SatParameters.java:18591
.lang.Override boolean hasLogSearchProgress()
Definition: SatParameters.java:13638
Builder clearExploitObjective()
Definition: SatParameters.java:17218
Builder setOnlyAddCutsAtLevelZero(boolean value)
Definition: SatParameters.java:15936
Builder setDefaultRestartAlgorithmsBytes(com.google.protobuf.ByteString value)
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:12610
Builder clearMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:15340
.lang.Override boolean getCoverOptimization()
Definition: SatParameters.java:4723
static com.google.protobuf.Internal.EnumLiteMap< MaxSatStratificationAlgorithm > internalGetValueMap()
Definition: SatParameters.java:2154
.lang.Override int getMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:5355
Builder clearExploitRelaxationSolution()
Definition: SatParameters.java:17159
.lang.Override boolean hasClauseCleanupTarget()
Definition: SatParameters.java:11596
static final int MINIMIZE_REDUCTION_DURING_PB_RESOLUTION_FIELD_NUMBER
Definition: SatParameters.java:3992
static com.google.protobuf.Internal.EnumLiteMap< MaxSatAssumptionOrder > internalGetValueMap()
Definition: SatParameters.java:2013
Builder clearInterleaveSearch()
Definition: SatParameters.java:18081
.lang.Override int getPresolveBvaThreshold()
Definition: SatParameters.java:4240
.lang.Override double getGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:3248
Builder clearPresolveBlockedClause()
Definition: SatParameters.java:14133
.lang.Override boolean hasCatchSigintSignal()
Definition: SatParameters.java:6600
.lang.Override int getNumSearchWorkers()
Definition: SatParameters.java:17974
.lang.Override double getStrategyChangeIncreaseRatio()
Definition: SatParameters.java:13061
Builder setPresolveBveClauseWeight(int value)
Definition: SatParameters.java:14000
static final int PRESOLVE_PROBING_DETERMINISTIC_TIME_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:4126
Builder setCpModelPostsolveWithFullSolver(boolean value)
Definition: SatParameters.java:14423
Builder setUseCombinedNoOverlap(boolean value)
Definition: SatParameters.java:19020
Builder setMinimizationAlgorithm(com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value)
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:11400
static final int USE_OPTIONAL_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:6461
.lang.Override int getNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:3637
.lang.Override boolean getUseBlockingRestart()
Definition: SatParameters.java:3568
STRATIFICATION_DESCENT
Definition: SatParameters.java:2082
.lang.Override boolean hasMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:3130
static final int SHARE_LEVEL_ZERO_BOUNDS_FIELD_NUMBER
Definition: SatParameters.java:6193
final int getNumber()
Definition: SatParameters.java:1459
Builder setMipVarScaling(double value)
Definition: SatParameters.java:19272
Builder setUseRelaxationLns(boolean value)
Definition: SatParameters.java:18576
.lang.Override boolean hasOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:15910
Builder setBinarySearchNumConflicts(int value)
Definition: SatParameters.java:17457
.lang.Override boolean hasMaxTimeInSeconds()
Definition: SatParameters.java:3682
.lang.Override boolean hasRandomBranchesRatio()
Definition: SatParameters.java:2717
static final int MAX_ALL_DIFF_CUT_SIZE_FIELD_NUMBER
Definition: SatParameters.java:5163
.lang.Override boolean getOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:5070
static final int USE_IMPLIED_BOUNDS_FIELD_NUMBER
Definition: SatParameters.java:6618
static final int PB_CLEANUP_INCREMENT_FIELD_NUMBER
Definition: SatParameters.java:3030
.lang.Override boolean hasMipAutomaticallyScaleVariables()
Definition: SatParameters.java:6726
static final int NEW_CONSTRAINTS_BATCH_SIZE_FIELD_NUMBER
Definition: SatParameters.java:5467
.lang.Override boolean hasInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:10921
Builder clearRestartDlAverageRatio()
Definition: SatParameters.java:12787
Builder clearCatchSigintSignal()
Definition: SatParameters.java:19099
.lang.Override int getMaxNumCuts()
Definition: SatParameters.java:15860
java.util.List< com.google.ortools.sat.SatParameters.RestartAlgorithm > getRestartAlgorithmsList()
Definition: SatParameters.java:12397
Builder clearPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:11876
BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION
BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION = 4;
Definition: SatParameters.java:1426
Builder clearCpModelPostsolveWithFullSolver()
Definition: SatParameters.java:14440
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1259
.lang.Deprecated static Polarity valueOf(int value)
Definition: SatParameters.java:1223
final int getNumber()
Definition: SatParameters.java:2514
.lang.Override boolean hasTreatBinaryClausesSeparately()
Definition: SatParameters.java:3877
.lang.Override boolean getUseCombinedNoOverlap()
Definition: SatParameters.java:19006
.lang.Override boolean hasCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:16669
.lang.Override int getMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:3119
.lang.Override int getSerializedSize()
Definition: SatParameters.java:7308
.lang.Override long getSearchRandomizationTolerance()
Definition: SatParameters.java:18742
.lang.Override boolean hasUseRelaxationLns()
Definition: SatParameters.java:18550
Builder clearSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:11523
.lang.Override boolean getExpandAutomatonConstraints()
Definition: SatParameters.java:4489
Builder clearUseBranchingInLp()
Definition: SatParameters.java:18973
Builder setPresolveUseBva(boolean value)
Definition: SatParameters.java:14174
.lang.Override boolean hasBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:12941
.lang.Override boolean hasReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:6150
.lang.Override com.google.ortools.sat.SatParameters getDefaultInstanceForType()
Definition: SatParameters.java:19645
Builder clearCpModelPresolve()
Definition: SatParameters.java:14373
static Builder newBuilder(com.google.ortools.sat.SatParameters prototype)
Definition: SatParameters.java:9394
.lang.Override boolean hasAddKnapsackCuts()
Definition: SatParameters.java:15970
PORTFOLIO_WITH_QUICK_RESTART_SEARCH
Definition: SatParameters.java:2263
.lang.Override boolean getAddMirCuts()
Definition: SatParameters.java:5159
.lang.Override boolean getOptimizeWithMaxHs()
Definition: SatParameters.java:5854
.lang.Override boolean hasClauseCleanupPeriod()
Definition: SatParameters.java:11540
.lang.Override boolean hasMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:2842
Builder clearAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:11370
static final int EXPAND_ELEMENT_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:4437
DL_MOVING_AVERAGE_RESTART
Definition: SatParameters.java:1817
.lang.Override com.google.protobuf.GeneratedMessageV3.FieldAccessorTable internalGetFieldAccessorTable()
Definition: SatParameters.java:1010
Builder clearMaxConsecutiveInactiveCount()
Definition: SatParameters.java:16593
static final int INSTANTIATE_ALL_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:5930
Builder setMaxSatAssumptionOrder(com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder value)
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:15268
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1509
.lang.Override boolean hasCpModelPresolve()
Definition: SatParameters.java:4286
Builder clearClauseCleanupPeriod()
Definition: SatParameters.java:11578
.lang.Override boolean getAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:17789
.lang.Override boolean getUseOptimizationHints()
Definition: SatParameters.java:15033
Builder clearPresolveBveThreshold()
Definition: SatParameters.java:13956
.lang.Override boolean hasAddLpConstraintsLazily()
Definition: SatParameters.java:5278
Builder clearMipMaxActivityExponent()
Definition: SatParameters.java:19525
.lang.Override double getMaxDeterministicTime()
Definition: SatParameters.java:3726
static SearchBranching forNumber(int value)
Definition: SatParameters.java:2363
Builder setMergeAtMostOneWorkLimit(double value)
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:14921
static final int USE_RELAXATION_LNS_FIELD_NUMBER
Definition: SatParameters.java:6339
.lang.Override boolean hasMipVarScaling()
Definition: SatParameters.java:19244
Builder setBinaryMinimizationAlgorithm(com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value)
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:11443
.lang.Override boolean hasUseOptimizationHints()
Definition: SatParameters.java:15018
Builder setMaxClauseActivityValue(double value)
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:12357
.lang.Override double getBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:3606
.lang.Override double getMaxTimeInSeconds()
Definition: SatParameters.java:13120
.lang.Override boolean getFillTightenedDomainsInResponse()
Definition: SatParameters.java:17661
.lang.Override boolean hasExpandTableConstraints()
Definition: SatParameters.java:4505
.lang.Override boolean getReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:18149
static ClauseOrdering valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1767
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1924
.lang.Override boolean getExpandTableConstraints()
Definition: SatParameters.java:4518
static final int ABSOLUTE_GAP_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:3800
static final int USE_EXACT_LP_REASON_FIELD_NUMBER
Definition: SatParameters.java:6492
static final int INITIAL_POLARITY_FIELD_NUMBER
Definition: SatParameters.java:2611
.lang.Override boolean hasProbingPeriodAtRoot()
Definition: SatParameters.java:5708
Builder clearLinearizationLevel()
Definition: SatParameters.java:15766
Builder setMipMaxBound(double value)
Definition: SatParameters.java:19209
.lang.Override boolean hasMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:3097
.lang.Override boolean hasCpModelPresolve()
Definition: SatParameters.java:14335
.lang.Override boolean getFillTightenedDomainsInResponse()
Definition: SatParameters.java:5926
static Polarity forNumber(int value)
Definition: SatParameters.java:1231
Builder setRandomPolarityRatio(double value)
Definition: SatParameters.java:11084
.lang.Override boolean hasUsePbResolution()
Definition: SatParameters.java:3973
.lang.Override int getClauseCleanupLbdBound()
Definition: SatParameters.java:3007
.lang.Override double getMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:5328
STRATIFICATION_NONE
Definition: SatParameters.java:2073
.lang.Override double getStrategyChangeIncreaseRatio()
Definition: SatParameters.java:3666
Builder clearInstantiateAllVariables()
Definition: SatParameters.java:17754
.lang.Override boolean hasLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:18353
PROTECTION_NONE
Definition: SatParameters.java:1551
.lang.Override boolean getAddCgCuts()
Definition: SatParameters.java:16045
Builder clearShareLevelZeroBounds()
Definition: SatParameters.java:18285
.lang.Override boolean hasCutMaxActiveCountValue()
Definition: SatParameters.java:5403
Builder setClauseCleanupLbdBound(int value)
Definition: SatParameters.java:11724
static final int EXPLOIT_INTEGER_LP_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:5544
static final int NUM_SEARCH_WORKERS_FIELD_NUMBER
Definition: SatParameters.java:6048
.lang.Override com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:4788
Builder setRestartPeriod(int value)
Definition: SatParameters.java:12658
Builder clearCpModelUseSatPresolve()
Definition: SatParameters.java:14609
.lang.Override int getRestartRunningWindowSize()
Definition: SatParameters.java:12702
static final int USE_OVERLOAD_CHECKER_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:4835
Builder setVariableActivityDecay(double value)
Definition: SatParameters.java:12069
Builder clearAddLinMaxCuts()
Definition: SatParameters.java:16258
.lang.Override boolean hasExpandAutomatonConstraints()
Definition: SatParameters.java:4477
Builder setCpModelPresolve(boolean value)
Definition: SatParameters.java:14359
.lang.Override boolean hasGlucoseMaxDecay()
Definition: SatParameters.java:12148
.lang.Override int getRestartPeriod()
Definition: SatParameters.java:12645
.lang.Override int getClauseCleanupTarget()
Definition: SatParameters.java:2959
.lang.Override boolean hasPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:11850
.lang.Override boolean hasAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:11323
.lang.Override boolean getUseCombinedNoOverlap()
Definition: SatParameters.java:6583
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2559
Builder setRandomSeed(int value)
Definition: SatParameters.java:13602
.lang.Override boolean getUseExactLpReason()
Definition: SatParameters.java:6521
.lang.Override boolean hasStopAfterPresolve()
Definition: SatParameters.java:17894
.lang.Override boolean getLogSearchProgress()
Definition: SatParameters.java:3955
.lang.Override boolean hasRestartRunningWindowSize()
Definition: SatParameters.java:3477
static final int USE_TIMETABLE_EDGE_FINDING_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:4872
static final int MAX_PRESOLVE_ITERATIONS_FIELD_NUMBER
Definition: SatParameters.java:4244
Builder clearTreatBinaryClausesSeparately()
Definition: SatParameters.java:13546
.lang.Override java.lang.String getDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:3404
static final int PRESOLVE_SUBSTITUTION_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:4576
static final com.google.protobuf.Descriptors.Descriptor getDescriptor()
Definition: SatParameters.java:1004
static final int MAX_NUMBER_OF_CONFLICTS_FIELD_NUMBER
Definition: SatParameters.java:3730
Builder setUsePrecedencesInDisjunctiveConstraint(boolean value)
Definition: SatParameters.java:15445
.lang.Override boolean hasUsePbResolution()
Definition: SatParameters.java:13696
.lang.Override boolean hasMaxAllDiffCutSize()
Definition: SatParameters.java:16151
Definition: SatParameters.java:1295
.lang.Override boolean getUseBranchingInLp()
Definition: SatParameters.java:6552
static final int USE_PHASE_SAVING_FIELD_NUMBER
Definition: SatParameters.java:2630
.lang.Override boolean hasAddLinMaxCuts()
Definition: SatParameters.java:5207
.lang.Override long getPseudoCostReliabilityThreshold()
Definition: SatParameters.java:5751
static final int GLUCOSE_DECAY_INCREMENT_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:3252
.lang.Override boolean getExploitObjective()
Definition: SatParameters.java:17190
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2397
Builder clearPbCleanupIncrement()
Definition: SatParameters.java:11837
Builder setExploitBestSolution(boolean value)
Definition: SatParameters.java:17082
Builder clearMergeNoOverlapWorkLimit()
Definition: SatParameters.java:14892
.lang.Override boolean hasAbsoluteGapLimit()
Definition: SatParameters.java:13379
.lang.Override boolean hasMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:11984
FIXED_SEARCH
Definition: SatParameters.java:2225
.lang.Override boolean getUseRinsLns()
Definition: SatParameters.java:18408
static final int MINIMIZE_WITH_PROPAGATION_RESTART_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:3076
.lang.Override int getMaxConsecutiveInactiveCount()
Definition: SatParameters.java:16563
static Polarity valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1269
.lang.Override boolean hasNewConstraintsBatchSize()
Definition: SatParameters.java:5479
.lang.Override boolean getUsePbResolution()
Definition: SatParameters.java:13711
.lang.Override boolean hasOptimizeWithCore()
Definition: SatParameters.java:17360
Builder setExploitRelaxationSolution(boolean value)
Definition: SatParameters.java:17143
.lang.Override int getNewConstraintsBatchSize()
Definition: SatParameters.java:16781
.lang.Override boolean hasExploitAllLpSolution()
Definition: SatParameters.java:5590
.lang.Override boolean hasUseRelaxationLns()
Definition: SatParameters.java:6351
static final int USE_OPTIMIZATION_HINTS_FIELD_NUMBER
Definition: SatParameters.java:4609
.lang.Override long getSearchRandomizationTolerance()
Definition: SatParameters.java:6457
static final int LINEARIZATION_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:4950
static SearchBranching valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2403
.lang.Override double getClauseActivityDecay()
Definition: SatParameters.java:3294
static com.google.ortools.sat.SatParameters getDefaultInstance()
Definition: SatParameters.java:19620
Builder setMinimizeReductionDuringPbResolution(boolean value)
Definition: SatParameters.java:13793
.lang.Override boolean hasProbingPeriodAtRoot()
Definition: SatParameters.java:17237
.lang.Deprecated static MaxSatAssumptionOrder valueOf(int value)
Definition: SatParameters.java:1995
.lang.Override boolean hasUseBranchingInLp()
Definition: SatParameters.java:18929
static final int USE_BLOCKING_RESTART_FIELD_NUMBER
Definition: SatParameters.java:3541
.lang.Override boolean hasBooleanEncodingLevel()
Definition: SatParameters.java:15784
.lang.Override boolean hasUseErwaHeuristic()
Definition: SatParameters.java:2748
Builder setUseOptionalVariables(boolean value)
Definition: SatParameters.java:18827
.lang.Override boolean getPresolveBlockedClause()
Definition: SatParameters.java:4180
static final int COUNT_ASSUMPTION_LEVELS_IN_LBD_FIELD_NUMBER
Definition: SatParameters.java:4025
.lang.Override boolean hasMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:4733
.lang.Override double getRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:3860
static final int USE_FEASIBILITY_PUMP_FIELD_NUMBER
Definition: SatParameters.java:6293
.lang.Override boolean hasExploitIntegerLpSolution()
Definition: SatParameters.java:5558
static final int MINIMIZATION_ALGORITHM_FIELD_NUMBER
Definition: SatParameters.java:2836
static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:9368
.lang.Override boolean hasPseudoCostReliabilityThreshold()
Definition: SatParameters.java:5738
.lang.Override int getCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:4360
LUBY_RESTART
Definition: SatParameters.java:1809
Builder clearProbingPeriodAtRoot()
Definition: SatParameters.java:17281
.lang.Override Builder newBuilderForType()
Definition: SatParameters.java:9390
Builder clearPresolveUseBva()
Definition: SatParameters.java:14188
static com.google.protobuf.Internal.EnumLiteMap< VariableOrder > internalGetValueMap()
Definition: SatParameters.java:1090
.lang.Override boolean hasNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:12986
LP_SEARCH
Definition: SatParameters.java:2243
.lang.Override double getMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:4572
Builder setCatchSigintSignal(boolean value)
Definition: SatParameters.java:19083
.lang.Override boolean getUseRinsLns()
Definition: SatParameters.java:6289
.lang.Override com.google.ortools.sat.SatParameters.Polarity getInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:2624
.lang.Override boolean getTreatBinaryClausesSeparately()
Definition: SatParameters.java:13516
Builder clearExploitBestSolution()
Definition: SatParameters.java:17096
.lang.Override boolean getShareLevelZeroBounds()
Definition: SatParameters.java:6216
.lang.Override boolean hasInterleaveSearch()
Definition: SatParameters.java:6100
.lang.Override boolean hasAddMirCuts()
Definition: SatParameters.java:5146
static final int MERGE_AT_MOST_ONE_WORK_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:4557
.lang.Override boolean hasGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:12208
static final int CLAUSE_CLEANUP_ORDERING_FIELD_NUMBER
Definition: SatParameters.java:3011
Builder setExploitObjective(boolean value)
Definition: SatParameters.java:17203
.lang.Override boolean getFindMultipleCores()
Definition: SatParameters.java:15151
.lang.Override boolean hasStopAfterPresolve()
Definition: SatParameters.java:6031
.lang.Override boolean hasDiversifyLnsParams()
Definition: SatParameters.java:18608
.lang.Override boolean hasClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:11751
.lang.Override boolean hasSearchRandomizationTolerance()
Definition: SatParameters.java:18724
static final int MAX_MEMORY_IN_MB_FIELD_NUMBER
Definition: SatParameters.java:3767
.lang.Override double getPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:14046
static final int CP_MODEL_POSTSOLVE_WITH_FULL_SOLVER_FIELD_NUMBER
Definition: SatParameters.java:4302
.lang.Override boolean getAddLinMaxCuts()
Definition: SatParameters.java:16228
.lang.Override double getRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:3537
.lang.Override com.google.ortools.sat.SatParameters getDefaultInstanceForType()
Definition: SatParameters.java:9749
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1377
.lang.Override boolean hasAddCgCuts()
Definition: SatParameters.java:5117
.lang.Override boolean getAddLpConstraintsLazily()
Definition: SatParameters.java:16372
Builder clearBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:12928
.lang.Override boolean hasNumSearchWorkers()
Definition: SatParameters.java:6064
.lang.Override boolean hasUseLnsOnly()
Definition: SatParameters.java:18302
static com.google.ortools.sat.SatParameters parseFrom(java.io.InputStream input)
Definition: SatParameters.java:9351
Builder clearMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:13810
ACTIVE_LOCK_BASED
Definition: SatParameters.java:2456
.lang.Override int getPresolveSubstitutionLevel()
Definition: SatParameters.java:14966
.lang.Override boolean getCpModelPresolve()
Definition: SatParameters.java:4298
.lang.Override boolean hasRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:13457
.lang.Override com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:11390
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:9335
PROPAGATION_ASSISTED
Definition: SatParameters.java:2469
Builder mergeFrom(com.google.ortools.sat.SatParameters other)
Definition: SatParameters.java:10399
static com.google.ortools.sat.SatParameters parseFrom(byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:9345
.lang.Override boolean hasUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:4927
Builder clearMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:16530
.lang.Override int getClauseCleanupPeriod()
Definition: SatParameters.java:11552
.lang.Override boolean hasPbCleanupIncrement()
Definition: SatParameters.java:11799
.lang.Override boolean hasUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:15488
Builder clearMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:12010
Builder clearFillTightenedDomainsInResponse()
Definition: SatParameters.java:17695
.lang.Override com.google.ortools.sat.SatParameters.ClauseProtection getClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:2976
Builder clearClauseCleanupLbdBound()
Definition: SatParameters.java:11739
Builder setFillTightenedDomainsInResponse(boolean value)
Definition: SatParameters.java:17677
Builder setUseBlockingRestart(boolean value)
Definition: SatParameters.java:12873
Builder setUseSatInprocessing(boolean value)
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:14638
.lang.Override boolean getInstantiateAllVariables()
Definition: SatParameters.java:17726
.lang.Override int getCpModelProbingLevel()
Definition: SatParameters.java:14528
Builder clearMaxPresolveIterations()
Definition: SatParameters.java:14318
.lang.Override boolean getMinimizeCore()
Definition: SatParameters.java:15094
.lang.Override boolean getExploitBestSolution()
Definition: SatParameters.java:17070
static final int ALSO_BUMP_VARIABLES_IN_CONFLICT_REASONS_FIELD_NUMBER
Definition: SatParameters.java:2803
static final int MAX_SAT_STRATIFICATION_FIELD_NUMBER
Definition: SatParameters.java:4775
Builder setClauseCleanupProtection(com.google.ortools.sat.SatParameters.ClauseProtection value)
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:11667
static final int USE_ERWA_HEURISTIC_FIELD_NUMBER
Definition: SatParameters.java:2735
Builder clearCountAssumptionLevelsInLbd()
Definition: SatParameters.java:13893
Builder setGlucoseMaxDecay(double value)
Definition: SatParameters.java:12178
.lang.Override boolean hasExploitRelaxationSolution()
Definition: SatParameters.java:17115
Builder clearClauseActivityDecay()
Definition: SatParameters.java:12328
static final int CLAUSE_CLEANUP_TARGET_FIELD_NUMBER
Definition: SatParameters.java:2934
static final int EXPLOIT_RELAXATION_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:5635
.lang.Override boolean hasMipWantedPrecision()
Definition: SatParameters.java:19384
.lang.Override boolean hasInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:2617
.lang.Override double getMipMaxBound()
Definition: SatParameters.java:19195
Builder setMaxSatStratification(com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value)
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:15370
.lang.Override boolean hasHintConflictLimit()
Definition: SatParameters.java:16870