Java Reference
Java Reference
SatParameters.java
Go to the documentation of this file.
148 com.google.ortools.sat.SatParameters.VariableOrder value = com.google.ortools.sat.SatParameters.VariableOrder.valueOf(rawValue);
160 com.google.ortools.sat.SatParameters.Polarity value = com.google.ortools.sat.SatParameters.Polarity.valueOf(rawValue);
172 com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value = com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.valueOf(rawValue);
249 com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value = com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.valueOf(rawValue);
326 com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder value = com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf(rawValue);
343 com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value = com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.valueOf(rawValue);
375 com.google.ortools.sat.SatParameters.ClauseProtection value = com.google.ortools.sat.SatParameters.ClauseProtection.valueOf(rawValue);
392 com.google.ortools.sat.SatParameters.ClauseOrdering value = com.google.ortools.sat.SatParameters.ClauseOrdering.valueOf(rawValue);
404 com.google.ortools.sat.SatParameters.RestartAlgorithm value = com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(rawValue);
422 com.google.ortools.sat.SatParameters.RestartAlgorithm value = com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(rawValue);
535 com.google.ortools.sat.SatParameters.SearchBranching value = com.google.ortools.sat.SatParameters.SearchBranching.valueOf(rawValue);
848 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
854 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_fieldAccessorTable
856 com.google.ortools.sat.SatParameters.class, com.google.ortools.sat.SatParameters.Builder.class);
1227 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.ConflictMinimizationAlgorithm)
1349 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.BinaryMinizationAlgorithm)
1849 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.MaxSatAssumptionOrder)
1984 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.MaxSatStratificationAlgorithm)
2221 com.google.ortools.sat.SatParameters.VariableOrder result = com.google.ortools.sat.SatParameters.VariableOrder.valueOf(preferredVariableOrder_);
2238 com.google.ortools.sat.SatParameters.Polarity result = com.google.ortools.sat.SatParameters.Polarity.valueOf(initialPolarity_);
2435 public com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm() {
2437 com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm result = com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.valueOf(minimizationAlgorithm_);
2438 return result == null ? com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.RECURSIVE : result;
2452 public com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm() {
2454 com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm result = com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.valueOf(binaryMinimizationAlgorithm_);
2455 return result == null ? com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_FIRST : result;
2548 com.google.ortools.sat.SatParameters.ClauseProtection result = com.google.ortools.sat.SatParameters.ClauseProtection.valueOf(clauseCleanupProtection_);
2549 return result == null ? com.google.ortools.sat.SatParameters.ClauseProtection.PROTECTION_NONE : result;
2590 com.google.ortools.sat.SatParameters.ClauseOrdering result = com.google.ortools.sat.SatParameters.ClauseOrdering.valueOf(clauseCleanupOrdering_);
2591 return result == null ? com.google.ortools.sat.SatParameters.ClauseOrdering.CLAUSE_ACTIVITY : result;
2840 java.lang.Integer, com.google.ortools.sat.SatParameters.RestartAlgorithm> restartAlgorithms_converter_ =
2845 com.google.ortools.sat.SatParameters.RestartAlgorithm result = com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(from);
2846 return result == null ? com.google.ortools.sat.SatParameters.RestartAlgorithm.NO_RESTART : result;
2863 public java.util.List<com.google.ortools.sat.SatParameters.RestartAlgorithm> getRestartAlgorithmsList() {
2865 java.lang.Integer, com.google.ortools.sat.SatParameters.RestartAlgorithm>(restartAlgorithms_, restartAlgorithms_converter_);
3735 com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder result = com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf(maxSatAssumptionOrder_);
3736 return result == null ? com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.DEFAULT_ASSUMPTION_ORDER : result;
3775 public com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification() {
3777 com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm result = com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.valueOf(maxSatStratification_);
3778 return result == null ? com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.STRATIFICATION_DESCENT : result;
4287 com.google.ortools.sat.SatParameters.SearchBranching result = com.google.ortools.sat.SatParameters.SearchBranching.valueOf(searchBranching_);
4288 return result == null ? com.google.ortools.sat.SatParameters.SearchBranching.AUTOMATIC_SEARCH : result;
5860 size += com.google.protobuf.GeneratedMessageV3.computeStringSize(70, defaultRestartAlgorithms_);
6181 if (hasAlsoBumpVariablesInConflictReasons() != other.hasAlsoBumpVariablesInConflictReasons()) return false;
6194 if (hasSubsumptionDuringConflictAnalysis() != other.hasSubsumptionDuringConflictAnalysis()) return false;
6233 if (hasMinimizeWithPropagationRestartPeriod() != other.hasMinimizeWithPropagationRestartPeriod()) return false;
6238 if (hasMinimizeWithPropagationNumDecisions() != other.hasMinimizeWithPropagationNumDecisions()) return false;
6328 if (hasNumConflictsBeforeStrategyChanges() != other.hasNumConflictsBeforeStrategyChanges()) return false;
6361 if (hasTreatBinaryClausesSeparately() != other.hasTreatBinaryClausesSeparately()) return false;
6381 if (hasMinimizeReductionDuringPbResolution() != other.hasMinimizeReductionDuringPbResolution()) return false;
6401 if (hasPresolveProbingDeterministicTimeLimit() != other.hasPresolveProbingDeterministicTimeLimit()) return false;
6451 if (hasMaxSatReverseAssumptionOrder() != other.hasMaxSatReverseAssumptionOrder()) return false;
6460 if (hasUsePrecedencesInDisjunctiveConstraint() != other.hasUsePrecedencesInDisjunctiveConstraint()) return false;
6465 if (hasUseOverloadCheckerInCumulativeConstraint() != other.hasUseOverloadCheckerInCumulativeConstraint()) return false;
6470 if (hasUseTimetableEdgeFindingInCumulativeConstraint() != other.hasUseTimetableEdgeFindingInCumulativeConstraint()) return false;
6475 if (hasUseDisjunctiveConstraintInCumulativeConstraint() != other.hasUseDisjunctiveConstraintInCumulativeConstraint()) return false;
6530 if (hasMinOrthogonalityForLpConstraints() != other.hasMinOrthogonalityForLpConstraints()) return false;
6570 if (hasPseudoCostReliabilityThreshold() != other.hasPseudoCostReliabilityThreshold()) return false;
6610 if (hasFillTightenedDomainsInResponse() != other.hasFillTightenedDomainsInResponse()) return false;
6620 if (hasAutoDetectGreaterThanAtLeastOneOf() != other.hasAutoDetectGreaterThanAtLeastOneOf()) return false;
6680 if (hasSearchRandomizationTolerance() != other.hasSearchRandomizationTolerance()) return false;
7349 public static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input)
7410 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
7416 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_fieldAccessorTable
7418 com.google.ortools.sat.SatParameters.class, com.google.ortools.sat.SatParameters.Builder.class);
7495 defaultRestartAlgorithms_ = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,DL_MOVING_AVERAGE_RESTART";
7679 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
7965 result.useTimetableEdgeFindingInCumulativeConstraint_ = useTimetableEdgeFindingInCumulativeConstraint_;
7971 result.useDisjunctiveConstraintInCumulativeConstraint_ = useDisjunctiveConstraintInCumulativeConstraint_;
8427 setUseOverloadCheckerInCumulativeConstraint(other.getUseOverloadCheckerInCumulativeConstraint());
8430 setUseTimetableEdgeFindingInCumulativeConstraint(other.getUseTimetableEdgeFindingInCumulativeConstraint());
8433 setUseDisjunctiveConstraintInCumulativeConstraint(other.getUseDisjunctiveConstraintInCumulativeConstraint());
8633 com.google.ortools.sat.SatParameters.VariableOrder result = com.google.ortools.sat.SatParameters.VariableOrder.valueOf(preferredVariableOrder_);
8639 public Builder setPreferredVariableOrder(com.google.ortools.sat.SatParameters.VariableOrder value) {
8670 com.google.ortools.sat.SatParameters.Polarity result = com.google.ortools.sat.SatParameters.Polarity.valueOf(initialPolarity_);
9081 public com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm() {
9083 com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm result = com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.valueOf(minimizationAlgorithm_);
9084 return result == null ? com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.RECURSIVE : result;
9089 public Builder setMinimizationAlgorithm(com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value) {
9118 public com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm() {
9120 com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm result = com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.valueOf(binaryMinimizationAlgorithm_);
9121 return result == null ? com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_FIRST : result;
9126 public Builder setBinaryMinimizationAlgorithm(com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value) {
9317 com.google.ortools.sat.SatParameters.ClauseProtection result = com.google.ortools.sat.SatParameters.ClauseProtection.valueOf(clauseCleanupProtection_);
9318 return result == null ? com.google.ortools.sat.SatParameters.ClauseProtection.PROTECTION_NONE : result;
9323 public Builder setClauseCleanupProtection(com.google.ortools.sat.SatParameters.ClauseProtection value) {
9406 com.google.ortools.sat.SatParameters.ClauseOrdering result = com.google.ortools.sat.SatParameters.ClauseOrdering.valueOf(clauseCleanupOrdering_);
9407 return result == null ? com.google.ortools.sat.SatParameters.ClauseOrdering.CLAUSE_ACTIVITY : result;
9412 public Builder setClauseCleanupOrdering(com.google.ortools.sat.SatParameters.ClauseOrdering value) {
9961 public java.util.List<com.google.ortools.sat.SatParameters.RestartAlgorithm> getRestartAlgorithmsList() {
9963 java.lang.Integer, com.google.ortools.sat.SatParameters.RestartAlgorithm>(restartAlgorithms_, restartAlgorithms_converter_);
10037 public Builder addRestartAlgorithms(com.google.ortools.sat.SatParameters.RestartAlgorithm value) {
10090 private java.lang.Object defaultRestartAlgorithms_ = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,DL_MOVING_AVERAGE_RESTART";
11792 public com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder() {
11794 com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder result = com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf(maxSatAssumptionOrder_);
11795 return result == null ? com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.DEFAULT_ASSUMPTION_ORDER : result;
11800 public Builder setMaxSatAssumptionOrder(com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder value) {
11881 public com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification() {
11883 com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm result = com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.valueOf(maxSatStratification_);
11884 return result == null ? com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.STRATIFICATION_DESCENT : result;
11889 public Builder setMaxSatStratification(com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value) {
12940 com.google.ortools.sat.SatParameters.SearchBranching result = com.google.ortools.sat.SatParameters.SearchBranching.valueOf(searchBranching_);
12941 return result == null ? com.google.ortools.sat.SatParameters.SearchBranching.AUTOMATIC_SEARCH : result;
12946 public Builder setSearchBranching(com.google.ortools.sat.SatParameters.SearchBranching value) {
boolean getLogSearchProgress()
Definition: SatParameters.java:10968
.lang.Override Builder newBuilderForType()
Definition: SatParameters.java:7376
double getMipWantedPrecision()
Definition: SatParameters.java:14791
static final int RESTART_ALGORITHMS_FIELD_NUMBER
Definition: SatParameters.java:2837
static com.google.protobuf.Internal.EnumLiteMap< ConflictMinimizationAlgorithm > internalGetValueMap()
Definition: SatParameters.java:1186
boolean hasRandomSeed()
Definition: SatParameters.java:3302
boolean hasSearchRandomizationTolerance()
Definition: SatParameters.java:4970
boolean hasCountAssumptionLevelsInLbd()
Definition: SatParameters.java:3418
boolean getMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:11839
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:943
double getMaxTimeInSeconds()
Definition: SatParameters.java:3164
Builder clearFillTightenedDomainsInResponse()
Definition: SatParameters.java:13690
static final int PB_CLEANUP_RATIO_FIELD_NUMBER
Definition: SatParameters.java:2617
Builder setGlucoseDecayIncrementPeriod(int value)
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:9843
Builder clearBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:10463
.lang.Deprecated static BinaryMinizationAlgorithm valueOf(int value)
Definition: SatParameters.java:1292
FIXED_SEARCH
Definition: SatParameters.java:2014
static final int RANDOM_POLARITY_RATIO_FIELD_NUMBER
Definition: SatParameters.java:2277
.lang.Override final boolean isInitialized()
Definition: SatParameters.java:5286
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1717
Builder setRandomPolarityRatio(double value)
Definition: SatParameters.java:8807
static final int USE_RINS_LNS_FIELD_NUMBER
Definition: SatParameters.java:4886
static final int MAX_MEMORY_IN_MB_FIELD_NUMBER
Definition: SatParameters.java:3232
boolean hasPresolveBveClauseWeight()
Definition: SatParameters.java:11259
double getInitialVariablesActivity()
Definition: SatParameters.java:8971
boolean getUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:11940
boolean getCpModelUseSatPresolve()
Definition: SatParameters.java:13535
boolean hasAddMirCuts()
Definition: SatParameters.java:4091
boolean getRandomizeSearch()
Definition: SatParameters.java:4951
Builder clearDeterministicParallelSearch()
Definition: SatParameters.java:14018
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2172
com.google.ortools.sat.SatParameters.SearchBranching getSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:12938
double getMipCheckPrecision()
Definition: SatParameters.java:5253
boolean getCatchSigintSignal()
Definition: SatParameters.java:5280
boolean getExploitAllLpSolution()
Definition: SatParameters.java:4343
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.ByteString data)
Definition: SatParameters.java:7316
boolean hasPresolveBveClauseWeight()
Definition: SatParameters.java:3476
Builder setMipWantedPrecision(double value)
Definition: SatParameters.java:14809
int getNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:10492
static final int LINEARIZATION_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:3921
int getPresolveBveClauseWeight()
Definition: SatParameters.java:11270
int getRandomSeed()
Definition: SatParameters.java:3317
boolean hasMinimizeCore()
Definition: SatParameters.java:3658
boolean hasBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:3079
boolean hasSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:9156
Builder clearExploitObjective()
Definition: SatParameters.java:13174
static final int STOP_AFTER_FIRST_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:4698
static com.google.protobuf.Internal.EnumLiteMap< BinaryMinizationAlgorithm > internalGetValueMap()
Definition: SatParameters.java:1308
final int getNumber()
Definition: SatParameters.java:1527
boolean getUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:12152
Builder clearClauseCleanupLbdBound()
Definition: SatParameters.java:9387
Builder clearMipCheckPrecision()
Definition: SatParameters.java:14962
final int getNumber()
Definition: SatParameters.java:2134
boolean hasShareLevelZeroBounds()
Definition: SatParameters.java:4834
com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:3775
Builder clearExploitIntegerLpSolution()
Definition: SatParameters.java:13018
com.google.ortools.sat.SatParameters.VariableOrder getPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:8631
final int getNumber()
Definition: SatParameters.java:1050
Builder setMinimizationAlgorithm(com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value)
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:9089
boolean hasSearchRandomizationTolerance()
Definition: SatParameters.java:14359
final int getNumber()
Definition: SatParameters.java:1681
long getSearchRandomizationTolerance()
Definition: SatParameters.java:14375
Builder setMipVarScaling(double value)
Definition: SatParameters.java:14735
Builder clearStopAfterFirstSolution()
Definition: SatParameters.java:13850
static final int CP_MODEL_PROBING_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:4534
Builder clearOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:12413
boolean hasUseExactLpReason()
Definition: SatParameters.java:5029
boolean hasExploitIntegerLpSolution()
Definition: SatParameters.java:4303
static final int USE_OPTIONAL_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:4990
com.google.ortools.sat.SatParameters.Polarity getInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:8668
Builder clearMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:9932
Builder clearMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:9101
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1090
boolean hasClauseCleanupLbdBound()
Definition: SatParameters.java:9351
static final int ADD_LP_CONSTRAINTS_LAZILY_FIELD_NUMBER
Definition: SatParameters.java:4164
.lang.Override Builder clearField(com.google.protobuf.Descriptors.FieldDescriptor field)
Definition: SatParameters.java:8195
boolean hasMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:4206
long getMaxInactiveCount()
Definition: SatParameters.java:12844
boolean hasBinarySearchNumConflicts()
Definition: SatParameters.java:13304
static final int DETERMINISTIC_PARALLEL_SEARCH_FIELD_NUMBER
Definition: SatParameters.java:4775
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1820
boolean hasUseBranchingInLp()
Definition: SatParameters.java:14543
Builder setMinimizeWithPropagationNumDecisions(int value)
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:9615
boolean hasRandomBranchesRatio()
Definition: SatParameters.java:8841
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1568
Builder setCoverOptimization(boolean value)
Definition: SatParameters.java:11761
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1828
static com.google.protobuf.Internal.EnumLiteMap< RestartAlgorithm > internalGetValueMap()
Definition: SatParameters.java:1705
PSEUDO_COST_SEARCH
Definition: SatParameters.java:2042
boolean hasConstraintRemovalBatchSize()
Definition: SatParameters.java:4259
int getLinearizationLevel()
Definition: SatParameters.java:12220
boolean getExploitObjective()
Definition: SatParameters.java:13149
Builder setPresolveBvaThreshold(int value)
Definition: SatParameters.java:11491
static final int EXPLOIT_INTEGER_LP_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:4291
boolean hasLogSearchProgress()
Definition: SatParameters.java:10958
boolean getUseOptionalVariables()
Definition: SatParameters.java:5013
boolean hasAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:13760
Builder setMinimizeCore(boolean value)
Definition: SatParameters.java:11658
long getConstraintRemovalBatchSize()
Definition: SatParameters.java:12896
Definition: SatParameters.java:1125
HINT_SEARCH
Definition: SatParameters.java:2062
boolean hasUsePbResolution()
Definition: SatParameters.java:11009
Builder setStrategyChangeIncreaseRatio(double value)
Definition: SatParameters.java:10557
static final int CLAUSE_CLEANUP_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:2487
int getPresolveBveThreshold()
Definition: SatParameters.java:11216
static final int DIVERSIFY_LNS_PARAMS_FIELD_NUMBER
Definition: SatParameters.java:4909
double getMaxDeterministicTime()
Definition: SatParameters.java:10660
com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:2435
Builder setExploitObjective(boolean value)
Definition: SatParameters.java:13160
boolean hasUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:3797
com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:2452
Builder setPbCleanupIncrement(int value)
Definition: SatParameters.java:9459
Builder clearClauseCleanupTarget()
Definition: SatParameters.java:9298
boolean hasUseExactLpReason()
Definition: SatParameters.java:14484
.lang.Deprecated static MaxSatAssumptionOrder valueOf(int value)
Definition: SatParameters.java:1794
boolean hasMaxDeterministicTime()
Definition: SatParameters.java:10646
Builder clearStrategyChangeIncreaseRatio()
Definition: SatParameters.java:10571
boolean hasLinearizationLevel()
Definition: SatParameters.java:3933
boolean getSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:9169
boolean hasInterleaveSearch()
Definition: SatParameters.java:13920
static ConflictMinimizationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1212
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1320
double getRandomPolarityRatio()
Definition: SatParameters.java:8793
boolean hasCoverOptimization()
Definition: SatParameters.java:11739
static final int CONSTRAINT_REMOVAL_BATCH_SIZE_FIELD_NUMBER
Definition: SatParameters.java:4249
boolean hasUseCombinedNoOverlap()
Definition: SatParameters.java:5084
int getMaxPresolveIterations()
Definition: SatParameters.java:3616
Builder setPresolveBveClauseWeight(int value)
Definition: SatParameters.java:11281
boolean hasEnumerateAllSolutions()
Definition: SatParameters.java:4594
.lang.Override com.google.ortools.sat.SatParameters getDefaultInstanceForType()
Definition: SatParameters.java:15071
boolean hasMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:11875
POLARITY_REVERSE_WEIGHTED_SIGN
Definition: SatParameters.java:1014
long getPseudoCostReliabilityThreshold()
Definition: SatParameters.java:4416
final int getNumber()
Definition: SatParameters.java:1163
static final int INSTANTIATE_ALL_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:4644
Builder clearMipWantedPrecision()
Definition: SatParameters.java:14830
boolean hasGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:2789
boolean getFillTightenedDomainsInResponse()
Definition: SatParameters.java:13659
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1457
Builder setUseBranchingInLp(boolean value)
Definition: SatParameters.java:14567
Builder clearCoverOptimization()
Definition: SatParameters.java:11775
PROTECTION_LBD
Definition: SatParameters.java:1386
Builder setMaxSatStratification(com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value)
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:11889
boolean hasAddKnapsackCuts()
Definition: SatParameters.java:4040
int getRestartRunningWindowSize()
Definition: SatParameters.java:10236
Builder setCpModelUseSatPresolve(boolean value)
Definition: SatParameters.java:13545
Definition: SatParameters.java:1859
Builder setExploitAllLpSolution(boolean value)
Definition: SatParameters.java:13059
boolean hasMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:9603
com.google.ortools.sat.SatParameters.ClauseOrdering getClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:2588
Builder clearPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:8651
Builder clearMinimizeCore()
Definition: SatParameters.java:11671
EXPERIMENTAL_BINARY_MINIMIZATION
EXPERIMENTAL_BINARY_MINIMIZATION = 3;
Definition: SatParameters.java:1259
.lang.Override Builder addRepeatedField(com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value)
Definition: SatParameters.java:8211
Builder setMaxTimeInSeconds(double value)
Definition: SatParameters.java:10612
static final int MIP_MAX_BOUND_FIELD_NUMBER
Definition: SatParameters.java:5100
boolean getUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:12012
Builder clearCountAssumptionLevelsInLbd()
Definition: SatParameters.java:11187
Builder setAddLpConstraintsLazily(boolean value)
Definition: SatParameters.java:12737
static final int SEARCH_BRANCHING_FIELD_NUMBER
Definition: SatParameters.java:4274
boolean hasOptimizeWithCore()
Definition: SatParameters.java:13244
double getGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:9805
boolean hasMaxTimeInSeconds()
Definition: SatParameters.java:10588
boolean hasMipWantedPrecision()
Definition: SatParameters.java:5171
Builder clearUseCombinedNoOverlap()
Definition: SatParameters.java:14638
boolean hasMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:3385
boolean hasShareObjectiveBounds()
Definition: SatParameters.java:14033
boolean hasMaxInactiveCount()
Definition: SatParameters.java:12833
Builder clearMaxNumberOfConflicts()
Definition: SatParameters.java:10759
boolean hasExploitObjective()
Definition: SatParameters.java:13138
static SearchBranching valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2186
.lang.Deprecated static VariableOrder valueOf(int value)
Definition: SatParameters.java:913
static final int NUM_CONFLICTS_BEFORE_STRATEGY_CHANGES_FIELD_NUMBER
Definition: SatParameters.java:3089
boolean getDeterministicParallelSearch()
Definition: SatParameters.java:4798
static MaxSatAssumptionOrder forNumber(int value)
Definition: SatParameters.java:1798
static final int USE_LNS_ONLY_FIELD_NUMBER
Definition: SatParameters.java:4848
int getMaxNumCuts()
Definition: SatParameters.java:12332
boolean hasStrategyChangeIncreaseRatio()
Definition: SatParameters.java:3126
boolean hasNumSearchWorkers()
Definition: SatParameters.java:13866
int getBooleanEncodingLevel()
Definition: SatParameters.java:3971
.lang.Deprecated static ClauseOrdering valueOf(int value)
Definition: SatParameters.java:1535
Builder clearConstraintRemovalBatchSize()
Definition: SatParameters.java:12921
Builder clearRandomPolarityRatio()
Definition: SatParameters.java:8824
double getMipMaxBound()
Definition: SatParameters.java:5123
boolean hasClauseCleanupTarget()
Definition: SatParameters.java:9262
boolean hasShareLevelZeroBounds()
Definition: SatParameters.java:14081
double getClauseActivityDecay()
Definition: SatParameters.java:2818
boolean getUseErwaHeuristic()
Definition: SatParameters.java:2358
PROTECTION_ALWAYS
Definition: SatParameters.java:1378
Builder setRandomBranchesRatio(double value)
Definition: SatParameters.java:8865
Builder clearBinarySearchNumConflicts()
Definition: SatParameters.java:13346
boolean hasStrategyChangeIncreaseRatio()
Definition: SatParameters.java:10535
Builder setBinarySearchNumConflicts(int value)
Definition: SatParameters.java:13330
Builder setCatchSigintSignal(boolean value)
Definition: SatParameters.java:15003
static final com.google.protobuf.Descriptors.Descriptor getDescriptor()
Definition: SatParameters.java:847
Builder setMaxDeterministicTime(double value)
Definition: SatParameters.java:10674
Builder setMinOrthogonalityForLpConstraints(double value)
Definition: SatParameters.java:12800
Builder clearCpModelProbingLevel()
Definition: SatParameters.java:13510
boolean hasPseudoCostReliabilityThreshold()
Definition: SatParameters.java:4405
Builder clearMaxNumCuts()
Definition: SatParameters.java:12361
boolean hasMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:3769
double getPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:3512
static final int MAX_DETERMINISTIC_TIME_FIELD_NUMBER
Definition: SatParameters.java:3168
int getMaxIntegerRoundingScaling()
Definition: SatParameters.java:12662
Builder setAddMirCuts(boolean value)
Definition: SatParameters.java:12559
boolean hasMaxMemoryInMb()
Definition: SatParameters.java:10777
static SearchBranching forNumber(int value)
Definition: SatParameters.java:2146
static com.google.ortools.sat.SatParameters parseFrom(java.nio.ByteBuffer data)
Definition: SatParameters.java:7305
long getSearchRandomizationTolerance()
Definition: SatParameters.java:4986
static VariableOrder valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:953
.lang.Override com.google.ortools.sat.SatParameters getDefaultInstanceForType()
Definition: SatParameters.java:7683
boolean getStopAfterFirstSolution()
Definition: SatParameters.java:4717
boolean hasEnumerateAllSolutions()
Definition: SatParameters.java:13578
boolean hasUseLnsOnly()
Definition: SatParameters.java:14129
static final int MAX_CLAUSE_ACTIVITY_VALUE_FIELD_NUMBER
Definition: SatParameters.java:2822
static ClauseProtection valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1463
Builder clearLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:14194
long getMaxNumberOfConflicts()
Definition: SatParameters.java:10726
static final int PRESOLVE_USE_BVA_FIELD_NUMBER
Definition: SatParameters.java:3541
boolean hasMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:9075
int getPresolveBvaThreshold()
Definition: SatParameters.java:3589
static final int MAX_VARIABLE_ACTIVITY_VALUE_FIELD_NUMBER
Definition: SatParameters.java:2725
static final int RESTART_LBD_AVERAGE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3017
Builder setInitialVariablesActivity(double value)
Definition: SatParameters.java:8986
boolean getUseBlockingRestart()
Definition: SatParameters.java:3055
Builder clearUsePhaseSaving()
Definition: SatParameters.java:8760
boolean hasRestartDlAverageRatio()
Definition: SatParameters.java:10275
Builder setOptimizeWithMaxHs(boolean value)
Definition: SatParameters.java:13396
static ClauseOrdering valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1574
int getPbCleanupIncrement()
Definition: SatParameters.java:2613
static final int PRESOLVE_PROBING_DETERMINISTIC_TIME_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:3491
double getMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:9713
Builder setNumConflictsBeforeStrategyChanges(int value)
Definition: SatParameters.java:10504
static final int FIND_MULTIPLE_CORES_FIELD_NUMBER
Definition: SatParameters.java:3672
.lang.Override Builder mergeFrom(com.google.protobuf.Message other)
Definition: SatParameters.java:8217
boolean getAddMirCuts()
Definition: SatParameters.java:4102
Builder setMaxSatAssumptionOrder(com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder value)
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:11800
boolean hasPresolveBveThreshold()
Definition: SatParameters.java:3450
boolean getOptimizeWithMaxHs()
Definition: SatParameters.java:13381
Builder setOnlyAddCutsAtLevelZero(boolean value)
Definition: SatParameters.java:12399
java.util.List< com.google.ortools.sat.SatParameters.RestartAlgorithm > getRestartAlgorithmsList()
Definition: SatParameters.java:2863
Builder clearAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:13802
boolean hasCpModelPresolve()
Definition: SatParameters.java:4520
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1324
static final int ADD_MIR_CUTS_FIELD_NUMBER
Definition: SatParameters.java:4081
Builder clearPbCleanupIncrement()
Definition: SatParameters.java:9472
boolean hasClauseCleanupLbdBound()
Definition: SatParameters.java:2562
Builder clearPresolveUseBva()
Definition: SatParameters.java:11447
boolean hasStopAfterFirstSolution()
Definition: SatParameters.java:4707
boolean hasClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:9398
boolean hasTreatBinaryClausesSeparately()
Definition: SatParameters.java:3272
boolean hasMaxTimeInSeconds()
Definition: SatParameters.java:3152
Builder setPbCleanupRatio(double value)
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:9495
boolean hasUseOptionalVariables()
Definition: SatParameters.java:5001
boolean getDiversifyLnsParams()
Definition: SatParameters.java:14267
static final int USE_PRECEDENCES_IN_DISJUNCTIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:3781
Builder clearExploitBestSolution()
Definition: SatParameters.java:13122
boolean hasUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:12135
boolean hasClauseCleanupPeriod()
Definition: SatParameters.java:9213
boolean hasRandomPolarityRatio()
Definition: SatParameters.java:8779
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1449
long getMaxMemoryInMb()
Definition: SatParameters.java:3257
Builder clearBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:10431
boolean hasMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:9707
Builder setNumSearchWorkers(int value)
Definition: SatParameters.java:13888
Builder setMaxIntegerRoundingScaling(int value)
Definition: SatParameters.java:12676
int getRestartRunningWindowSize()
Definition: SatParameters.java:2988
boolean hasExploitAllLpSolution()
Definition: SatParameters.java:13035
boolean hasUseLnsOnly()
Definition: SatParameters.java:4857
boolean getAddKnapsackCuts()
Definition: SatParameters.java:4052
Builder setDiversifyLnsParams(boolean value)
Definition: SatParameters.java:14277
Builder setGlucoseDecayIncrement(double value)
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:9811
Builder clearAddLpConstraintsLazily()
Definition: SatParameters.java:12753
boolean hasOptimizeWithMaxHs()
Definition: SatParameters.java:4492
Builder setSubsumptionDuringConflictAnalysis(boolean value)
Definition: SatParameters.java:9182
.lang.Deprecated static ClauseProtection valueOf(int value)
Definition: SatParameters.java:1423
boolean hasRandomBranchesRatio()
Definition: SatParameters.java:2319
static final int MINIMIZATION_ALGORITHM_FIELD_NUMBER
Definition: SatParameters.java:2424
static final int USE_ERWA_HEURISTIC_FIELD_NUMBER
Definition: SatParameters.java:2335
Builder setFillTightenedDomainsInResponse(boolean value)
Definition: SatParameters.java:13673
boolean hasOptimizeWithMaxHs()
Definition: SatParameters.java:13366
final int getNumber()
Definition: SatParameters.java:1415
boolean getDiversifyLnsParams()
Definition: SatParameters.java:4928
Builder clearUseOptionalVariables()
Definition: SatParameters.java:14466
int getMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:2686
static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input)
Definition: SatParameters.java:7349
Builder setMaxNumCuts(int value)
Definition: SatParameters.java:12345
boolean getShareLevelZeroBounds()
Definition: SatParameters.java:14091
boolean getExploitAllLpSolution()
Definition: SatParameters.java:13047
static final int MIP_VAR_SCALING_FIELD_NUMBER
Definition: SatParameters.java:5127
boolean hasUseBlockingRestart()
Definition: SatParameters.java:3043
int getGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:9837
boolean hasClauseCleanupPeriod()
Definition: SatParameters.java:2496
Builder clearGlucoseMaxDecay()
Definition: SatParameters.java:9788
boolean getAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:13773
static final int USE_TIMETABLE_EDGE_FINDING_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:3851
Builder clearRestartDlAverageRatio()
Definition: SatParameters.java:10311
static final int LNS_FOCUS_ON_DECISION_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:4871
Builder setPresolveBveThreshold(int value)
Definition: SatParameters.java:11228
Builder clearMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:11812
boolean getAddCgCuts()
Definition: SatParameters.java:12496
Builder setLogSearchProgress(boolean value)
Definition: SatParameters.java:10978
java.lang.String getDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:10100
int getNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:3112
double getRestartDlAverageRatio()
Definition: SatParameters.java:3013
boolean hasRandomPolarityRatio()
Definition: SatParameters.java:2290
static final int GLUCOSE_MAX_DECAY_FIELD_NUMBER
Definition: SatParameters.java:2740
CLAUSE_ACTIVITY
Definition: SatParameters.java:1498
double getRandomBranchesRatio()
Definition: SatParameters.java:2331
Builder setMaxNumberOfConflicts(long value)
Definition: SatParameters.java:10741
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:7367
boolean getPresolveUseBva()
Definition: SatParameters.java:3560
double getBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:3085
Builder setEnumerateAllSolutions(boolean value)
Definition: SatParameters.java:13608
static final int MAX_SAT_STRATIFICATION_FIELD_NUMBER
Definition: SatParameters.java:3764
Builder clearRandomSeed()
Definition: SatParameters.java:10943
boolean hasPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:9483
Builder clearMaxMemoryInMb()
Definition: SatParameters.java:10819
boolean hasUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:3832
.lang.Override void writeTo(com.google.protobuf.CodedOutputStream output)
Definition: SatParameters.java:5296
int getRandomSeed()
Definition: SatParameters.java:10910
Builder clearTreatBinaryClausesSeparately()
Definition: SatParameters.java:10875
.lang.Override int getSerializedSize()
Definition: SatParameters.java:5653
boolean hasUsePhaseSaving()
Definition: SatParameters.java:2257
Builder setMaxClauseActivityValue(double value)
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:9923
Builder setLnsFocusOnDecisionVariables(boolean value)
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:14185
Builder clearUseOptimizationHints()
Definition: SatParameters.java:11623
boolean getUseErwaHeuristic()
Definition: SatParameters.java:8909
boolean getLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:14179
com.google.protobuf.ByteString getDefaultRestartAlgorithmsBytes()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:10118
boolean hasUsePhaseSaving()
Definition: SatParameters.java:8709
boolean hasExploitAllLpSolution()
Definition: SatParameters.java:4331
static final int PRESOLVE_BLOCKED_CLAUSE_FIELD_NUMBER
Definition: SatParameters.java:3516
boolean hasSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:4279
boolean hasMipWantedPrecision()
Definition: SatParameters.java:14773
boolean hasMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:11786
boolean hasBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:2446
Builder setClauseCleanupLbdBound(int value)
Definition: SatParameters.java:9373
boolean getExploitBestSolution()
Definition: SatParameters.java:4366
boolean hasClauseCleanupTarget()
Definition: SatParameters.java:2520
boolean hasRandomizeSearch()
Definition: SatParameters.java:4941
static final int PSEUDO_COST_RELIABILITY_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:4395
Builder clearExploitAllLpSolution()
Definition: SatParameters.java:13074
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1086
Builder clearMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:11901
double getPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:9489
Builder clearGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:9820
Builder clearCpModelUseSatPresolve()
Definition: SatParameters.java:13558
boolean hasPresolveBveThreshold()
Definition: SatParameters.java:11204
Builder setBooleanEncodingLevel(int value)
Definition: SatParameters.java:12287
boolean hasDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:10094
Builder clearShareObjectiveBounds()
Definition: SatParameters.java:14066
boolean getOptimizeWithMaxHs()
Definition: SatParameters.java:4507
int getRestartAlgorithmsCount()
Definition: SatParameters.java:9979
int getGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:2795
static final int ENUMERATE_ALL_SOLUTIONS_FIELD_NUMBER
Definition: SatParameters.java:4580
boolean hasUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:3900
boolean getUseExactLpReason()
Definition: SatParameters.java:5042
boolean hasLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:4876
boolean hasMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:12772
boolean getInterleaveSearch()
Definition: SatParameters.java:13933
Builder setMinimizeReductionDuringPbResolution(boolean value)
Definition: SatParameters.java:11095
boolean getShareLevelZeroBounds()
Definition: SatParameters.java:4844
boolean hasClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:2582
Builder setTreatBinaryClausesSeparately(boolean value)
Definition: SatParameters.java:10860
boolean hasPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:11311
boolean getAddLpConstraintsLazily()
Definition: SatParameters.java:12724
STRATIFICATION_ASCENT
Definition: SatParameters.java:1888
static VariableOrder forNumber(int value)
Definition: SatParameters.java:917
int getBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:10416
Builder setUseBlockingRestart(boolean value)
Definition: SatParameters.java:10384
Builder setUseLnsOnly(boolean value)
Definition: SatParameters.java:14149
boolean getMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:3760
boolean getMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:3398
Builder setSearchBranching(com.google.ortools.sat.SatParameters.SearchBranching value)
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:12946
double getMaxDeterministicTime()
Definition: SatParameters.java:3195
boolean hasFillTightenedDomainsInResponse()
Definition: SatParameters.java:13645
static final int MINIMIZE_CORE_FIELD_NUMBER
Definition: SatParameters.java:3649
Builder setCountAssumptionLevelsInLbd(boolean value)
Definition: SatParameters.java:11167
com.google.ortools.sat.SatParameters.ClauseProtection getClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:9315
static final int INITIAL_VARIABLES_ACTIVITY_FIELD_NUMBER
Definition: SatParameters.java:2362
static final int PRESOLVE_BVE_CLAUSE_WEIGHT_FIELD_NUMBER
Definition: SatParameters.java:3466
boolean getFindMultipleCores()
Definition: SatParameters.java:11698
Builder setUseOverloadCheckerInCumulativeConstraint(boolean value)
Definition: SatParameters.java:12027
static final int AUTO_DETECT_GREATER_THAN_AT_LEAST_ONE_OF_FIELD_NUMBER
Definition: SatParameters.java:4669
boolean hasConstraintRemovalBatchSize()
Definition: SatParameters.java:12885
int getMaxIntegerRoundingScaling()
Definition: SatParameters.java:4160
boolean getUseMirRounding()
Definition: SatParameters.java:12602
Builder setRestartPeriod(int value)
Definition: SatParameters.java:10197
static final int USE_COMBINED_NO_OVERLAP_FIELD_NUMBER
Definition: SatParameters.java:5073
Builder clearGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:9852
Builder clearOptimizeWithMaxHs()
Definition: SatParameters.java:13414
boolean hasRestartPeriod()
Definition: SatParameters.java:10175
POLARITY_WEIGHTED_SIGN
Definition: SatParameters.java:1006
boolean getInstantiateAllVariables()
Definition: SatParameters.java:4665
boolean hasCatchSigintSignal()
Definition: SatParameters.java:5268
static com.google.ortools.sat.SatParameters parseFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:7342
double getRandomPolarityRatio()
Definition: SatParameters.java:2304
boolean hasMipMaxBound()
Definition: SatParameters.java:5111
Builder setRestartAlgorithms(int index, com.google.ortools.sat.SatParameters.RestartAlgorithm value)
Definition: SatParameters.java:10013
Builder clearInitialVariablesActivity()
Definition: SatParameters.java:9004
static final int MAX_TIME_IN_SECONDS_FIELD_NUMBER
Definition: SatParameters.java:3141
.lang.Override boolean equals(final java.lang.Object obj)
Definition: SatParameters.java:6136
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:939
boolean hasBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:10442
Builder setInterleaveSearch(boolean value)
Definition: SatParameters.java:13946
static final int USE_PB_RESOLUTION_FIELD_NUMBER
Definition: SatParameters.java:3344
static ConflictMinimizationAlgorithm forNumber(int value)
Definition: SatParameters.java:1175
Builder clearSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:12958
boolean hasRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:3022
boolean hasDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:2907
Builder setRandomSeed(int value)
Definition: SatParameters.java:10925
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.CodedInputStream input)
Definition: SatParameters.java:7361
Builder clearUseExactLpReason()
Definition: SatParameters.java:14526
.lang.Override Builder setRepeatedField(com.google.protobuf.Descriptors.FieldDescriptor field, int index, java.lang.Object value)
Definition: SatParameters.java:8205
double getMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:9917
boolean hasShareObjectiveBounds()
Definition: SatParameters.java:4811
boolean hasMipCheckPrecision()
Definition: SatParameters.java:14920
Builder setClauseCleanupTarget(int value)
Definition: SatParameters.java:9284
static final int PRESOLVE_BVE_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:3439
static final int USE_OVERLOAD_CHECKER_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:3818
boolean hasUseRinsLns()
Definition: SatParameters.java:14209
boolean hasRestartRunningWindowSize()
Definition: SatParameters.java:2978
static BinaryMinizationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1334
boolean getInterleaveSearch()
Definition: SatParameters.java:4771
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1963
com.google.ortools.sat.SatParameters.VariableOrder getPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:2219
static final int FILL_TIGHTENED_DOMAINS_IN_RESPONSE_FIELD_NUMBER
Definition: SatParameters.java:4613
Builder setShareObjectiveBounds(boolean value)
Definition: SatParameters.java:14053
Builder setMaxInactiveCount(long value)
Definition: SatParameters.java:12855
static final int CLAUSE_ACTIVITY_DECAY_FIELD_NUMBER
Definition: SatParameters.java:2799
boolean getCoverOptimization()
Definition: SatParameters.java:11750
.lang.Override com.google.protobuf.GeneratedMessageV3.FieldAccessorTable internalGetFieldAccessorTable()
Definition: SatParameters.java:853
Builder setMaxSatReverseAssumptionOrder(boolean value)
Definition: SatParameters.java:11850
static Builder newBuilder()
Definition: SatParameters.java:7377
com.google.ortools.sat.SatParameters.SearchBranching getSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:4285
int getCpModelProbingLevel()
Definition: SatParameters.java:13487
boolean hasOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:12377
.lang.Override final boolean isInitialized()
Definition: SatParameters.java:8594
double getRestartDlAverageRatio()
Definition: SatParameters.java:10286
static Polarity valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1100
int getMipMaxActivityExponent()
Definition: SatParameters.java:5224
boolean hasExploitIntegerLpSolution()
Definition: SatParameters.java:12976
boolean hasAddMirCuts()
Definition: SatParameters.java:12537
boolean hasMaxIntegerRoundingScaling()
Definition: SatParameters.java:12648
static MaxSatStratificationAlgorithm forNumber(int value)
Definition: SatParameters.java:1933
int getLinearizationLevel()
Definition: SatParameters.java:3946
long getMaxNumberOfConflicts()
Definition: SatParameters.java:3228
int getMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:9609
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1560
static final int ADD_KNAPSACK_CUTS_FIELD_NUMBER
Definition: SatParameters.java:4029
Builder clearPresolveBveClauseWeight()
Definition: SatParameters.java:11295
boolean getUsePhaseSaving()
Definition: SatParameters.java:8725
boolean getCountAssumptionLevelsInLbd()
Definition: SatParameters.java:3435
boolean getOptimizeWithCore()
Definition: SatParameters.java:13257
boolean hasGlucoseMaxDecay()
Definition: SatParameters.java:2752
boolean hasGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:2774
boolean hasMaxNumCuts()
Definition: SatParameters.java:12319
double getBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:10448
boolean getUseLnsOnly()
Definition: SatParameters.java:14139
boolean getUseCombinedNoOverlap()
Definition: SatParameters.java:14611
static final int OPTIMIZE_WITH_CORE_FIELD_NUMBER
Definition: SatParameters.java:4420
static com.google.protobuf.Internal.EnumLiteMap< MaxSatStratificationAlgorithm > internalGetValueMap()
Definition: SatParameters.java:1943
Builder clearMipMaxBound()
Definition: SatParameters.java:14694
Builder clearUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:11977
Builder setExploitIntegerLpSolution(boolean value)
Definition: SatParameters.java:13002
com.google.ortools.sat.SatParameters.ClauseProtection getClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:2546
boolean hasMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:2827
boolean hasPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:2213
boolean getUseBlockingRestart()
Definition: SatParameters.java:10372
boolean hasMaxNumCuts()
Definition: SatParameters.java:3987
double getMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:2736
.lang.Override com.google.ortools.sat.SatParameters buildPartial()
Definition: SatParameters.java:7697
int getBooleanEncodingLevel()
Definition: SatParameters.java:12276
int getPresolveBveClauseWeight()
Definition: SatParameters.java:3487
boolean getEnumerateAllSolutions()
Definition: SatParameters.java:4609
Builder clearMaxDeterministicTime()
Definition: SatParameters.java:10691
boolean hasMaxMemoryInMb()
Definition: SatParameters.java:3244
Builder clearUseLnsOnly()
Definition: SatParameters.java:14162
boolean hasMipMaxBound()
Definition: SatParameters.java:14655
boolean hasMinimizeCore()
Definition: SatParameters.java:11638
int getMaxPresolveIterations()
Definition: SatParameters.java:11536
static com.google.protobuf.Internal.EnumLiteMap< ClauseProtection > internalGetValueMap()
Definition: SatParameters.java:1437
.lang.Override Builder newBuilderForType(com.google.protobuf.GeneratedMessageV3.BuilderParent parent)
Definition: SatParameters.java:7390
Builder setClauseActivityDecay(double value)
Definition: SatParameters.java:9887
Builder clearNumSearchWorkers()
Definition: SatParameters.java:13902
Builder clearAddKnapsackCuts()
Definition: SatParameters.java:12469
boolean hasCountAssumptionLevelsInLbd()
Definition: SatParameters.java:11133
boolean hasCpModelProbingLevel()
Definition: SatParameters.java:13477
boolean hasMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:3749
boolean hasMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:9911
Builder clearUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:12189
boolean getEnumerateAllSolutions()
Definition: SatParameters.java:13593
Builder clearBooleanEncodingLevel()
Definition: SatParameters.java:12301
static com.google.ortools.sat.SatParameters parseFrom(byte[] data)
Definition: SatParameters.java:7327
boolean hasUsePbResolution()
Definition: SatParameters.java:3356
double getVariableActivityDecay()
Definition: SatParameters.java:2721
Builder setConstraintRemovalBatchSize(long value)
Definition: SatParameters.java:12907
static com.google.ortools.sat.SatParameters parseFrom(java.io.InputStream input)
Definition: SatParameters.java:7337
boolean getUsePbResolution()
Definition: SatParameters.java:3369
int getMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:2671
boolean hasUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:11923
int getBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:3070
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1564
static final int MINIMIZE_WITH_PROPAGATION_NUM_DECISIONS_FIELD_NUMBER
Definition: SatParameters.java:2675
static final int PREFERRED_VARIABLE_ORDER_FIELD_NUMBER
Definition: SatParameters.java:2208
.lang.Override Builder mergeFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:8599
Builder setUsePhaseSaving(boolean value)
Definition: SatParameters.java:8741
boolean hasCpModelUseSatPresolve()
Definition: SatParameters.java:13525
boolean getAddLpConstraintsLazily()
Definition: SatParameters.java:4189
static final int COVER_OPTIMIZATION_FIELD_NUMBER
Definition: SatParameters.java:3697
double getMipWantedPrecision()
Definition: SatParameters.java:5189
Builder clearCpModelPresolve()
Definition: SatParameters.java:13462
boolean hasExploitBestSolution()
Definition: SatParameters.java:13089
Builder setPseudoCostReliabilityThreshold(long value)
Definition: SatParameters.java:13212
boolean hasNumSearchWorkers()
Definition: SatParameters.java:4731
boolean hasUseRinsLns()
Definition: SatParameters.java:4895
Builder clearMipVarScaling()
Definition: SatParameters.java:14750
static final int CP_MODEL_USE_SAT_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:4557
Builder clearUseBranchingInLp()
Definition: SatParameters.java:14582
static MaxSatAssumptionOrder valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1834
Builder clearMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:11111
int getNumSearchWorkers()
Definition: SatParameters.java:4742
int getClauseCleanupPeriod()
Definition: SatParameters.java:9223
boolean getUsePhaseSaving()
Definition: SatParameters.java:2273
.lang.Override Builder toBuilder()
Definition: SatParameters.java:7384
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:947
int getClauseCleanupLbdBound()
Definition: SatParameters.java:2573
com.google.ortools.sat.SatParameters.ClauseOrdering getClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:9404
.lang.Override final Builder setUnknownFields(final com.google.protobuf.UnknownFieldSet unknownFields)
Definition: SatParameters.java:15025
static com.google.protobuf.Parser< SatParameters > parser()
Definition: SatParameters.java:15061
double getInitialVariablesActivity()
Definition: SatParameters.java:2391
Builder clearCatchSigintSignal()
Definition: SatParameters.java:15018
boolean hasStopAfterFirstSolution()
Definition: SatParameters.java:13817
PORTFOLIO_SEARCH
Definition: SatParameters.java:2022
static final int SHARE_OBJECTIVE_BOUNDS_FIELD_NUMBER
Definition: SatParameters.java:4802
com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_WITH_REACHABILITY
BINARY_MINIMIZATION_WITH_REACHABILITY
BINARY_MINIMIZATION_WITH_REACHABILITY = 2;
Definition: SatParameters.java:1255
double getPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:11322
static RestartAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1731
Builder clearRestartRunningWindowSize()
Definition: SatParameters.java:10259
Builder clearBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:9138
long getConstraintRemovalBatchSize()
Definition: SatParameters.java:4270
boolean hasMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:2429
Builder clearAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:9064
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1725
boolean getAddCgCuts()
Definition: SatParameters.java:4077
.lang.Deprecated static Polarity valueOf(int value)
Definition: SatParameters.java:1058
static final int INTERLEAVE_SEARCH_FIELD_NUMBER
Definition: SatParameters.java:4746
PROTECTION_NONE
Definition: SatParameters.java:1370
Builder clearShareLevelZeroBounds()
Definition: SatParameters.java:14114
boolean getUseBranchingInLp()
Definition: SatParameters.java:5069
Builder setBlockingRestartWindowSize(int value)
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:10422
boolean getUseRinsLns()
Definition: SatParameters.java:4905
static MaxSatStratificationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1969
static final int VARIABLE_ACTIVITY_DECAY_FIELD_NUMBER
Definition: SatParameters.java:2690
PORTFOLIO_WITH_QUICK_RESTART_SEARCH
Definition: SatParameters.java:2052
static final int USE_OPTIMIZATION_HINTS_FIELD_NUMBER
Definition: SatParameters.java:3620
Builder addRestartAlgorithms(com.google.ortools.sat.SatParameters.RestartAlgorithm value)
Definition: SatParameters.java:10037
Builder clearRestartAlgorithms()
Definition: SatParameters.java:10083
Builder setDefaultRestartAlgorithmsBytes(com.google.protobuf.ByteString value)
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:10155
int getClauseCleanupTarget()
Definition: SatParameters.java:9273
static Builder newBuilder(com.google.ortools.sat.SatParameters prototype)
Definition: SatParameters.java:7380
Builder setUseCombinedNoOverlap(boolean value)
Definition: SatParameters.java:14623
Builder setMaxPresolveIterations(int value)
Definition: SatParameters.java:11548
boolean hasCoverOptimization()
Definition: SatParameters.java:3707
FIXED_RESTART
Definition: SatParameters.java:1640
boolean hasVariableActivityDecay()
Definition: SatParameters.java:2705
boolean hasInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:8662
static final int STRATEGY_CHANGE_INCREASE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3116
int getPresolveBvaThreshold()
Definition: SatParameters.java:11478
int getPbCleanupIncrement()
Definition: SatParameters.java:9449
Builder setShareLevelZeroBounds(boolean value)
Definition: SatParameters.java:14101
boolean hasMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:2680
Builder setMipMaxBound(double value)
Definition: SatParameters.java:14679
boolean hasCatchSigintSignal()
Definition: SatParameters.java:14979
boolean getStopAfterFirstSolution()
Definition: SatParameters.java:13827
boolean getCoverOptimization()
Definition: SatParameters.java:3718
boolean getLogSearchProgress()
Definition: SatParameters.java:3340
int getMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:9549
int getCpModelProbingLevel()
Definition: SatParameters.java:4553
boolean hasUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:11997
boolean hasClauseActivityDecay()
Definition: SatParameters.java:9867
static com.google.ortools.sat.SatParameters parseFrom(byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:7331
boolean hasCpModelPresolve()
Definition: SatParameters.java:13429
.lang.Override com.google.protobuf.Descriptors.Descriptor getDescriptorForType()
Definition: SatParameters.java:7678
static final int BINARY_SEARCH_NUM_CONFLICTS_FIELD_NUMBER
Definition: SatParameters.java:4449
long getPseudoCostReliabilityThreshold()
Definition: SatParameters.java:13201
Builder clearMipMaxActivityExponent()
Definition: SatParameters.java:14902
boolean hasBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:9112
boolean hasLogSearchProgress()
Definition: SatParameters.java:3330
Builder setMipMaxActivityExponent(int value)
Definition: SatParameters.java:14883
.lang.Override Builder setField(com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value)
Definition: SatParameters.java:8189
boolean getOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:12388
boolean hasMaxPresolveIterations()
Definition: SatParameters.java:3604
boolean hasPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:2622
static final int SEARCH_RANDOMIZATION_TOLERANCE_FIELD_NUMBER
Definition: SatParameters.java:4955
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1198
Builder clearInstantiateAllVariables()
Definition: SatParameters.java:13742
boolean hasLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:14173
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1453
boolean hasGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:9831
boolean hasUseBlockingRestart()
Definition: SatParameters.java:10360
static BinaryMinizationAlgorithm forNumber(int value)
Definition: SatParameters.java:1296
static final int RANDOM_BRANCHES_RATIO_FIELD_NUMBER
Definition: SatParameters.java:2308
boolean hasMipMaxActivityExponent()
Definition: SatParameters.java:14851
Builder setSearchRandomizationTolerance(long value)
Definition: SatParameters.java:14391
static final com.google.protobuf.Descriptors.Descriptor getDescriptor()
Definition: SatParameters.java:7409
boolean hasMipVarScaling()
Definition: SatParameters.java:5138
boolean hasSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:2470
final int getNumber()
Definition: SatParameters.java:1786
double getRandomBranchesRatio()
Definition: SatParameters.java:8853
boolean hasAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:2407
boolean hasMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:9529
static com.google.protobuf.Internal.EnumLiteMap< VariableOrder > internalGetValueMap()
Definition: SatParameters.java:927
static final int PB_CLEANUP_INCREMENT_FIELD_NUMBER
Definition: SatParameters.java:2594
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1959
static final int USE_MIR_ROUNDING_FIELD_NUMBER
Definition: SatParameters.java:4106
boolean hasRandomizeSearch()
Definition: SatParameters.java:14305
static final int CLAUSE_CLEANUP_PROTECTION_FIELD_NUMBER
Definition: SatParameters.java:2535
int getNumSearchWorkers()
Definition: SatParameters.java:13877
.lang.Override final com.google.protobuf.UnknownFieldSet getUnknownFields()
Definition: SatParameters.java:120
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:7321
Builder clearPseudoCostReliabilityThreshold()
Definition: SatParameters.java:13226
.lang.Deprecated static RestartAlgorithm valueOf(int value)
Definition: SatParameters.java:1689
.lang.Override com.google.protobuf.GeneratedMessageV3.FieldAccessorTable internalGetFieldAccessorTable()
Definition: SatParameters.java:7415
boolean hasAddCgCuts()
Definition: SatParameters.java:4066
static final int BINARY_MINIMIZATION_ALGORITHM_FIELD_NUMBER
Definition: SatParameters.java:2441
Builder clearUseMirRounding()
Definition: SatParameters.java:12629
Builder clearAddMirCuts()
Definition: SatParameters.java:12573
static final int BLOCKING_RESTART_WINDOW_SIZE_FIELD_NUMBER
Definition: SatParameters.java:3059
static ClauseProtection forNumber(int value)
Definition: SatParameters.java:1427
Builder setUseMirRounding(boolean value)
Definition: SatParameters.java:12614
boolean hasPbCleanupIncrement()
Definition: SatParameters.java:9439
Builder setAddKnapsackCuts(boolean value)
Definition: SatParameters.java:12454
Builder clearRestartPeriod()
Definition: SatParameters.java:10211
Builder setUsePrecedencesInDisjunctiveConstraint(boolean value)
Definition: SatParameters.java:11957
.lang.Override final Builder mergeUnknownFields(final com.google.protobuf.UnknownFieldSet unknownFields)
Definition: SatParameters.java:15031
boolean hasPresolveBlockedClause()
Definition: SatParameters.java:11363
boolean hasTreatBinaryClausesSeparately()
Definition: SatParameters.java:10836
boolean getAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:9035
boolean getPresolveUseBva()
Definition: SatParameters.java:11424
static final int MINIMIZE_WITH_PROPAGATION_RESTART_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:2632
boolean hasBinarySearchNumConflicts()
Definition: SatParameters.java:4461
.lang.Override java.lang.Object newInstance(UnusedPrivateParameter unused)
Definition: SatParameters.java:113
Builder clearSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:9198
IN_ORDER
Definition: SatParameters.java:876
int getPresolveBveThreshold()
Definition: SatParameters.java:3462
CLAUSE_LBD
Definition: SatParameters.java:1506
boolean hasVariableActivityDecay()
Definition: SatParameters.java:9645
Builder clearPresolveBlockedClause()
Definition: SatParameters.java:11399
Builder clearMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:9624
Builder clearSearchRandomizationTolerance()
Definition: SatParameters.java:14410
boolean hasMaxIntegerRoundingScaling()
Definition: SatParameters.java:4146
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1202
com.google.protobuf.ByteString getDefaultRestartAlgorithmsBytes()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:2931
Builder setPresolveBlockedClause(boolean value)
Definition: SatParameters.java:11385
boolean hasInitialVariablesActivity()
Definition: SatParameters.java:2376
boolean hasUseErwaHeuristic()
Definition: SatParameters.java:2346
static final int MIP_MAX_ACTIVITY_EXPONENT_FIELD_NUMBER
Definition: SatParameters.java:5193
static final int ADD_CG_CUTS_FIELD_NUMBER
Definition: SatParameters.java:4056
double getStrategyChangeIncreaseRatio()
Definition: SatParameters.java:3137
boolean getMinimizeCore()
Definition: SatParameters.java:3668
.lang.Override com.google.ortools.sat.SatParameters build()
Definition: SatParameters.java:7688
static final int RANDOMIZE_SEARCH_FIELD_NUMBER
Definition: SatParameters.java:4932
final int getNumber()
Definition: SatParameters.java:1284
double getGlucoseMaxDecay()
Definition: SatParameters.java:9759
boolean hasUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:12065
Builder setUseDisjunctiveConstraintInCumulativeConstraint(boolean value)
Definition: SatParameters.java:12169
double getRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:3028
Builder clearLinearizationLevel()
Definition: SatParameters.java:12249
Builder setPresolveUseBva(boolean value)
Definition: SatParameters.java:11434
Builder clearUseBlockingRestart()
Definition: SatParameters.java:10399
static final int OPTIMIZE_WITH_MAX_HS_FIELD_NUMBER
Definition: SatParameters.java:4478
boolean getCountAssumptionLevelsInLbd()
Definition: SatParameters.java:11150
boolean hasMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:3727
Builder setPreferredVariableOrder(com.google.ortools.sat.SatParameters.VariableOrder value)
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:8639
DL_MOVING_AVERAGE_RESTART
Definition: SatParameters.java:1624
static final int MIN_ORTHOGONALITY_FOR_LP_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:4193
boolean hasFindMultipleCores()
Definition: SatParameters.java:11687
static com.google.protobuf.Internal.EnumLiteMap< SearchBranching > internalGetValueMap()
Definition: SatParameters.java:2160
boolean getOptimizeWithCore()
Definition: SatParameters.java:4445
static final int MIP_WANTED_PRECISION_FIELD_NUMBER
Definition: SatParameters.java:5154
boolean hasPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:3501
int getClauseCleanupLbdBound()
Definition: SatParameters.java:9362
Builder clearLogSearchProgress()
Definition: SatParameters.java:10991
static final int EXPLOIT_BEST_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:4347
boolean hasBooleanEncodingLevel()
Definition: SatParameters.java:12265
boolean hasMaxNumberOfConflicts()
Definition: SatParameters.java:3213
int getMaxNumCuts()
Definition: SatParameters.java:4000
Builder clearInterleaveSearch()
Definition: SatParameters.java:13962
static com.google.ortools.sat.SatParameters getDefaultInstance()
Definition: SatParameters.java:15046
Builder clearMaxTimeInSeconds()
Definition: SatParameters.java:10627
static final int COUNT_ASSUMPTION_LEVELS_IN_LBD_FIELD_NUMBER
Definition: SatParameters.java:3402
Builder setAddCgCuts(boolean value)
Definition: SatParameters.java:12507
Builder clearMaxPresolveIterations()
Definition: SatParameters.java:11563
boolean getUseOptimizationHints()
Definition: SatParameters.java:11594
Builder clearDiversifyLnsParams()
Definition: SatParameters.java:14290
Builder setRestartRunningWindowSize(int value)
Definition: SatParameters.java:10246
int getRestartAlgorithmsCount()
Definition: SatParameters.java:2881
double getMipVarScaling()
Definition: SatParameters.java:5150
Builder setBinaryMinimizationAlgorithm(com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value)
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:9126
long getMaxMemoryInMb()
Definition: SatParameters.java:10790
int getBinarySearchNumConflicts()
Definition: SatParameters.java:13317
static final int MAX_NUM_CUTS_FIELD_NUMBER
Definition: SatParameters.java:3975
static final int SUBSUMPTION_DURING_CONFLICT_ANALYSIS_FIELD_NUMBER
Definition: SatParameters.java:2458
boolean hasCpModelUseSatPresolve()
Definition: SatParameters.java:4566
boolean hasInterleaveSearch()
Definition: SatParameters.java:4758
long getMaxInactiveCount()
Definition: SatParameters.java:4245
static final int MAX_SAT_ASSUMPTION_ORDER_FIELD_NUMBER
Definition: SatParameters.java:3722
static final int PRESOLVE_BVA_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:3564
boolean hasUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:3865
Builder setFindMultipleCores(boolean value)
Definition: SatParameters.java:11709
Builder setExploitBestSolution(boolean value)
Definition: SatParameters.java:13109
boolean hasPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:8625
static final int RESTART_DL_AVERAGE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:2992
Builder clearPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:11347
final int getNumber()
Definition: SatParameters.java:1921
Builder setUseOptionalVariables(boolean value)
Definition: SatParameters.java:14451
static final int MAX_INACTIVE_COUNT_FIELD_NUMBER
Definition: SatParameters.java:4224
boolean getExploitIntegerLpSolution()
Definition: SatParameters.java:4316
static final int SHARE_LEVEL_ZERO_BOUNDS_FIELD_NUMBER
Definition: SatParameters.java:4825
boolean getCatchSigintSignal()
Definition: SatParameters.java:14991
boolean hasRestartPeriod()
Definition: SatParameters.java:2954
boolean getCpModelPresolve()
Definition: SatParameters.java:4530
static RestartAlgorithm forNumber(int value)
Definition: SatParameters.java:1693
Builder clearMaxIntegerRoundingScaling()
Definition: SatParameters.java:12693
boolean hasExploitBestSolution()
Definition: SatParameters.java:4356
int getRestartPeriod()
Definition: SatParameters.java:2965
static final int BOOLEAN_ENCODING_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:3950
Builder setInstantiateAllVariables(boolean value)
Definition: SatParameters.java:13728
boolean hasAddLpConstraintsLazily()
Definition: SatParameters.java:4176
boolean hasGlucoseMaxDecay()
Definition: SatParameters.java:9746
boolean getAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:4694
boolean getFindMultipleCores()
Definition: SatParameters.java:3693
boolean getDeterministicParallelSearch()
Definition: SatParameters.java:13991
boolean hasInstantiateAllVariables()
Definition: SatParameters.java:4654
.lang.Deprecated static ConflictMinimizationAlgorithm valueOf(int value)
Definition: SatParameters.java:1171
java.lang.String getDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:2913
.lang.Override com.google.protobuf.Parser< SatParameters > getParserForType()
Definition: SatParameters.java:15066
Builder setUseExactLpReason(boolean value)
Definition: SatParameters.java:14510
int getRestartPeriod()
Definition: SatParameters.java:10186
boolean hasCpModelProbingLevel()
Definition: SatParameters.java:4543
static Polarity forNumber(int value)
Definition: SatParameters.java:1062
Builder clearVariableActivityDecay()
Definition: SatParameters.java:9696
boolean getSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:2483
static final int RESTART_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:2944
Builder setRestartDlAverageRatio(double value)
Definition: SatParameters.java:10297
boolean hasAddLpConstraintsLazily()
Definition: SatParameters.java:12711
static final int NUM_SEARCH_WORKERS_FIELD_NUMBER
Definition: SatParameters.java:4721
boolean getUseBranchingInLp()
Definition: SatParameters.java:14555
boolean hasRandomSeed()
Definition: SatParameters.java:10895
static final int MINIMIZE_REDUCTION_DURING_PB_RESOLUTION_FIELD_NUMBER
Definition: SatParameters.java:3373
double getMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:12786
static com.google.protobuf.Internal.EnumLiteMap< Polarity > internalGetValueMap()
Definition: SatParameters.java:1074
Builder clearClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:9424
boolean hasInstantiateAllVariables()
Definition: SatParameters.java:13706
boolean hasUseOptimizationHints()
Definition: SatParameters.java:3632
Builder setInitialPolarity(com.google.ortools.sat.SatParameters.Polarity value)
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:8676
boolean hasUseOptionalVariables()
Definition: SatParameters.java:14427
boolean hasMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:11828
Builder setAlsoBumpVariablesInConflictReasons(boolean value)
Definition: SatParameters.java:9048
boolean hasUseErwaHeuristic()
Definition: SatParameters.java:8897
Builder clearUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:12045
static final int ONLY_ADD_CUTS_AT_LEVEL_ZERO_FIELD_NUMBER
Definition: SatParameters.java:4004
boolean getExploitIntegerLpSolution()
Definition: SatParameters.java:12989
Builder clearMaxInactiveCount()
Definition: SatParameters.java:12869
static final int LOG_SEARCH_PROGRESS_FIELD_NUMBER
Definition: SatParameters.java:3321
static final int MAX_PRESOLVE_ITERATIONS_FIELD_NUMBER
Definition: SatParameters.java:3593
static final int CLAUSE_CLEANUP_TARGET_FIELD_NUMBER
Definition: SatParameters.java:2510
boolean hasPbCleanupIncrement()
Definition: SatParameters.java:2603
Builder clearFindMultipleCores()
Definition: SatParameters.java:11723
Builder clearUseRinsLns()
Definition: SatParameters.java:14242
Builder clearPresolveBvaThreshold()
Definition: SatParameters.java:11507
boolean getMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:11082
boolean hasMaxPresolveIterations()
Definition: SatParameters.java:11524
double getStrategyChangeIncreaseRatio()
Definition: SatParameters.java:10546
Builder setBlockingRestartMultiplier(double value)
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:10454
static final int USE_EXACT_LP_REASON_FIELD_NUMBER
Definition: SatParameters.java:5017
Builder clearEnumerateAllSolutions()
Definition: SatParameters.java:13626
AUTOMATIC_SEARCH
Definition: SatParameters.java:2004
com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:11881
boolean hasGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:9799
boolean getTreatBinaryClausesSeparately()
Definition: SatParameters.java:10848
Builder setCpModelProbingLevel(int value)
Definition: SatParameters.java:13497
LUBY_RESTART
Definition: SatParameters.java:1616
Builder clearUsePbResolution()
Definition: SatParameters.java:11051
boolean hasRestartRunningWindowSize()
Definition: SatParameters.java:10226
Builder setMaxVariableActivityValue(double value)
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:9719
boolean hasUseCombinedNoOverlap()
Definition: SatParameters.java:14599
Builder clearMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:12817
static final int MAX_NUMBER_OF_CONFLICTS_FIELD_NUMBER
Definition: SatParameters.java:3199
boolean hasPresolveBlockedClause()
Definition: SatParameters.java:3526
boolean hasFindMultipleCores()
Definition: SatParameters.java:3682
boolean getUsePbResolution()
Definition: SatParameters.java:11022
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1206
boolean hasLinearizationLevel()
Definition: SatParameters.java:12207
static final int INITIAL_POLARITY_FIELD_NUMBER
Definition: SatParameters.java:2225
boolean getShareObjectiveBounds()
Definition: SatParameters.java:14043
Builder setLinearizationLevel(int value)
Definition: SatParameters.java:12233
static final int GLUCOSE_DECAY_INCREMENT_FIELD_NUMBER
Definition: SatParameters.java:2769
Builder setMipCheckPrecision(double value)
Definition: SatParameters.java:14946
static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:7354
Builder clearRandomBranchesRatio()
Definition: SatParameters.java:8880
boolean hasMipCheckPrecision()
Definition: SatParameters.java:5240
com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index)
Definition: SatParameters.java:2898
Builder clearMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:9728
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1824
Builder clearPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:9504
boolean getUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:3880
boolean getTreatBinaryClausesSeparately()
Definition: SatParameters.java:3284
java.util.List< com.google.ortools.sat.SatParameters.RestartAlgorithm > getRestartAlgorithmsList()
Definition: SatParameters.java:9961
boolean hasOptimizeWithCore()
Definition: SatParameters.java:4432
Builder clearClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:9335
boolean getLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:4882
boolean getExploitBestSolution()
Definition: SatParameters.java:13099
LBD_MOVING_AVERAGE_RESTART
Definition: SatParameters.java:1632
static final int CLAUSE_CLEANUP_ORDERING_FIELD_NUMBER
Definition: SatParameters.java:2577
boolean hasUseMirRounding()
Definition: SatParameters.java:12590
boolean hasMipMaxActivityExponent()
Definition: SatParameters.java:5208
Builder clearPresolveBveThreshold()
Definition: SatParameters.java:11243
.lang.Deprecated static MaxSatStratificationAlgorithm valueOf(int value)
Definition: SatParameters.java:1929
double getVariableActivityDecay()
Definition: SatParameters.java:9661
boolean hasUseBranchingInLp()
Definition: SatParameters.java:5057
Builder mergeFrom(com.google.ortools.sat.SatParameters other)
Definition: SatParameters.java:8226
boolean getUseOptimizationHints()
Definition: SatParameters.java:3645
boolean hasOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:4014
Builder setMaxMemoryInMb(long value)
Definition: SatParameters.java:10803
double getMipMaxBound()
Definition: SatParameters.java:14667
static final int USE_PHASE_SAVING_FIELD_NUMBER
Definition: SatParameters.java:2242
boolean hasBooleanEncodingLevel()
Definition: SatParameters.java:3960
static final int CATCH_SIGINT_SIGNAL_FIELD_NUMBER
Definition: SatParameters.java:5257
Builder setClauseCleanupOrdering(com.google.ortools.sat.SatParameters.ClauseOrdering value)
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:9412
Builder setCpModelPresolve(boolean value)
Definition: SatParameters.java:13449
boolean hasDiversifyLnsParams()
Definition: SatParameters.java:14257
Builder setPresolveProbingDeterministicTimeLimit(double value)
Definition: SatParameters.java:11333
Builder clearOptimizeWithCore()
Definition: SatParameters.java:13286
boolean hasMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:11069
boolean hasPresolveUseBva()
Definition: SatParameters.java:11414
.lang.Override Builder clearOneof(com.google.protobuf.Descriptors.OneofDescriptor oneof)
Definition: SatParameters.java:8200
double getMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:4220
Builder clearMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:11864
Builder clearRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:10343
boolean getFillTightenedDomainsInResponse()
Definition: SatParameters.java:4640
double getGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:2780
boolean getInstantiateAllVariables()
Definition: SatParameters.java:13717
.lang.Override Builder clear()
Definition: SatParameters.java:7437
double getClauseActivityDecay()
Definition: SatParameters.java:9877
Builder clearNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:10519
boolean hasPseudoCostReliabilityThreshold()
Definition: SatParameters.java:13190
boolean hasExploitObjective()
Definition: SatParameters.java:4380
Builder clearUseErwaHeuristic()
Definition: SatParameters.java:8936
boolean hasClauseActivityDecay()
Definition: SatParameters.java:2808
boolean getUseExactLpReason()
Definition: SatParameters.java:14497
boolean getCpModelPresolve()
Definition: SatParameters.java:13439
double getGlucoseMaxDecay()
Definition: SatParameters.java:2765
boolean hasNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:3100
boolean hasSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:12932
boolean getUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:12080
double getMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:2833
static final int TREAT_BINARY_CLAUSES_SEPARATELY_FIELD_NUMBER
Definition: SatParameters.java:3261
static final int CLAUSE_CLEANUP_LBD_BOUND_FIELD_NUMBER
Definition: SatParameters.java:2552
Builder setAutoDetectGreaterThanAtLeastOneOf(boolean value)
Definition: SatParameters.java:13786
static com.google.protobuf.Internal.EnumLiteMap< ClauseOrdering > internalGetValueMap()
Definition: SatParameters.java:1548
boolean getCpModelUseSatPresolve()
Definition: SatParameters.java:4576
Builder clearUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:12113
Builder setVariableActivityDecay(double value)
Definition: SatParameters.java:9677
boolean hasFillTightenedDomainsInResponse()
Definition: SatParameters.java:4626
com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:9118
.lang.Override Builder clone()
Definition: SatParameters.java:8185
boolean hasBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:10410
static final int MAX_INTEGER_ROUNDING_SCALING_FIELD_NUMBER
Definition: SatParameters.java:4133
boolean getShareObjectiveBounds()
Definition: SatParameters.java:4821
static final int CP_MODEL_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:4511
double getMipVarScaling()
Definition: SatParameters.java:14723
Builder setUseErwaHeuristic(boolean value)
Definition: SatParameters.java:8921
int getMipMaxActivityExponent()
Definition: SatParameters.java:14867
.lang.Override int hashCode()
Definition: SatParameters.java:6744
int getClauseCleanupTarget()
Definition: SatParameters.java:2531
static final int BLOCKING_RESTART_MULTIPLIER_FIELD_NUMBER
Definition: SatParameters.java:3074
boolean hasMaxNumberOfConflicts()
Definition: SatParameters.java:10711
static final int RESTART_RUNNING_WINDOW_SIZE_FIELD_NUMBER
Definition: SatParameters.java:2969
.lang.Deprecated static SearchBranching valueOf(int value)
Definition: SatParameters.java:2142
boolean getUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:3917
.lang.Deprecated static final com.google.protobuf.Parser< SatParameters > PARSER
Definition: SatParameters.java:15051
boolean hasMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:2651
Builder setUseOptimizationHints(boolean value)
Definition: SatParameters.java:11607
STRATIFICATION_DESCENT
Definition: SatParameters.java:1877
boolean hasMipVarScaling()
Definition: SatParameters.java:14711
boolean getExploitObjective()
Definition: SatParameters.java:4391
boolean getAddMirCuts()
Definition: SatParameters.java:12548
boolean hasAddKnapsackCuts()
Definition: SatParameters.java:12430
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1955
boolean hasMaxInactiveCount()
Definition: SatParameters.java:4234
static final int EXPLOIT_OBJECTIVE_FIELD_NUMBER
Definition: SatParameters.java:4370
Builder setDefaultRestartAlgorithms(java.lang.String value)
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:10133
Builder setUsePbResolution(boolean value)
Definition: SatParameters.java:11035
boolean getPresolveBlockedClause()
Definition: SatParameters.java:11374
boolean getUseLnsOnly()
Definition: SatParameters.java:4867
boolean getUseMirRounding()
Definition: SatParameters.java:4129
Builder setDeterministicParallelSearch(boolean value)
Definition: SatParameters.java:14003
double getMaxTimeInSeconds()
Definition: SatParameters.java:10600
com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index)
Definition: SatParameters.java:9996
boolean hasRestartDlAverageRatio()
Definition: SatParameters.java:3002
BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION
BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION = 4;
Definition: SatParameters.java:1251
boolean hasBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:3064
boolean getMinimizeCore()
Definition: SatParameters.java:11648
boolean hasClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:9309
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2176
final int getNumber()
Definition: SatParameters.java:905
static final int USE_BLOCKING_RESTART_FIELD_NUMBER
Definition: SatParameters.java:3032
Builder setGlucoseMaxDecay(double value)
Definition: SatParameters.java:9772
Builder clearMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:9592
boolean hasDeterministicParallelSearch()
Definition: SatParameters.java:4786
STRATIFICATION_NONE
Definition: SatParameters.java:1868
com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:9081
static final int MIP_CHECK_PRECISION_FIELD_NUMBER
Definition: SatParameters.java:5228
boolean getAddKnapsackCuts()
Definition: SatParameters.java:12442
boolean hasInitialVariablesActivity()
Definition: SatParameters.java:8956
boolean hasUseOptimizationHints()
Definition: SatParameters.java:11581
boolean hasRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:10322
int getClauseCleanupPeriod()
Definition: SatParameters.java:2506
Builder setRandomizeSearch(boolean value)
Definition: SatParameters.java:14325
double getPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:2628
Builder setOptimizeWithCore(boolean value)
Definition: SatParameters.java:13270
double getRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:10328
boolean hasMaxDeterministicTime()
Definition: SatParameters.java:3181
static final int ALSO_BUMP_VARIABLES_IN_CONFLICT_REASONS_FIELD_NUMBER
Definition: SatParameters.java:2395
boolean getUseOptionalVariables()
Definition: SatParameters.java:14439
static final int MAX_SAT_REVERSE_ASSUMPTION_ORDER_FIELD_NUMBER
Definition: SatParameters.java:3739
com.google.ortools.sat.SatParameters.Polarity getInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:2236
boolean hasClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:2540
boolean hasAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:4681
boolean getRandomizeSearch()
Definition: SatParameters.java:14315
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1328
static final int EXPLOIT_ALL_LP_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:4320
static com.google.ortools.sat.SatParameters parseFrom(java.nio.ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:7310
boolean getUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:3847
Builder clearRandomizeSearch()
Definition: SatParameters.java:14338
boolean hasDeterministicParallelSearch()
Definition: SatParameters.java:13979
boolean getUseRinsLns()
Definition: SatParameters.java:14219
static final int USE_BRANCHING_IN_LP_FIELD_NUMBER
Definition: SatParameters.java:5046
boolean getAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:2420
Builder setClauseCleanupProtection(com.google.ortools.sat.SatParameters.ClauseProtection value)
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:9323
Builder clearDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:10146
double getMipCheckPrecision()
Definition: SatParameters.java:14933
static final int USE_DISJUNCTIVE_CONSTRAINT_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:3884
int getBinarySearchNumConflicts()
Definition: SatParameters.java:4474
static final int DEFAULT_RESTART_ALGORITHMS_FIELD_NUMBER
Definition: SatParameters.java:2902
boolean hasAddCgCuts()
Definition: SatParameters.java:12485
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2180
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1721
Builder setMinimizeWithPropagationRestartPeriod(int value)
Definition: SatParameters.java:9569
Builder setClauseCleanupPeriod(int value)
Definition: SatParameters.java:9233
Builder clearInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:8688
Builder clearClauseActivityDecay()
Definition: SatParameters.java:9900
Builder setStopAfterFirstSolution(boolean value)
Definition: SatParameters.java:13837
static ClauseOrdering forNumber(int value)
Definition: SatParameters.java:1539
Builder clearAddCgCuts()
Definition: SatParameters.java:12521
static final int GLUCOSE_DECAY_INCREMENT_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:2784
boolean hasPresolveBvaThreshold()
Definition: SatParameters.java:3576
static com.google.protobuf.Internal.EnumLiteMap< MaxSatAssumptionOrder > internalGetValueMap()
Definition: SatParameters.java:1808
boolean getUseCombinedNoOverlap()
Definition: SatParameters.java:5096
com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:11792
boolean hasNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:10480
static final int RANDOM_SEED_FIELD_NUMBER
Definition: SatParameters.java:3288
boolean hasPresolveBvaThreshold()
Definition: SatParameters.java:11465
boolean hasInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:2230
boolean hasDiversifyLnsParams()
Definition: SatParameters.java:4918
boolean hasAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:9022
boolean hasPresolveUseBva()
Definition: SatParameters.java:3550
Builder addAllRestartAlgorithms(java.lang.Iterable<? extends com.google.ortools.sat.SatParameters.RestartAlgorithm > values)
Definition: SatParameters.java:10060
boolean getPresolveBlockedClause()
Definition: SatParameters.java:3537
Builder clearClauseCleanupPeriod()
Definition: SatParameters.java:9246
Builder setUseTimetableEdgeFindingInCumulativeConstraint(boolean value)
Definition: SatParameters.java:12095
Builder setUseRinsLns(boolean value)
Definition: SatParameters.java:14229
boolean getUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:3814
boolean hasMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:2730
boolean hasUseMirRounding()
Definition: SatParameters.java:4117
boolean getOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:4025
com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:3733
LP_SEARCH
Definition: SatParameters.java:2032
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1094
Builder setRestartLbdAverageRatio(double value)
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:10334