4 package com.google.ortools.sat;
16 com.google.protobuf.GeneratedMessageV3 implements
19 private static final long serialVersionUID = 0L;
25 preferredVariableOrder_ = 0;
27 usePhaseSaving_ =
true;
28 minimizationAlgorithm_ = 2;
29 binaryMinimizationAlgorithm_ = 1;
30 subsumptionDuringConflictAnalysis_ =
true;
31 clauseCleanupPeriod_ = 10000;
32 clauseCleanupTarget_ = 10000;
33 clauseCleanupProtection_ = 0;
34 clauseCleanupLbdBound_ = 5;
35 clauseCleanupOrdering_ = 0;
36 pbCleanupIncrement_ = 200;
37 pbCleanupRatio_ = 0.5D;
38 minimizeWithPropagationRestartPeriod_ = 10;
39 minimizeWithPropagationNumDecisions_ = 1000;
40 variableActivityDecay_ = 0.8D;
41 maxVariableActivityValue_ = 1e+100D;
42 glucoseMaxDecay_ = 0.95D;
43 glucoseDecayIncrement_ = 0.01D;
44 glucoseDecayIncrementPeriod_ = 5000;
45 clauseActivityDecay_ = 0.999D;
46 maxClauseActivityValue_ = 1e+20D;
47 restartAlgorithms_ = java.util.Collections.emptyList();
48 defaultRestartAlgorithms_ =
"LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,DL_MOVING_AVERAGE_RESTART";
50 restartRunningWindowSize_ = 50;
51 restartDlAverageRatio_ = 1D;
52 restartLbdAverageRatio_ = 1D;
53 blockingRestartWindowSize_ = 5000;
54 blockingRestartMultiplier_ = 1.4D;
55 maxTimeInSeconds_ = Double.POSITIVE_INFINITY;
56 maxDeterministicTime_ = Double.POSITIVE_INFINITY;
57 maxNumberOfConflicts_ = 9223372036854775807L;
58 maxMemoryInMb_ = 10000L;
59 treatBinaryClausesSeparately_ =
true;
61 countAssumptionLevelsInLbd_ =
true;
62 presolveBveThreshold_ = 500;
63 presolveBveClauseWeight_ = 3;
64 presolveProbingDeterministicTimeLimit_ = 30D;
65 presolveBlockedClause_ =
true;
66 presolveUseBva_ =
true;
67 presolveBvaThreshold_ = 1;
68 useOptimizationHints_ =
true;
70 findMultipleCores_ =
true;
71 coverOptimization_ =
true;
72 maxSatAssumptionOrder_ = 0;
73 maxSatStratification_ = 1;
74 usePrecedencesInDisjunctiveConstraint_ =
true;
75 useDisjunctiveConstraintInCumulativeConstraint_ =
true;
76 linearizationLevel_ = 1;
77 booleanEncodingLevel_ = 1;
80 useMirRounding_ =
true;
81 maxIntegerRoundingScaling_ = 600;
82 addLpConstraintsLazily_ =
true;
83 maxInactiveCount_ = 1000L;
84 constraintRemovalBatchSize_ = 100L;
86 exploitIntegerLpSolution_ =
true;
87 exploitAllLpSolution_ =
true;
88 exploitObjective_ =
true;
89 pseudoCostReliabilityThreshold_ = 100L;
90 binarySearchNumConflicts_ = -1;
91 cpModelPresolve_ =
true;
92 cpModelProbingLevel_ = 2;
93 cpModelUseSatPresolve_ =
true;
94 instantiateAllVariables_ =
true;
95 autoDetectGreaterThanAtLeastOneOf_ =
true;
96 shareObjectiveBounds_ =
true;
97 shareLevelZeroBounds_ =
true;
99 lnsIsDeterministic_ =
true;
100 useOptionalVariables_ =
true;
101 useExactLpReason_ =
true;
102 mipMaxBound_ = 10000000D;
104 mipWantedPrecision_ = 1e-06D;
105 mipMaxActivityExponent_ = 53;
106 mipCheckPrecision_ = 0.0001D;
107 catchSigintSignal_ =
true;
111 @SuppressWarnings({
"unused"})
113 UnusedPrivateParameter unused) {
118 public final com.
google.protobuf.UnknownFieldSet
120 return this.unknownFields;
123 com.
google.protobuf.CodedInputStream input,
124 com.
google.protobuf.ExtensionRegistryLite extensionRegistry)
125 throws com.
google.protobuf.InvalidProtocolBufferException {
127 if (extensionRegistry ==
null) {
128 throw new java.lang.NullPointerException();
130 int mutable_bitField0_ = 0;
131 int mutable_bitField1_ = 0;
132 int mutable_bitField2_ = 0;
133 int mutable_bitField3_ = 0;
134 com.
google.protobuf.UnknownFieldSet.Builder unknownFields =
135 com.
google.protobuf.UnknownFieldSet.newBuilder();
137 boolean done =
false;
139 int tag = input.readTag();
145 int rawValue = input.readEnum();
146 @SuppressWarnings(
"deprecation")
147 com.google.ortools.sat.SatParameters.VariableOrder value =
com.google.ortools.sat.SatParameters.VariableOrder.valueOf(rawValue);
149 unknownFields.mergeVarintField(1, rawValue);
151 bitField0_ |= 0x00000001;
152 preferredVariableOrder_ = rawValue;
157 int rawValue = input.readEnum();
158 @SuppressWarnings(
"deprecation")
159 com.google.ortools.sat.SatParameters.Polarity value =
com.google.ortools.sat.SatParameters.Polarity.valueOf(rawValue);
161 unknownFields.mergeVarintField(2, rawValue);
163 bitField0_ |= 0x00000002;
164 initialPolarity_ = rawValue;
169 int rawValue = input.readEnum();
170 @SuppressWarnings(
"deprecation")
171 com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value =
com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.valueOf(rawValue);
173 unknownFields.mergeVarintField(4, rawValue);
175 bitField0_ |= 0x00000100;
176 minimizationAlgorithm_ = rawValue;
181 bitField0_ |= 0x00000800;
182 clauseCleanupPeriod_ = input.readInt32();
186 bitField0_ |= 0x00001000;
187 clauseCleanupTarget_ = input.readInt32();
191 bitField0_ |= 0x00100000;
192 variableActivityDecay_ = input.readDouble();
196 bitField0_ |= 0x00200000;
197 maxVariableActivityValue_ = input.readDouble();
201 bitField0_ |= 0x02000000;
202 clauseActivityDecay_ = input.readDouble();
206 bitField0_ |= 0x04000000;
207 maxClauseActivityValue_ = input.readDouble();
211 bitField0_ |= 0x00400000;
212 glucoseMaxDecay_ = input.readDouble();
216 bitField0_ |= 0x00800000;
217 glucoseDecayIncrement_ = input.readDouble();
221 bitField0_ |= 0x01000000;
222 glucoseDecayIncrementPeriod_ = input.readInt32();
226 bitField0_ |= 0x10000000;
227 restartPeriod_ = input.readInt32();
231 bitField1_ |= 0x00000400;
232 randomSeed_ = input.readInt32();
236 bitField0_ |= 0x00000010;
237 randomBranchesRatio_ = input.readDouble();
241 bitField1_ |= 0x00000200;
242 treatBinaryClausesSeparately_ = input.readBool();
246 int rawValue = input.readEnum();
247 @SuppressWarnings(
"deprecation")
248 com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value =
com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.valueOf(rawValue);
250 unknownFields.mergeVarintField(34, rawValue);
252 bitField0_ |= 0x00000200;
253 binaryMinimizationAlgorithm_ = rawValue;
258 bitField1_ |= 0x00200000;
259 useOptimizationHints_ = input.readBool();
263 bitField1_ |= 0x00000020;
264 maxTimeInSeconds_ = input.readDouble();
268 bitField1_ |= 0x00000080;
269 maxNumberOfConflicts_ = input.readInt64();
273 bitField1_ |= 0x00000100;
274 maxMemoryInMb_ = input.readInt64();
278 bitField1_ |= 0x00000800;
279 logSearchProgress_ = input.readBool();
283 bitField1_ |= 0x00001000;
284 usePbResolution_ = input.readBool();
288 bitField0_ |= 0x00000004;
289 usePhaseSaving_ = input.readBool();
293 bitField0_ |= 0x00000008;
294 randomPolarityRatio_ = input.readDouble();
298 bitField0_ |= 0x00010000;
299 pbCleanupIncrement_ = input.readInt32();
303 bitField0_ |= 0x00020000;
304 pbCleanupRatio_ = input.readDouble();
308 bitField1_ |= 0x00002000;
309 minimizeReductionDuringPbResolution_ = input.readBool();
313 bitField1_ |= 0x00004000;
314 countAssumptionLevelsInLbd_ = input.readBool();
318 bitField1_ |= 0x00400000;
319 minimizeCore_ = input.readBool();
323 int rawValue = input.readEnum();
324 @SuppressWarnings(
"deprecation")
325 com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder value =
com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf(rawValue);
327 unknownFields.mergeVarintField(51, rawValue);
329 bitField1_ |= 0x02000000;
330 maxSatAssumptionOrder_ = rawValue;
335 bitField1_ |= 0x04000000;
336 maxSatReverseAssumptionOrder_ = input.readBool();
340 int rawValue = input.readEnum();
341 @SuppressWarnings(
"deprecation")
342 com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value =
com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.valueOf(rawValue);
344 unknownFields.mergeVarintField(53, rawValue);
346 bitField1_ |= 0x08000000;
347 maxSatStratification_ = rawValue;
352 bitField1_ |= 0x00008000;
353 presolveBveThreshold_ = input.readInt32();
357 bitField1_ |= 0x00010000;
358 presolveBveClauseWeight_ = input.readInt32();
362 bitField0_ |= 0x00000400;
363 subsumptionDuringConflictAnalysis_ = input.readBool();
367 bitField1_ |= 0x00020000;
368 presolveProbingDeterministicTimeLimit_ = input.readDouble();
372 int rawValue = input.readEnum();
373 @SuppressWarnings(
"deprecation")
374 com.google.ortools.sat.SatParameters.ClauseProtection value =
com.google.ortools.sat.SatParameters.ClauseProtection.valueOf(rawValue);
376 unknownFields.mergeVarintField(58, rawValue);
378 bitField0_ |= 0x00002000;
379 clauseCleanupProtection_ = rawValue;
384 bitField0_ |= 0x00004000;
385 clauseCleanupLbdBound_ = input.readInt32();
389 int rawValue = input.readEnum();
390 @SuppressWarnings(
"deprecation")
391 com.google.ortools.sat.SatParameters.ClauseOrdering value =
com.google.ortools.sat.SatParameters.ClauseOrdering.valueOf(rawValue);
393 unknownFields.mergeVarintField(60, rawValue);
395 bitField0_ |= 0x00008000;
396 clauseCleanupOrdering_ = rawValue;
401 int rawValue = input.readEnum();
402 @SuppressWarnings(
"deprecation")
403 com.google.ortools.sat.SatParameters.RestartAlgorithm value =
com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(rawValue);
405 unknownFields.mergeVarintField(61, rawValue);
407 if (!((mutable_bitField0_ & 0x08000000) != 0)) {
408 restartAlgorithms_ =
new java.util.ArrayList<java.lang.Integer>();
409 mutable_bitField0_ |= 0x08000000;
411 restartAlgorithms_.add(rawValue);
416 int length = input.readRawVarint32();
417 int oldLimit = input.pushLimit(length);
418 while(input.getBytesUntilLimit() > 0) {
419 int rawValue = input.readEnum();
420 @SuppressWarnings(
"deprecation")
421 com.google.ortools.sat.SatParameters.RestartAlgorithm value =
com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(rawValue);
423 unknownFields.mergeVarintField(61, rawValue);
425 if (!((mutable_bitField0_ & 0x08000000) != 0)) {
426 restartAlgorithms_ =
new java.util.ArrayList<java.lang.Integer>();
427 mutable_bitField0_ |= 0x08000000;
429 restartAlgorithms_.add(rawValue);
432 input.popLimit(oldLimit);
436 bitField0_ |= 0x20000000;
437 restartRunningWindowSize_ = input.readInt32();
441 bitField0_ |= 0x40000000;
442 restartDlAverageRatio_ = input.readDouble();
446 bitField1_ |= 0x00000001;
447 useBlockingRestart_ = input.readBool();
451 bitField1_ |= 0x00000002;
452 blockingRestartWindowSize_ = input.readInt32();
456 bitField1_ |= 0x00000004;
457 blockingRestartMultiplier_ = input.readDouble();
461 bitField1_ |= 0x00000040;
462 maxDeterministicTime_ = input.readDouble();
466 bitField1_ |= 0x00000008;
467 numConflictsBeforeStrategyChanges_ = input.readInt32();
471 bitField1_ |= 0x00000010;
472 strategyChangeIncreaseRatio_ = input.readDouble();
476 com.
google.protobuf.ByteString bs = input.readBytes();
477 bitField0_ |= 0x08000000;
478 defaultRestartAlgorithms_ = bs;
482 bitField0_ |= 0x80000000;
483 restartLbdAverageRatio_ = input.readDouble();
487 bitField1_ |= 0x00080000;
488 presolveUseBva_ = input.readBool();
492 bitField1_ |= 0x00100000;
493 presolveBvaThreshold_ = input.readInt32();
497 bitField1_ |= 0x10000000;
498 usePrecedencesInDisjunctiveConstraint_ = input.readBool();
502 bitField0_ |= 0x00000020;
503 useErwaHeuristic_ = input.readBool();
507 bitField0_ |= 0x00000040;
508 initialVariablesActivity_ = input.readDouble();
512 bitField0_ |= 0x00000080;
513 alsoBumpVariablesInConflictReasons_ = input.readBool();
517 bitField1_ |= 0x20000000;
518 useOverloadCheckerInCumulativeConstraint_ = input.readBool();
522 bitField1_ |= 0x40000000;
523 useTimetableEdgeFindingInCumulativeConstraint_ = input.readBool();
527 bitField1_ |= 0x80000000;
528 useDisjunctiveConstraintInCumulativeConstraint_ = input.readBool();
532 int rawValue = input.readEnum();
533 @SuppressWarnings(
"deprecation")
534 com.google.ortools.sat.SatParameters.SearchBranching value =
com.google.ortools.sat.SatParameters.SearchBranching.valueOf(rawValue);
536 unknownFields.mergeVarintField(82, rawValue);
538 bitField2_ |= 0x00002000;
539 searchBranching_ = rawValue;
544 bitField2_ |= 0x00080000;
545 optimizeWithCore_ = input.readBool();
549 bitField1_ |= 0x00800000;
550 findMultipleCores_ = input.readBool();
554 bitField2_ |= 0x00200000;
555 optimizeWithMaxHs_ = input.readBool();
559 bitField2_ |= 0x00400000;
560 cpModelPresolve_ = input.readBool();
564 bitField2_ |= 0x02000000;
565 enumerateAllSolutions_ = input.readBool();
569 bitField1_ |= 0x00040000;
570 presolveBlockedClause_ = input.readBool();
574 bitField1_ |= 0x01000000;
575 coverOptimization_ = input.readBool();
579 bitField2_ |= 0x00000001;
580 linearizationLevel_ = input.readInt32();
584 bitField2_ |= 0x00000004;
585 maxNumCuts_ = input.readInt32();
589 bitField2_ |= 0x00000008;
590 onlyAddCutsAtLevelZero_ = input.readBool();
594 bitField2_ |= 0x01000000;
595 cpModelUseSatPresolve_ = input.readBool();
599 bitField2_ |= 0x00004000;
600 exploitIntegerLpSolution_ = input.readBool();
604 bitField2_ |= 0x10000000;
605 autoDetectGreaterThanAtLeastOneOf_ = input.readBool();
609 bitField0_ |= 0x00040000;
610 minimizeWithPropagationRestartPeriod_ = input.readInt32();
614 bitField0_ |= 0x00080000;
615 minimizeWithPropagationNumDecisions_ = input.readInt32();
619 bitField2_ |= 0x20000000;
620 stopAfterFirstSolution_ = input.readBool();
624 bitField2_ |= 0x00100000;
625 binarySearchNumConflicts_ = input.readInt32();
629 bitField2_ |= 0x40000000;
630 numSearchWorkers_ = input.readInt32();
634 bitField3_ |= 0x00000002;
635 useLns_ = input.readBool();
639 bitField3_ |= 0x00000004;
640 lnsNumThreads_ = input.readInt32();
644 bitField3_ |= 0x00000040;
645 randomizeSearch_ = input.readBool();
649 bitField3_ |= 0x00000080;
650 searchRandomizationTolerance_ = input.readInt64();
654 bitField3_ |= 0x00000010;
655 lnsFocusOnDecisionVariables_ = input.readBool();
659 bitField2_ |= 0x08000000;
660 instantiateAllVariables_ = input.readBool();
664 bitField2_ |= 0x00000002;
665 booleanEncodingLevel_ = input.readInt32();
669 bitField3_ |= 0x00000100;
670 useOptionalVariables_ = input.readBool();
674 bitField3_ |= 0x00000200;
675 useExactLpReason_ = input.readBool();
679 bitField2_ |= 0x00800000;
680 cpModelProbingLevel_ = input.readInt32();
684 bitField2_ |= 0x00000010;
685 addKnapsackCuts_ = input.readBool();
689 bitField2_ |= 0x00000200;
690 addLpConstraintsLazily_ = input.readBool();
694 bitField2_ |= 0x80000000;
695 shareObjectiveBounds_ = input.readBool();
699 bitField3_ |= 0x00000001;
700 shareLevelZeroBounds_ = input.readBool();
704 bitField2_ |= 0x00000400;
705 minOrthogonalityForLpConstraints_ = input.readDouble();
709 bitField2_ |= 0x00008000;
710 exploitAllLpSolution_ = input.readBool();
714 bitField2_ |= 0x00000020;
715 addCgCuts_ = input.readBool();
719 bitField2_ |= 0x00000080;
720 useMirRounding_ = input.readBool();
724 bitField2_ |= 0x00000100;
725 maxIntegerRoundingScaling_ = input.readInt32();
729 bitField2_ |= 0x00000040;
730 addMirCuts_ = input.readBool();
734 bitField2_ |= 0x00000800;
735 maxInactiveCount_ = input.readInt64();
739 bitField2_ |= 0x00001000;
740 constraintRemovalBatchSize_ = input.readInt64();
744 bitField2_ |= 0x00040000;
745 pseudoCostReliabilityThreshold_ = input.readInt64();
749 bitField3_ |= 0x00000800;
750 mipMaxBound_ = input.readDouble();
754 bitField3_ |= 0x00001000;
755 mipVarScaling_ = input.readDouble();
759 bitField3_ |= 0x00002000;
760 mipWantedPrecision_ = input.readDouble();
764 bitField3_ |= 0x00004000;
765 mipMaxActivityExponent_ = input.readInt32();
769 bitField3_ |= 0x00008000;
770 mipCheckPrecision_ = input.readDouble();
774 bitField3_ |= 0x00000020;
775 useRinsLns_ = input.readBool();
779 bitField2_ |= 0x00010000;
780 exploitBestSolution_ = input.readBool();
784 bitField2_ |= 0x00020000;
785 exploitObjective_ = input.readBool();
789 bitField2_ |= 0x04000000;
790 fillTightenedDomainsInResponse_ = input.readBool();
794 bitField3_ |= 0x00000400;
795 useCombinedNoOverlap_ = input.readBool();
799 bitField3_ |= 0x00000008;
800 lnsIsDeterministic_ = input.readBool();
804 bitField3_ |= 0x00010000;
805 catchSigintSignal_ = input.readBool();
809 if (!parseUnknownField(
810 input, unknownFields, extensionRegistry, tag)) {
817 }
catch (
com.
google.protobuf.InvalidProtocolBufferException e) {
818 throw e.setUnfinishedMessage(
this);
819 }
catch (java.io.IOException e) {
820 throw new com.
google.protobuf.InvalidProtocolBufferException(
821 e).setUnfinishedMessage(
this);
823 if (((mutable_bitField0_ & 0x08000000) != 0)) {
824 restartAlgorithms_ = java.util.Collections.unmodifiableList(restartAlgorithms_);
826 this.unknownFields = unknownFields.build();
827 makeExtensionsImmutable();
830 public static final com.
google.protobuf.Descriptors.Descriptor
832 return com.
google.
ortools.
sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
836 protected com.
google.protobuf.GeneratedMessageV3.FieldAccessorTable
838 return com.
google.
ortools.
sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_fieldAccessorTable
839 .ensureFieldAccessorsInitialized(
852 implements
com.
google.protobuf.ProtocolMessageEnum {
878 public static final int IN_ORDER_VALUE = 0;
882 public static final int IN_REVERSE_ORDER_VALUE = 1;
886 public static final int IN_RANDOM_ORDER_VALUE = 2;
896 @java.lang.Deprecated
898 return forNumber(value);
903 case 0:
return IN_ORDER;
904 case 1:
return IN_REVERSE_ORDER;
905 case 2:
return IN_RANDOM_ORDER;
906 default:
return null;
912 return internalValueMap;
914 private static final com.
google.protobuf.Internal.EnumLiteMap<
922 public final com.
google.protobuf.Descriptors.EnumValueDescriptor
926 public final com.
google.protobuf.Descriptors.EnumDescriptor
930 public static final com.
google.protobuf.Descriptors.EnumDescriptor
938 com.
google.protobuf.Descriptors.EnumValueDescriptor desc) {
940 throw new java.lang.IllegalArgumentException(
941 "EnumValueDescriptor is not for this type.");
943 return VALUES[desc.getIndex()];
946 private final int value;
967 implements
com.
google.protobuf.ProtocolMessageEnum {
1004 public static final int POLARITY_TRUE_VALUE = 0;
1008 public static final int POLARITY_FALSE_VALUE = 1;
1012 public static final int POLARITY_RANDOM_VALUE = 2;
1023 public static final int POLARITY_WEIGHTED_SIGN_VALUE = 3;
1031 public static final int POLARITY_REVERSE_WEIGHTED_SIGN_VALUE = 4;
1041 @java.lang.Deprecated
1043 return forNumber(value);
1048 case 0:
return POLARITY_TRUE;
1049 case 1:
return POLARITY_FALSE;
1050 case 2:
return POLARITY_RANDOM;
1051 case 3:
return POLARITY_WEIGHTED_SIGN;
1052 case 4:
return POLARITY_REVERSE_WEIGHTED_SIGN;
1053 default:
return null;
1059 return internalValueMap;
1061 private static final com.
google.protobuf.Internal.EnumLiteMap<
1064 public Polarity findValueByNumber(
int number) {
1069 public final com.
google.protobuf.Descriptors.EnumValueDescriptor
1073 public final com.
google.protobuf.Descriptors.EnumDescriptor
1077 public static final com.
google.protobuf.Descriptors.EnumDescriptor
1082 private static final Polarity[] VALUES = values();
1085 com.
google.protobuf.Descriptors.EnumValueDescriptor desc) {
1087 throw new java.lang.IllegalArgumentException(
1088 "EnumValueDescriptor is not for this type.");
1090 return VALUES[desc.getIndex()];
1093 private final int value;
1110 implements
com.
google.protobuf.ProtocolMessageEnum {
1132 public static final int NONE_VALUE = 0;
1136 public static final int SIMPLE_VALUE = 1;
1140 public static final int RECURSIVE_VALUE = 2;
1144 public static final int EXPERIMENTAL_VALUE = 3;
1154 @java.lang.Deprecated
1156 return forNumber(value);
1161 case 0:
return NONE;
1162 case 1:
return SIMPLE;
1163 case 2:
return RECURSIVE;
1164 case 3:
return EXPERIMENTAL;
1165 default:
return null;
1171 return internalValueMap;
1173 private static final com.
google.protobuf.Internal.EnumLiteMap<
1181 public final com.
google.protobuf.Descriptors.EnumValueDescriptor
1185 public final com.
google.protobuf.Descriptors.EnumDescriptor
1189 public static final com.
google.protobuf.Descriptors.EnumDescriptor
1197 com.
google.protobuf.Descriptors.EnumValueDescriptor desc) {
1199 throw new java.lang.IllegalArgumentException(
1200 "EnumValueDescriptor is not for this type.");
1202 return VALUES[desc.getIndex()];
1205 private final int value;
1223 implements
com.
google.protobuf.ProtocolMessageEnum {
1249 public static final int NO_BINARY_MINIMIZATION_VALUE = 0;
1253 public static final int BINARY_MINIMIZATION_FIRST_VALUE = 1;
1257 public static final int BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION_VALUE = 4;
1261 public static final int BINARY_MINIMIZATION_WITH_REACHABILITY_VALUE = 2;
1265 public static final int EXPERIMENTAL_BINARY_MINIMIZATION_VALUE = 3;
1275 @java.lang.Deprecated
1277 return forNumber(value);
1282 case 0:
return NO_BINARY_MINIMIZATION;
1283 case 1:
return BINARY_MINIMIZATION_FIRST;
1284 case 4:
return BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION;
1285 case 2:
return BINARY_MINIMIZATION_WITH_REACHABILITY;
1286 case 3:
return EXPERIMENTAL_BINARY_MINIMIZATION;
1287 default:
return null;
1293 return internalValueMap;
1295 private static final com.
google.protobuf.Internal.EnumLiteMap<
1303 public final com.
google.protobuf.Descriptors.EnumValueDescriptor
1307 public final com.
google.protobuf.Descriptors.EnumDescriptor
1311 public static final com.
google.protobuf.Descriptors.EnumDescriptor
1319 com.
google.protobuf.Descriptors.EnumValueDescriptor desc) {
1321 throw new java.lang.IllegalArgumentException(
1322 "EnumValueDescriptor is not for this type.");
1324 return VALUES[desc.getIndex()];
1327 private final int value;
1346 implements
com.
google.protobuf.ProtocolMessageEnum {
1380 public static final int PROTECTION_NONE_VALUE = 0;
1388 public static final int PROTECTION_ALWAYS_VALUE = 1;
1396 public static final int PROTECTION_LBD_VALUE = 2;
1406 @java.lang.Deprecated
1408 return forNumber(value);
1413 case 0:
return PROTECTION_NONE;
1414 case 1:
return PROTECTION_ALWAYS;
1415 case 2:
return PROTECTION_LBD;
1416 default:
return null;
1422 return internalValueMap;
1424 private static final com.
google.protobuf.Internal.EnumLiteMap<
1432 public final com.
google.protobuf.Descriptors.EnumValueDescriptor
1436 public final com.
google.protobuf.Descriptors.EnumDescriptor
1440 public static final com.
google.protobuf.Descriptors.EnumDescriptor
1448 com.
google.protobuf.Descriptors.EnumValueDescriptor desc) {
1450 throw new java.lang.IllegalArgumentException(
1451 "EnumValueDescriptor is not for this type.");
1453 return VALUES[desc.getIndex()];
1456 private final int value;
1474 implements
com.
google.protobuf.ProtocolMessageEnum {
1500 public static final int CLAUSE_ACTIVITY_VALUE = 0;
1508 public static final int CLAUSE_LBD_VALUE = 1;
1518 @java.lang.Deprecated
1520 return forNumber(value);
1525 case 0:
return CLAUSE_ACTIVITY;
1526 case 1:
return CLAUSE_LBD;
1527 default:
return null;
1533 return internalValueMap;
1535 private static final com.
google.protobuf.Internal.EnumLiteMap<
1543 public final com.
google.protobuf.Descriptors.EnumValueDescriptor
1547 public final com.
google.protobuf.Descriptors.EnumDescriptor
1551 public static final com.
google.protobuf.Descriptors.EnumDescriptor
1559 com.
google.protobuf.Descriptors.EnumValueDescriptor desc) {
1561 throw new java.lang.IllegalArgumentException(
1562 "EnumValueDescriptor is not for this type.");
1564 return VALUES[desc.getIndex()];
1567 private final int value;
1588 implements
com.
google.protobuf.ProtocolMessageEnum {
1630 public static final int NO_RESTART_VALUE = 0;
1638 public static final int LUBY_RESTART_VALUE = 1;
1646 public static final int DL_MOVING_AVERAGE_RESTART_VALUE = 2;
1654 public static final int LBD_MOVING_AVERAGE_RESTART_VALUE = 3;
1662 public static final int FIXED_RESTART_VALUE = 4;
1672 @java.lang.Deprecated
1674 return forNumber(value);
1679 case 0:
return NO_RESTART;
1680 case 1:
return LUBY_RESTART;
1681 case 2:
return DL_MOVING_AVERAGE_RESTART;
1682 case 3:
return LBD_MOVING_AVERAGE_RESTART;
1683 case 4:
return FIXED_RESTART;
1684 default:
return null;
1690 return internalValueMap;
1692 private static final com.
google.protobuf.Internal.EnumLiteMap<
1700 public final com.
google.protobuf.Descriptors.EnumValueDescriptor
1704 public final com.
google.protobuf.Descriptors.EnumDescriptor
1708 public static final com.
google.protobuf.Descriptors.EnumDescriptor
1716 com.
google.protobuf.Descriptors.EnumValueDescriptor desc) {
1718 throw new java.lang.IllegalArgumentException(
1719 "EnumValueDescriptor is not for this type.");
1721 return VALUES[desc.getIndex()];
1724 private final int value;
1741 implements
com.
google.protobuf.ProtocolMessageEnum {
1759 public static final int DEFAULT_ASSUMPTION_ORDER_VALUE = 0;
1763 public static final int ORDER_ASSUMPTION_BY_DEPTH_VALUE = 1;
1767 public static final int ORDER_ASSUMPTION_BY_WEIGHT_VALUE = 2;
1777 @java.lang.Deprecated
1779 return forNumber(value);
1784 case 0:
return DEFAULT_ASSUMPTION_ORDER;
1785 case 1:
return ORDER_ASSUMPTION_BY_DEPTH;
1786 case 2:
return ORDER_ASSUMPTION_BY_WEIGHT;
1787 default:
return null;
1793 return internalValueMap;
1795 private static final com.
google.protobuf.Internal.EnumLiteMap<
1803 public final com.
google.protobuf.Descriptors.EnumValueDescriptor
1807 public final com.
google.protobuf.Descriptors.EnumDescriptor
1811 public static final com.
google.protobuf.Descriptors.EnumDescriptor
1819 com.
google.protobuf.Descriptors.EnumValueDescriptor desc) {
1821 throw new java.lang.IllegalArgumentException(
1822 "EnumValueDescriptor is not for this type.");
1824 return VALUES[desc.getIndex()];
1827 private final int value;
1844 implements
com.
google.protobuf.ProtocolMessageEnum {
1882 public static final int STRATIFICATION_NONE_VALUE = 0;
1891 public static final int STRATIFICATION_DESCENT_VALUE = 1;
1902 public static final int STRATIFICATION_ASCENT_VALUE = 2;
1912 @java.lang.Deprecated
1914 return forNumber(value);
1919 case 0:
return STRATIFICATION_NONE;
1920 case 1:
return STRATIFICATION_DESCENT;
1921 case 2:
return STRATIFICATION_ASCENT;
1922 default:
return null;
1928 return internalValueMap;
1930 private static final com.
google.protobuf.Internal.EnumLiteMap<
1938 public final com.
google.protobuf.Descriptors.EnumValueDescriptor
1942 public final com.
google.protobuf.Descriptors.EnumDescriptor
1946 public static final com.
google.protobuf.Descriptors.EnumDescriptor
1954 com.
google.protobuf.Descriptors.EnumValueDescriptor desc) {
1956 throw new java.lang.IllegalArgumentException(
1957 "EnumValueDescriptor is not for this type.");
1959 return VALUES[desc.getIndex()];
1962 private final int value;
1979 implements
com.
google.protobuf.ProtocolMessageEnum {
2046 public static final int AUTOMATIC_SEARCH_VALUE = 0;
2059 public static final int FIXED_SEARCH_VALUE = 1;
2067 public static final int PORTFOLIO_SEARCH_VALUE = 2;
2075 public static final int LP_SEARCH_VALUE = 3;
2083 public static final int PSEUDO_COST_SEARCH_VALUE = 4;
2093 public static final int PORTFOLIO_WITH_QUICK_RESTART_SEARCH_VALUE = 5;
2103 @java.lang.Deprecated
2105 return forNumber(value);
2110 case 0:
return AUTOMATIC_SEARCH;
2111 case 1:
return FIXED_SEARCH;
2112 case 2:
return PORTFOLIO_SEARCH;
2113 case 3:
return LP_SEARCH;
2114 case 4:
return PSEUDO_COST_SEARCH;
2115 case 5:
return PORTFOLIO_WITH_QUICK_RESTART_SEARCH;
2116 default:
return null;
2122 return internalValueMap;
2124 private static final com.
google.protobuf.Internal.EnumLiteMap<
2132 public final com.
google.protobuf.Descriptors.EnumValueDescriptor
2136 public final com.
google.protobuf.Descriptors.EnumDescriptor
2140 public static final com.
google.protobuf.Descriptors.EnumDescriptor
2148 com.
google.protobuf.Descriptors.EnumValueDescriptor desc) {
2150 throw new java.lang.IllegalArgumentException(
2151 "EnumValueDescriptor is not for this type.");
2153 return VALUES[desc.getIndex()];
2156 private final int value;
2165 private int bitField0_;
2166 private int bitField1_;
2167 private int bitField2_;
2168 private int bitField3_;
2170 private int preferredVariableOrder_;
2175 return ((bitField0_ & 0x00000001) != 0);
2181 @SuppressWarnings(
"deprecation")
2187 private int initialPolarity_;
2192 return ((bitField0_ & 0x00000002) != 0);
2198 @SuppressWarnings(
"deprecation")
2204 private boolean usePhaseSaving_;
2219 return ((bitField0_ & 0x00000004) != 0);
2235 return usePhaseSaving_;
2239 private double randomPolarityRatio_;
2252 return ((bitField0_ & 0x00000008) != 0);
2266 return randomPolarityRatio_;
2270 private double randomBranchesRatio_;
2281 return ((bitField0_ & 0x00000010) != 0);
2293 return randomBranchesRatio_;
2297 private boolean useErwaHeuristic_;
2308 return ((bitField0_ & 0x00000020) != 0);
2320 return useErwaHeuristic_;
2324 private double initialVariablesActivity_;
2338 return ((bitField0_ & 0x00000040) != 0);
2353 return initialVariablesActivity_;
2357 private boolean alsoBumpVariablesInConflictReasons_;
2369 return ((bitField0_ & 0x00000080) != 0);
2382 return alsoBumpVariablesInConflictReasons_;
2386 private int minimizationAlgorithm_;
2391 return ((bitField0_ & 0x00000100) != 0);
2397 @SuppressWarnings(
"deprecation")
2403 private int binaryMinimizationAlgorithm_;
2408 return ((bitField0_ & 0x00000200) != 0);
2414 @SuppressWarnings(
"deprecation")
2420 private boolean subsumptionDuringConflictAnalysis_;
2432 return ((bitField0_ & 0x00000400) != 0);
2445 return subsumptionDuringConflictAnalysis_;
2449 private int clauseCleanupPeriod_;
2458 return ((bitField0_ & 0x00000800) != 0);
2468 return clauseCleanupPeriod_;
2472 private int clauseCleanupTarget_;
2482 return ((bitField0_ & 0x00001000) != 0);
2493 return clauseCleanupTarget_;
2497 private int clauseCleanupProtection_;
2502 return ((bitField0_ & 0x00002000) != 0);
2508 @SuppressWarnings(
"deprecation")
2514 private int clauseCleanupLbdBound_;
2524 return ((bitField0_ & 0x00004000) != 0);
2535 return clauseCleanupLbdBound_;
2539 private int clauseCleanupOrdering_;
2544 return ((bitField0_ & 0x00008000) != 0);
2550 @SuppressWarnings(
"deprecation")
2556 private int pbCleanupIncrement_;
2565 return ((bitField0_ & 0x00010000) != 0);
2575 return pbCleanupIncrement_;
2579 private double pbCleanupRatio_;
2584 return ((bitField0_ & 0x00020000) != 0);
2590 return pbCleanupRatio_;
2594 private int minimizeWithPropagationRestartPeriod_;
2613 return ((bitField0_ & 0x00040000) != 0);
2633 return minimizeWithPropagationRestartPeriod_;
2637 private int minimizeWithPropagationNumDecisions_;
2642 return ((bitField0_ & 0x00080000) != 0);
2648 return minimizeWithPropagationNumDecisions_;
2652 private double variableActivityDecay_;
2667 return ((bitField0_ & 0x00100000) != 0);
2683 return variableActivityDecay_;
2687 private double maxVariableActivityValue_;
2692 return ((bitField0_ & 0x00200000) != 0);
2698 return maxVariableActivityValue_;
2702 private double glucoseMaxDecay_;
2714 return ((bitField0_ & 0x00400000) != 0);
2727 return glucoseMaxDecay_;
2731 private double glucoseDecayIncrement_;
2736 return ((bitField0_ & 0x00800000) != 0);
2742 return glucoseDecayIncrement_;
2746 private int glucoseDecayIncrementPeriod_;
2751 return ((bitField0_ & 0x01000000) != 0);
2757 return glucoseDecayIncrementPeriod_;
2761 private double clauseActivityDecay_;
2770 return ((bitField0_ & 0x02000000) != 0);
2780 return clauseActivityDecay_;
2784 private double maxClauseActivityValue_;
2789 return ((bitField0_ & 0x04000000) != 0);
2795 return maxClauseActivityValue_;
2799 private java.util.List<java.lang.Integer> restartAlgorithms_;
2800 private static final com.
google.protobuf.Internal.ListAdapter.Converter<
2802 new com.
google.protobuf.Internal.ListAdapter.Converter<
2805 @SuppressWarnings(
"deprecation")
2825 return new com.
google.protobuf.Internal.ListAdapter<
2843 return restartAlgorithms_.size();
2860 return restartAlgorithms_converter_.convert(restartAlgorithms_.get(index));
2864 private volatile java.lang.Object defaultRestartAlgorithms_;
2869 return ((bitField0_ & 0x08000000) != 0);
2875 java.lang.Object ref = defaultRestartAlgorithms_;
2876 if (ref instanceof java.lang.String) {
2877 return (java.lang.String) ref;
2881 java.lang.String s = bs.toStringUtf8();
2882 if (bs.isValidUtf8()) {
2883 defaultRestartAlgorithms_ = s;
2893 java.lang.Object ref = defaultRestartAlgorithms_;
2894 if (ref instanceof java.lang.String) {
2896 com.
google.protobuf.ByteString.copyFromUtf8(
2897 (java.lang.String) ref);
2898 defaultRestartAlgorithms_ = b;
2901 return (
com.
google.protobuf.ByteString) ref;
2906 private int restartPeriod_;
2916 return ((bitField0_ & 0x10000000) != 0);
2927 return restartPeriod_;
2931 private int restartRunningWindowSize_;
2940 return ((bitField0_ & 0x20000000) != 0);
2950 return restartRunningWindowSize_;
2954 private double restartDlAverageRatio_;
2964 return ((bitField0_ & 0x40000000) != 0);
2975 return restartDlAverageRatio_;
2979 private double restartLbdAverageRatio_;
2984 return ((bitField0_ & 0x80000000) != 0);
2990 return restartLbdAverageRatio_;
2994 private boolean useBlockingRestart_;
3005 return ((bitField1_ & 0x00000001) != 0);
3017 return useBlockingRestart_;
3021 private int blockingRestartWindowSize_;
3026 return ((bitField1_ & 0x00000002) != 0);
3032 return blockingRestartWindowSize_;
3036 private double blockingRestartMultiplier_;
3041 return ((bitField1_ & 0x00000004) != 0);
3047 return blockingRestartMultiplier_;
3051 private int numConflictsBeforeStrategyChanges_;
3062 return ((bitField1_ & 0x00000008) != 0);
3074 return numConflictsBeforeStrategyChanges_;
3078 private double strategyChangeIncreaseRatio_;
3088 return ((bitField1_ & 0x00000010) != 0);
3099 return strategyChangeIncreaseRatio_;
3103 private double maxTimeInSeconds_;
3114 return ((bitField1_ & 0x00000020) != 0);
3126 return maxTimeInSeconds_;
3130 private double maxDeterministicTime_;
3143 return ((bitField1_ & 0x00000040) != 0);
3157 return maxDeterministicTime_;
3161 private long maxNumberOfConflicts_;
3170 return ((bitField1_ & 0x00000080) != 0);
3180 return maxNumberOfConflicts_;
3184 private long maxMemoryInMb_;
3196 return ((bitField1_ & 0x00000100) != 0);
3209 return maxMemoryInMb_;
3213 private boolean treatBinaryClausesSeparately_;
3224 return ((bitField1_ & 0x00000200) != 0);
3236 return treatBinaryClausesSeparately_;
3240 private int randomSeed_;
3254 return ((bitField1_ & 0x00000400) != 0);
3273 private boolean logSearchProgress_;
3282 return ((bitField1_ & 0x00000800) != 0);
3292 return logSearchProgress_;
3296 private boolean usePbResolution_;
3308 return ((bitField1_ & 0x00001000) != 0);
3321 return usePbResolution_;
3325 private boolean minimizeReductionDuringPbResolution_;
3337 return ((bitField1_ & 0x00002000) != 0);
3350 return minimizeReductionDuringPbResolution_;
3354 private boolean countAssumptionLevelsInLbd_;
3370 return ((bitField1_ & 0x00004000) != 0);
3387 return countAssumptionLevelsInLbd_;
3391 private int presolveBveThreshold_;
3402 return ((bitField1_ & 0x00008000) != 0);
3414 return presolveBveThreshold_;
3418 private int presolveBveClauseWeight_;
3428 return ((bitField1_ & 0x00010000) != 0);
3439 return presolveBveClauseWeight_;
3443 private double presolveProbingDeterministicTimeLimit_;
3453 return ((bitField1_ & 0x00020000) != 0);
3464 return presolveProbingDeterministicTimeLimit_;
3468 private boolean presolveBlockedClause_;
3478 return ((bitField1_ & 0x00040000) != 0);
3489 return presolveBlockedClause_;
3493 private boolean presolveUseBva_;
3502 return ((bitField1_ & 0x00080000) != 0);
3512 return presolveUseBva_;
3516 private int presolveBvaThreshold_;
3528 return ((bitField1_ & 0x00100000) != 0);
3541 return presolveBvaThreshold_;
3545 private boolean useOptimizationHints_;
3557 return ((bitField1_ & 0x00200000) != 0);
3570 return useOptimizationHints_;
3574 private boolean minimizeCore_;
3583 return ((bitField1_ & 0x00400000) != 0);
3593 return minimizeCore_;
3597 private boolean findMultipleCores_;
3607 return ((bitField1_ & 0x00800000) != 0);
3618 return findMultipleCores_;
3622 private boolean coverOptimization_;
3632 return ((bitField1_ & 0x01000000) != 0);
3643 return coverOptimization_;
3647 private int maxSatAssumptionOrder_;
3652 return ((bitField1_ & 0x02000000) != 0);
3658 @SuppressWarnings(
"deprecation")
3664 private boolean maxSatReverseAssumptionOrder_;
3674 return ((bitField1_ & 0x04000000) != 0);
3685 return maxSatReverseAssumptionOrder_;
3689 private int maxSatStratification_;
3694 return ((bitField1_ & 0x08000000) != 0);
3700 @SuppressWarnings(
"deprecation")
3706 private boolean usePrecedencesInDisjunctiveConstraint_;
3722 return ((bitField1_ & 0x10000000) != 0);
3739 return usePrecedencesInDisjunctiveConstraint_;
3743 private boolean useOverloadCheckerInCumulativeConstraint_;
3757 return ((bitField1_ & 0x20000000) != 0);
3772 return useOverloadCheckerInCumulativeConstraint_;
3776 private boolean useTimetableEdgeFindingInCumulativeConstraint_;
3790 return ((bitField1_ & 0x40000000) != 0);
3805 return useTimetableEdgeFindingInCumulativeConstraint_;
3809 private boolean useDisjunctiveConstraintInCumulativeConstraint_;
3825 return ((bitField1_ & 0x80000000) != 0);
3842 return useDisjunctiveConstraintInCumulativeConstraint_;
3846 private int linearizationLevel_;
3858 return ((bitField2_ & 0x00000001) != 0);
3871 return linearizationLevel_;
3875 private int booleanEncodingLevel_;
3885 return ((bitField2_ & 0x00000002) != 0);
3896 return booleanEncodingLevel_;
3900 private int maxNumCuts_;
3910 return ((bitField2_ & 0x00000004) != 0);
3925 private boolean onlyAddCutsAtLevelZero_;
3935 return ((bitField2_ & 0x00000008) != 0);
3946 return onlyAddCutsAtLevelZero_;
3950 private boolean addKnapsackCuts_;
3961 return ((bitField2_ & 0x00000010) != 0);
3973 return addKnapsackCuts_;
3977 private boolean addCgCuts_;
3987 return ((bitField2_ & 0x00000020) != 0);
4002 private boolean addMirCuts_;
4012 return ((bitField2_ & 0x00000040) != 0);
4027 private boolean useMirRounding_;
4038 return ((bitField2_ & 0x00000080) != 0);
4050 return useMirRounding_;
4054 private int maxIntegerRoundingScaling_;
4067 return ((bitField2_ & 0x00000100) != 0);
4081 return maxIntegerRoundingScaling_;
4085 private boolean addLpConstraintsLazily_;
4097 return ((bitField2_ & 0x00000200) != 0);
4110 return addLpConstraintsLazily_;
4114 private double minOrthogonalityForLpConstraints_;
4127 return ((bitField2_ & 0x00000400) != 0);
4141 return minOrthogonalityForLpConstraints_;
4145 private long maxInactiveCount_;
4155 return ((bitField2_ & 0x00000800) != 0);
4166 return maxInactiveCount_;
4170 private long constraintRemovalBatchSize_;
4180 return ((bitField2_ & 0x00001000) != 0);
4191 return constraintRemovalBatchSize_;
4195 private int searchBranching_;
4200 return ((bitField2_ & 0x00002000) != 0);
4206 @SuppressWarnings(
"deprecation")
4212 private boolean exploitIntegerLpSolution_;
4224 return ((bitField2_ & 0x00004000) != 0);
4237 return exploitIntegerLpSolution_;
4241 private boolean exploitAllLpSolution_;
4252 return ((bitField2_ & 0x00008000) != 0);
4264 return exploitAllLpSolution_;
4268 private boolean exploitBestSolution_;
4277 return ((bitField2_ & 0x00010000) != 0);
4287 return exploitBestSolution_;
4291 private boolean exploitObjective_;
4301 return ((bitField2_ & 0x00020000) != 0);
4312 return exploitObjective_;
4316 private long pseudoCostReliabilityThreshold_;
4326 return ((bitField2_ & 0x00040000) != 0);
4337 return pseudoCostReliabilityThreshold_;
4341 private boolean optimizeWithCore_;
4353 return ((bitField2_ & 0x00080000) != 0);
4366 return optimizeWithCore_;
4370 private int binarySearchNumConflicts_;
4382 return ((bitField2_ & 0x00100000) != 0);
4395 return binarySearchNumConflicts_;
4399 private boolean optimizeWithMaxHs_;
4413 return ((bitField2_ & 0x00200000) != 0);
4428 return optimizeWithMaxHs_;
4432 private boolean cpModelPresolve_;
4441 return ((bitField2_ & 0x00400000) != 0);
4451 return cpModelPresolve_;
4455 private int cpModelProbingLevel_;
4464 return ((bitField2_ & 0x00800000) != 0);
4474 return cpModelProbingLevel_;
4478 private boolean cpModelUseSatPresolve_;
4487 return ((bitField2_ & 0x01000000) != 0);
4497 return cpModelUseSatPresolve_;
4501 private boolean enumerateAllSolutions_;
4515 return ((bitField2_ & 0x02000000) != 0);
4530 return enumerateAllSolutions_;
4534 private boolean fillTightenedDomainsInResponse_;
4547 return ((bitField2_ & 0x04000000) != 0);
4561 return fillTightenedDomainsInResponse_;
4565 private boolean instantiateAllVariables_;
4575 return ((bitField2_ & 0x08000000) != 0);
4586 return instantiateAllVariables_;
4590 private boolean autoDetectGreaterThanAtLeastOneOf_;
4602 return ((bitField2_ & 0x10000000) != 0);
4615 return autoDetectGreaterThanAtLeastOneOf_;
4619 private boolean stopAfterFirstSolution_;
4628 return ((bitField2_ & 0x20000000) != 0);
4638 return stopAfterFirstSolution_;
4642 private int numSearchWorkers_;
4654 return ((bitField2_ & 0x40000000) != 0);
4667 return numSearchWorkers_;
4671 private boolean shareObjectiveBounds_;
4680 return ((bitField2_ & 0x80000000) != 0);
4690 return shareObjectiveBounds_;
4694 private boolean shareLevelZeroBounds_;
4703 return ((bitField3_ & 0x00000001) != 0);
4713 return shareLevelZeroBounds_;
4717 private boolean useLns_;
4726 return ((bitField3_ & 0x00000002) != 0);
4740 private int lnsNumThreads_;
4745 return ((bitField3_ & 0x00000004) != 0);
4751 return lnsNumThreads_;
4755 private boolean lnsIsDeterministic_;
4760 return ((bitField3_ & 0x00000008) != 0);
4766 return lnsIsDeterministic_;
4770 private boolean lnsFocusOnDecisionVariables_;
4775 return ((bitField3_ & 0x00000010) != 0);
4781 return lnsFocusOnDecisionVariables_;
4785 private boolean useRinsLns_;
4794 return ((bitField3_ & 0x00000020) != 0);
4808 private boolean randomizeSearch_;
4817 return ((bitField3_ & 0x00000040) != 0);
4827 return randomizeSearch_;
4831 private long searchRandomizationTolerance_;
4846 return ((bitField3_ & 0x00000080) != 0);
4862 return searchRandomizationTolerance_;
4866 private boolean useOptionalVariables_;
4877 return ((bitField3_ & 0x00000100) != 0);
4889 return useOptionalVariables_;
4893 private boolean useExactLpReason_;
4905 return ((bitField3_ & 0x00000200) != 0);
4918 return useExactLpReason_;
4922 private boolean useCombinedNoOverlap_;
4933 return ((bitField3_ & 0x00000400) != 0);
4945 return useCombinedNoOverlap_;
4949 private double mipMaxBound_;
4960 return ((bitField3_ & 0x00000800) != 0);
4972 return mipMaxBound_;
4976 private double mipVarScaling_;
4987 return ((bitField3_ & 0x00001000) != 0);
4999 return mipVarScaling_;
5003 private double mipWantedPrecision_;
5020 return ((bitField3_ & 0x00002000) != 0);
5038 return mipWantedPrecision_;
5042 private int mipMaxActivityExponent_;
5057 return ((bitField3_ & 0x00004000) != 0);
5073 return mipMaxActivityExponent_;
5077 private double mipCheckPrecision_;
5089 return ((bitField3_ & 0x00008000) != 0);
5102 return mipCheckPrecision_;
5106 private boolean catchSigintSignal_;
5117 return ((bitField3_ & 0x00010000) != 0);
5129 return catchSigintSignal_;
5132 private byte memoizedIsInitialized = -1;
5139 memoizedIsInitialized = 1;
5145 throws java.io.IOException {
5146 if (((bitField0_ & 0x00000001) != 0)) {
5147 output.writeEnum(1, preferredVariableOrder_);
5149 if (((bitField0_ & 0x00000002) != 0)) {
5150 output.writeEnum(2, initialPolarity_);
5152 if (((bitField0_ & 0x00000100) != 0)) {
5153 output.writeEnum(4, minimizationAlgorithm_);
5155 if (((bitField0_ & 0x00000800) != 0)) {
5156 output.writeInt32(11, clauseCleanupPeriod_);
5158 if (((bitField0_ & 0x00001000) != 0)) {
5159 output.writeInt32(13, clauseCleanupTarget_);
5161 if (((bitField0_ & 0x00100000) != 0)) {
5162 output.writeDouble(15, variableActivityDecay_);
5164 if (((bitField0_ & 0x00200000) != 0)) {
5165 output.writeDouble(16, maxVariableActivityValue_);
5167 if (((bitField0_ & 0x02000000) != 0)) {
5168 output.writeDouble(17, clauseActivityDecay_);
5170 if (((bitField0_ & 0x04000000) != 0)) {
5171 output.writeDouble(18, maxClauseActivityValue_);
5173 if (((bitField0_ & 0x00400000) != 0)) {
5174 output.writeDouble(22, glucoseMaxDecay_);
5176 if (((bitField0_ & 0x00800000) != 0)) {
5177 output.writeDouble(23, glucoseDecayIncrement_);
5179 if (((bitField0_ & 0x01000000) != 0)) {
5180 output.writeInt32(24, glucoseDecayIncrementPeriod_);
5182 if (((bitField0_ & 0x10000000) != 0)) {
5183 output.writeInt32(30, restartPeriod_);
5185 if (((bitField1_ & 0x00000400) != 0)) {
5186 output.writeInt32(31, randomSeed_);
5188 if (((bitField0_ & 0x00000010) != 0)) {
5189 output.writeDouble(32, randomBranchesRatio_);
5191 if (((bitField1_ & 0x00000200) != 0)) {
5192 output.writeBool(33, treatBinaryClausesSeparately_);
5194 if (((bitField0_ & 0x00000200) != 0)) {
5195 output.writeEnum(34, binaryMinimizationAlgorithm_);
5197 if (((bitField1_ & 0x00200000) != 0)) {
5198 output.writeBool(35, useOptimizationHints_);
5200 if (((bitField1_ & 0x00000020) != 0)) {
5201 output.writeDouble(36, maxTimeInSeconds_);
5203 if (((bitField1_ & 0x00000080) != 0)) {
5204 output.writeInt64(37, maxNumberOfConflicts_);
5206 if (((bitField1_ & 0x00000100) != 0)) {
5207 output.writeInt64(40, maxMemoryInMb_);
5209 if (((bitField1_ & 0x00000800) != 0)) {
5210 output.writeBool(41, logSearchProgress_);
5212 if (((bitField1_ & 0x00001000) != 0)) {
5213 output.writeBool(43, usePbResolution_);
5215 if (((bitField0_ & 0x00000004) != 0)) {
5216 output.writeBool(44, usePhaseSaving_);
5218 if (((bitField0_ & 0x00000008) != 0)) {
5219 output.writeDouble(45, randomPolarityRatio_);
5221 if (((bitField0_ & 0x00010000) != 0)) {
5222 output.writeInt32(46, pbCleanupIncrement_);
5224 if (((bitField0_ & 0x00020000) != 0)) {
5225 output.writeDouble(47, pbCleanupRatio_);
5227 if (((bitField1_ & 0x00002000) != 0)) {
5228 output.writeBool(48, minimizeReductionDuringPbResolution_);
5230 if (((bitField1_ & 0x00004000) != 0)) {
5231 output.writeBool(49, countAssumptionLevelsInLbd_);
5233 if (((bitField1_ & 0x00400000) != 0)) {
5234 output.writeBool(50, minimizeCore_);
5236 if (((bitField1_ & 0x02000000) != 0)) {
5237 output.writeEnum(51, maxSatAssumptionOrder_);
5239 if (((bitField1_ & 0x04000000) != 0)) {
5240 output.writeBool(52, maxSatReverseAssumptionOrder_);
5242 if (((bitField1_ & 0x08000000) != 0)) {
5243 output.writeEnum(53, maxSatStratification_);
5245 if (((bitField1_ & 0x00008000) != 0)) {
5246 output.writeInt32(54, presolveBveThreshold_);
5248 if (((bitField1_ & 0x00010000) != 0)) {
5249 output.writeInt32(55, presolveBveClauseWeight_);
5251 if (((bitField0_ & 0x00000400) != 0)) {
5252 output.writeBool(56, subsumptionDuringConflictAnalysis_);
5254 if (((bitField1_ & 0x00020000) != 0)) {
5255 output.writeDouble(57, presolveProbingDeterministicTimeLimit_);
5257 if (((bitField0_ & 0x00002000) != 0)) {
5258 output.writeEnum(58, clauseCleanupProtection_);
5260 if (((bitField0_ & 0x00004000) != 0)) {
5261 output.writeInt32(59, clauseCleanupLbdBound_);
5263 if (((bitField0_ & 0x00008000) != 0)) {
5264 output.writeEnum(60, clauseCleanupOrdering_);
5266 for (
int i = 0; i < restartAlgorithms_.size(); i++) {
5267 output.writeEnum(61, restartAlgorithms_.get(i));
5269 if (((bitField0_ & 0x20000000) != 0)) {
5270 output.writeInt32(62, restartRunningWindowSize_);
5272 if (((bitField0_ & 0x40000000) != 0)) {
5273 output.writeDouble(63, restartDlAverageRatio_);
5275 if (((bitField1_ & 0x00000001) != 0)) {
5276 output.writeBool(64, useBlockingRestart_);
5278 if (((bitField1_ & 0x00000002) != 0)) {
5279 output.writeInt32(65, blockingRestartWindowSize_);
5281 if (((bitField1_ & 0x00000004) != 0)) {
5282 output.writeDouble(66, blockingRestartMultiplier_);
5284 if (((bitField1_ & 0x00000040) != 0)) {
5285 output.writeDouble(67, maxDeterministicTime_);
5287 if (((bitField1_ & 0x00000008) != 0)) {
5288 output.writeInt32(68, numConflictsBeforeStrategyChanges_);
5290 if (((bitField1_ & 0x00000010) != 0)) {
5291 output.writeDouble(69, strategyChangeIncreaseRatio_);
5293 if (((bitField0_ & 0x08000000) != 0)) {
5294 com.
google.protobuf.GeneratedMessageV3.writeString(output, 70, defaultRestartAlgorithms_);
5296 if (((bitField0_ & 0x80000000) != 0)) {
5297 output.writeDouble(71, restartLbdAverageRatio_);
5299 if (((bitField1_ & 0x00080000) != 0)) {
5300 output.writeBool(72, presolveUseBva_);
5302 if (((bitField1_ & 0x00100000) != 0)) {
5303 output.writeInt32(73, presolveBvaThreshold_);
5305 if (((bitField1_ & 0x10000000) != 0)) {
5306 output.writeBool(74, usePrecedencesInDisjunctiveConstraint_);
5308 if (((bitField0_ & 0x00000020) != 0)) {
5309 output.writeBool(75, useErwaHeuristic_);
5311 if (((bitField0_ & 0x00000040) != 0)) {
5312 output.writeDouble(76, initialVariablesActivity_);
5314 if (((bitField0_ & 0x00000080) != 0)) {
5315 output.writeBool(77, alsoBumpVariablesInConflictReasons_);
5317 if (((bitField1_ & 0x20000000) != 0)) {
5318 output.writeBool(78, useOverloadCheckerInCumulativeConstraint_);
5320 if (((bitField1_ & 0x40000000) != 0)) {
5321 output.writeBool(79, useTimetableEdgeFindingInCumulativeConstraint_);
5323 if (((bitField1_ & 0x80000000) != 0)) {
5324 output.writeBool(80, useDisjunctiveConstraintInCumulativeConstraint_);
5326 if (((bitField2_ & 0x00002000) != 0)) {
5327 output.writeEnum(82, searchBranching_);
5329 if (((bitField2_ & 0x00080000) != 0)) {
5330 output.writeBool(83, optimizeWithCore_);
5332 if (((bitField1_ & 0x00800000) != 0)) {
5333 output.writeBool(84, findMultipleCores_);
5335 if (((bitField2_ & 0x00200000) != 0)) {
5336 output.writeBool(85, optimizeWithMaxHs_);
5338 if (((bitField2_ & 0x00400000) != 0)) {
5339 output.writeBool(86, cpModelPresolve_);
5341 if (((bitField2_ & 0x02000000) != 0)) {
5342 output.writeBool(87, enumerateAllSolutions_);
5344 if (((bitField1_ & 0x00040000) != 0)) {
5345 output.writeBool(88, presolveBlockedClause_);
5347 if (((bitField1_ & 0x01000000) != 0)) {
5348 output.writeBool(89, coverOptimization_);
5350 if (((bitField2_ & 0x00000001) != 0)) {
5351 output.writeInt32(90, linearizationLevel_);
5353 if (((bitField2_ & 0x00000004) != 0)) {
5354 output.writeInt32(91, maxNumCuts_);
5356 if (((bitField2_ & 0x00000008) != 0)) {
5357 output.writeBool(92, onlyAddCutsAtLevelZero_);
5359 if (((bitField2_ & 0x01000000) != 0)) {
5360 output.writeBool(93, cpModelUseSatPresolve_);
5362 if (((bitField2_ & 0x00004000) != 0)) {
5363 output.writeBool(94, exploitIntegerLpSolution_);
5365 if (((bitField2_ & 0x10000000) != 0)) {
5366 output.writeBool(95, autoDetectGreaterThanAtLeastOneOf_);
5368 if (((bitField0_ & 0x00040000) != 0)) {
5369 output.writeInt32(96, minimizeWithPropagationRestartPeriod_);
5371 if (((bitField0_ & 0x00080000) != 0)) {
5372 output.writeInt32(97, minimizeWithPropagationNumDecisions_);
5374 if (((bitField2_ & 0x20000000) != 0)) {
5375 output.writeBool(98, stopAfterFirstSolution_);
5377 if (((bitField2_ & 0x00100000) != 0)) {
5378 output.writeInt32(99, binarySearchNumConflicts_);
5380 if (((bitField2_ & 0x40000000) != 0)) {
5381 output.writeInt32(100, numSearchWorkers_);
5383 if (((bitField3_ & 0x00000002) != 0)) {
5384 output.writeBool(101, useLns_);
5386 if (((bitField3_ & 0x00000004) != 0)) {
5387 output.writeInt32(102, lnsNumThreads_);
5389 if (((bitField3_ & 0x00000040) != 0)) {
5390 output.writeBool(103, randomizeSearch_);
5392 if (((bitField3_ & 0x00000080) != 0)) {
5393 output.writeInt64(104, searchRandomizationTolerance_);
5395 if (((bitField3_ & 0x00000010) != 0)) {
5396 output.writeBool(105, lnsFocusOnDecisionVariables_);
5398 if (((bitField2_ & 0x08000000) != 0)) {
5399 output.writeBool(106, instantiateAllVariables_);
5401 if (((bitField2_ & 0x00000002) != 0)) {
5402 output.writeInt32(107, booleanEncodingLevel_);
5404 if (((bitField3_ & 0x00000100) != 0)) {
5405 output.writeBool(108, useOptionalVariables_);
5407 if (((bitField3_ & 0x00000200) != 0)) {
5408 output.writeBool(109, useExactLpReason_);
5410 if (((bitField2_ & 0x00800000) != 0)) {
5411 output.writeInt32(110, cpModelProbingLevel_);
5413 if (((bitField2_ & 0x00000010) != 0)) {
5414 output.writeBool(111, addKnapsackCuts_);
5416 if (((bitField2_ & 0x00000200) != 0)) {
5417 output.writeBool(112, addLpConstraintsLazily_);
5419 if (((bitField2_ & 0x80000000) != 0)) {
5420 output.writeBool(113, shareObjectiveBounds_);
5422 if (((bitField3_ & 0x00000001) != 0)) {
5423 output.writeBool(114, shareLevelZeroBounds_);
5425 if (((bitField2_ & 0x00000400) != 0)) {
5426 output.writeDouble(115, minOrthogonalityForLpConstraints_);
5428 if (((bitField2_ & 0x00008000) != 0)) {
5429 output.writeBool(116, exploitAllLpSolution_);
5431 if (((bitField2_ & 0x00000020) != 0)) {
5432 output.writeBool(117, addCgCuts_);
5434 if (((bitField2_ & 0x00000080) != 0)) {
5435 output.writeBool(118, useMirRounding_);
5437 if (((bitField2_ & 0x00000100) != 0)) {
5438 output.writeInt32(119, maxIntegerRoundingScaling_);
5440 if (((bitField2_ & 0x00000040) != 0)) {
5441 output.writeBool(120, addMirCuts_);
5443 if (((bitField2_ & 0x00000800) != 0)) {
5444 output.writeInt64(121, maxInactiveCount_);
5446 if (((bitField2_ & 0x00001000) != 0)) {
5447 output.writeInt64(122, constraintRemovalBatchSize_);
5449 if (((bitField2_ & 0x00040000) != 0)) {
5450 output.writeInt64(123, pseudoCostReliabilityThreshold_);
5452 if (((bitField3_ & 0x00000800) != 0)) {
5453 output.writeDouble(124, mipMaxBound_);
5455 if (((bitField3_ & 0x00001000) != 0)) {
5456 output.writeDouble(125, mipVarScaling_);
5458 if (((bitField3_ & 0x00002000) != 0)) {
5459 output.writeDouble(126, mipWantedPrecision_);
5461 if (((bitField3_ & 0x00004000) != 0)) {
5462 output.writeInt32(127, mipMaxActivityExponent_);
5464 if (((bitField3_ & 0x00008000) != 0)) {
5465 output.writeDouble(128, mipCheckPrecision_);
5467 if (((bitField3_ & 0x00000020) != 0)) {
5468 output.writeBool(129, useRinsLns_);
5470 if (((bitField2_ & 0x00010000) != 0)) {
5471 output.writeBool(130, exploitBestSolution_);
5473 if (((bitField2_ & 0x00020000) != 0)) {
5474 output.writeBool(131, exploitObjective_);
5476 if (((bitField2_ & 0x04000000) != 0)) {
5477 output.writeBool(132, fillTightenedDomainsInResponse_);
5479 if (((bitField3_ & 0x00000400) != 0)) {
5480 output.writeBool(133, useCombinedNoOverlap_);
5482 if (((bitField3_ & 0x00000008) != 0)) {
5483 output.writeBool(134, lnsIsDeterministic_);
5485 if (((bitField3_ & 0x00010000) != 0)) {
5486 output.writeBool(135, catchSigintSignal_);
5488 unknownFields.writeTo(output);
5493 int size = memoizedSize;
5494 if (size != -1)
return size;
5497 if (((bitField0_ & 0x00000001) != 0)) {
5498 size +=
com.
google.protobuf.CodedOutputStream
5499 .computeEnumSize(1, preferredVariableOrder_);
5501 if (((bitField0_ & 0x00000002) != 0)) {
5502 size +=
com.
google.protobuf.CodedOutputStream
5503 .computeEnumSize(2, initialPolarity_);
5505 if (((bitField0_ & 0x00000100) != 0)) {
5506 size +=
com.
google.protobuf.CodedOutputStream
5507 .computeEnumSize(4, minimizationAlgorithm_);
5509 if (((bitField0_ & 0x00000800) != 0)) {
5510 size +=
com.
google.protobuf.CodedOutputStream
5511 .computeInt32Size(11, clauseCleanupPeriod_);
5513 if (((bitField0_ & 0x00001000) != 0)) {
5514 size +=
com.
google.protobuf.CodedOutputStream
5515 .computeInt32Size(13, clauseCleanupTarget_);
5517 if (((bitField0_ & 0x00100000) != 0)) {
5518 size +=
com.
google.protobuf.CodedOutputStream
5519 .computeDoubleSize(15, variableActivityDecay_);
5521 if (((bitField0_ & 0x00200000) != 0)) {
5522 size +=
com.
google.protobuf.CodedOutputStream
5523 .computeDoubleSize(16, maxVariableActivityValue_);
5525 if (((bitField0_ & 0x02000000) != 0)) {
5526 size +=
com.
google.protobuf.CodedOutputStream
5527 .computeDoubleSize(17, clauseActivityDecay_);
5529 if (((bitField0_ & 0x04000000) != 0)) {
5530 size +=
com.
google.protobuf.CodedOutputStream
5531 .computeDoubleSize(18, maxClauseActivityValue_);
5533 if (((bitField0_ & 0x00400000) != 0)) {
5534 size +=
com.
google.protobuf.CodedOutputStream
5535 .computeDoubleSize(22, glucoseMaxDecay_);
5537 if (((bitField0_ & 0x00800000) != 0)) {
5538 size +=
com.
google.protobuf.CodedOutputStream
5539 .computeDoubleSize(23, glucoseDecayIncrement_);
5541 if (((bitField0_ & 0x01000000) != 0)) {
5542 size +=
com.
google.protobuf.CodedOutputStream
5543 .computeInt32Size(24, glucoseDecayIncrementPeriod_);
5545 if (((bitField0_ & 0x10000000) != 0)) {
5546 size +=
com.
google.protobuf.CodedOutputStream
5547 .computeInt32Size(30, restartPeriod_);
5549 if (((bitField1_ & 0x00000400) != 0)) {
5550 size +=
com.
google.protobuf.CodedOutputStream
5551 .computeInt32Size(31, randomSeed_);
5553 if (((bitField0_ & 0x00000010) != 0)) {
5554 size +=
com.
google.protobuf.CodedOutputStream
5555 .computeDoubleSize(32, randomBranchesRatio_);
5557 if (((bitField1_ & 0x00000200) != 0)) {
5558 size +=
com.
google.protobuf.CodedOutputStream
5559 .computeBoolSize(33, treatBinaryClausesSeparately_);
5561 if (((bitField0_ & 0x00000200) != 0)) {
5562 size +=
com.
google.protobuf.CodedOutputStream
5563 .computeEnumSize(34, binaryMinimizationAlgorithm_);
5565 if (((bitField1_ & 0x00200000) != 0)) {
5566 size +=
com.
google.protobuf.CodedOutputStream
5567 .computeBoolSize(35, useOptimizationHints_);
5569 if (((bitField1_ & 0x00000020) != 0)) {
5570 size +=
com.
google.protobuf.CodedOutputStream
5571 .computeDoubleSize(36, maxTimeInSeconds_);
5573 if (((bitField1_ & 0x00000080) != 0)) {
5574 size +=
com.
google.protobuf.CodedOutputStream
5575 .computeInt64Size(37, maxNumberOfConflicts_);
5577 if (((bitField1_ & 0x00000100) != 0)) {
5578 size +=
com.
google.protobuf.CodedOutputStream
5579 .computeInt64Size(40, maxMemoryInMb_);
5581 if (((bitField1_ & 0x00000800) != 0)) {
5582 size +=
com.
google.protobuf.CodedOutputStream
5583 .computeBoolSize(41, logSearchProgress_);
5585 if (((bitField1_ & 0x00001000) != 0)) {
5586 size +=
com.
google.protobuf.CodedOutputStream
5587 .computeBoolSize(43, usePbResolution_);
5589 if (((bitField0_ & 0x00000004) != 0)) {
5590 size +=
com.
google.protobuf.CodedOutputStream
5591 .computeBoolSize(44, usePhaseSaving_);
5593 if (((bitField0_ & 0x00000008) != 0)) {
5594 size +=
com.
google.protobuf.CodedOutputStream
5595 .computeDoubleSize(45, randomPolarityRatio_);
5597 if (((bitField0_ & 0x00010000) != 0)) {
5598 size +=
com.
google.protobuf.CodedOutputStream
5599 .computeInt32Size(46, pbCleanupIncrement_);
5601 if (((bitField0_ & 0x00020000) != 0)) {
5602 size +=
com.
google.protobuf.CodedOutputStream
5603 .computeDoubleSize(47, pbCleanupRatio_);
5605 if (((bitField1_ & 0x00002000) != 0)) {
5606 size +=
com.
google.protobuf.CodedOutputStream
5607 .computeBoolSize(48, minimizeReductionDuringPbResolution_);
5609 if (((bitField1_ & 0x00004000) != 0)) {
5610 size +=
com.
google.protobuf.CodedOutputStream
5611 .computeBoolSize(49, countAssumptionLevelsInLbd_);
5613 if (((bitField1_ & 0x00400000) != 0)) {
5614 size +=
com.
google.protobuf.CodedOutputStream
5615 .computeBoolSize(50, minimizeCore_);
5617 if (((bitField1_ & 0x02000000) != 0)) {
5618 size +=
com.
google.protobuf.CodedOutputStream
5619 .computeEnumSize(51, maxSatAssumptionOrder_);
5621 if (((bitField1_ & 0x04000000) != 0)) {
5622 size +=
com.
google.protobuf.CodedOutputStream
5623 .computeBoolSize(52, maxSatReverseAssumptionOrder_);
5625 if (((bitField1_ & 0x08000000) != 0)) {
5626 size +=
com.
google.protobuf.CodedOutputStream
5627 .computeEnumSize(53, maxSatStratification_);
5629 if (((bitField1_ & 0x00008000) != 0)) {
5630 size +=
com.
google.protobuf.CodedOutputStream
5631 .computeInt32Size(54, presolveBveThreshold_);
5633 if (((bitField1_ & 0x00010000) != 0)) {
5634 size +=
com.
google.protobuf.CodedOutputStream
5635 .computeInt32Size(55, presolveBveClauseWeight_);
5637 if (((bitField0_ & 0x00000400) != 0)) {
5638 size +=
com.
google.protobuf.CodedOutputStream
5639 .computeBoolSize(56, subsumptionDuringConflictAnalysis_);
5641 if (((bitField1_ & 0x00020000) != 0)) {
5642 size +=
com.
google.protobuf.CodedOutputStream
5643 .computeDoubleSize(57, presolveProbingDeterministicTimeLimit_);
5645 if (((bitField0_ & 0x00002000) != 0)) {
5646 size +=
com.
google.protobuf.CodedOutputStream
5647 .computeEnumSize(58, clauseCleanupProtection_);
5649 if (((bitField0_ & 0x00004000) != 0)) {
5650 size +=
com.
google.protobuf.CodedOutputStream
5651 .computeInt32Size(59, clauseCleanupLbdBound_);
5653 if (((bitField0_ & 0x00008000) != 0)) {
5654 size +=
com.
google.protobuf.CodedOutputStream
5655 .computeEnumSize(60, clauseCleanupOrdering_);
5659 for (
int i = 0; i < restartAlgorithms_.size(); i++) {
5660 dataSize +=
com.
google.protobuf.CodedOutputStream
5661 .computeEnumSizeNoTag(restartAlgorithms_.get(i));
5664 size += 2 * restartAlgorithms_.size();
5666 if (((bitField0_ & 0x20000000) != 0)) {
5667 size +=
com.
google.protobuf.CodedOutputStream
5668 .computeInt32Size(62, restartRunningWindowSize_);
5670 if (((bitField0_ & 0x40000000) != 0)) {
5671 size +=
com.
google.protobuf.CodedOutputStream
5672 .computeDoubleSize(63, restartDlAverageRatio_);
5674 if (((bitField1_ & 0x00000001) != 0)) {
5675 size +=
com.
google.protobuf.CodedOutputStream
5676 .computeBoolSize(64, useBlockingRestart_);
5678 if (((bitField1_ & 0x00000002) != 0)) {
5679 size +=
com.
google.protobuf.CodedOutputStream
5680 .computeInt32Size(65, blockingRestartWindowSize_);
5682 if (((bitField1_ & 0x00000004) != 0)) {
5683 size +=
com.
google.protobuf.CodedOutputStream
5684 .computeDoubleSize(66, blockingRestartMultiplier_);
5686 if (((bitField1_ & 0x00000040) != 0)) {
5687 size +=
com.
google.protobuf.CodedOutputStream
5688 .computeDoubleSize(67, maxDeterministicTime_);
5690 if (((bitField1_ & 0x00000008) != 0)) {
5691 size +=
com.
google.protobuf.CodedOutputStream
5692 .computeInt32Size(68, numConflictsBeforeStrategyChanges_);
5694 if (((bitField1_ & 0x00000010) != 0)) {
5695 size +=
com.
google.protobuf.CodedOutputStream
5696 .computeDoubleSize(69, strategyChangeIncreaseRatio_);
5698 if (((bitField0_ & 0x08000000) != 0)) {
5699 size +=
com.
google.protobuf.GeneratedMessageV3.computeStringSize(70, defaultRestartAlgorithms_);
5701 if (((bitField0_ & 0x80000000) != 0)) {
5702 size +=
com.
google.protobuf.CodedOutputStream
5703 .computeDoubleSize(71, restartLbdAverageRatio_);
5705 if (((bitField1_ & 0x00080000) != 0)) {
5706 size +=
com.
google.protobuf.CodedOutputStream
5707 .computeBoolSize(72, presolveUseBva_);
5709 if (((bitField1_ & 0x00100000) != 0)) {
5710 size +=
com.
google.protobuf.CodedOutputStream
5711 .computeInt32Size(73, presolveBvaThreshold_);
5713 if (((bitField1_ & 0x10000000) != 0)) {
5714 size +=
com.
google.protobuf.CodedOutputStream
5715 .computeBoolSize(74, usePrecedencesInDisjunctiveConstraint_);
5717 if (((bitField0_ & 0x00000020) != 0)) {
5718 size +=
com.
google.protobuf.CodedOutputStream
5719 .computeBoolSize(75, useErwaHeuristic_);
5721 if (((bitField0_ & 0x00000040) != 0)) {
5722 size +=
com.
google.protobuf.CodedOutputStream
5723 .computeDoubleSize(76, initialVariablesActivity_);
5725 if (((bitField0_ & 0x00000080) != 0)) {
5726 size +=
com.
google.protobuf.CodedOutputStream
5727 .computeBoolSize(77, alsoBumpVariablesInConflictReasons_);
5729 if (((bitField1_ & 0x20000000) != 0)) {
5730 size +=
com.
google.protobuf.CodedOutputStream
5731 .computeBoolSize(78, useOverloadCheckerInCumulativeConstraint_);
5733 if (((bitField1_ & 0x40000000) != 0)) {
5734 size +=
com.
google.protobuf.CodedOutputStream
5735 .computeBoolSize(79, useTimetableEdgeFindingInCumulativeConstraint_);
5737 if (((bitField1_ & 0x80000000) != 0)) {
5738 size +=
com.
google.protobuf.CodedOutputStream
5739 .computeBoolSize(80, useDisjunctiveConstraintInCumulativeConstraint_);
5741 if (((bitField2_ & 0x00002000) != 0)) {
5742 size +=
com.
google.protobuf.CodedOutputStream
5743 .computeEnumSize(82, searchBranching_);
5745 if (((bitField2_ & 0x00080000) != 0)) {
5746 size +=
com.
google.protobuf.CodedOutputStream
5747 .computeBoolSize(83, optimizeWithCore_);
5749 if (((bitField1_ & 0x00800000) != 0)) {
5750 size +=
com.
google.protobuf.CodedOutputStream
5751 .computeBoolSize(84, findMultipleCores_);
5753 if (((bitField2_ & 0x00200000) != 0)) {
5754 size +=
com.
google.protobuf.CodedOutputStream
5755 .computeBoolSize(85, optimizeWithMaxHs_);
5757 if (((bitField2_ & 0x00400000) != 0)) {
5758 size +=
com.
google.protobuf.CodedOutputStream
5759 .computeBoolSize(86, cpModelPresolve_);
5761 if (((bitField2_ & 0x02000000) != 0)) {
5762 size +=
com.
google.protobuf.CodedOutputStream
5763 .computeBoolSize(87, enumerateAllSolutions_);
5765 if (((bitField1_ & 0x00040000) != 0)) {
5766 size +=
com.
google.protobuf.CodedOutputStream
5767 .computeBoolSize(88, presolveBlockedClause_);
5769 if (((bitField1_ & 0x01000000) != 0)) {
5770 size +=
com.
google.protobuf.CodedOutputStream
5771 .computeBoolSize(89, coverOptimization_);
5773 if (((bitField2_ & 0x00000001) != 0)) {
5774 size +=
com.
google.protobuf.CodedOutputStream
5775 .computeInt32Size(90, linearizationLevel_);
5777 if (((bitField2_ & 0x00000004) != 0)) {
5778 size +=
com.
google.protobuf.CodedOutputStream
5779 .computeInt32Size(91, maxNumCuts_);
5781 if (((bitField2_ & 0x00000008) != 0)) {
5782 size +=
com.
google.protobuf.CodedOutputStream
5783 .computeBoolSize(92, onlyAddCutsAtLevelZero_);
5785 if (((bitField2_ & 0x01000000) != 0)) {
5786 size +=
com.
google.protobuf.CodedOutputStream
5787 .computeBoolSize(93, cpModelUseSatPresolve_);
5789 if (((bitField2_ & 0x00004000) != 0)) {
5790 size +=
com.
google.protobuf.CodedOutputStream
5791 .computeBoolSize(94, exploitIntegerLpSolution_);
5793 if (((bitField2_ & 0x10000000) != 0)) {
5794 size +=
com.
google.protobuf.CodedOutputStream
5795 .computeBoolSize(95, autoDetectGreaterThanAtLeastOneOf_);
5797 if (((bitField0_ & 0x00040000) != 0)) {
5798 size +=
com.
google.protobuf.CodedOutputStream
5799 .computeInt32Size(96, minimizeWithPropagationRestartPeriod_);
5801 if (((bitField0_ & 0x00080000) != 0)) {
5802 size +=
com.
google.protobuf.CodedOutputStream
5803 .computeInt32Size(97, minimizeWithPropagationNumDecisions_);
5805 if (((bitField2_ & 0x20000000) != 0)) {
5806 size +=
com.
google.protobuf.CodedOutputStream
5807 .computeBoolSize(98, stopAfterFirstSolution_);
5809 if (((bitField2_ & 0x00100000) != 0)) {
5810 size +=
com.
google.protobuf.CodedOutputStream
5811 .computeInt32Size(99, binarySearchNumConflicts_);
5813 if (((bitField2_ & 0x40000000) != 0)) {
5814 size +=
com.
google.protobuf.CodedOutputStream
5815 .computeInt32Size(100, numSearchWorkers_);
5817 if (((bitField3_ & 0x00000002) != 0)) {
5818 size +=
com.
google.protobuf.CodedOutputStream
5819 .computeBoolSize(101, useLns_);
5821 if (((bitField3_ & 0x00000004) != 0)) {
5822 size +=
com.
google.protobuf.CodedOutputStream
5823 .computeInt32Size(102, lnsNumThreads_);
5825 if (((bitField3_ & 0x00000040) != 0)) {
5826 size +=
com.
google.protobuf.CodedOutputStream
5827 .computeBoolSize(103, randomizeSearch_);
5829 if (((bitField3_ & 0x00000080) != 0)) {
5830 size +=
com.
google.protobuf.CodedOutputStream
5831 .computeInt64Size(104, searchRandomizationTolerance_);
5833 if (((bitField3_ & 0x00000010) != 0)) {
5834 size +=
com.
google.protobuf.CodedOutputStream
5835 .computeBoolSize(105, lnsFocusOnDecisionVariables_);
5837 if (((bitField2_ & 0x08000000) != 0)) {
5838 size +=
com.
google.protobuf.CodedOutputStream
5839 .computeBoolSize(106, instantiateAllVariables_);
5841 if (((bitField2_ & 0x00000002) != 0)) {
5842 size +=
com.
google.protobuf.CodedOutputStream
5843 .computeInt32Size(107, booleanEncodingLevel_);
5845 if (((bitField3_ & 0x00000100) != 0)) {
5846 size +=
com.
google.protobuf.CodedOutputStream
5847 .computeBoolSize(108, useOptionalVariables_);
5849 if (((bitField3_ & 0x00000200) != 0)) {
5850 size +=
com.
google.protobuf.CodedOutputStream
5851 .computeBoolSize(109, useExactLpReason_);
5853 if (((bitField2_ & 0x00800000) != 0)) {
5854 size +=
com.
google.protobuf.CodedOutputStream
5855 .computeInt32Size(110, cpModelProbingLevel_);
5857 if (((bitField2_ & 0x00000010) != 0)) {
5858 size +=
com.
google.protobuf.CodedOutputStream
5859 .computeBoolSize(111, addKnapsackCuts_);
5861 if (((bitField2_ & 0x00000200) != 0)) {
5862 size +=
com.
google.protobuf.CodedOutputStream
5863 .computeBoolSize(112, addLpConstraintsLazily_);
5865 if (((bitField2_ & 0x80000000) != 0)) {
5866 size +=
com.
google.protobuf.CodedOutputStream
5867 .computeBoolSize(113, shareObjectiveBounds_);
5869 if (((bitField3_ & 0x00000001) != 0)) {
5870 size +=
com.
google.protobuf.CodedOutputStream
5871 .computeBoolSize(114, shareLevelZeroBounds_);
5873 if (((bitField2_ & 0x00000400) != 0)) {
5874 size +=
com.
google.protobuf.CodedOutputStream
5875 .computeDoubleSize(115, minOrthogonalityForLpConstraints_);
5877 if (((bitField2_ & 0x00008000) != 0)) {
5878 size +=
com.
google.protobuf.CodedOutputStream
5879 .computeBoolSize(116, exploitAllLpSolution_);
5881 if (((bitField2_ & 0x00000020) != 0)) {
5882 size +=
com.
google.protobuf.CodedOutputStream
5883 .computeBoolSize(117, addCgCuts_);
5885 if (((bitField2_ & 0x00000080) != 0)) {
5886 size +=
com.
google.protobuf.CodedOutputStream
5887 .computeBoolSize(118, useMirRounding_);
5889 if (((bitField2_ & 0x00000100) != 0)) {
5890 size +=
com.
google.protobuf.CodedOutputStream
5891 .computeInt32Size(119, maxIntegerRoundingScaling_);
5893 if (((bitField2_ & 0x00000040) != 0)) {
5894 size +=
com.
google.protobuf.CodedOutputStream
5895 .computeBoolSize(120, addMirCuts_);
5897 if (((bitField2_ & 0x00000800) != 0)) {
5898 size +=
com.
google.protobuf.CodedOutputStream
5899 .computeInt64Size(121, maxInactiveCount_);
5901 if (((bitField2_ & 0x00001000) != 0)) {
5902 size +=
com.
google.protobuf.CodedOutputStream
5903 .computeInt64Size(122, constraintRemovalBatchSize_);
5905 if (((bitField2_ & 0x00040000) != 0)) {
5906 size +=
com.
google.protobuf.CodedOutputStream
5907 .computeInt64Size(123, pseudoCostReliabilityThreshold_);
5909 if (((bitField3_ & 0x00000800) != 0)) {
5910 size +=
com.
google.protobuf.CodedOutputStream
5911 .computeDoubleSize(124, mipMaxBound_);
5913 if (((bitField3_ & 0x00001000) != 0)) {
5914 size +=
com.
google.protobuf.CodedOutputStream
5915 .computeDoubleSize(125, mipVarScaling_);
5917 if (((bitField3_ & 0x00002000) != 0)) {
5918 size +=
com.
google.protobuf.CodedOutputStream
5919 .computeDoubleSize(126, mipWantedPrecision_);
5921 if (((bitField3_ & 0x00004000) != 0)) {
5922 size +=
com.
google.protobuf.CodedOutputStream
5923 .computeInt32Size(127, mipMaxActivityExponent_);
5925 if (((bitField3_ & 0x00008000) != 0)) {
5926 size +=
com.
google.protobuf.CodedOutputStream
5927 .computeDoubleSize(128, mipCheckPrecision_);
5929 if (((bitField3_ & 0x00000020) != 0)) {
5930 size +=
com.
google.protobuf.CodedOutputStream
5931 .computeBoolSize(129, useRinsLns_);
5933 if (((bitField2_ & 0x00010000) != 0)) {
5934 size +=
com.
google.protobuf.CodedOutputStream
5935 .computeBoolSize(130, exploitBestSolution_);
5937 if (((bitField2_ & 0x00020000) != 0)) {
5938 size +=
com.
google.protobuf.CodedOutputStream
5939 .computeBoolSize(131, exploitObjective_);
5941 if (((bitField2_ & 0x04000000) != 0)) {
5942 size +=
com.
google.protobuf.CodedOutputStream
5943 .computeBoolSize(132, fillTightenedDomainsInResponse_);
5945 if (((bitField3_ & 0x00000400) != 0)) {
5946 size +=
com.
google.protobuf.CodedOutputStream
5947 .computeBoolSize(133, useCombinedNoOverlap_);
5949 if (((bitField3_ & 0x00000008) != 0)) {
5950 size +=
com.
google.protobuf.CodedOutputStream
5951 .computeBoolSize(134, lnsIsDeterministic_);
5953 if (((bitField3_ & 0x00010000) != 0)) {
5954 size +=
com.
google.protobuf.CodedOutputStream
5955 .computeBoolSize(135, catchSigintSignal_);
5957 size += unknownFields.getSerializedSize();
5958 memoizedSize = size;
5963 public boolean equals(
final java.lang.Object obj) {
5968 return super.equals(obj);
5974 if (preferredVariableOrder_ != other.preferredVariableOrder_)
return false;
5978 if (initialPolarity_ != other.initialPolarity_)
return false;
5983 != other.getUsePhaseSaving())
return false;
5988 != java.lang.Double.doubleToLongBits(
5989 other.getRandomPolarityRatio()))
return false;
5994 != java.lang.Double.doubleToLongBits(
5995 other.getRandomBranchesRatio()))
return false;
6000 != other.getUseErwaHeuristic())
return false;
6005 != java.lang.Double.doubleToLongBits(
6006 other.getInitialVariablesActivity()))
return false;
6011 != other.getAlsoBumpVariablesInConflictReasons())
return false;
6015 if (minimizationAlgorithm_ != other.minimizationAlgorithm_)
return false;
6019 if (binaryMinimizationAlgorithm_ != other.binaryMinimizationAlgorithm_)
return false;
6024 != other.getSubsumptionDuringConflictAnalysis())
return false;
6029 != other.getClauseCleanupPeriod())
return false;
6034 != other.getClauseCleanupTarget())
return false;
6038 if (clauseCleanupProtection_ != other.clauseCleanupProtection_)
return false;
6043 != other.getClauseCleanupLbdBound())
return false;
6047 if (clauseCleanupOrdering_ != other.clauseCleanupOrdering_)
return false;
6052 != other.getPbCleanupIncrement())
return false;
6057 != java.lang.Double.doubleToLongBits(
6058 other.getPbCleanupRatio()))
return false;
6063 != other.getMinimizeWithPropagationRestartPeriod())
return false;
6068 != other.getMinimizeWithPropagationNumDecisions())
return false;
6073 != java.lang.Double.doubleToLongBits(
6074 other.getVariableActivityDecay()))
return false;
6079 != java.lang.Double.doubleToLongBits(
6080 other.getMaxVariableActivityValue()))
return false;
6085 != java.lang.Double.doubleToLongBits(
6086 other.getGlucoseMaxDecay()))
return false;
6091 != java.lang.Double.doubleToLongBits(
6092 other.getGlucoseDecayIncrement()))
return false;
6097 != other.getGlucoseDecayIncrementPeriod())
return false;
6102 != java.lang.Double.doubleToLongBits(
6103 other.getClauseActivityDecay()))
return false;
6108 != java.lang.Double.doubleToLongBits(
6109 other.getMaxClauseActivityValue()))
return false;
6111 if (!restartAlgorithms_.equals(other.restartAlgorithms_))
return false;
6115 .equals(other.getDefaultRestartAlgorithms()))
return false;
6120 != other.getRestartPeriod())
return false;
6125 != other.getRestartRunningWindowSize())
return false;
6130 != java.lang.Double.doubleToLongBits(
6131 other.getRestartDlAverageRatio()))
return false;
6136 != java.lang.Double.doubleToLongBits(
6137 other.getRestartLbdAverageRatio()))
return false;
6142 != other.getUseBlockingRestart())
return false;
6147 != other.getBlockingRestartWindowSize())
return false;
6152 != java.lang.Double.doubleToLongBits(
6153 other.getBlockingRestartMultiplier()))
return false;
6158 != other.getNumConflictsBeforeStrategyChanges())
return false;
6163 != java.lang.Double.doubleToLongBits(
6164 other.getStrategyChangeIncreaseRatio()))
return false;
6169 != java.lang.Double.doubleToLongBits(
6170 other.getMaxTimeInSeconds()))
return false;
6175 != java.lang.Double.doubleToLongBits(
6176 other.getMaxDeterministicTime()))
return false;
6181 != other.getMaxNumberOfConflicts())
return false;
6186 != other.getMaxMemoryInMb())
return false;
6191 != other.getTreatBinaryClausesSeparately())
return false;
6196 != other.getRandomSeed())
return false;
6201 != other.getLogSearchProgress())
return false;
6206 != other.getUsePbResolution())
return false;
6211 != other.getMinimizeReductionDuringPbResolution())
return false;
6216 != other.getCountAssumptionLevelsInLbd())
return false;
6221 != other.getPresolveBveThreshold())
return false;
6226 != other.getPresolveBveClauseWeight())
return false;
6231 != java.lang.Double.doubleToLongBits(
6232 other.getPresolveProbingDeterministicTimeLimit()))
return false;
6237 != other.getPresolveBlockedClause())
return false;
6242 != other.getPresolveUseBva())
return false;
6247 != other.getPresolveBvaThreshold())
return false;
6252 != other.getUseOptimizationHints())
return false;
6257 != other.getMinimizeCore())
return false;
6262 != other.getFindMultipleCores())
return false;
6267 != other.getCoverOptimization())
return false;
6271 if (maxSatAssumptionOrder_ != other.maxSatAssumptionOrder_)
return false;
6276 != other.getMaxSatReverseAssumptionOrder())
return false;
6280 if (maxSatStratification_ != other.maxSatStratification_)
return false;
6285 != other.getUsePrecedencesInDisjunctiveConstraint())
return false;
6290 != other.getUseOverloadCheckerInCumulativeConstraint())
return false;
6295 != other.getUseTimetableEdgeFindingInCumulativeConstraint())
return false;
6300 != other.getUseDisjunctiveConstraintInCumulativeConstraint())
return false;
6305 != other.getLinearizationLevel())
return false;
6310 != other.getBooleanEncodingLevel())
return false;
6315 != other.getMaxNumCuts())
return false;
6320 != other.getOnlyAddCutsAtLevelZero())
return false;
6325 != other.getAddKnapsackCuts())
return false;
6327 if (
hasAddCgCuts() != other.hasAddCgCuts())
return false;
6330 != other.getAddCgCuts())
return false;
6335 != other.getAddMirCuts())
return false;
6340 != other.getUseMirRounding())
return false;
6345 != other.getMaxIntegerRoundingScaling())
return false;
6350 != other.getAddLpConstraintsLazily())
return false;
6355 != java.lang.Double.doubleToLongBits(
6356 other.getMinOrthogonalityForLpConstraints()))
return false;
6361 != other.getMaxInactiveCount())
return false;
6366 != other.getConstraintRemovalBatchSize())
return false;
6370 if (searchBranching_ != other.searchBranching_)
return false;
6375 != other.getExploitIntegerLpSolution())
return false;
6380 != other.getExploitAllLpSolution())
return false;
6385 != other.getExploitBestSolution())
return false;
6390 != other.getExploitObjective())
return false;
6395 != other.getPseudoCostReliabilityThreshold())
return false;
6400 != other.getOptimizeWithCore())
return false;
6405 != other.getBinarySearchNumConflicts())
return false;
6410 != other.getOptimizeWithMaxHs())
return false;
6415 != other.getCpModelPresolve())
return false;
6420 != other.getCpModelProbingLevel())
return false;
6425 != other.getCpModelUseSatPresolve())
return false;
6430 != other.getEnumerateAllSolutions())
return false;
6435 != other.getFillTightenedDomainsInResponse())
return false;
6440 != other.getInstantiateAllVariables())
return false;
6445 != other.getAutoDetectGreaterThanAtLeastOneOf())
return false;
6450 != other.getStopAfterFirstSolution())
return false;
6455 != other.getNumSearchWorkers())
return false;
6460 != other.getShareObjectiveBounds())
return false;
6465 != other.getShareLevelZeroBounds())
return false;
6467 if (
hasUseLns() != other.hasUseLns())
return false;
6470 != other.getUseLns())
return false;
6475 != other.getLnsNumThreads())
return false;
6480 != other.getLnsIsDeterministic())
return false;
6485 != other.getLnsFocusOnDecisionVariables())
return false;
6490 != other.getUseRinsLns())
return false;
6495 != other.getRandomizeSearch())
return false;
6500 != other.getSearchRandomizationTolerance())
return false;
6505 != other.getUseOptionalVariables())
return false;
6510 != other.getUseExactLpReason())
return false;
6515 != other.getUseCombinedNoOverlap())
return false;
6520 != java.lang.Double.doubleToLongBits(
6521 other.getMipMaxBound()))
return false;
6526 != java.lang.Double.doubleToLongBits(
6527 other.getMipVarScaling()))
return false;
6532 != java.lang.Double.doubleToLongBits(
6533 other.getMipWantedPrecision()))
return false;
6538 != other.getMipMaxActivityExponent())
return false;
6543 != java.lang.Double.doubleToLongBits(
6544 other.getMipCheckPrecision()))
return false;
6549 != other.getCatchSigintSignal())
return false;
6551 if (!unknownFields.equals(other.unknownFields))
return false;
6557 if (memoizedHashCode != 0) {
6558 return memoizedHashCode;
6564 hash = (53 * hash) + preferredVariableOrder_;
6568 hash = (53 * hash) + initialPolarity_;
6572 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6577 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6582 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6587 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6592 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6597 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6602 hash = (53 * hash) + minimizationAlgorithm_;
6606 hash = (53 * hash) + binaryMinimizationAlgorithm_;
6610 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6623 hash = (53 * hash) + clauseCleanupProtection_;
6631 hash = (53 * hash) + clauseCleanupOrdering_;
6639 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6652 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6657 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6662 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6667 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6676 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6681 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6686 hash = (53 * hash) + restartAlgorithms_.hashCode();
6702 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6707 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6712 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6721 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6730 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6735 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6740 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6745 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6750 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6755 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6764 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6769 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6774 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6779 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6792 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6797 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6802 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6811 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6816 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6821 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6826 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6831 hash = (53 * hash) + maxSatAssumptionOrder_;
6835 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6840 hash = (53 * hash) + maxSatStratification_;
6844 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6849 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6854 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6859 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6876 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6881 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6886 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6891 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6896 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6905 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6910 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6915 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6920 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6925 hash = (53 * hash) + searchBranching_;
6929 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6934 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6939 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6944 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6949 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6954 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6963 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6968 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6977 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6982 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6987 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6992 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6997 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
7002 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
7011 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
7016 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
7021 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
7030 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
7035 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
7040 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
7045 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
7050 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
7055 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
7060 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
7065 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
7070 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
7075 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
7080 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
7089 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
7094 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
7097 hash = (29 * hash) + unknownFields.hashCode();
7098 memoizedHashCode = hash;
7103 java.nio.ByteBuffer data)
7104 throws com.
google.protobuf.InvalidProtocolBufferException {
7105 return PARSER.parseFrom(data);
7108 java.nio.ByteBuffer data,
7109 com.
google.protobuf.ExtensionRegistryLite extensionRegistry)
7110 throws com.
google.protobuf.InvalidProtocolBufferException {
7111 return PARSER.parseFrom(data, extensionRegistry);
7115 throws com.
google.protobuf.InvalidProtocolBufferException {
7116 return PARSER.parseFrom(data);
7120 com.
google.protobuf.ExtensionRegistryLite extensionRegistry)
7121 throws com.
google.protobuf.InvalidProtocolBufferException {
7122 return PARSER.parseFrom(data, extensionRegistry);
7125 throws com.
google.protobuf.InvalidProtocolBufferException {
7126 return PARSER.parseFrom(data);
7130 com.
google.protobuf.ExtensionRegistryLite extensionRegistry)
7131 throws com.
google.protobuf.InvalidProtocolBufferException {
7132 return PARSER.parseFrom(data, extensionRegistry);
7135 throws java.io.IOException {
7136 return com.
google.protobuf.GeneratedMessageV3
7137 .parseWithIOException(
PARSER, input);
7140 java.io.InputStream input,
7141 com.
google.protobuf.ExtensionRegistryLite extensionRegistry)
7142 throws java.io.IOException {
7143 return com.
google.protobuf.GeneratedMessageV3
7144 .parseWithIOException(
PARSER, input, extensionRegistry);
7147 throws java.io.IOException {
7148 return com.
google.protobuf.GeneratedMessageV3
7149 .parseDelimitedWithIOException(
PARSER, input);
7152 java.io.InputStream input,
7153 com.
google.protobuf.ExtensionRegistryLite extensionRegistry)
7154 throws java.io.IOException {
7155 return com.
google.protobuf.GeneratedMessageV3
7156 .parseDelimitedWithIOException(
PARSER, input, extensionRegistry);
7159 com.
google.protobuf.CodedInputStream input)
7160 throws java.io.IOException {
7161 return com.
google.protobuf.GeneratedMessageV3
7162 .parseWithIOException(
PARSER, input);
7165 com.
google.protobuf.CodedInputStream input,
7166 com.
google.protobuf.ExtensionRegistryLite extensionRegistry)
7167 throws java.io.IOException {
7168 return com.
google.protobuf.GeneratedMessageV3
7169 .parseWithIOException(
PARSER, input, extensionRegistry);
7182 return this == DEFAULT_INSTANCE
7188 com.
google.protobuf.GeneratedMessageV3.BuilderParent parent) {
7202 com.google.protobuf.GeneratedMessageV3.
Builder<Builder> implements
7205 public static final com.
google.protobuf.Descriptors.Descriptor
7207 return com.
google.
ortools.
sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
7211 protected com.
google.protobuf.GeneratedMessageV3.FieldAccessorTable
7213 return com.
google.
ortools.
sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_fieldAccessorTable
7214 .ensureFieldAccessorsInitialized(
7220 maybeForceBuilderInitialization();
7224 com.
google.protobuf.GeneratedMessageV3.BuilderParent parent) {
7226 maybeForceBuilderInitialization();
7228 private void maybeForceBuilderInitialization() {
7229 if (
com.
google.protobuf.GeneratedMessageV3
7230 .alwaysUseFieldBuilders) {
7236 preferredVariableOrder_ = 0;
7237 bitField0_ = (bitField0_ & ~0x00000001);
7238 initialPolarity_ = 1;
7239 bitField0_ = (bitField0_ & ~0x00000002);
7240 usePhaseSaving_ =
true;
7241 bitField0_ = (bitField0_ & ~0x00000004);
7242 randomPolarityRatio_ = 0D;
7243 bitField0_ = (bitField0_ & ~0x00000008);
7244 randomBranchesRatio_ = 0D;
7245 bitField0_ = (bitField0_ & ~0x00000010);
7246 useErwaHeuristic_ =
false;
7247 bitField0_ = (bitField0_ & ~0x00000020);
7248 initialVariablesActivity_ = 0D;
7249 bitField0_ = (bitField0_ & ~0x00000040);
7250 alsoBumpVariablesInConflictReasons_ =
false;
7251 bitField0_ = (bitField0_ & ~0x00000080);
7252 minimizationAlgorithm_ = 2;
7253 bitField0_ = (bitField0_ & ~0x00000100);
7254 binaryMinimizationAlgorithm_ = 1;
7255 bitField0_ = (bitField0_ & ~0x00000200);
7256 subsumptionDuringConflictAnalysis_ =
true;
7257 bitField0_ = (bitField0_ & ~0x00000400);
7258 clauseCleanupPeriod_ = 10000;
7259 bitField0_ = (bitField0_ & ~0x00000800);
7260 clauseCleanupTarget_ = 10000;
7261 bitField0_ = (bitField0_ & ~0x00001000);
7262 clauseCleanupProtection_ = 0;
7263 bitField0_ = (bitField0_ & ~0x00002000);
7264 clauseCleanupLbdBound_ = 5;
7265 bitField0_ = (bitField0_ & ~0x00004000);
7266 clauseCleanupOrdering_ = 0;
7267 bitField0_ = (bitField0_ & ~0x00008000);
7268 pbCleanupIncrement_ = 200;
7269 bitField0_ = (bitField0_ & ~0x00010000);
7270 pbCleanupRatio_ = 0.5D;
7271 bitField0_ = (bitField0_ & ~0x00020000);
7272 minimizeWithPropagationRestartPeriod_ = 10;
7273 bitField0_ = (bitField0_ & ~0x00040000);
7274 minimizeWithPropagationNumDecisions_ = 1000;
7275 bitField0_ = (bitField0_ & ~0x00080000);
7276 variableActivityDecay_ = 0.8D;
7277 bitField0_ = (bitField0_ & ~0x00100000);
7278 maxVariableActivityValue_ = 1e+100D;
7279 bitField0_ = (bitField0_ & ~0x00200000);
7280 glucoseMaxDecay_ = 0.95D;
7281 bitField0_ = (bitField0_ & ~0x00400000);
7282 glucoseDecayIncrement_ = 0.01D;
7283 bitField0_ = (bitField0_ & ~0x00800000);
7284 glucoseDecayIncrementPeriod_ = 5000;
7285 bitField0_ = (bitField0_ & ~0x01000000);
7286 clauseActivityDecay_ = 0.999D;
7287 bitField0_ = (bitField0_ & ~0x02000000);
7288 maxClauseActivityValue_ = 1e+20D;
7289 bitField0_ = (bitField0_ & ~0x04000000);
7290 restartAlgorithms_ = java.util.Collections.emptyList();
7291 bitField0_ = (bitField0_ & ~0x08000000);
7292 defaultRestartAlgorithms_ =
"LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,DL_MOVING_AVERAGE_RESTART";
7293 bitField0_ = (bitField0_ & ~0x10000000);
7294 restartPeriod_ = 50;
7295 bitField0_ = (bitField0_ & ~0x20000000);
7296 restartRunningWindowSize_ = 50;
7297 bitField0_ = (bitField0_ & ~0x40000000);
7298 restartDlAverageRatio_ = 1D;
7299 bitField0_ = (bitField0_ & ~0x80000000);
7300 restartLbdAverageRatio_ = 1D;
7301 bitField1_ = (bitField1_ & ~0x00000001);
7302 useBlockingRestart_ =
false;
7303 bitField1_ = (bitField1_ & ~0x00000002);
7304 blockingRestartWindowSize_ = 5000;
7305 bitField1_ = (bitField1_ & ~0x00000004);
7306 blockingRestartMultiplier_ = 1.4D;
7307 bitField1_ = (bitField1_ & ~0x00000008);
7308 numConflictsBeforeStrategyChanges_ = 0;
7309 bitField1_ = (bitField1_ & ~0x00000010);
7310 strategyChangeIncreaseRatio_ = 0D;
7311 bitField1_ = (bitField1_ & ~0x00000020);
7312 maxTimeInSeconds_ = Double.POSITIVE_INFINITY;
7313 bitField1_ = (bitField1_ & ~0x00000040);
7314 maxDeterministicTime_ = Double.POSITIVE_INFINITY;
7315 bitField1_ = (bitField1_ & ~0x00000080);
7316 maxNumberOfConflicts_ = 9223372036854775807L;
7317 bitField1_ = (bitField1_ & ~0x00000100);
7318 maxMemoryInMb_ = 10000L;
7319 bitField1_ = (bitField1_ & ~0x00000200);
7320 treatBinaryClausesSeparately_ =
true;
7321 bitField1_ = (bitField1_ & ~0x00000400);
7323 bitField1_ = (bitField1_ & ~0x00000800);
7324 logSearchProgress_ =
false;
7325 bitField1_ = (bitField1_ & ~0x00001000);
7326 usePbResolution_ =
false;
7327 bitField1_ = (bitField1_ & ~0x00002000);
7328 minimizeReductionDuringPbResolution_ =
false;
7329 bitField1_ = (bitField1_ & ~0x00004000);
7330 countAssumptionLevelsInLbd_ =
true;
7331 bitField1_ = (bitField1_ & ~0x00008000);
7332 presolveBveThreshold_ = 500;
7333 bitField1_ = (bitField1_ & ~0x00010000);
7334 presolveBveClauseWeight_ = 3;
7335 bitField1_ = (bitField1_ & ~0x00020000);
7336 presolveProbingDeterministicTimeLimit_ = 30D;
7337 bitField1_ = (bitField1_ & ~0x00040000);
7338 presolveBlockedClause_ =
true;
7339 bitField1_ = (bitField1_ & ~0x00080000);
7340 presolveUseBva_ =
true;
7341 bitField1_ = (bitField1_ & ~0x00100000);
7342 presolveBvaThreshold_ = 1;
7343 bitField1_ = (bitField1_ & ~0x00200000);
7344 useOptimizationHints_ =
true;
7345 bitField1_ = (bitField1_ & ~0x00400000);
7346 minimizeCore_ =
true;
7347 bitField1_ = (bitField1_ & ~0x00800000);
7348 findMultipleCores_ =
true;
7349 bitField1_ = (bitField1_ & ~0x01000000);
7350 coverOptimization_ =
true;
7351 bitField1_ = (bitField1_ & ~0x02000000);
7352 maxSatAssumptionOrder_ = 0;
7353 bitField1_ = (bitField1_ & ~0x04000000);
7354 maxSatReverseAssumptionOrder_ =
false;
7355 bitField1_ = (bitField1_ & ~0x08000000);
7356 maxSatStratification_ = 1;
7357 bitField1_ = (bitField1_ & ~0x10000000);
7358 usePrecedencesInDisjunctiveConstraint_ =
true;
7359 bitField1_ = (bitField1_ & ~0x20000000);
7360 useOverloadCheckerInCumulativeConstraint_ =
false;
7361 bitField1_ = (bitField1_ & ~0x40000000);
7362 useTimetableEdgeFindingInCumulativeConstraint_ =
false;
7363 bitField1_ = (bitField1_ & ~0x80000000);
7364 useDisjunctiveConstraintInCumulativeConstraint_ =
true;
7365 bitField2_ = (bitField2_ & ~0x00000001);
7366 linearizationLevel_ = 1;
7367 bitField2_ = (bitField2_ & ~0x00000002);
7368 booleanEncodingLevel_ = 1;
7369 bitField2_ = (bitField2_ & ~0x00000004);
7371 bitField2_ = (bitField2_ & ~0x00000008);
7372 onlyAddCutsAtLevelZero_ =
false;
7373 bitField2_ = (bitField2_ & ~0x00000010);
7374 addKnapsackCuts_ =
false;
7375 bitField2_ = (bitField2_ & ~0x00000020);
7377 bitField2_ = (bitField2_ & ~0x00000040);
7379 bitField2_ = (bitField2_ & ~0x00000080);
7380 useMirRounding_ =
true;
7381 bitField2_ = (bitField2_ & ~0x00000100);
7382 maxIntegerRoundingScaling_ = 600;
7383 bitField2_ = (bitField2_ & ~0x00000200);
7384 addLpConstraintsLazily_ =
true;
7385 bitField2_ = (bitField2_ & ~0x00000400);
7386 minOrthogonalityForLpConstraints_ = 0D;
7387 bitField2_ = (bitField2_ & ~0x00000800);
7388 maxInactiveCount_ = 1000L;
7389 bitField2_ = (bitField2_ & ~0x00001000);
7390 constraintRemovalBatchSize_ = 100L;
7391 bitField2_ = (bitField2_ & ~0x00002000);
7392 searchBranching_ = 0;
7393 bitField2_ = (bitField2_ & ~0x00004000);
7394 exploitIntegerLpSolution_ =
true;
7395 bitField2_ = (bitField2_ & ~0x00008000);
7396 exploitAllLpSolution_ =
true;
7397 bitField2_ = (bitField2_ & ~0x00010000);
7398 exploitBestSolution_ =
false;
7399 bitField2_ = (bitField2_ & ~0x00020000);
7400 exploitObjective_ =
true;
7401 bitField2_ = (bitField2_ & ~0x00040000);
7402 pseudoCostReliabilityThreshold_ = 100L;
7403 bitField2_ = (bitField2_ & ~0x00080000);
7404 optimizeWithCore_ =
false;
7405 bitField2_ = (bitField2_ & ~0x00100000);
7406 binarySearchNumConflicts_ = -1;
7407 bitField2_ = (bitField2_ & ~0x00200000);
7408 optimizeWithMaxHs_ =
false;
7409 bitField2_ = (bitField2_ & ~0x00400000);
7410 cpModelPresolve_ =
true;
7411 bitField2_ = (bitField2_ & ~0x00800000);
7412 cpModelProbingLevel_ = 2;
7413 bitField2_ = (bitField2_ & ~0x01000000);
7414 cpModelUseSatPresolve_ =
true;
7415 bitField2_ = (bitField2_ & ~0x02000000);
7416 enumerateAllSolutions_ =
false;
7417 bitField2_ = (bitField2_ & ~0x04000000);
7418 fillTightenedDomainsInResponse_ =
false;
7419 bitField2_ = (bitField2_ & ~0x08000000);
7420 instantiateAllVariables_ =
true;
7421 bitField2_ = (bitField2_ & ~0x10000000);
7422 autoDetectGreaterThanAtLeastOneOf_ =
true;
7423 bitField2_ = (bitField2_ & ~0x20000000);
7424 stopAfterFirstSolution_ =
false;
7425 bitField2_ = (bitField2_ & ~0x40000000);
7426 numSearchWorkers_ = 0;
7427 bitField2_ = (bitField2_ & ~0x80000000);
7428 shareObjectiveBounds_ =
true;
7429 bitField3_ = (bitField3_ & ~0x00000001);
7430 shareLevelZeroBounds_ =
true;
7431 bitField3_ = (bitField3_ & ~0x00000002);
7433 bitField3_ = (bitField3_ & ~0x00000004);
7435 bitField3_ = (bitField3_ & ~0x00000008);
7436 lnsIsDeterministic_ =
true;
7437 bitField3_ = (bitField3_ & ~0x00000010);
7438 lnsFocusOnDecisionVariables_ =
false;
7439 bitField3_ = (bitField3_ & ~0x00000020);
7440 useRinsLns_ =
false;
7441 bitField3_ = (bitField3_ & ~0x00000040);
7442 randomizeSearch_ =
false;
7443 bitField3_ = (bitField3_ & ~0x00000080);
7444 searchRandomizationTolerance_ = 0L;
7445 bitField3_ = (bitField3_ & ~0x00000100);
7446 useOptionalVariables_ =
true;
7447 bitField3_ = (bitField3_ & ~0x00000200);
7448 useExactLpReason_ =
true;
7449 bitField3_ = (bitField3_ & ~0x00000400);
7450 useCombinedNoOverlap_ =
false;
7451 bitField3_ = (bitField3_ & ~0x00000800);
7452 mipMaxBound_ = 10000000D;
7453 bitField3_ = (bitField3_ & ~0x00001000);
7454 mipVarScaling_ = 1D;
7455 bitField3_ = (bitField3_ & ~0x00002000);
7456 mipWantedPrecision_ = 1e-06D;
7457 bitField3_ = (bitField3_ & ~0x00004000);
7458 mipMaxActivityExponent_ = 53;
7459 bitField3_ = (bitField3_ & ~0x00008000);
7460 mipCheckPrecision_ = 0.0001D;
7461 bitField3_ = (bitField3_ & ~0x00010000);
7462 catchSigintSignal_ =
true;
7463 bitField3_ = (bitField3_ & ~0x00020000);
7468 public com.
google.protobuf.Descriptors.Descriptor
7470 return com.
google.
ortools.
sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
7481 if (!result.isInitialized()) {
7482 throw newUninitializedMessageException(result);
7490 int from_bitField0_ = bitField0_;
7491 int from_bitField1_ = bitField1_;
7492 int from_bitField2_ = bitField2_;
7493 int from_bitField3_ = bitField3_;
7494 int to_bitField0_ = 0;
7495 int to_bitField1_ = 0;
7496 int to_bitField2_ = 0;
7497 int to_bitField3_ = 0;
7498 if (((from_bitField0_ & 0x00000001) != 0)) {
7499 to_bitField0_ |= 0x00000001;
7501 result.preferredVariableOrder_ = preferredVariableOrder_;
7502 if (((from_bitField0_ & 0x00000002) != 0)) {
7503 to_bitField0_ |= 0x00000002;
7505 result.initialPolarity_ = initialPolarity_;
7506 if (((from_bitField0_ & 0x00000004) != 0)) {
7507 to_bitField0_ |= 0x00000004;
7509 result.usePhaseSaving_ = usePhaseSaving_;
7510 if (((from_bitField0_ & 0x00000008) != 0)) {
7511 result.randomPolarityRatio_ = randomPolarityRatio_;
7512 to_bitField0_ |= 0x00000008;
7514 if (((from_bitField0_ & 0x00000010) != 0)) {
7515 result.randomBranchesRatio_ = randomBranchesRatio_;
7516 to_bitField0_ |= 0x00000010;
7518 if (((from_bitField0_ & 0x00000020) != 0)) {
7519 result.useErwaHeuristic_ = useErwaHeuristic_;
7520 to_bitField0_ |= 0x00000020;
7522 if (((from_bitField0_ & 0x00000040) != 0)) {
7523 result.initialVariablesActivity_ = initialVariablesActivity_;
7524 to_bitField0_ |= 0x00000040;
7526 if (((from_bitField0_ & 0x00000080) != 0)) {
7527 result.alsoBumpVariablesInConflictReasons_ = alsoBumpVariablesInConflictReasons_;
7528 to_bitField0_ |= 0x00000080;
7530 if (((from_bitField0_ & 0x00000100) != 0)) {
7531 to_bitField0_ |= 0x00000100;
7533 result.minimizationAlgorithm_ = minimizationAlgorithm_;
7534 if (((from_bitField0_ & 0x00000200) != 0)) {
7535 to_bitField0_ |= 0x00000200;
7537 result.binaryMinimizationAlgorithm_ = binaryMinimizationAlgorithm_;
7538 if (((from_bitField0_ & 0x00000400) != 0)) {
7539 to_bitField0_ |= 0x00000400;
7541 result.subsumptionDuringConflictAnalysis_ = subsumptionDuringConflictAnalysis_;
7542 if (((from_bitField0_ & 0x00000800) != 0)) {
7543 to_bitField0_ |= 0x00000800;
7545 result.clauseCleanupPeriod_ = clauseCleanupPeriod_;
7546 if (((from_bitField0_ & 0x00001000) != 0)) {
7547 to_bitField0_ |= 0x00001000;
7549 result.clauseCleanupTarget_ = clauseCleanupTarget_;
7550 if (((from_bitField0_ & 0x00002000) != 0)) {
7551 to_bitField0_ |= 0x00002000;
7553 result.clauseCleanupProtection_ = clauseCleanupProtection_;
7554 if (((from_bitField0_ & 0x00004000) != 0)) {
7555 to_bitField0_ |= 0x00004000;
7557 result.clauseCleanupLbdBound_ = clauseCleanupLbdBound_;
7558 if (((from_bitField0_ & 0x00008000) != 0)) {
7559 to_bitField0_ |= 0x00008000;
7561 result.clauseCleanupOrdering_ = clauseCleanupOrdering_;
7562 if (((from_bitField0_ & 0x00010000) != 0)) {
7563 to_bitField0_ |= 0x00010000;
7565 result.pbCleanupIncrement_ = pbCleanupIncrement_;
7566 if (((from_bitField0_ & 0x00020000) != 0)) {
7567 to_bitField0_ |= 0x00020000;
7569 result.pbCleanupRatio_ = pbCleanupRatio_;
7570 if (((from_bitField0_ & 0x00040000) != 0)) {
7571 to_bitField0_ |= 0x00040000;
7573 result.minimizeWithPropagationRestartPeriod_ = minimizeWithPropagationRestartPeriod_;
7574 if (((from_bitField0_ & 0x00080000) != 0)) {
7575 to_bitField0_ |= 0x00080000;
7577 result.minimizeWithPropagationNumDecisions_ = minimizeWithPropagationNumDecisions_;
7578 if (((from_bitField0_ & 0x00100000) != 0)) {
7579 to_bitField0_ |= 0x00100000;
7581 result.variableActivityDecay_ = variableActivityDecay_;
7582 if (((from_bitField0_ & 0x00200000) != 0)) {
7583 to_bitField0_ |= 0x00200000;
7585 result.maxVariableActivityValue_ = maxVariableActivityValue_;
7586 if (((from_bitField0_ & 0x00400000) != 0)) {
7587 to_bitField0_ |= 0x00400000;
7589 result.glucoseMaxDecay_ = glucoseMaxDecay_;
7590 if (((from_bitField0_ & 0x00800000) != 0)) {
7591 to_bitField0_ |= 0x00800000;
7593 result.glucoseDecayIncrement_ = glucoseDecayIncrement_;
7594 if (((from_bitField0_ & 0x01000000) != 0)) {
7595 to_bitField0_ |= 0x01000000;
7597 result.glucoseDecayIncrementPeriod_ = glucoseDecayIncrementPeriod_;
7598 if (((from_bitField0_ & 0x02000000) != 0)) {
7599 to_bitField0_ |= 0x02000000;
7601 result.clauseActivityDecay_ = clauseActivityDecay_;
7602 if (((from_bitField0_ & 0x04000000) != 0)) {
7603 to_bitField0_ |= 0x04000000;
7605 result.maxClauseActivityValue_ = maxClauseActivityValue_;
7606 if (((bitField0_ & 0x08000000) != 0)) {
7607 restartAlgorithms_ = java.util.Collections.unmodifiableList(restartAlgorithms_);
7608 bitField0_ = (bitField0_ & ~0x08000000);
7610 result.restartAlgorithms_ = restartAlgorithms_;
7611 if (((from_bitField0_ & 0x10000000) != 0)) {
7612 to_bitField0_ |= 0x08000000;
7614 result.defaultRestartAlgorithms_ = defaultRestartAlgorithms_;
7615 if (((from_bitField0_ & 0x20000000) != 0)) {
7616 to_bitField0_ |= 0x10000000;
7618 result.restartPeriod_ = restartPeriod_;
7619 if (((from_bitField0_ & 0x40000000) != 0)) {
7620 to_bitField0_ |= 0x20000000;
7622 result.restartRunningWindowSize_ = restartRunningWindowSize_;
7623 if (((from_bitField0_ & 0x80000000) != 0)) {
7624 to_bitField0_ |= 0x40000000;
7626 result.restartDlAverageRatio_ = restartDlAverageRatio_;
7627 if (((from_bitField1_ & 0x00000001) != 0)) {
7628 to_bitField0_ |= 0x80000000;
7630 result.restartLbdAverageRatio_ = restartLbdAverageRatio_;
7631 if (((from_bitField1_ & 0x00000002) != 0)) {
7632 result.useBlockingRestart_ = useBlockingRestart_;
7633 to_bitField1_ |= 0x00000001;
7635 if (((from_bitField1_ & 0x00000004) != 0)) {
7636 to_bitField1_ |= 0x00000002;
7638 result.blockingRestartWindowSize_ = blockingRestartWindowSize_;
7639 if (((from_bitField1_ & 0x00000008) != 0)) {
7640 to_bitField1_ |= 0x00000004;
7642 result.blockingRestartMultiplier_ = blockingRestartMultiplier_;
7643 if (((from_bitField1_ & 0x00000010) != 0)) {
7644 result.numConflictsBeforeStrategyChanges_ = numConflictsBeforeStrategyChanges_;
7645 to_bitField1_ |= 0x00000008;
7647 if (((from_bitField1_ & 0x00000020) != 0)) {
7648 result.strategyChangeIncreaseRatio_ = strategyChangeIncreaseRatio_;
7649 to_bitField1_ |= 0x00000010;
7651 if (((from_bitField1_ & 0x00000040) != 0)) {
7652 to_bitField1_ |= 0x00000020;
7654 result.maxTimeInSeconds_ = maxTimeInSeconds_;
7655 if (((from_bitField1_ & 0x00000080) != 0)) {
7656 to_bitField1_ |= 0x00000040;
7658 result.maxDeterministicTime_ = maxDeterministicTime_;
7659 if (((from_bitField1_ & 0x00000100) != 0)) {
7660 to_bitField1_ |= 0x00000080;
7662 result.maxNumberOfConflicts_ = maxNumberOfConflicts_;
7663 if (((from_bitField1_ & 0x00000200) != 0)) {
7664 to_bitField1_ |= 0x00000100;
7666 result.maxMemoryInMb_ = maxMemoryInMb_;
7667 if (((from_bitField1_ & 0x00000400) != 0)) {
7668 to_bitField1_ |= 0x00000200;
7670 result.treatBinaryClausesSeparately_ = treatBinaryClausesSeparately_;
7671 if (((from_bitField1_ & 0x00000800) != 0)) {
7672 to_bitField1_ |= 0x00000400;
7674 result.randomSeed_ = randomSeed_;
7675 if (((from_bitField1_ & 0x00001000) != 0)) {
7676 result.logSearchProgress_ = logSearchProgress_;
7677 to_bitField1_ |= 0x00000800;
7679 if (((from_bitField1_ & 0x00002000) != 0)) {
7680 result.usePbResolution_ = usePbResolution_;
7681 to_bitField1_ |= 0x00001000;
7683 if (((from_bitField1_ & 0x00004000) != 0)) {
7684 result.minimizeReductionDuringPbResolution_ = minimizeReductionDuringPbResolution_;
7685 to_bitField1_ |= 0x00002000;
7687 if (((from_bitField1_ & 0x00008000) != 0)) {
7688 to_bitField1_ |= 0x00004000;
7690 result.countAssumptionLevelsInLbd_ = countAssumptionLevelsInLbd_;
7691 if (((from_bitField1_ & 0x00010000) != 0)) {
7692 to_bitField1_ |= 0x00008000;
7694 result.presolveBveThreshold_ = presolveBveThreshold_;
7695 if (((from_bitField1_ & 0x00020000) != 0)) {
7696 to_bitField1_ |= 0x00010000;
7698 result.presolveBveClauseWeight_ = presolveBveClauseWeight_;
7699 if (((from_bitField1_ & 0x00040000) != 0)) {
7700 to_bitField1_ |= 0x00020000;
7702 result.presolveProbingDeterministicTimeLimit_ = presolveProbingDeterministicTimeLimit_;
7703 if (((from_bitField1_ & 0x00080000) != 0)) {
7704 to_bitField1_ |= 0x00040000;
7706 result.presolveBlockedClause_ = presolveBlockedClause_;
7707 if (((from_bitField1_ & 0x00100000) != 0)) {
7708 to_bitField1_ |= 0x00080000;
7710 result.presolveUseBva_ = presolveUseBva_;
7711 if (((from_bitField1_ & 0x00200000) != 0)) {
7712 to_bitField1_ |= 0x00100000;
7714 result.presolveBvaThreshold_ = presolveBvaThreshold_;
7715 if (((from_bitField1_ & 0x00400000) != 0)) {
7716 to_bitField1_ |= 0x00200000;
7718 result.useOptimizationHints_ = useOptimizationHints_;
7719 if (((from_bitField1_ & 0x00800000) != 0)) {
7720 to_bitField1_ |= 0x00400000;
7722 result.minimizeCore_ = minimizeCore_;
7723 if (((from_bitField1_ & 0x01000000) != 0)) {
7724 to_bitField1_ |= 0x00800000;
7726 result.findMultipleCores_ = findMultipleCores_;
7727 if (((from_bitField1_ & 0x02000000) != 0)) {
7728 to_bitField1_ |= 0x01000000;
7730 result.coverOptimization_ = coverOptimization_;
7731 if (((from_bitField1_ & 0x04000000) != 0)) {
7732 to_bitField1_ |= 0x02000000;
7734 result.maxSatAssumptionOrder_ = maxSatAssumptionOrder_;
7735 if (((from_bitField1_ & 0x08000000) != 0)) {
7736 result.maxSatReverseAssumptionOrder_ = maxSatReverseAssumptionOrder_;
7737 to_bitField1_ |= 0x04000000;
7739 if (((from_bitField1_ & 0x10000000) != 0)) {
7740 to_bitField1_ |= 0x08000000;
7742 result.maxSatStratification_ = maxSatStratification_;
7743 if (((from_bitField1_ & 0x20000000) != 0)) {
7744 to_bitField1_ |= 0x10000000;
7746 result.usePrecedencesInDisjunctiveConstraint_ = usePrecedencesInDisjunctiveConstraint_;
7747 if (((from_bitField1_ & 0x40000000) != 0)) {
7748 result.useOverloadCheckerInCumulativeConstraint_ = useOverloadCheckerInCumulativeConstraint_;
7749 to_bitField1_ |= 0x20000000;
7751 if (((from_bitField1_ & 0x80000000) != 0)) {
7752 result.useTimetableEdgeFindingInCumulativeConstraint_ = useTimetableEdgeFindingInCumulativeConstraint_;
7753 to_bitField1_ |= 0x40000000;
7755 if (((from_bitField2_ & 0x00000001) != 0)) {
7756 to_bitField1_ |= 0x80000000;
7758 result.useDisjunctiveConstraintInCumulativeConstraint_ = useDisjunctiveConstraintInCumulativeConstraint_;
7759 if (((from_bitField2_ & 0x00000002) != 0)) {
7760 to_bitField2_ |= 0x00000001;
7762 result.linearizationLevel_ = linearizationLevel_;
7763 if (((from_bitField2_ & 0x00000004) != 0)) {
7764 to_bitField2_ |= 0x00000002;
7766 result.booleanEncodingLevel_ = booleanEncodingLevel_;
7767 if (((from_bitField2_ & 0x00000008) != 0)) {
7768 to_bitField2_ |= 0x00000004;
7770 result.maxNumCuts_ = maxNumCuts_;
7771 if (((from_bitField2_ & 0x00000010) != 0)) {
7772 result.onlyAddCutsAtLevelZero_ = onlyAddCutsAtLevelZero_;
7773 to_bitField2_ |= 0x00000008;
7775 if (((from_bitField2_ & 0x00000020) != 0)) {
7776 result.addKnapsackCuts_ = addKnapsackCuts_;
7777 to_bitField2_ |= 0x00000010;
7779 if (((from_bitField2_ & 0x00000040) != 0)) {
7780 result.addCgCuts_ = addCgCuts_;
7781 to_bitField2_ |= 0x00000020;
7783 if (((from_bitField2_ & 0x00000080) != 0)) {
7784 to_bitField2_ |= 0x00000040;
7786 result.addMirCuts_ = addMirCuts_;
7787 if (((from_bitField2_ & 0x00000100) != 0)) {
7788 to_bitField2_ |= 0x00000080;
7790 result.useMirRounding_ = useMirRounding_;
7791 if (((from_bitField2_ & 0x00000200) != 0)) {
7792 to_bitField2_ |= 0x00000100;
7794 result.maxIntegerRoundingScaling_ = maxIntegerRoundingScaling_;
7795 if (((from_bitField2_ & 0x00000400) != 0)) {
7796 to_bitField2_ |= 0x00000200;
7798 result.addLpConstraintsLazily_ = addLpConstraintsLazily_;
7799 if (((from_bitField2_ & 0x00000800) != 0)) {
7800 result.minOrthogonalityForLpConstraints_ = minOrthogonalityForLpConstraints_;
7801 to_bitField2_ |= 0x00000400;
7803 if (((from_bitField2_ & 0x00001000) != 0)) {
7804 to_bitField2_ |= 0x00000800;
7806 result.maxInactiveCount_ = maxInactiveCount_;
7807 if (((from_bitField2_ & 0x00002000) != 0)) {
7808 to_bitField2_ |= 0x00001000;
7810 result.constraintRemovalBatchSize_ = constraintRemovalBatchSize_;
7811 if (((from_bitField2_ & 0x00004000) != 0)) {
7812 to_bitField2_ |= 0x00002000;
7814 result.searchBranching_ = searchBranching_;
7815 if (((from_bitField2_ & 0x00008000) != 0)) {
7816 to_bitField2_ |= 0x00004000;
7818 result.exploitIntegerLpSolution_ = exploitIntegerLpSolution_;
7819 if (((from_bitField2_ & 0x00010000) != 0)) {
7820 to_bitField2_ |= 0x00008000;
7822 result.exploitAllLpSolution_ = exploitAllLpSolution_;
7823 if (((from_bitField2_ & 0x00020000) != 0)) {
7824 result.exploitBestSolution_ = exploitBestSolution_;
7825 to_bitField2_ |= 0x00010000;
7827 if (((from_bitField2_ & 0x00040000) != 0)) {
7828 to_bitField2_ |= 0x00020000;
7830 result.exploitObjective_ = exploitObjective_;
7831 if (((from_bitField2_ & 0x00080000) != 0)) {
7832 to_bitField2_ |= 0x00040000;
7834 result.pseudoCostReliabilityThreshold_ = pseudoCostReliabilityThreshold_;
7835 if (((from_bitField2_ & 0x00100000) != 0)) {
7836 result.optimizeWithCore_ = optimizeWithCore_;
7837 to_bitField2_ |= 0x00080000;
7839 if (((from_bitField2_ & 0x00200000) != 0)) {
7840 to_bitField2_ |= 0x00100000;
7842 result.binarySearchNumConflicts_ = binarySearchNumConflicts_;
7843 if (((from_bitField2_ & 0x00400000) != 0)) {
7844 result.optimizeWithMaxHs_ = optimizeWithMaxHs_;
7845 to_bitField2_ |= 0x00200000;
7847 if (((from_bitField2_ & 0x00800000) != 0)) {
7848 to_bitField2_ |= 0x00400000;
7850 result.cpModelPresolve_ = cpModelPresolve_;
7851 if (((from_bitField2_ & 0x01000000) != 0)) {
7852 to_bitField2_ |= 0x00800000;
7854 result.cpModelProbingLevel_ = cpModelProbingLevel_;
7855 if (((from_bitField2_ & 0x02000000) != 0)) {
7856 to_bitField2_ |= 0x01000000;
7858 result.cpModelUseSatPresolve_ = cpModelUseSatPresolve_;
7859 if (((from_bitField2_ & 0x04000000) != 0)) {
7860 result.enumerateAllSolutions_ = enumerateAllSolutions_;
7861 to_bitField2_ |= 0x02000000;
7863 if (((from_bitField2_ & 0x08000000) != 0)) {
7864 result.fillTightenedDomainsInResponse_ = fillTightenedDomainsInResponse_;
7865 to_bitField2_ |= 0x04000000;
7867 if (((from_bitField2_ & 0x10000000) != 0)) {
7868 to_bitField2_ |= 0x08000000;
7870 result.instantiateAllVariables_ = instantiateAllVariables_;
7871 if (((from_bitField2_ & 0x20000000) != 0)) {
7872 to_bitField2_ |= 0x10000000;
7874 result.autoDetectGreaterThanAtLeastOneOf_ = autoDetectGreaterThanAtLeastOneOf_;
7875 if (((from_bitField2_ & 0x40000000) != 0)) {
7876 result.stopAfterFirstSolution_ = stopAfterFirstSolution_;
7877 to_bitField2_ |= 0x20000000;
7879 if (((from_bitField2_ & 0x80000000) != 0)) {
7880 result.numSearchWorkers_ = numSearchWorkers_;
7881 to_bitField2_ |= 0x40000000;
7883 if (((from_bitField3_ & 0x00000001) != 0)) {
7884 to_bitField2_ |= 0x80000000;
7886 result.shareObjectiveBounds_ = shareObjectiveBounds_;
7887 if (((from_bitField3_ & 0x00000002) != 0)) {
7888 to_bitField3_ |= 0x00000001;
7890 result.shareLevelZeroBounds_ = shareLevelZeroBounds_;
7891 if (((from_bitField3_ & 0x00000004) != 0)) {
7892 result.useLns_ = useLns_;
7893 to_bitField3_ |= 0x00000002;
7895 if (((from_bitField3_ & 0x00000008) != 0)) {
7896 to_bitField3_ |= 0x00000004;
7898 result.lnsNumThreads_ = lnsNumThreads_;
7899 if (((from_bitField3_ & 0x00000010) != 0)) {
7900 to_bitField3_ |= 0x00000008;
7902 result.lnsIsDeterministic_ = lnsIsDeterministic_;
7903 if (((from_bitField3_ & 0x00000020) != 0)) {
7904 result.lnsFocusOnDecisionVariables_ = lnsFocusOnDecisionVariables_;
7905 to_bitField3_ |= 0x00000010;
7907 if (((from_bitField3_ & 0x00000040) != 0)) {
7908 result.useRinsLns_ = useRinsLns_;
7909 to_bitField3_ |= 0x00000020;
7911 if (((from_bitField3_ & 0x00000080) != 0)) {
7912 result.randomizeSearch_ = randomizeSearch_;
7913 to_bitField3_ |= 0x00000040;
7915 if (((from_bitField3_ & 0x00000100) != 0)) {
7916 result.searchRandomizationTolerance_ = searchRandomizationTolerance_;
7917 to_bitField3_ |= 0x00000080;
7919 if (((from_bitField3_ & 0x00000200) != 0)) {
7920 to_bitField3_ |= 0x00000100;
7922 result.useOptionalVariables_ = useOptionalVariables_;
7923 if (((from_bitField3_ & 0x00000400) != 0)) {
7924 to_bitField3_ |= 0x00000200;
7926 result.useExactLpReason_ = useExactLpReason_;
7927 if (((from_bitField3_ & 0x00000800) != 0)) {
7928 result.useCombinedNoOverlap_ = useCombinedNoOverlap_;
7929 to_bitField3_ |= 0x00000400;
7931 if (((from_bitField3_ & 0x00001000) != 0)) {
7932 to_bitField3_ |= 0x00000800;
7934 result.mipMaxBound_ = mipMaxBound_;
7935 if (((from_bitField3_ & 0x00002000) != 0)) {
7936 to_bitField3_ |= 0x00001000;
7938 result.mipVarScaling_ = mipVarScaling_;
7939 if (((from_bitField3_ & 0x00004000) != 0)) {
7940 to_bitField3_ |= 0x00002000;
7942 result.mipWantedPrecision_ = mipWantedPrecision_;
7943 if (((from_bitField3_ & 0x00008000) != 0)) {
7944 to_bitField3_ |= 0x00004000;
7946 result.mipMaxActivityExponent_ = mipMaxActivityExponent_;
7947 if (((from_bitField3_ & 0x00010000) != 0)) {
7948 to_bitField3_ |= 0x00008000;
7950 result.mipCheckPrecision_ = mipCheckPrecision_;
7951 if (((from_bitField3_ & 0x00020000) != 0)) {
7952 to_bitField3_ |= 0x00010000;
7954 result.catchSigintSignal_ = catchSigintSignal_;
7955 result.bitField0_ = to_bitField0_;
7956 result.bitField1_ = to_bitField1_;
7957 result.bitField2_ = to_bitField2_;
7958 result.bitField3_ = to_bitField3_;
7965 return super.
clone();
7969 com.
google.protobuf.Descriptors.FieldDescriptor field,
7970 java.lang.Object value) {
7971 return super.
setField(field, value);
7975 com.
google.protobuf.Descriptors.FieldDescriptor field) {
7980 com.
google.protobuf.Descriptors.OneofDescriptor oneof) {
7985 com.
google.protobuf.Descriptors.FieldDescriptor field,
7986 int index, java.lang.Object value) {
7991 com.
google.protobuf.Descriptors.FieldDescriptor field,
7992 java.lang.Object value) {
8000 super.mergeFrom(other);
8007 if (other.hasPreferredVariableOrder()) {
8010 if (other.hasInitialPolarity()) {
8013 if (other.hasUsePhaseSaving()) {
8016 if (other.hasRandomPolarityRatio()) {
8019 if (other.hasRandomBranchesRatio()) {
8022 if (other.hasUseErwaHeuristic()) {
8025 if (other.hasInitialVariablesActivity()) {
8028 if (other.hasAlsoBumpVariablesInConflictReasons()) {
8031 if (other.hasMinimizationAlgorithm()) {
8034 if (other.hasBinaryMinimizationAlgorithm()) {
8037 if (other.hasSubsumptionDuringConflictAnalysis()) {
8040 if (other.hasClauseCleanupPeriod()) {
8043 if (other.hasClauseCleanupTarget()) {
8046 if (other.hasClauseCleanupProtection()) {
8049 if (other.hasClauseCleanupLbdBound()) {
8052 if (other.hasClauseCleanupOrdering()) {
8055 if (other.hasPbCleanupIncrement()) {
8058 if (other.hasPbCleanupRatio()) {
8061 if (other.hasMinimizeWithPropagationRestartPeriod()) {
8064 if (other.hasMinimizeWithPropagationNumDecisions()) {
8067 if (other.hasVariableActivityDecay()) {
8070 if (other.hasMaxVariableActivityValue()) {
8073 if (other.hasGlucoseMaxDecay()) {
8076 if (other.hasGlucoseDecayIncrement()) {
8079 if (other.hasGlucoseDecayIncrementPeriod()) {
8082 if (other.hasClauseActivityDecay()) {
8085 if (other.hasMaxClauseActivityValue()) {
8088 if (!other.restartAlgorithms_.isEmpty()) {
8089 if (restartAlgorithms_.isEmpty()) {
8090 restartAlgorithms_ = other.restartAlgorithms_;
8091 bitField0_ = (bitField0_ & ~0x08000000);
8093 ensureRestartAlgorithmsIsMutable();
8094 restartAlgorithms_.addAll(other.restartAlgorithms_);
8098 if (other.hasDefaultRestartAlgorithms()) {
8099 bitField0_ |= 0x10000000;
8100 defaultRestartAlgorithms_ = other.defaultRestartAlgorithms_;
8103 if (other.hasRestartPeriod()) {
8106 if (other.hasRestartRunningWindowSize()) {
8109 if (other.hasRestartDlAverageRatio()) {
8112 if (other.hasRestartLbdAverageRatio()) {
8115 if (other.hasUseBlockingRestart()) {
8118 if (other.hasBlockingRestartWindowSize()) {
8121 if (other.hasBlockingRestartMultiplier()) {
8124 if (other.hasNumConflictsBeforeStrategyChanges()) {
8127 if (other.hasStrategyChangeIncreaseRatio()) {
8130 if (other.hasMaxTimeInSeconds()) {
8133 if (other.hasMaxDeterministicTime()) {
8136 if (other.hasMaxNumberOfConflicts()) {
8139 if (other.hasMaxMemoryInMb()) {
8142 if (other.hasTreatBinaryClausesSeparately()) {
8145 if (other.hasRandomSeed()) {
8148 if (other.hasLogSearchProgress()) {
8151 if (other.hasUsePbResolution()) {
8154 if (other.hasMinimizeReductionDuringPbResolution()) {
8157 if (other.hasCountAssumptionLevelsInLbd()) {
8160 if (other.hasPresolveBveThreshold()) {
8163 if (other.hasPresolveBveClauseWeight()) {
8166 if (other.hasPresolveProbingDeterministicTimeLimit()) {
8169 if (other.hasPresolveBlockedClause()) {
8172 if (other.hasPresolveUseBva()) {
8175 if (other.hasPresolveBvaThreshold()) {
8178 if (other.hasUseOptimizationHints()) {
8181 if (other.hasMinimizeCore()) {
8184 if (other.hasFindMultipleCores()) {
8187 if (other.hasCoverOptimization()) {
8190 if (other.hasMaxSatAssumptionOrder()) {
8193 if (other.hasMaxSatReverseAssumptionOrder()) {
8196 if (other.hasMaxSatStratification()) {
8199 if (other.hasUsePrecedencesInDisjunctiveConstraint()) {
8202 if (other.hasUseOverloadCheckerInCumulativeConstraint()) {
8205 if (other.hasUseTimetableEdgeFindingInCumulativeConstraint()) {
8208 if (other.hasUseDisjunctiveConstraintInCumulativeConstraint()) {
8211 if (other.hasLinearizationLevel()) {
8214 if (other.hasBooleanEncodingLevel()) {
8217 if (other.hasMaxNumCuts()) {
8220 if (other.hasOnlyAddCutsAtLevelZero()) {
8223 if (other.hasAddKnapsackCuts()) {
8226 if (other.hasAddCgCuts()) {
8229 if (other.hasAddMirCuts()) {
8232 if (other.hasUseMirRounding()) {
8235 if (other.hasMaxIntegerRoundingScaling()) {
8238 if (other.hasAddLpConstraintsLazily()) {
8241 if (other.hasMinOrthogonalityForLpConstraints()) {
8244 if (other.hasMaxInactiveCount()) {
8247 if (other.hasConstraintRemovalBatchSize()) {
8250 if (other.hasSearchBranching()) {
8253 if (other.hasExploitIntegerLpSolution()) {
8256 if (other.hasExploitAllLpSolution()) {
8259 if (other.hasExploitBestSolution()) {
8262 if (other.hasExploitObjective()) {
8265 if (other.hasPseudoCostReliabilityThreshold()) {
8268 if (other.hasOptimizeWithCore()) {
8271 if (other.hasBinarySearchNumConflicts()) {
8274 if (other.hasOptimizeWithMaxHs()) {
8277 if (other.hasCpModelPresolve()) {
8280 if (other.hasCpModelProbingLevel()) {
8283 if (other.hasCpModelUseSatPresolve()) {
8286 if (other.hasEnumerateAllSolutions()) {
8289 if (other.hasFillTightenedDomainsInResponse()) {
8292 if (other.hasInstantiateAllVariables()) {
8295 if (other.hasAutoDetectGreaterThanAtLeastOneOf()) {
8298 if (other.hasStopAfterFirstSolution()) {
8301 if (other.hasNumSearchWorkers()) {
8304 if (other.hasShareObjectiveBounds()) {
8307 if (other.hasShareLevelZeroBounds()) {
8310 if (other.hasUseLns()) {
8313 if (other.hasLnsNumThreads()) {
8316 if (other.hasLnsIsDeterministic()) {
8319 if (other.hasLnsFocusOnDecisionVariables()) {
8322 if (other.hasUseRinsLns()) {
8325 if (other.hasRandomizeSearch()) {
8328 if (other.hasSearchRandomizationTolerance()) {
8331 if (other.hasUseOptionalVariables()) {
8334 if (other.hasUseExactLpReason()) {
8337 if (other.hasUseCombinedNoOverlap()) {
8340 if (other.hasMipMaxBound()) {
8343 if (other.hasMipVarScaling()) {
8346 if (other.hasMipWantedPrecision()) {
8349 if (other.hasMipMaxActivityExponent()) {
8352 if (other.hasMipCheckPrecision()) {
8355 if (other.hasCatchSigintSignal()) {
8370 com.
google.protobuf.CodedInputStream input,
8371 com.
google.protobuf.ExtensionRegistryLite extensionRegistry)
8372 throws java.io.IOException {
8375 parsedMessage =
PARSER.parsePartialFrom(input, extensionRegistry);
8376 }
catch (
com.
google.protobuf.InvalidProtocolBufferException e) {
8378 throw e.unwrapIOException();
8380 if (parsedMessage !=
null) {
8386 private int bitField0_;
8387 private int bitField1_;
8388 private int bitField2_;
8389 private int bitField3_;
8391 private int preferredVariableOrder_ = 0;
8396 return ((bitField0_ & 0x00000001) != 0);
8402 @SuppressWarnings(
"deprecation")
8410 if (value ==
null) {
8411 throw new NullPointerException();
8413 bitField0_ |= 0x00000001;
8414 preferredVariableOrder_ = value.getNumber();
8422 bitField0_ = (bitField0_ & ~0x00000001);
8423 preferredVariableOrder_ = 0;
8428 private int initialPolarity_ = 1;
8433 return ((bitField0_ & 0x00000002) != 0);
8439 @SuppressWarnings(
"deprecation")
8447 if (value ==
null) {
8448 throw new NullPointerException();
8450 bitField0_ |= 0x00000002;
8451 initialPolarity_ = value.getNumber();
8459 bitField0_ = (bitField0_ & ~0x00000002);
8460 initialPolarity_ = 1;
8465 private boolean usePhaseSaving_ =
true;
8480 return ((bitField0_ & 0x00000004) != 0);
8496 return usePhaseSaving_;
8512 bitField0_ |= 0x00000004;
8513 usePhaseSaving_ = value;
8531 bitField0_ = (bitField0_ & ~0x00000004);
8532 usePhaseSaving_ =
true;
8537 private double randomPolarityRatio_ ;
8550 return ((bitField0_ & 0x00000008) != 0);
8564 return randomPolarityRatio_;
8578 bitField0_ |= 0x00000008;
8579 randomPolarityRatio_ = value;
8595 bitField0_ = (bitField0_ & ~0x00000008);
8596 randomPolarityRatio_ = 0D;
8601 private double randomBranchesRatio_ ;
8612 return ((bitField0_ & 0x00000010) != 0);
8624 return randomBranchesRatio_;
8636 bitField0_ |= 0x00000010;
8637 randomBranchesRatio_ = value;
8651 bitField0_ = (bitField0_ & ~0x00000010);
8652 randomBranchesRatio_ = 0D;
8657 private boolean useErwaHeuristic_ ;
8668 return ((bitField0_ & 0x00000020) != 0);
8680 return useErwaHeuristic_;
8692 bitField0_ |= 0x00000020;
8693 useErwaHeuristic_ = value;
8707 bitField0_ = (bitField0_ & ~0x00000020);
8708 useErwaHeuristic_ =
false;
8713 private double initialVariablesActivity_ ;
8727 return ((bitField0_ & 0x00000040) != 0);
8742 return initialVariablesActivity_;
8757 bitField0_ |= 0x00000040;
8758 initialVariablesActivity_ = value;
8775 bitField0_ = (bitField0_ & ~0x00000040);
8776 initialVariablesActivity_ = 0D;
8781 private boolean alsoBumpVariablesInConflictReasons_ ;
8793 return ((bitField0_ & 0x00000080) != 0);
8806 return alsoBumpVariablesInConflictReasons_;
8819 bitField0_ |= 0x00000080;
8820 alsoBumpVariablesInConflictReasons_ = value;
8835 bitField0_ = (bitField0_ & ~0x00000080);
8836 alsoBumpVariablesInConflictReasons_ =
false;
8841 private int minimizationAlgorithm_ = 2;
8846 return ((bitField0_ & 0x00000100) != 0);
8852 @SuppressWarnings(
"deprecation")
8860 if (value ==
null) {
8861 throw new NullPointerException();
8863 bitField0_ |= 0x00000100;
8864 minimizationAlgorithm_ = value.getNumber();
8872 bitField0_ = (bitField0_ & ~0x00000100);
8873 minimizationAlgorithm_ = 2;
8878 private int binaryMinimizationAlgorithm_ = 1;
8883 return ((bitField0_ & 0x00000200) != 0);
8889 @SuppressWarnings(
"deprecation")
8897 if (value ==
null) {
8898 throw new NullPointerException();
8900 bitField0_ |= 0x00000200;
8901 binaryMinimizationAlgorithm_ = value.getNumber();
8909 bitField0_ = (bitField0_ & ~0x00000200);
8910 binaryMinimizationAlgorithm_ = 1;
8915 private boolean subsumptionDuringConflictAnalysis_ =
true;
8927 return ((bitField0_ & 0x00000400) != 0);
8940 return subsumptionDuringConflictAnalysis_;
8953 bitField0_ |= 0x00000400;
8954 subsumptionDuringConflictAnalysis_ = value;
8969 bitField0_ = (bitField0_ & ~0x00000400);
8970 subsumptionDuringConflictAnalysis_ =
true;
8975 private int clauseCleanupPeriod_ = 10000;
8984 return ((bitField0_ & 0x00000800) != 0);
8994 return clauseCleanupPeriod_;
9004 bitField0_ |= 0x00000800;
9005 clauseCleanupPeriod_ = value;
9017 bitField0_ = (bitField0_ & ~0x00000800);
9018 clauseCleanupPeriod_ = 10000;
9023 private int clauseCleanupTarget_ = 10000;
9033 return ((bitField0_ & 0x00001000) != 0);
9044 return clauseCleanupTarget_;
9055 bitField0_ |= 0x00001000;
9056 clauseCleanupTarget_ = value;
9069 bitField0_ = (bitField0_ & ~0x00001000);
9070 clauseCleanupTarget_ = 10000;
9075 private int clauseCleanupProtection_ = 0;
9080 return ((bitField0_ & 0x00002000) != 0);
9086 @SuppressWarnings(
"deprecation")
9094 if (value ==
null) {
9095 throw new NullPointerException();
9097 bitField0_ |= 0x00002000;
9098 clauseCleanupProtection_ = value.getNumber();
9106 bitField0_ = (bitField0_ & ~0x00002000);
9107 clauseCleanupProtection_ = 0;
9112 private int clauseCleanupLbdBound_ = 5;
9122 return ((bitField0_ & 0x00004000) != 0);
9133 return clauseCleanupLbdBound_;
9144 bitField0_ |= 0x00004000;
9145 clauseCleanupLbdBound_ = value;
9158 bitField0_ = (bitField0_ & ~0x00004000);
9159 clauseCleanupLbdBound_ = 5;
9164 private int clauseCleanupOrdering_ = 0;
9169 return ((bitField0_ & 0x00008000) != 0);
9175 @SuppressWarnings(
"deprecation")
9183 if (value ==
null) {
9184 throw new NullPointerException();
9186 bitField0_ |= 0x00008000;
9187 clauseCleanupOrdering_ = value.getNumber();
9195 bitField0_ = (bitField0_ & ~0x00008000);
9196 clauseCleanupOrdering_ = 0;
9201 private int pbCleanupIncrement_ = 200;
9210 return ((bitField0_ & 0x00010000) != 0);
9220 return pbCleanupIncrement_;
9230 bitField0_ |= 0x00010000;
9231 pbCleanupIncrement_ = value;
9243 bitField0_ = (bitField0_ & ~0x00010000);
9244 pbCleanupIncrement_ = 200;
9249 private double pbCleanupRatio_ = 0.5D;
9254 return ((bitField0_ & 0x00020000) != 0);
9260 return pbCleanupRatio_;
9266 bitField0_ |= 0x00020000;
9267 pbCleanupRatio_ = value;
9275 bitField0_ = (bitField0_ & ~0x00020000);
9276 pbCleanupRatio_ = 0.5D;
9281 private int minimizeWithPropagationRestartPeriod_ = 10;
9300 return ((bitField0_ & 0x00040000) != 0);
9320 return minimizeWithPropagationRestartPeriod_;
9340 bitField0_ |= 0x00040000;
9341 minimizeWithPropagationRestartPeriod_ = value;
9363 bitField0_ = (bitField0_ & ~0x00040000);
9364 minimizeWithPropagationRestartPeriod_ = 10;
9369 private int minimizeWithPropagationNumDecisions_ = 1000;
9374 return ((bitField0_ & 0x00080000) != 0);
9380 return minimizeWithPropagationNumDecisions_;
9386 bitField0_ |= 0x00080000;
9387 minimizeWithPropagationNumDecisions_ = value;
9395 bitField0_ = (bitField0_ & ~0x00080000);
9396 minimizeWithPropagationNumDecisions_ = 1000;
9401 private double variableActivityDecay_ = 0.8D;
9416 return ((bitField0_ & 0x00100000) != 0);
9432 return variableActivityDecay_;
9448 bitField0_ |= 0x00100000;
9449 variableActivityDecay_ = value;
9467 bitField0_ = (bitField0_ & ~0x00100000);
9468 variableActivityDecay_ = 0.8D;
9473 private double maxVariableActivityValue_ = 1e+100D;
9478 return ((bitField0_ & 0x00200000) != 0);
9484 return maxVariableActivityValue_;
9490 bitField0_ |= 0x00200000;
9491 maxVariableActivityValue_ = value;
9499 bitField0_ = (bitField0_ & ~0x00200000);
9500 maxVariableActivityValue_ = 1e+100D;
9505 private double glucoseMaxDecay_ = 0.95D;
9517 return ((bitField0_ & 0x00400000) != 0);
9530 return glucoseMaxDecay_;
9543 bitField0_ |= 0x00400000;
9544 glucoseMaxDecay_ = value;
9559 bitField0_ = (bitField0_ & ~0x00400000);
9560 glucoseMaxDecay_ = 0.95D;
9565 private double glucoseDecayIncrement_ = 0.01D;
9570 return ((bitField0_ & 0x00800000) != 0);
9576 return glucoseDecayIncrement_;
9582 bitField0_ |= 0x00800000;
9583 glucoseDecayIncrement_ = value;
9591 bitField0_ = (bitField0_ & ~0x00800000);
9592 glucoseDecayIncrement_ = 0.01D;
9597 private int glucoseDecayIncrementPeriod_ = 5000;
9602 return ((bitField0_ & 0x01000000) != 0);
9608 return glucoseDecayIncrementPeriod_;
9614 bitField0_ |= 0x01000000;
9615 glucoseDecayIncrementPeriod_ = value;
9623 bitField0_ = (bitField0_ & ~0x01000000);
9624 glucoseDecayIncrementPeriod_ = 5000;
9629 private double clauseActivityDecay_ = 0.999D;
9638 return ((bitField0_ & 0x02000000) != 0);
9648 return clauseActivityDecay_;
9658 bitField0_ |= 0x02000000;
9659 clauseActivityDecay_ = value;
9671 bitField0_ = (bitField0_ & ~0x02000000);
9672 clauseActivityDecay_ = 0.999D;
9677 private double maxClauseActivityValue_ = 1e+20D;
9682 return ((bitField0_ & 0x04000000) != 0);
9688 return maxClauseActivityValue_;
9694 bitField0_ |= 0x04000000;
9695 maxClauseActivityValue_ = value;
9703 bitField0_ = (bitField0_ & ~0x04000000);
9704 maxClauseActivityValue_ = 1e+20D;
9709 private java.util.List<java.lang.Integer> restartAlgorithms_ =
9710 java.util.Collections.emptyList();
9711 private void ensureRestartAlgorithmsIsMutable() {
9712 if (!((bitField0_ & 0x08000000) != 0)) {
9713 restartAlgorithms_ =
new java.util.ArrayList<java.lang.Integer>(restartAlgorithms_);
9714 bitField0_ |= 0x08000000;
9732 return new com.
google.protobuf.Internal.ListAdapter<
9750 return restartAlgorithms_.size();
9767 return restartAlgorithms_converter_.convert(restartAlgorithms_.get(index));
9785 if (value ==
null) {
9786 throw new NullPointerException();
9788 ensureRestartAlgorithmsIsMutable();
9789 restartAlgorithms_.set(index, value.getNumber());
9808 if (value ==
null) {
9809 throw new NullPointerException();
9811 ensureRestartAlgorithmsIsMutable();
9812 restartAlgorithms_.add(value.getNumber());
9832 ensureRestartAlgorithmsIsMutable();
9834 restartAlgorithms_.add(value.getNumber());
9854 restartAlgorithms_ = java.util.Collections.emptyList();
9855 bitField0_ = (bitField0_ & ~0x08000000);
9860 private java.lang.Object defaultRestartAlgorithms_ =
"LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,DL_MOVING_AVERAGE_RESTART";
9865 return ((bitField0_ & 0x10000000) != 0);
9871 java.lang.Object ref = defaultRestartAlgorithms_;
9872 if (!(ref instanceof java.lang.String)) {
9875 java.lang.String s = bs.toStringUtf8();
9876 if (bs.isValidUtf8()) {
9877 defaultRestartAlgorithms_ = s;
9881 return (java.lang.String) ref;
9889 java.lang.Object ref = defaultRestartAlgorithms_;
9890 if (ref instanceof String) {
9892 com.
google.protobuf.ByteString.copyFromUtf8(
9893 (java.lang.String) ref);
9894 defaultRestartAlgorithms_ = b;
9897 return (
com.
google.protobuf.ByteString) ref;
9904 java.lang.String value) {
9905 if (value ==
null) {
9906 throw new NullPointerException();
9908 bitField0_ |= 0x10000000;
9909 defaultRestartAlgorithms_ = value;
9917 bitField0_ = (bitField0_ & ~0x10000000);
9927 if (value ==
null) {
9928 throw new NullPointerException();
9930 bitField0_ |= 0x10000000;
9931 defaultRestartAlgorithms_ = value;
9936 private int restartPeriod_ = 50;
9946 return ((bitField0_ & 0x20000000) != 0);
9957 return restartPeriod_;
9968 bitField0_ |= 0x20000000;
9969 restartPeriod_ = value;
9982 bitField0_ = (bitField0_ & ~0x20000000);
9983 restartPeriod_ = 50;
9988 private int restartRunningWindowSize_ = 50;
9997 return ((bitField0_ & 0x40000000) != 0);
10007 return restartRunningWindowSize_;
10017 bitField0_ |= 0x40000000;
10018 restartRunningWindowSize_ = value;
10030 bitField0_ = (bitField0_ & ~0x40000000);
10031 restartRunningWindowSize_ = 50;
10036 private double restartDlAverageRatio_ = 1D;
10046 return ((bitField0_ & 0x80000000) != 0);
10057 return restartDlAverageRatio_;
10068 bitField0_ |= 0x80000000;
10069 restartDlAverageRatio_ = value;
10082 bitField0_ = (bitField0_ & ~0x80000000);
10083 restartDlAverageRatio_ = 1D;
10088 private double restartLbdAverageRatio_ = 1D;
10093 return ((bitField1_ & 0x00000001) != 0);
10099 return restartLbdAverageRatio_;
10105 bitField1_ |= 0x00000001;
10106 restartLbdAverageRatio_ = value;
10114 bitField1_ = (bitField1_ & ~0x00000001);
10115 restartLbdAverageRatio_ = 1D;
10120 private boolean useBlockingRestart_ ;
10131 return ((bitField1_ & 0x00000002) != 0);
10143 return useBlockingRestart_;
10155 bitField1_ |= 0x00000002;
10156 useBlockingRestart_ = value;
10170 bitField1_ = (bitField1_ & ~0x00000002);
10171 useBlockingRestart_ =
false;
10176 private int blockingRestartWindowSize_ = 5000;
10181 return ((bitField1_ & 0x00000004) != 0);
10187 return blockingRestartWindowSize_;
10193 bitField1_ |= 0x00000004;
10194 blockingRestartWindowSize_ = value;
10202 bitField1_ = (bitField1_ & ~0x00000004);
10203 blockingRestartWindowSize_ = 5000;
10208 private double blockingRestartMultiplier_ = 1.4D;
10213 return ((bitField1_ & 0x00000008) != 0);
10219 return blockingRestartMultiplier_;
10225 bitField1_ |= 0x00000008;
10226 blockingRestartMultiplier_ = value;
10234 bitField1_ = (bitField1_ & ~0x00000008);
10235 blockingRestartMultiplier_ = 1.4D;
10240 private int numConflictsBeforeStrategyChanges_ ;
10251 return ((bitField1_ & 0x00000010) != 0);
10263 return numConflictsBeforeStrategyChanges_;
10275 bitField1_ |= 0x00000010;
10276 numConflictsBeforeStrategyChanges_ = value;
10290 bitField1_ = (bitField1_ & ~0x00000010);
10291 numConflictsBeforeStrategyChanges_ = 0;
10296 private double strategyChangeIncreaseRatio_ ;
10306 return ((bitField1_ & 0x00000020) != 0);
10317 return strategyChangeIncreaseRatio_;
10328 bitField1_ |= 0x00000020;
10329 strategyChangeIncreaseRatio_ = value;
10342 bitField1_ = (bitField1_ & ~0x00000020);
10343 strategyChangeIncreaseRatio_ = 0D;
10348 private double maxTimeInSeconds_ = Double.POSITIVE_INFINITY;
10359 return ((bitField1_ & 0x00000040) != 0);
10371 return maxTimeInSeconds_;
10383 bitField1_ |= 0x00000040;
10384 maxTimeInSeconds_ = value;
10398 bitField1_ = (bitField1_ & ~0x00000040);
10399 maxTimeInSeconds_ = Double.POSITIVE_INFINITY;
10404 private double maxDeterministicTime_ = Double.POSITIVE_INFINITY;
10417 return ((bitField1_ & 0x00000080) != 0);
10431 return maxDeterministicTime_;
10445 bitField1_ |= 0x00000080;
10446 maxDeterministicTime_ = value;
10462 bitField1_ = (bitField1_ & ~0x00000080);
10463 maxDeterministicTime_ = Double.POSITIVE_INFINITY;
10468 private long maxNumberOfConflicts_ = 9223372036854775807L;
10477 return ((bitField1_ & 0x00000100) != 0);
10487 return maxNumberOfConflicts_;
10497 bitField1_ |= 0x00000100;
10498 maxNumberOfConflicts_ = value;
10510 bitField1_ = (bitField1_ & ~0x00000100);
10511 maxNumberOfConflicts_ = 9223372036854775807L;
10516 private long maxMemoryInMb_ = 10000L;
10528 return ((bitField1_ & 0x00000200) != 0);
10541 return maxMemoryInMb_;
10554 bitField1_ |= 0x00000200;
10555 maxMemoryInMb_ = value;
10570 bitField1_ = (bitField1_ & ~0x00000200);
10571 maxMemoryInMb_ = 10000L;
10576 private boolean treatBinaryClausesSeparately_ =
true;
10587 return ((bitField1_ & 0x00000400) != 0);
10599 return treatBinaryClausesSeparately_;
10611 bitField1_ |= 0x00000400;
10612 treatBinaryClausesSeparately_ = value;
10626 bitField1_ = (bitField1_ & ~0x00000400);
10627 treatBinaryClausesSeparately_ =
true;
10632 private int randomSeed_ = 1;
10646 return ((bitField1_ & 0x00000800) != 0);
10661 return randomSeed_;
10676 bitField1_ |= 0x00000800;
10677 randomSeed_ = value;
10694 bitField1_ = (bitField1_ & ~0x00000800);
10700 private boolean logSearchProgress_ ;
10709 return ((bitField1_ & 0x00001000) != 0);
10719 return logSearchProgress_;
10729 bitField1_ |= 0x00001000;
10730 logSearchProgress_ = value;
10742 bitField1_ = (bitField1_ & ~0x00001000);
10743 logSearchProgress_ =
false;
10748 private boolean usePbResolution_ ;
10760 return ((bitField1_ & 0x00002000) != 0);
10773 return usePbResolution_;
10786 bitField1_ |= 0x00002000;
10787 usePbResolution_ = value;
10802 bitField1_ = (bitField1_ & ~0x00002000);
10803 usePbResolution_ =
false;
10808 private boolean minimizeReductionDuringPbResolution_ ;
10820 return ((bitField1_ & 0x00004000) != 0);
10833 return minimizeReductionDuringPbResolution_;
10846 bitField1_ |= 0x00004000;
10847 minimizeReductionDuringPbResolution_ = value;
10862 bitField1_ = (bitField1_ & ~0x00004000);
10863 minimizeReductionDuringPbResolution_ =
false;
10868 private boolean countAssumptionLevelsInLbd_ =
true;
10884 return ((bitField1_ & 0x00008000) != 0);
10901 return countAssumptionLevelsInLbd_;
10918 bitField1_ |= 0x00008000;
10919 countAssumptionLevelsInLbd_ = value;
10938 bitField1_ = (bitField1_ & ~0x00008000);
10939 countAssumptionLevelsInLbd_ =
true;
10944 private int presolveBveThreshold_ = 500;
10955 return ((bitField1_ & 0x00010000) != 0);
10967 return presolveBveThreshold_;
10979 bitField1_ |= 0x00010000;
10980 presolveBveThreshold_ = value;
10994 bitField1_ = (bitField1_ & ~0x00010000);
10995 presolveBveThreshold_ = 500;
11000 private int presolveBveClauseWeight_ = 3;
11010 return ((bitField1_ & 0x00020000) != 0);
11021 return presolveBveClauseWeight_;
11032 bitField1_ |= 0x00020000;
11033 presolveBveClauseWeight_ = value;
11046 bitField1_ = (bitField1_ & ~0x00020000);
11047 presolveBveClauseWeight_ = 3;
11052 private double presolveProbingDeterministicTimeLimit_ = 30D;
11062 return ((bitField1_ & 0x00040000) != 0);
11073 return presolveProbingDeterministicTimeLimit_;
11084 bitField1_ |= 0x00040000;
11085 presolveProbingDeterministicTimeLimit_ = value;
11098 bitField1_ = (bitField1_ & ~0x00040000);
11099 presolveProbingDeterministicTimeLimit_ = 30D;
11104 private boolean presolveBlockedClause_ =
true;
11114 return ((bitField1_ & 0x00080000) != 0);
11125 return presolveBlockedClause_;
11136 bitField1_ |= 0x00080000;
11137 presolveBlockedClause_ = value;
11150 bitField1_ = (bitField1_ & ~0x00080000);
11151 presolveBlockedClause_ =
true;
11156 private boolean presolveUseBva_ =
true;
11165 return ((bitField1_ & 0x00100000) != 0);
11175 return presolveUseBva_;
11185 bitField1_ |= 0x00100000;
11186 presolveUseBva_ = value;
11198 bitField1_ = (bitField1_ & ~0x00100000);
11199 presolveUseBva_ =
true;
11204 private int presolveBvaThreshold_ = 1;
11216 return ((bitField1_ & 0x00200000) != 0);
11229 return presolveBvaThreshold_;
11242 bitField1_ |= 0x00200000;
11243 presolveBvaThreshold_ = value;
11258 bitField1_ = (bitField1_ & ~0x00200000);
11259 presolveBvaThreshold_ = 1;
11264 private boolean useOptimizationHints_ =
true;
11276 return ((bitField1_ & 0x00400000) != 0);
11289 return useOptimizationHints_;
11302 bitField1_ |= 0x00400000;
11303 useOptimizationHints_ = value;
11318 bitField1_ = (bitField1_ & ~0x00400000);
11319 useOptimizationHints_ =
true;
11324 private boolean minimizeCore_ =
true;
11333 return ((bitField1_ & 0x00800000) != 0);
11343 return minimizeCore_;
11353 bitField1_ |= 0x00800000;
11354 minimizeCore_ = value;
11366 bitField1_ = (bitField1_ & ~0x00800000);
11367 minimizeCore_ =
true;
11372 private boolean findMultipleCores_ =
true;
11382 return ((bitField1_ & 0x01000000) != 0);
11393 return findMultipleCores_;
11404 bitField1_ |= 0x01000000;
11405 findMultipleCores_ = value;
11418 bitField1_ = (bitField1_ & ~0x01000000);
11419 findMultipleCores_ =
true;
11424 private boolean coverOptimization_ =
true;
11434 return ((bitField1_ & 0x02000000) != 0);
11445 return coverOptimization_;
11456 bitField1_ |= 0x02000000;
11457 coverOptimization_ = value;
11470 bitField1_ = (bitField1_ & ~0x02000000);
11471 coverOptimization_ =
true;
11476 private int maxSatAssumptionOrder_ = 0;
11481 return ((bitField1_ & 0x04000000) != 0);
11487 @SuppressWarnings(
"deprecation")
11495 if (value ==
null) {
11496 throw new NullPointerException();
11498 bitField1_ |= 0x04000000;
11499 maxSatAssumptionOrder_ = value.getNumber();
11507 bitField1_ = (bitField1_ & ~0x04000000);
11508 maxSatAssumptionOrder_ = 0;
11513 private boolean maxSatReverseAssumptionOrder_ ;
11523 return ((bitField1_ & 0x08000000) != 0);
11534 return maxSatReverseAssumptionOrder_;
11545 bitField1_ |= 0x08000000;
11546 maxSatReverseAssumptionOrder_ = value;
11559 bitField1_ = (bitField1_ & ~0x08000000);
11560 maxSatReverseAssumptionOrder_ =
false;
11565 private int maxSatStratification_ = 1;
11570 return ((bitField1_ & 0x10000000) != 0);
11576 @SuppressWarnings(
"deprecation")
11584 if (value ==
null) {
11585 throw new NullPointerException();
11587 bitField1_ |= 0x10000000;
11588 maxSatStratification_ = value.getNumber();
11596 bitField1_ = (bitField1_ & ~0x10000000);
11597 maxSatStratification_ = 1;
11602 private boolean usePrecedencesInDisjunctiveConstraint_ =
true;
11618 return ((bitField1_ & 0x20000000) != 0);
11635 return usePrecedencesInDisjunctiveConstraint_;
11652 bitField1_ |= 0x20000000;
11653 usePrecedencesInDisjunctiveConstraint_ = value;
11672 bitField1_ = (bitField1_ & ~0x20000000);
11673 usePrecedencesInDisjunctiveConstraint_ =
true;
11678 private boolean useOverloadCheckerInCumulativeConstraint_ ;
11692 return ((bitField1_ & 0x40000000) != 0);
11707 return useOverloadCheckerInCumulativeConstraint_;
11722 bitField1_ |= 0x40000000;
11723 useOverloadCheckerInCumulativeConstraint_ = value;
11740 bitField1_ = (bitField1_ & ~0x40000000);
11741 useOverloadCheckerInCumulativeConstraint_ =
false;
11746 private boolean useTimetableEdgeFindingInCumulativeConstraint_ ;
11760 return ((bitField1_ & 0x80000000) != 0);
11775 return useTimetableEdgeFindingInCumulativeConstraint_;
11790 bitField1_ |= 0x80000000;
11791 useTimetableEdgeFindingInCumulativeConstraint_ = value;
11808 bitField1_ = (bitField1_ & ~0x80000000);
11809 useTimetableEdgeFindingInCumulativeConstraint_ =
false;
11814 private boolean useDisjunctiveConstraintInCumulativeConstraint_ =
true;
11830 return ((bitField2_ & 0x00000001) != 0);
11847 return useDisjunctiveConstraintInCumulativeConstraint_;
11864 bitField2_ |= 0x00000001;
11865 useDisjunctiveConstraintInCumulativeConstraint_ = value;
11884 bitField2_ = (bitField2_ & ~0x00000001);
11885 useDisjunctiveConstraintInCumulativeConstraint_ =
true;
11890 private int linearizationLevel_ = 1;
11902 return ((bitField2_ & 0x00000002) != 0);
11915 return linearizationLevel_;
11928 bitField2_ |= 0x00000002;
11929 linearizationLevel_ = value;
11944 bitField2_ = (bitField2_ & ~0x00000002);
11945 linearizationLevel_ = 1;
11950 private int booleanEncodingLevel_ = 1;
11960 return ((bitField2_ & 0x00000004) != 0);
11971 return booleanEncodingLevel_;
11982 bitField2_ |= 0x00000004;
11983 booleanEncodingLevel_ = value;
11996 bitField2_ = (bitField2_ & ~0x00000004);
11997 booleanEncodingLevel_ = 1;
12002 private int maxNumCuts_ = 1000;
12012 return ((bitField2_ & 0x00000008) != 0);
12023 return maxNumCuts_;
12034 bitField2_ |= 0x00000008;
12035 maxNumCuts_ = value;
12048 bitField2_ = (bitField2_ & ~0x00000008);
12049 maxNumCuts_ = 1000;
12054 private boolean onlyAddCutsAtLevelZero_ ;
12064 return ((bitField2_ & 0x00000010) != 0);
12075 return onlyAddCutsAtLevelZero_;
12086 bitField2_ |= 0x00000010;
12087 onlyAddCutsAtLevelZero_ = value;
12100 bitField2_ = (bitField2_ & ~0x00000010);
12101 onlyAddCutsAtLevelZero_ =
false;
12106 private boolean addKnapsackCuts_ ;
12117 return ((bitField2_ & 0x00000020) != 0);
12129 return addKnapsackCuts_;
12141 bitField2_ |= 0x00000020;
12142 addKnapsackCuts_ = value;
12156 bitField2_ = (bitField2_ & ~0x00000020);
12157 addKnapsackCuts_ =
false;
12162 private boolean addCgCuts_ ;
12172 return ((bitField2_ & 0x00000040) != 0);
12194 bitField2_ |= 0x00000040;
12195 addCgCuts_ = value;
12208 bitField2_ = (bitField2_ & ~0x00000040);
12209 addCgCuts_ =
false;
12214 private boolean addMirCuts_ =
true;
12224 return ((bitField2_ & 0x00000080) != 0);
12235 return addMirCuts_;
12246 bitField2_ |= 0x00000080;
12247 addMirCuts_ = value;
12260 bitField2_ = (bitField2_ & ~0x00000080);
12261 addMirCuts_ =
true;
12266 private boolean useMirRounding_ =
true;
12277 return ((bitField2_ & 0x00000100) != 0);
12289 return useMirRounding_;
12301 bitField2_ |= 0x00000100;
12302 useMirRounding_ = value;
12316 bitField2_ = (bitField2_ & ~0x00000100);
12317 useMirRounding_ =
true;
12322 private int maxIntegerRoundingScaling_ = 600;
12335 return ((bitField2_ & 0x00000200) != 0);
12349 return maxIntegerRoundingScaling_;
12363 bitField2_ |= 0x00000200;
12364 maxIntegerRoundingScaling_ = value;
12380 bitField2_ = (bitField2_ & ~0x00000200);
12381 maxIntegerRoundingScaling_ = 600;
12386 private boolean addLpConstraintsLazily_ =
true;
12398 return ((bitField2_ & 0x00000400) != 0);
12411 return addLpConstraintsLazily_;
12424 bitField2_ |= 0x00000400;
12425 addLpConstraintsLazily_ = value;
12440 bitField2_ = (bitField2_ & ~0x00000400);
12441 addLpConstraintsLazily_ =
true;
12446 private double minOrthogonalityForLpConstraints_ ;
12459 return ((bitField2_ & 0x00000800) != 0);
12473 return minOrthogonalityForLpConstraints_;
12487 bitField2_ |= 0x00000800;
12488 minOrthogonalityForLpConstraints_ = value;
12504 bitField2_ = (bitField2_ & ~0x00000800);
12505 minOrthogonalityForLpConstraints_ = 0D;
12510 private long maxInactiveCount_ = 1000L;
12520 return ((bitField2_ & 0x00001000) != 0);
12531 return maxInactiveCount_;
12542 bitField2_ |= 0x00001000;
12543 maxInactiveCount_ = value;
12556 bitField2_ = (bitField2_ & ~0x00001000);
12557 maxInactiveCount_ = 1000L;
12562 private long constraintRemovalBatchSize_ = 100L;
12572 return ((bitField2_ & 0x00002000) != 0);
12583 return constraintRemovalBatchSize_;
12594 bitField2_ |= 0x00002000;
12595 constraintRemovalBatchSize_ = value;
12608 bitField2_ = (bitField2_ & ~0x00002000);
12609 constraintRemovalBatchSize_ = 100L;
12614 private int searchBranching_ = 0;
12619 return ((bitField2_ & 0x00004000) != 0);
12625 @SuppressWarnings(
"deprecation")
12633 if (value ==
null) {
12634 throw new NullPointerException();
12636 bitField2_ |= 0x00004000;
12637 searchBranching_ = value.getNumber();
12645 bitField2_ = (bitField2_ & ~0x00004000);
12646 searchBranching_ = 0;
12651 private boolean exploitIntegerLpSolution_ =
true;
12663 return ((bitField2_ & 0x00008000) != 0);
12676 return exploitIntegerLpSolution_;
12689 bitField2_ |= 0x00008000;
12690 exploitIntegerLpSolution_ = value;
12705 bitField2_ = (bitField2_ & ~0x00008000);
12706 exploitIntegerLpSolution_ =
true;
12711 private boolean exploitAllLpSolution_ =
true;
12722 return ((bitField2_ & 0x00010000) != 0);
12734 return exploitAllLpSolution_;
12746 bitField2_ |= 0x00010000;
12747 exploitAllLpSolution_ = value;
12761 bitField2_ = (bitField2_ & ~0x00010000);
12762 exploitAllLpSolution_ =
true;
12767 private boolean exploitBestSolution_ ;
12776 return ((bitField2_ & 0x00020000) != 0);
12786 return exploitBestSolution_;
12796 bitField2_ |= 0x00020000;
12797 exploitBestSolution_ = value;
12809 bitField2_ = (bitField2_ & ~0x00020000);
12810 exploitBestSolution_ =
false;
12815 private boolean exploitObjective_ =
true;
12825 return ((bitField2_ & 0x00040000) != 0);
12836 return exploitObjective_;
12847 bitField2_ |= 0x00040000;
12848 exploitObjective_ = value;
12861 bitField2_ = (bitField2_ & ~0x00040000);
12862 exploitObjective_ =
true;
12867 private long pseudoCostReliabilityThreshold_ = 100L;
12877 return ((bitField2_ & 0x00080000) != 0);
12888 return pseudoCostReliabilityThreshold_;
12899 bitField2_ |= 0x00080000;
12900 pseudoCostReliabilityThreshold_ = value;
12913 bitField2_ = (bitField2_ & ~0x00080000);
12914 pseudoCostReliabilityThreshold_ = 100L;
12919 private boolean optimizeWithCore_ ;
12931 return ((bitField2_ & 0x00100000) != 0);
12944 return optimizeWithCore_;
12957 bitField2_ |= 0x00100000;
12958 optimizeWithCore_ = value;
12973 bitField2_ = (bitField2_ & ~0x00100000);
12974 optimizeWithCore_ =
false;
12979 private int binarySearchNumConflicts_ = -1;
12991 return ((bitField2_ & 0x00200000) != 0);
13004 return binarySearchNumConflicts_;
13017 bitField2_ |= 0x00200000;
13018 binarySearchNumConflicts_ = value;
13033 bitField2_ = (bitField2_ & ~0x00200000);
13034 binarySearchNumConflicts_ = -1;
13039 private boolean optimizeWithMaxHs_ ;
13053 return ((bitField2_ & 0x00400000) != 0);
13068 return optimizeWithMaxHs_;
13083 bitField2_ |= 0x00400000;
13084 optimizeWithMaxHs_ = value;
13101 bitField2_ = (bitField2_ & ~0x00400000);
13102 optimizeWithMaxHs_ =
false;
13107 private boolean cpModelPresolve_ =
true;
13116 return ((bitField2_ & 0x00800000) != 0);
13126 return cpModelPresolve_;
13136 bitField2_ |= 0x00800000;
13137 cpModelPresolve_ = value;
13149 bitField2_ = (bitField2_ & ~0x00800000);
13150 cpModelPresolve_ =
true;
13155 private int cpModelProbingLevel_ = 2;
13164 return ((bitField2_ & 0x01000000) != 0);
13174 return cpModelProbingLevel_;
13184 bitField2_ |= 0x01000000;
13185 cpModelProbingLevel_ = value;
13197 bitField2_ = (bitField2_ & ~0x01000000);
13198 cpModelProbingLevel_ = 2;
13203 private boolean cpModelUseSatPresolve_ =
true;
13212 return ((bitField2_ & 0x02000000) != 0);
13222 return cpModelUseSatPresolve_;
13232 bitField2_ |= 0x02000000;
13233 cpModelUseSatPresolve_ = value;
13245 bitField2_ = (bitField2_ & ~0x02000000);
13246 cpModelUseSatPresolve_ =
true;
13251 private boolean enumerateAllSolutions_ ;
13265 return ((bitField2_ & 0x04000000) != 0);
13280 return enumerateAllSolutions_;
13295 bitField2_ |= 0x04000000;
13296 enumerateAllSolutions_ = value;
13313 bitField2_ = (bitField2_ & ~0x04000000);
13314 enumerateAllSolutions_ =
false;
13319 private boolean fillTightenedDomainsInResponse_ ;
13332 return ((bitField2_ & 0x08000000) != 0);
13346 return fillTightenedDomainsInResponse_;
13360 bitField2_ |= 0x08000000;
13361 fillTightenedDomainsInResponse_ = value;
13377 bitField2_ = (bitField2_ & ~0x08000000);
13378 fillTightenedDomainsInResponse_ =
false;
13383 private boolean instantiateAllVariables_ =
true;
13393 return ((bitField2_ & 0x10000000) != 0);
13404 return instantiateAllVariables_;
13415 bitField2_ |= 0x10000000;
13416 instantiateAllVariables_ = value;
13429 bitField2_ = (bitField2_ & ~0x10000000);
13430 instantiateAllVariables_ =
true;
13435 private boolean autoDetectGreaterThanAtLeastOneOf_ =
true;
13447 return ((bitField2_ & 0x20000000) != 0);
13460 return autoDetectGreaterThanAtLeastOneOf_;
13473 bitField2_ |= 0x20000000;
13474 autoDetectGreaterThanAtLeastOneOf_ = value;
13489 bitField2_ = (bitField2_ & ~0x20000000);
13490 autoDetectGreaterThanAtLeastOneOf_ =
true;
13495 private boolean stopAfterFirstSolution_ ;
13504 return ((bitField2_ & 0x40000000) != 0);
13514 return stopAfterFirstSolution_;
13524 bitField2_ |= 0x40000000;
13525 stopAfterFirstSolution_ = value;
13537 bitField2_ = (bitField2_ & ~0x40000000);
13538 stopAfterFirstSolution_ =
false;
13543 private int numSearchWorkers_ ;
13555 return ((bitField2_ & 0x80000000) != 0);
13568 return numSearchWorkers_;
13581 bitField2_ |= 0x80000000;
13582 numSearchWorkers_ = value;
13597 bitField2_ = (bitField2_ & ~0x80000000);
13598 numSearchWorkers_ = 0;
13603 private boolean shareObjectiveBounds_ =
true;
13612 return ((bitField3_ & 0x00000001) != 0);
13622 return shareObjectiveBounds_;
13632 bitField3_ |= 0x00000001;
13633 shareObjectiveBounds_ = value;
13645 bitField3_ = (bitField3_ & ~0x00000001);
13646 shareObjectiveBounds_ =
true;
13651 private boolean shareLevelZeroBounds_ =
true;
13660 return ((bitField3_ & 0x00000002) != 0);
13670 return shareLevelZeroBounds_;
13680 bitField3_ |= 0x00000002;
13681 shareLevelZeroBounds_ = value;
13693 bitField3_ = (bitField3_ & ~0x00000002);
13694 shareLevelZeroBounds_ =
true;
13699 private boolean useLns_ ;
13708 return ((bitField3_ & 0x00000004) != 0);
13728 bitField3_ |= 0x00000004;
13741 bitField3_ = (bitField3_ & ~0x00000004);
13747 private int lnsNumThreads_ = 1;
13752 return ((bitField3_ & 0x00000008) != 0);
13758 return lnsNumThreads_;
13764 bitField3_ |= 0x00000008;
13765 lnsNumThreads_ = value;
13773 bitField3_ = (bitField3_ & ~0x00000008);
13774 lnsNumThreads_ = 1;
13779 private boolean lnsIsDeterministic_ =
true;
13784 return ((bitField3_ & 0x00000010) != 0);
13790 return lnsIsDeterministic_;
13796 bitField3_ |= 0x00000010;
13797 lnsIsDeterministic_ = value;
13805 bitField3_ = (bitField3_ & ~0x00000010);
13806 lnsIsDeterministic_ =
true;
13811 private boolean lnsFocusOnDecisionVariables_ ;
13816 return ((bitField3_ & 0x00000020) != 0);
13822 return lnsFocusOnDecisionVariables_;
13828 bitField3_ |= 0x00000020;
13829 lnsFocusOnDecisionVariables_ = value;
13837 bitField3_ = (bitField3_ & ~0x00000020);
13838 lnsFocusOnDecisionVariables_ =
false;
13843 private boolean useRinsLns_ ;
13852 return ((bitField3_ & 0x00000040) != 0);
13862 return useRinsLns_;
13872 bitField3_ |= 0x00000040;
13873 useRinsLns_ = value;
13885 bitField3_ = (bitField3_ & ~0x00000040);
13886 useRinsLns_ =
false;
13891 private boolean randomizeSearch_ ;
13900 return ((bitField3_ & 0x00000080) != 0);
13910 return randomizeSearch_;
13920 bitField3_ |= 0x00000080;
13921 randomizeSearch_ = value;
13933 bitField3_ = (bitField3_ & ~0x00000080);
13934 randomizeSearch_ =
false;
13939 private long searchRandomizationTolerance_ ;
13954 return ((bitField3_ & 0x00000100) != 0);
13970 return searchRandomizationTolerance_;
13986 bitField3_ |= 0x00000100;
13987 searchRandomizationTolerance_ = value;
14005 bitField3_ = (bitField3_ & ~0x00000100);
14006 searchRandomizationTolerance_ = 0L;
14011 private boolean useOptionalVariables_ =
true;
14022 return ((bitField3_ & 0x00000200) != 0);
14034 return useOptionalVariables_;
14046 bitField3_ |= 0x00000200;
14047 useOptionalVariables_ = value;
14061 bitField3_ = (bitField3_ & ~0x00000200);
14062 useOptionalVariables_ =
true;
14067 private boolean useExactLpReason_ =
true;
14079 return ((bitField3_ & 0x00000400) != 0);
14092 return useExactLpReason_;
14105 bitField3_ |= 0x00000400;
14106 useExactLpReason_ = value;
14121 bitField3_ = (bitField3_ & ~0x00000400);
14122 useExactLpReason_ =
true;
14127 private boolean useCombinedNoOverlap_ ;
14138 return ((bitField3_ & 0x00000800) != 0);
14150 return useCombinedNoOverlap_;
14162 bitField3_ |= 0x00000800;
14163 useCombinedNoOverlap_ = value;
14177 bitField3_ = (bitField3_ & ~0x00000800);
14178 useCombinedNoOverlap_ =
false;
14183 private double mipMaxBound_ = 10000000D;
14194 return ((bitField3_ & 0x00001000) != 0);
14206 return mipMaxBound_;
14218 bitField3_ |= 0x00001000;
14219 mipMaxBound_ = value;
14233 bitField3_ = (bitField3_ & ~0x00001000);
14234 mipMaxBound_ = 10000000D;
14239 private double mipVarScaling_ = 1D;
14250 return ((bitField3_ & 0x00002000) != 0);
14262 return mipVarScaling_;
14274 bitField3_ |= 0x00002000;
14275 mipVarScaling_ = value;
14289 bitField3_ = (bitField3_ & ~0x00002000);
14290 mipVarScaling_ = 1D;
14295 private double mipWantedPrecision_ = 1e-06D;
14312 return ((bitField3_ & 0x00004000) != 0);
14330 return mipWantedPrecision_;
14348 bitField3_ |= 0x00004000;
14349 mipWantedPrecision_ = value;
14369 bitField3_ = (bitField3_ & ~0x00004000);
14370 mipWantedPrecision_ = 1e-06D;
14375 private int mipMaxActivityExponent_ = 53;
14390 return ((bitField3_ & 0x00008000) != 0);
14406 return mipMaxActivityExponent_;
14422 bitField3_ |= 0x00008000;
14423 mipMaxActivityExponent_ = value;
14441 bitField3_ = (bitField3_ & ~0x00008000);
14442 mipMaxActivityExponent_ = 53;
14447 private double mipCheckPrecision_ = 0.0001D;
14459 return ((bitField3_ & 0x00010000) != 0);
14472 return mipCheckPrecision_;
14485 bitField3_ |= 0x00010000;
14486 mipCheckPrecision_ = value;
14501 bitField3_ = (bitField3_ & ~0x00010000);
14502 mipCheckPrecision_ = 0.0001D;
14507 private boolean catchSigintSignal_ =
true;
14518 return ((bitField3_ & 0x00020000) != 0);
14530 return catchSigintSignal_;
14542 bitField3_ |= 0x00020000;
14543 catchSigintSignal_ = value;
14557 bitField3_ = (bitField3_ & ~0x00020000);
14558 catchSigintSignal_ =
true;
14562 @java.lang.Override
14564 final com.
google.protobuf.UnknownFieldSet unknownFields) {
14568 @java.lang.Override
14570 final com.
google.protobuf.UnknownFieldSet unknownFields) {
14585 return DEFAULT_INSTANCE;
14590 @java.lang.Override
14592 com.
google.protobuf.CodedInputStream input,
14593 com.
google.protobuf.ExtensionRegistryLite extensionRegistry)
14594 throws com.
google.protobuf.InvalidProtocolBufferException {
14603 @java.lang.Override
14608 @java.lang.Override
14610 return DEFAULT_INSTANCE;