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 numSearchWorkers_ = 1;
97 shareObjectiveBounds_ =
true;
98 shareLevelZeroBounds_ =
true;
99 useOptionalVariables_ =
true;
100 useExactLpReason_ =
true;
101 mipMaxBound_ = 10000000D;
103 mipWantedPrecision_ = 1e-06D;
104 mipMaxActivityExponent_ = 53;
105 mipCheckPrecision_ = 0.0001D;
106 catchSigintSignal_ =
true;
110 @SuppressWarnings({
"unused"})
112 UnusedPrivateParameter unused) {
117 public final com.
google.protobuf.UnknownFieldSet
119 return this.unknownFields;
122 com.
google.protobuf.CodedInputStream input,
123 com.
google.protobuf.ExtensionRegistryLite extensionRegistry)
124 throws com.
google.protobuf.InvalidProtocolBufferException {
126 if (extensionRegistry ==
null) {
127 throw new java.lang.NullPointerException();
129 int mutable_bitField0_ = 0;
130 int mutable_bitField1_ = 0;
131 int mutable_bitField2_ = 0;
132 int mutable_bitField3_ = 0;
133 com.
google.protobuf.UnknownFieldSet.Builder unknownFields =
134 com.
google.protobuf.UnknownFieldSet.newBuilder();
136 boolean done =
false;
138 int tag = input.readTag();
144 int rawValue = input.readEnum();
145 @SuppressWarnings(
"deprecation")
146 com.google.ortools.sat.SatParameters.VariableOrder value =
com.google.ortools.sat.SatParameters.VariableOrder.valueOf(rawValue);
148 unknownFields.mergeVarintField(1, rawValue);
150 bitField0_ |= 0x00000001;
151 preferredVariableOrder_ = rawValue;
156 int rawValue = input.readEnum();
157 @SuppressWarnings(
"deprecation")
158 com.google.ortools.sat.SatParameters.Polarity value =
com.google.ortools.sat.SatParameters.Polarity.valueOf(rawValue);
160 unknownFields.mergeVarintField(2, rawValue);
162 bitField0_ |= 0x00000002;
163 initialPolarity_ = rawValue;
168 int rawValue = input.readEnum();
169 @SuppressWarnings(
"deprecation")
170 com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value =
com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.valueOf(rawValue);
172 unknownFields.mergeVarintField(4, rawValue);
174 bitField0_ |= 0x00000100;
175 minimizationAlgorithm_ = rawValue;
180 bitField0_ |= 0x00000800;
181 clauseCleanupPeriod_ = input.readInt32();
185 bitField0_ |= 0x00001000;
186 clauseCleanupTarget_ = input.readInt32();
190 bitField0_ |= 0x00100000;
191 variableActivityDecay_ = input.readDouble();
195 bitField0_ |= 0x00200000;
196 maxVariableActivityValue_ = input.readDouble();
200 bitField0_ |= 0x02000000;
201 clauseActivityDecay_ = input.readDouble();
205 bitField0_ |= 0x04000000;
206 maxClauseActivityValue_ = input.readDouble();
210 bitField0_ |= 0x00400000;
211 glucoseMaxDecay_ = input.readDouble();
215 bitField0_ |= 0x00800000;
216 glucoseDecayIncrement_ = input.readDouble();
220 bitField0_ |= 0x01000000;
221 glucoseDecayIncrementPeriod_ = input.readInt32();
225 bitField0_ |= 0x10000000;
226 restartPeriod_ = input.readInt32();
230 bitField1_ |= 0x00000400;
231 randomSeed_ = input.readInt32();
235 bitField0_ |= 0x00000010;
236 randomBranchesRatio_ = input.readDouble();
240 bitField1_ |= 0x00000200;
241 treatBinaryClausesSeparately_ = input.readBool();
245 int rawValue = input.readEnum();
246 @SuppressWarnings(
"deprecation")
247 com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value =
com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.valueOf(rawValue);
249 unknownFields.mergeVarintField(34, rawValue);
251 bitField0_ |= 0x00000200;
252 binaryMinimizationAlgorithm_ = rawValue;
257 bitField1_ |= 0x00200000;
258 useOptimizationHints_ = input.readBool();
262 bitField1_ |= 0x00000020;
263 maxTimeInSeconds_ = input.readDouble();
267 bitField1_ |= 0x00000080;
268 maxNumberOfConflicts_ = input.readInt64();
272 bitField1_ |= 0x00000100;
273 maxMemoryInMb_ = input.readInt64();
277 bitField1_ |= 0x00000800;
278 logSearchProgress_ = input.readBool();
282 bitField1_ |= 0x00001000;
283 usePbResolution_ = input.readBool();
287 bitField0_ |= 0x00000004;
288 usePhaseSaving_ = input.readBool();
292 bitField0_ |= 0x00000008;
293 randomPolarityRatio_ = input.readDouble();
297 bitField0_ |= 0x00010000;
298 pbCleanupIncrement_ = input.readInt32();
302 bitField0_ |= 0x00020000;
303 pbCleanupRatio_ = input.readDouble();
307 bitField1_ |= 0x00002000;
308 minimizeReductionDuringPbResolution_ = input.readBool();
312 bitField1_ |= 0x00004000;
313 countAssumptionLevelsInLbd_ = input.readBool();
317 bitField1_ |= 0x00400000;
318 minimizeCore_ = input.readBool();
322 int rawValue = input.readEnum();
323 @SuppressWarnings(
"deprecation")
324 com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder value =
com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf(rawValue);
326 unknownFields.mergeVarintField(51, rawValue);
328 bitField1_ |= 0x02000000;
329 maxSatAssumptionOrder_ = rawValue;
334 bitField1_ |= 0x04000000;
335 maxSatReverseAssumptionOrder_ = input.readBool();
339 int rawValue = input.readEnum();
340 @SuppressWarnings(
"deprecation")
341 com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value =
com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.valueOf(rawValue);
343 unknownFields.mergeVarintField(53, rawValue);
345 bitField1_ |= 0x08000000;
346 maxSatStratification_ = rawValue;
351 bitField1_ |= 0x00008000;
352 presolveBveThreshold_ = input.readInt32();
356 bitField1_ |= 0x00010000;
357 presolveBveClauseWeight_ = input.readInt32();
361 bitField0_ |= 0x00000400;
362 subsumptionDuringConflictAnalysis_ = input.readBool();
366 bitField1_ |= 0x00020000;
367 presolveProbingDeterministicTimeLimit_ = input.readDouble();
371 int rawValue = input.readEnum();
372 @SuppressWarnings(
"deprecation")
373 com.google.ortools.sat.SatParameters.ClauseProtection value =
com.google.ortools.sat.SatParameters.ClauseProtection.valueOf(rawValue);
375 unknownFields.mergeVarintField(58, rawValue);
377 bitField0_ |= 0x00002000;
378 clauseCleanupProtection_ = rawValue;
383 bitField0_ |= 0x00004000;
384 clauseCleanupLbdBound_ = input.readInt32();
388 int rawValue = input.readEnum();
389 @SuppressWarnings(
"deprecation")
390 com.google.ortools.sat.SatParameters.ClauseOrdering value =
com.google.ortools.sat.SatParameters.ClauseOrdering.valueOf(rawValue);
392 unknownFields.mergeVarintField(60, rawValue);
394 bitField0_ |= 0x00008000;
395 clauseCleanupOrdering_ = rawValue;
400 int rawValue = input.readEnum();
401 @SuppressWarnings(
"deprecation")
402 com.google.ortools.sat.SatParameters.RestartAlgorithm value =
com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(rawValue);
404 unknownFields.mergeVarintField(61, rawValue);
406 if (!((mutable_bitField0_ & 0x08000000) != 0)) {
407 restartAlgorithms_ =
new java.util.ArrayList<java.lang.Integer>();
408 mutable_bitField0_ |= 0x08000000;
410 restartAlgorithms_.add(rawValue);
415 int length = input.readRawVarint32();
416 int oldLimit = input.pushLimit(length);
417 while(input.getBytesUntilLimit() > 0) {
418 int rawValue = input.readEnum();
419 @SuppressWarnings(
"deprecation")
420 com.google.ortools.sat.SatParameters.RestartAlgorithm value =
com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(rawValue);
422 unknownFields.mergeVarintField(61, rawValue);
424 if (!((mutable_bitField0_ & 0x08000000) != 0)) {
425 restartAlgorithms_ =
new java.util.ArrayList<java.lang.Integer>();
426 mutable_bitField0_ |= 0x08000000;
428 restartAlgorithms_.add(rawValue);
431 input.popLimit(oldLimit);
435 bitField0_ |= 0x20000000;
436 restartRunningWindowSize_ = input.readInt32();
440 bitField0_ |= 0x40000000;
441 restartDlAverageRatio_ = input.readDouble();
445 bitField1_ |= 0x00000001;
446 useBlockingRestart_ = input.readBool();
450 bitField1_ |= 0x00000002;
451 blockingRestartWindowSize_ = input.readInt32();
455 bitField1_ |= 0x00000004;
456 blockingRestartMultiplier_ = input.readDouble();
460 bitField1_ |= 0x00000040;
461 maxDeterministicTime_ = input.readDouble();
465 bitField1_ |= 0x00000008;
466 numConflictsBeforeStrategyChanges_ = input.readInt32();
470 bitField1_ |= 0x00000010;
471 strategyChangeIncreaseRatio_ = input.readDouble();
475 com.
google.protobuf.ByteString bs = input.readBytes();
476 bitField0_ |= 0x08000000;
477 defaultRestartAlgorithms_ = bs;
481 bitField0_ |= 0x80000000;
482 restartLbdAverageRatio_ = input.readDouble();
486 bitField1_ |= 0x00080000;
487 presolveUseBva_ = input.readBool();
491 bitField1_ |= 0x00100000;
492 presolveBvaThreshold_ = input.readInt32();
496 bitField1_ |= 0x10000000;
497 usePrecedencesInDisjunctiveConstraint_ = input.readBool();
501 bitField0_ |= 0x00000020;
502 useErwaHeuristic_ = input.readBool();
506 bitField0_ |= 0x00000040;
507 initialVariablesActivity_ = input.readDouble();
511 bitField0_ |= 0x00000080;
512 alsoBumpVariablesInConflictReasons_ = input.readBool();
516 bitField1_ |= 0x20000000;
517 useOverloadCheckerInCumulativeConstraint_ = input.readBool();
521 bitField1_ |= 0x40000000;
522 useTimetableEdgeFindingInCumulativeConstraint_ = input.readBool();
526 bitField1_ |= 0x80000000;
527 useDisjunctiveConstraintInCumulativeConstraint_ = input.readBool();
531 int rawValue = input.readEnum();
532 @SuppressWarnings(
"deprecation")
533 com.google.ortools.sat.SatParameters.SearchBranching value =
com.google.ortools.sat.SatParameters.SearchBranching.valueOf(rawValue);
535 unknownFields.mergeVarintField(82, rawValue);
537 bitField2_ |= 0x00002000;
538 searchBranching_ = rawValue;
543 bitField2_ |= 0x00080000;
544 optimizeWithCore_ = input.readBool();
548 bitField1_ |= 0x00800000;
549 findMultipleCores_ = input.readBool();
553 bitField2_ |= 0x00200000;
554 optimizeWithMaxHs_ = input.readBool();
558 bitField2_ |= 0x00400000;
559 cpModelPresolve_ = input.readBool();
563 bitField2_ |= 0x02000000;
564 enumerateAllSolutions_ = input.readBool();
568 bitField1_ |= 0x00040000;
569 presolveBlockedClause_ = input.readBool();
573 bitField1_ |= 0x01000000;
574 coverOptimization_ = input.readBool();
578 bitField2_ |= 0x00000001;
579 linearizationLevel_ = input.readInt32();
583 bitField2_ |= 0x00000004;
584 maxNumCuts_ = input.readInt32();
588 bitField2_ |= 0x00000008;
589 onlyAddCutsAtLevelZero_ = input.readBool();
593 bitField2_ |= 0x01000000;
594 cpModelUseSatPresolve_ = input.readBool();
598 bitField2_ |= 0x00004000;
599 exploitIntegerLpSolution_ = input.readBool();
603 bitField2_ |= 0x10000000;
604 autoDetectGreaterThanAtLeastOneOf_ = input.readBool();
608 bitField0_ |= 0x00040000;
609 minimizeWithPropagationRestartPeriod_ = input.readInt32();
613 bitField0_ |= 0x00080000;
614 minimizeWithPropagationNumDecisions_ = input.readInt32();
618 bitField2_ |= 0x20000000;
619 stopAfterFirstSolution_ = input.readBool();
623 bitField2_ |= 0x00100000;
624 binarySearchNumConflicts_ = input.readInt32();
628 bitField2_ |= 0x40000000;
629 numSearchWorkers_ = input.readInt32();
633 bitField3_ |= 0x00000008;
634 useLnsOnly_ = input.readBool();
638 bitField3_ |= 0x00000040;
639 randomizeSearch_ = input.readBool();
643 bitField3_ |= 0x00000080;
644 searchRandomizationTolerance_ = input.readInt64();
648 bitField3_ |= 0x00000010;
649 lnsFocusOnDecisionVariables_ = input.readBool();
653 bitField2_ |= 0x08000000;
654 instantiateAllVariables_ = input.readBool();
658 bitField2_ |= 0x00000002;
659 booleanEncodingLevel_ = input.readInt32();
663 bitField3_ |= 0x00000100;
664 useOptionalVariables_ = input.readBool();
668 bitField3_ |= 0x00000200;
669 useExactLpReason_ = input.readBool();
673 bitField2_ |= 0x00800000;
674 cpModelProbingLevel_ = input.readInt32();
678 bitField2_ |= 0x00000010;
679 addKnapsackCuts_ = input.readBool();
683 bitField2_ |= 0x00000200;
684 addLpConstraintsLazily_ = input.readBool();
688 bitField3_ |= 0x00000002;
689 shareObjectiveBounds_ = input.readBool();
693 bitField3_ |= 0x00000004;
694 shareLevelZeroBounds_ = input.readBool();
698 bitField2_ |= 0x00000400;
699 minOrthogonalityForLpConstraints_ = input.readDouble();
703 bitField2_ |= 0x00008000;
704 exploitAllLpSolution_ = input.readBool();
708 bitField2_ |= 0x00000020;
709 addCgCuts_ = input.readBool();
713 bitField2_ |= 0x00000080;
714 useMirRounding_ = input.readBool();
718 bitField2_ |= 0x00000100;
719 maxIntegerRoundingScaling_ = input.readInt32();
723 bitField2_ |= 0x00000040;
724 addMirCuts_ = input.readBool();
728 bitField2_ |= 0x00000800;
729 maxInactiveCount_ = input.readInt64();
733 bitField2_ |= 0x00001000;
734 constraintRemovalBatchSize_ = input.readInt64();
738 bitField2_ |= 0x00040000;
739 pseudoCostReliabilityThreshold_ = input.readInt64();
743 bitField3_ |= 0x00000800;
744 mipMaxBound_ = input.readDouble();
748 bitField3_ |= 0x00001000;
749 mipVarScaling_ = input.readDouble();
753 bitField3_ |= 0x00002000;
754 mipWantedPrecision_ = input.readDouble();
758 bitField3_ |= 0x00004000;
759 mipMaxActivityExponent_ = input.readInt32();
763 bitField3_ |= 0x00008000;
764 mipCheckPrecision_ = input.readDouble();
768 bitField3_ |= 0x00000020;
769 useRinsLns_ = input.readBool();
773 bitField2_ |= 0x00010000;
774 exploitBestSolution_ = input.readBool();
778 bitField2_ |= 0x00020000;
779 exploitObjective_ = input.readBool();
783 bitField2_ |= 0x04000000;
784 fillTightenedDomainsInResponse_ = input.readBool();
788 bitField3_ |= 0x00000400;
789 useCombinedNoOverlap_ = input.readBool();
793 bitField3_ |= 0x00000001;
794 deterministicParallelSearch_ = input.readBool();
798 bitField3_ |= 0x00010000;
799 catchSigintSignal_ = input.readBool();
803 bitField2_ |= 0x80000000;
804 interleaveSearch_ = input.readBool();
808 if (!parseUnknownField(
809 input, unknownFields, extensionRegistry, tag)) {
816 }
catch (
com.
google.protobuf.InvalidProtocolBufferException e) {
817 throw e.setUnfinishedMessage(
this);
818 }
catch (java.io.IOException e) {
819 throw new com.
google.protobuf.InvalidProtocolBufferException(
820 e).setUnfinishedMessage(
this);
822 if (((mutable_bitField0_ & 0x08000000) != 0)) {
823 restartAlgorithms_ = java.util.Collections.unmodifiableList(restartAlgorithms_);
825 this.unknownFields = unknownFields.build();
826 makeExtensionsImmutable();
829 public static final com.
google.protobuf.Descriptors.Descriptor
831 return com.
google.
ortools.
sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
835 protected com.
google.protobuf.GeneratedMessageV3.FieldAccessorTable
837 return com.
google.
ortools.
sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_fieldAccessorTable
838 .ensureFieldAccessorsInitialized(
851 implements
com.
google.protobuf.ProtocolMessageEnum {
877 public static final int IN_ORDER_VALUE = 0;
881 public static final int IN_REVERSE_ORDER_VALUE = 1;
885 public static final int IN_RANDOM_ORDER_VALUE = 2;
895 @java.lang.Deprecated
897 return forNumber(value);
902 case 0:
return IN_ORDER;
903 case 1:
return IN_REVERSE_ORDER;
904 case 2:
return IN_RANDOM_ORDER;
905 default:
return null;
911 return internalValueMap;
913 private static final com.
google.protobuf.Internal.EnumLiteMap<
921 public final com.
google.protobuf.Descriptors.EnumValueDescriptor
925 public final com.
google.protobuf.Descriptors.EnumDescriptor
929 public static final com.
google.protobuf.Descriptors.EnumDescriptor
937 com.
google.protobuf.Descriptors.EnumValueDescriptor desc) {
939 throw new java.lang.IllegalArgumentException(
940 "EnumValueDescriptor is not for this type.");
942 return VALUES[desc.getIndex()];
945 private final int value;
966 implements
com.
google.protobuf.ProtocolMessageEnum {
1003 public static final int POLARITY_TRUE_VALUE = 0;
1007 public static final int POLARITY_FALSE_VALUE = 1;
1011 public static final int POLARITY_RANDOM_VALUE = 2;
1022 public static final int POLARITY_WEIGHTED_SIGN_VALUE = 3;
1030 public static final int POLARITY_REVERSE_WEIGHTED_SIGN_VALUE = 4;
1040 @java.lang.Deprecated
1042 return forNumber(value);
1047 case 0:
return POLARITY_TRUE;
1048 case 1:
return POLARITY_FALSE;
1049 case 2:
return POLARITY_RANDOM;
1050 case 3:
return POLARITY_WEIGHTED_SIGN;
1051 case 4:
return POLARITY_REVERSE_WEIGHTED_SIGN;
1052 default:
return null;
1058 return internalValueMap;
1060 private static final com.
google.protobuf.Internal.EnumLiteMap<
1063 public Polarity findValueByNumber(
int number) {
1068 public final com.
google.protobuf.Descriptors.EnumValueDescriptor
1072 public final com.
google.protobuf.Descriptors.EnumDescriptor
1076 public static final com.
google.protobuf.Descriptors.EnumDescriptor
1081 private static final Polarity[] VALUES = values();
1084 com.
google.protobuf.Descriptors.EnumValueDescriptor desc) {
1086 throw new java.lang.IllegalArgumentException(
1087 "EnumValueDescriptor is not for this type.");
1089 return VALUES[desc.getIndex()];
1092 private final int value;
1109 implements
com.
google.protobuf.ProtocolMessageEnum {
1131 public static final int NONE_VALUE = 0;
1135 public static final int SIMPLE_VALUE = 1;
1139 public static final int RECURSIVE_VALUE = 2;
1143 public static final int EXPERIMENTAL_VALUE = 3;
1153 @java.lang.Deprecated
1155 return forNumber(value);
1160 case 0:
return NONE;
1161 case 1:
return SIMPLE;
1162 case 2:
return RECURSIVE;
1163 case 3:
return EXPERIMENTAL;
1164 default:
return null;
1170 return internalValueMap;
1172 private static final com.
google.protobuf.Internal.EnumLiteMap<
1180 public final com.
google.protobuf.Descriptors.EnumValueDescriptor
1184 public final com.
google.protobuf.Descriptors.EnumDescriptor
1188 public static final com.
google.protobuf.Descriptors.EnumDescriptor
1196 com.
google.protobuf.Descriptors.EnumValueDescriptor desc) {
1198 throw new java.lang.IllegalArgumentException(
1199 "EnumValueDescriptor is not for this type.");
1201 return VALUES[desc.getIndex()];
1204 private final int value;
1222 implements
com.
google.protobuf.ProtocolMessageEnum {
1248 public static final int NO_BINARY_MINIMIZATION_VALUE = 0;
1252 public static final int BINARY_MINIMIZATION_FIRST_VALUE = 1;
1256 public static final int BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION_VALUE = 4;
1260 public static final int BINARY_MINIMIZATION_WITH_REACHABILITY_VALUE = 2;
1264 public static final int EXPERIMENTAL_BINARY_MINIMIZATION_VALUE = 3;
1274 @java.lang.Deprecated
1276 return forNumber(value);
1281 case 0:
return NO_BINARY_MINIMIZATION;
1282 case 1:
return BINARY_MINIMIZATION_FIRST;
1283 case 4:
return BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION;
1284 case 2:
return BINARY_MINIMIZATION_WITH_REACHABILITY;
1285 case 3:
return EXPERIMENTAL_BINARY_MINIMIZATION;
1286 default:
return null;
1292 return internalValueMap;
1294 private static final com.
google.protobuf.Internal.EnumLiteMap<
1302 public final com.
google.protobuf.Descriptors.EnumValueDescriptor
1306 public final com.
google.protobuf.Descriptors.EnumDescriptor
1310 public static final com.
google.protobuf.Descriptors.EnumDescriptor
1318 com.
google.protobuf.Descriptors.EnumValueDescriptor desc) {
1320 throw new java.lang.IllegalArgumentException(
1321 "EnumValueDescriptor is not for this type.");
1323 return VALUES[desc.getIndex()];
1326 private final int value;
1345 implements
com.
google.protobuf.ProtocolMessageEnum {
1379 public static final int PROTECTION_NONE_VALUE = 0;
1387 public static final int PROTECTION_ALWAYS_VALUE = 1;
1395 public static final int PROTECTION_LBD_VALUE = 2;
1405 @java.lang.Deprecated
1407 return forNumber(value);
1412 case 0:
return PROTECTION_NONE;
1413 case 1:
return PROTECTION_ALWAYS;
1414 case 2:
return PROTECTION_LBD;
1415 default:
return null;
1421 return internalValueMap;
1423 private static final com.
google.protobuf.Internal.EnumLiteMap<
1431 public final com.
google.protobuf.Descriptors.EnumValueDescriptor
1435 public final com.
google.protobuf.Descriptors.EnumDescriptor
1439 public static final com.
google.protobuf.Descriptors.EnumDescriptor
1447 com.
google.protobuf.Descriptors.EnumValueDescriptor desc) {
1449 throw new java.lang.IllegalArgumentException(
1450 "EnumValueDescriptor is not for this type.");
1452 return VALUES[desc.getIndex()];
1455 private final int value;
1473 implements
com.
google.protobuf.ProtocolMessageEnum {
1499 public static final int CLAUSE_ACTIVITY_VALUE = 0;
1507 public static final int CLAUSE_LBD_VALUE = 1;
1517 @java.lang.Deprecated
1519 return forNumber(value);
1524 case 0:
return CLAUSE_ACTIVITY;
1525 case 1:
return CLAUSE_LBD;
1526 default:
return null;
1532 return internalValueMap;
1534 private static final com.
google.protobuf.Internal.EnumLiteMap<
1542 public final com.
google.protobuf.Descriptors.EnumValueDescriptor
1546 public final com.
google.protobuf.Descriptors.EnumDescriptor
1550 public static final com.
google.protobuf.Descriptors.EnumDescriptor
1558 com.
google.protobuf.Descriptors.EnumValueDescriptor desc) {
1560 throw new java.lang.IllegalArgumentException(
1561 "EnumValueDescriptor is not for this type.");
1563 return VALUES[desc.getIndex()];
1566 private final int value;
1587 implements
com.
google.protobuf.ProtocolMessageEnum {
1629 public static final int NO_RESTART_VALUE = 0;
1637 public static final int LUBY_RESTART_VALUE = 1;
1645 public static final int DL_MOVING_AVERAGE_RESTART_VALUE = 2;
1653 public static final int LBD_MOVING_AVERAGE_RESTART_VALUE = 3;
1661 public static final int FIXED_RESTART_VALUE = 4;
1671 @java.lang.Deprecated
1673 return forNumber(value);
1678 case 0:
return NO_RESTART;
1679 case 1:
return LUBY_RESTART;
1680 case 2:
return DL_MOVING_AVERAGE_RESTART;
1681 case 3:
return LBD_MOVING_AVERAGE_RESTART;
1682 case 4:
return FIXED_RESTART;
1683 default:
return null;
1689 return internalValueMap;
1691 private static final com.
google.protobuf.Internal.EnumLiteMap<
1699 public final com.
google.protobuf.Descriptors.EnumValueDescriptor
1703 public final com.
google.protobuf.Descriptors.EnumDescriptor
1707 public static final com.
google.protobuf.Descriptors.EnumDescriptor
1715 com.
google.protobuf.Descriptors.EnumValueDescriptor desc) {
1717 throw new java.lang.IllegalArgumentException(
1718 "EnumValueDescriptor is not for this type.");
1720 return VALUES[desc.getIndex()];
1723 private final int value;
1740 implements
com.
google.protobuf.ProtocolMessageEnum {
1758 public static final int DEFAULT_ASSUMPTION_ORDER_VALUE = 0;
1762 public static final int ORDER_ASSUMPTION_BY_DEPTH_VALUE = 1;
1766 public static final int ORDER_ASSUMPTION_BY_WEIGHT_VALUE = 2;
1776 @java.lang.Deprecated
1778 return forNumber(value);
1783 case 0:
return DEFAULT_ASSUMPTION_ORDER;
1784 case 1:
return ORDER_ASSUMPTION_BY_DEPTH;
1785 case 2:
return ORDER_ASSUMPTION_BY_WEIGHT;
1786 default:
return null;
1792 return internalValueMap;
1794 private static final com.
google.protobuf.Internal.EnumLiteMap<
1802 public final com.
google.protobuf.Descriptors.EnumValueDescriptor
1806 public final com.
google.protobuf.Descriptors.EnumDescriptor
1810 public static final com.
google.protobuf.Descriptors.EnumDescriptor
1818 com.
google.protobuf.Descriptors.EnumValueDescriptor desc) {
1820 throw new java.lang.IllegalArgumentException(
1821 "EnumValueDescriptor is not for this type.");
1823 return VALUES[desc.getIndex()];
1826 private final int value;
1843 implements
com.
google.protobuf.ProtocolMessageEnum {
1881 public static final int STRATIFICATION_NONE_VALUE = 0;
1890 public static final int STRATIFICATION_DESCENT_VALUE = 1;
1901 public static final int STRATIFICATION_ASCENT_VALUE = 2;
1911 @java.lang.Deprecated
1913 return forNumber(value);
1918 case 0:
return STRATIFICATION_NONE;
1919 case 1:
return STRATIFICATION_DESCENT;
1920 case 2:
return STRATIFICATION_ASCENT;
1921 default:
return null;
1927 return internalValueMap;
1929 private static final com.
google.protobuf.Internal.EnumLiteMap<
1937 public final com.
google.protobuf.Descriptors.EnumValueDescriptor
1941 public final com.
google.protobuf.Descriptors.EnumDescriptor
1945 public static final com.
google.protobuf.Descriptors.EnumDescriptor
1953 com.
google.protobuf.Descriptors.EnumValueDescriptor desc) {
1955 throw new java.lang.IllegalArgumentException(
1956 "EnumValueDescriptor is not for this type.");
1958 return VALUES[desc.getIndex()];
1961 private final int value;
1978 implements
com.
google.protobuf.ProtocolMessageEnum {
2056 public static final int AUTOMATIC_SEARCH_VALUE = 0;
2066 public static final int FIXED_SEARCH_VALUE = 1;
2074 public static final int PORTFOLIO_SEARCH_VALUE = 2;
2084 public static final int LP_SEARCH_VALUE = 3;
2094 public static final int PSEUDO_COST_SEARCH_VALUE = 4;
2104 public static final int PORTFOLIO_WITH_QUICK_RESTART_SEARCH_VALUE = 5;
2114 public static final int HINT_SEARCH_VALUE = 6;
2124 @java.lang.Deprecated
2126 return forNumber(value);
2131 case 0:
return AUTOMATIC_SEARCH;
2132 case 1:
return FIXED_SEARCH;
2133 case 2:
return PORTFOLIO_SEARCH;
2134 case 3:
return LP_SEARCH;
2135 case 4:
return PSEUDO_COST_SEARCH;
2136 case 5:
return PORTFOLIO_WITH_QUICK_RESTART_SEARCH;
2137 case 6:
return HINT_SEARCH;
2138 default:
return null;
2144 return internalValueMap;
2146 private static final com.
google.protobuf.Internal.EnumLiteMap<
2154 public final com.
google.protobuf.Descriptors.EnumValueDescriptor
2158 public final com.
google.protobuf.Descriptors.EnumDescriptor
2162 public static final com.
google.protobuf.Descriptors.EnumDescriptor
2170 com.
google.protobuf.Descriptors.EnumValueDescriptor desc) {
2172 throw new java.lang.IllegalArgumentException(
2173 "EnumValueDescriptor is not for this type.");
2175 return VALUES[desc.getIndex()];
2178 private final int value;
2187 private int bitField0_;
2188 private int bitField1_;
2189 private int bitField2_;
2190 private int bitField3_;
2192 private int preferredVariableOrder_;
2197 return ((bitField0_ & 0x00000001) != 0);
2203 @SuppressWarnings(
"deprecation")
2209 private int initialPolarity_;
2214 return ((bitField0_ & 0x00000002) != 0);
2220 @SuppressWarnings(
"deprecation")
2226 private boolean usePhaseSaving_;
2241 return ((bitField0_ & 0x00000004) != 0);
2257 return usePhaseSaving_;
2261 private double randomPolarityRatio_;
2274 return ((bitField0_ & 0x00000008) != 0);
2288 return randomPolarityRatio_;
2292 private double randomBranchesRatio_;
2303 return ((bitField0_ & 0x00000010) != 0);
2315 return randomBranchesRatio_;
2319 private boolean useErwaHeuristic_;
2330 return ((bitField0_ & 0x00000020) != 0);
2342 return useErwaHeuristic_;
2346 private double initialVariablesActivity_;
2360 return ((bitField0_ & 0x00000040) != 0);
2375 return initialVariablesActivity_;
2379 private boolean alsoBumpVariablesInConflictReasons_;
2391 return ((bitField0_ & 0x00000080) != 0);
2404 return alsoBumpVariablesInConflictReasons_;
2408 private int minimizationAlgorithm_;
2413 return ((bitField0_ & 0x00000100) != 0);
2419 @SuppressWarnings(
"deprecation")
2425 private int binaryMinimizationAlgorithm_;
2430 return ((bitField0_ & 0x00000200) != 0);
2436 @SuppressWarnings(
"deprecation")
2442 private boolean subsumptionDuringConflictAnalysis_;
2454 return ((bitField0_ & 0x00000400) != 0);
2467 return subsumptionDuringConflictAnalysis_;
2471 private int clauseCleanupPeriod_;
2480 return ((bitField0_ & 0x00000800) != 0);
2490 return clauseCleanupPeriod_;
2494 private int clauseCleanupTarget_;
2504 return ((bitField0_ & 0x00001000) != 0);
2515 return clauseCleanupTarget_;
2519 private int clauseCleanupProtection_;
2524 return ((bitField0_ & 0x00002000) != 0);
2530 @SuppressWarnings(
"deprecation")
2536 private int clauseCleanupLbdBound_;
2546 return ((bitField0_ & 0x00004000) != 0);
2557 return clauseCleanupLbdBound_;
2561 private int clauseCleanupOrdering_;
2566 return ((bitField0_ & 0x00008000) != 0);
2572 @SuppressWarnings(
"deprecation")
2578 private int pbCleanupIncrement_;
2587 return ((bitField0_ & 0x00010000) != 0);
2597 return pbCleanupIncrement_;
2601 private double pbCleanupRatio_;
2606 return ((bitField0_ & 0x00020000) != 0);
2612 return pbCleanupRatio_;
2616 private int minimizeWithPropagationRestartPeriod_;
2635 return ((bitField0_ & 0x00040000) != 0);
2655 return minimizeWithPropagationRestartPeriod_;
2659 private int minimizeWithPropagationNumDecisions_;
2664 return ((bitField0_ & 0x00080000) != 0);
2670 return minimizeWithPropagationNumDecisions_;
2674 private double variableActivityDecay_;
2689 return ((bitField0_ & 0x00100000) != 0);
2705 return variableActivityDecay_;
2709 private double maxVariableActivityValue_;
2714 return ((bitField0_ & 0x00200000) != 0);
2720 return maxVariableActivityValue_;
2724 private double glucoseMaxDecay_;
2736 return ((bitField0_ & 0x00400000) != 0);
2749 return glucoseMaxDecay_;
2753 private double glucoseDecayIncrement_;
2758 return ((bitField0_ & 0x00800000) != 0);
2764 return glucoseDecayIncrement_;
2768 private int glucoseDecayIncrementPeriod_;
2773 return ((bitField0_ & 0x01000000) != 0);
2779 return glucoseDecayIncrementPeriod_;
2783 private double clauseActivityDecay_;
2792 return ((bitField0_ & 0x02000000) != 0);
2802 return clauseActivityDecay_;
2806 private double maxClauseActivityValue_;
2811 return ((bitField0_ & 0x04000000) != 0);
2817 return maxClauseActivityValue_;
2821 private java.util.List<java.lang.Integer> restartAlgorithms_;
2822 private static final com.
google.protobuf.Internal.ListAdapter.Converter<
2824 new com.
google.protobuf.Internal.ListAdapter.Converter<
2827 @SuppressWarnings(
"deprecation")
2847 return new com.
google.protobuf.Internal.ListAdapter<
2865 return restartAlgorithms_.size();
2882 return restartAlgorithms_converter_.convert(restartAlgorithms_.get(index));
2886 private volatile java.lang.Object defaultRestartAlgorithms_;
2891 return ((bitField0_ & 0x08000000) != 0);
2897 java.lang.Object ref = defaultRestartAlgorithms_;
2898 if (ref instanceof java.lang.String) {
2899 return (java.lang.String) ref;
2903 java.lang.String s = bs.toStringUtf8();
2904 if (bs.isValidUtf8()) {
2905 defaultRestartAlgorithms_ = s;
2915 java.lang.Object ref = defaultRestartAlgorithms_;
2916 if (ref instanceof java.lang.String) {
2918 com.
google.protobuf.ByteString.copyFromUtf8(
2919 (java.lang.String) ref);
2920 defaultRestartAlgorithms_ = b;
2923 return (
com.
google.protobuf.ByteString) ref;
2928 private int restartPeriod_;
2938 return ((bitField0_ & 0x10000000) != 0);
2949 return restartPeriod_;
2953 private int restartRunningWindowSize_;
2962 return ((bitField0_ & 0x20000000) != 0);
2972 return restartRunningWindowSize_;
2976 private double restartDlAverageRatio_;
2986 return ((bitField0_ & 0x40000000) != 0);
2997 return restartDlAverageRatio_;
3001 private double restartLbdAverageRatio_;
3006 return ((bitField0_ & 0x80000000) != 0);
3012 return restartLbdAverageRatio_;
3016 private boolean useBlockingRestart_;
3027 return ((bitField1_ & 0x00000001) != 0);
3039 return useBlockingRestart_;
3043 private int blockingRestartWindowSize_;
3048 return ((bitField1_ & 0x00000002) != 0);
3054 return blockingRestartWindowSize_;
3058 private double blockingRestartMultiplier_;
3063 return ((bitField1_ & 0x00000004) != 0);
3069 return blockingRestartMultiplier_;
3073 private int numConflictsBeforeStrategyChanges_;
3084 return ((bitField1_ & 0x00000008) != 0);
3096 return numConflictsBeforeStrategyChanges_;
3100 private double strategyChangeIncreaseRatio_;
3110 return ((bitField1_ & 0x00000010) != 0);
3121 return strategyChangeIncreaseRatio_;
3125 private double maxTimeInSeconds_;
3136 return ((bitField1_ & 0x00000020) != 0);
3148 return maxTimeInSeconds_;
3152 private double maxDeterministicTime_;
3165 return ((bitField1_ & 0x00000040) != 0);
3179 return maxDeterministicTime_;
3183 private long maxNumberOfConflicts_;
3197 return ((bitField1_ & 0x00000080) != 0);
3212 return maxNumberOfConflicts_;
3216 private long maxMemoryInMb_;
3228 return ((bitField1_ & 0x00000100) != 0);
3241 return maxMemoryInMb_;
3245 private boolean treatBinaryClausesSeparately_;
3256 return ((bitField1_ & 0x00000200) != 0);
3268 return treatBinaryClausesSeparately_;
3272 private int randomSeed_;
3286 return ((bitField1_ & 0x00000400) != 0);
3305 private boolean logSearchProgress_;
3314 return ((bitField1_ & 0x00000800) != 0);
3324 return logSearchProgress_;
3328 private boolean usePbResolution_;
3340 return ((bitField1_ & 0x00001000) != 0);
3353 return usePbResolution_;
3357 private boolean minimizeReductionDuringPbResolution_;
3369 return ((bitField1_ & 0x00002000) != 0);
3382 return minimizeReductionDuringPbResolution_;
3386 private boolean countAssumptionLevelsInLbd_;
3402 return ((bitField1_ & 0x00004000) != 0);
3419 return countAssumptionLevelsInLbd_;
3423 private int presolveBveThreshold_;
3434 return ((bitField1_ & 0x00008000) != 0);
3446 return presolveBveThreshold_;
3450 private int presolveBveClauseWeight_;
3460 return ((bitField1_ & 0x00010000) != 0);
3471 return presolveBveClauseWeight_;
3475 private double presolveProbingDeterministicTimeLimit_;
3485 return ((bitField1_ & 0x00020000) != 0);
3496 return presolveProbingDeterministicTimeLimit_;
3500 private boolean presolveBlockedClause_;
3510 return ((bitField1_ & 0x00040000) != 0);
3521 return presolveBlockedClause_;
3525 private boolean presolveUseBva_;
3534 return ((bitField1_ & 0x00080000) != 0);
3544 return presolveUseBva_;
3548 private int presolveBvaThreshold_;
3560 return ((bitField1_ & 0x00100000) != 0);
3573 return presolveBvaThreshold_;
3577 private boolean useOptimizationHints_;
3589 return ((bitField1_ & 0x00200000) != 0);
3602 return useOptimizationHints_;
3606 private boolean minimizeCore_;
3615 return ((bitField1_ & 0x00400000) != 0);
3625 return minimizeCore_;
3629 private boolean findMultipleCores_;
3639 return ((bitField1_ & 0x00800000) != 0);
3650 return findMultipleCores_;
3654 private boolean coverOptimization_;
3664 return ((bitField1_ & 0x01000000) != 0);
3675 return coverOptimization_;
3679 private int maxSatAssumptionOrder_;
3684 return ((bitField1_ & 0x02000000) != 0);
3690 @SuppressWarnings(
"deprecation")
3696 private boolean maxSatReverseAssumptionOrder_;
3706 return ((bitField1_ & 0x04000000) != 0);
3717 return maxSatReverseAssumptionOrder_;
3721 private int maxSatStratification_;
3726 return ((bitField1_ & 0x08000000) != 0);
3732 @SuppressWarnings(
"deprecation")
3738 private boolean usePrecedencesInDisjunctiveConstraint_;
3754 return ((bitField1_ & 0x10000000) != 0);
3771 return usePrecedencesInDisjunctiveConstraint_;
3775 private boolean useOverloadCheckerInCumulativeConstraint_;
3789 return ((bitField1_ & 0x20000000) != 0);
3804 return useOverloadCheckerInCumulativeConstraint_;
3808 private boolean useTimetableEdgeFindingInCumulativeConstraint_;
3822 return ((bitField1_ & 0x40000000) != 0);
3837 return useTimetableEdgeFindingInCumulativeConstraint_;
3841 private boolean useDisjunctiveConstraintInCumulativeConstraint_;
3857 return ((bitField1_ & 0x80000000) != 0);
3874 return useDisjunctiveConstraintInCumulativeConstraint_;
3878 private int linearizationLevel_;
3890 return ((bitField2_ & 0x00000001) != 0);
3903 return linearizationLevel_;
3907 private int booleanEncodingLevel_;
3917 return ((bitField2_ & 0x00000002) != 0);
3928 return booleanEncodingLevel_;
3932 private int maxNumCuts_;
3942 return ((bitField2_ & 0x00000004) != 0);
3957 private boolean onlyAddCutsAtLevelZero_;
3967 return ((bitField2_ & 0x00000008) != 0);
3978 return onlyAddCutsAtLevelZero_;
3982 private boolean addKnapsackCuts_;
3993 return ((bitField2_ & 0x00000010) != 0);
4005 return addKnapsackCuts_;
4009 private boolean addCgCuts_;
4019 return ((bitField2_ & 0x00000020) != 0);
4034 private boolean addMirCuts_;
4044 return ((bitField2_ & 0x00000040) != 0);
4059 private boolean useMirRounding_;
4070 return ((bitField2_ & 0x00000080) != 0);
4082 return useMirRounding_;
4086 private int maxIntegerRoundingScaling_;
4099 return ((bitField2_ & 0x00000100) != 0);
4113 return maxIntegerRoundingScaling_;
4117 private boolean addLpConstraintsLazily_;
4129 return ((bitField2_ & 0x00000200) != 0);
4142 return addLpConstraintsLazily_;
4146 private double minOrthogonalityForLpConstraints_;
4159 return ((bitField2_ & 0x00000400) != 0);
4173 return minOrthogonalityForLpConstraints_;
4177 private long maxInactiveCount_;
4187 return ((bitField2_ & 0x00000800) != 0);
4198 return maxInactiveCount_;
4202 private long constraintRemovalBatchSize_;
4212 return ((bitField2_ & 0x00001000) != 0);
4223 return constraintRemovalBatchSize_;
4227 private int searchBranching_;
4232 return ((bitField2_ & 0x00002000) != 0);
4238 @SuppressWarnings(
"deprecation")
4244 private boolean exploitIntegerLpSolution_;
4256 return ((bitField2_ & 0x00004000) != 0);
4269 return exploitIntegerLpSolution_;
4273 private boolean exploitAllLpSolution_;
4284 return ((bitField2_ & 0x00008000) != 0);
4296 return exploitAllLpSolution_;
4300 private boolean exploitBestSolution_;
4309 return ((bitField2_ & 0x00010000) != 0);
4319 return exploitBestSolution_;
4323 private boolean exploitObjective_;
4333 return ((bitField2_ & 0x00020000) != 0);
4344 return exploitObjective_;
4348 private long pseudoCostReliabilityThreshold_;
4358 return ((bitField2_ & 0x00040000) != 0);
4369 return pseudoCostReliabilityThreshold_;
4373 private boolean optimizeWithCore_;
4385 return ((bitField2_ & 0x00080000) != 0);
4398 return optimizeWithCore_;
4402 private int binarySearchNumConflicts_;
4414 return ((bitField2_ & 0x00100000) != 0);
4427 return binarySearchNumConflicts_;
4431 private boolean optimizeWithMaxHs_;
4445 return ((bitField2_ & 0x00200000) != 0);
4460 return optimizeWithMaxHs_;
4464 private boolean cpModelPresolve_;
4473 return ((bitField2_ & 0x00400000) != 0);
4483 return cpModelPresolve_;
4487 private int cpModelProbingLevel_;
4496 return ((bitField2_ & 0x00800000) != 0);
4506 return cpModelProbingLevel_;
4510 private boolean cpModelUseSatPresolve_;
4519 return ((bitField2_ & 0x01000000) != 0);
4529 return cpModelUseSatPresolve_;
4533 private boolean enumerateAllSolutions_;
4547 return ((bitField2_ & 0x02000000) != 0);
4562 return enumerateAllSolutions_;
4566 private boolean fillTightenedDomainsInResponse_;
4579 return ((bitField2_ & 0x04000000) != 0);
4593 return fillTightenedDomainsInResponse_;
4597 private boolean instantiateAllVariables_;
4607 return ((bitField2_ & 0x08000000) != 0);
4618 return instantiateAllVariables_;
4622 private boolean autoDetectGreaterThanAtLeastOneOf_;
4634 return ((bitField2_ & 0x10000000) != 0);
4647 return autoDetectGreaterThanAtLeastOneOf_;
4651 private boolean stopAfterFirstSolution_;
4660 return ((bitField2_ & 0x20000000) != 0);
4670 return stopAfterFirstSolution_;
4674 private int numSearchWorkers_;
4684 return ((bitField2_ & 0x40000000) != 0);
4695 return numSearchWorkers_;
4699 private boolean interleaveSearch_;
4711 return ((bitField2_ & 0x80000000) != 0);
4724 return interleaveSearch_;
4728 private boolean deterministicParallelSearch_;
4739 return ((bitField3_ & 0x00000001) != 0);
4751 return deterministicParallelSearch_;
4755 private boolean shareObjectiveBounds_;
4764 return ((bitField3_ & 0x00000002) != 0);
4774 return shareObjectiveBounds_;
4778 private boolean shareLevelZeroBounds_;
4787 return ((bitField3_ & 0x00000004) != 0);
4797 return shareLevelZeroBounds_;
4801 private boolean useLnsOnly_;
4810 return ((bitField3_ & 0x00000008) != 0);
4824 private boolean lnsFocusOnDecisionVariables_;
4829 return ((bitField3_ & 0x00000010) != 0);
4835 return lnsFocusOnDecisionVariables_;
4839 private boolean useRinsLns_;
4848 return ((bitField3_ & 0x00000020) != 0);
4862 private boolean randomizeSearch_;
4871 return ((bitField3_ & 0x00000040) != 0);
4881 return randomizeSearch_;
4885 private long searchRandomizationTolerance_;
4900 return ((bitField3_ & 0x00000080) != 0);
4916 return searchRandomizationTolerance_;
4920 private boolean useOptionalVariables_;
4931 return ((bitField3_ & 0x00000100) != 0);
4943 return useOptionalVariables_;
4947 private boolean useExactLpReason_;
4959 return ((bitField3_ & 0x00000200) != 0);
4972 return useExactLpReason_;
4976 private boolean useCombinedNoOverlap_;
4987 return ((bitField3_ & 0x00000400) != 0);
4999 return useCombinedNoOverlap_;
5003 private double mipMaxBound_;
5014 return ((bitField3_ & 0x00000800) != 0);
5026 return mipMaxBound_;
5030 private double mipVarScaling_;
5041 return ((bitField3_ & 0x00001000) != 0);
5053 return mipVarScaling_;
5057 private double mipWantedPrecision_;
5074 return ((bitField3_ & 0x00002000) != 0);
5092 return mipWantedPrecision_;
5096 private int mipMaxActivityExponent_;
5111 return ((bitField3_ & 0x00004000) != 0);
5127 return mipMaxActivityExponent_;
5131 private double mipCheckPrecision_;
5143 return ((bitField3_ & 0x00008000) != 0);
5156 return mipCheckPrecision_;
5160 private boolean catchSigintSignal_;
5171 return ((bitField3_ & 0x00010000) != 0);
5183 return catchSigintSignal_;
5186 private byte memoizedIsInitialized = -1;
5193 memoizedIsInitialized = 1;
5199 throws java.io.IOException {
5200 if (((bitField0_ & 0x00000001) != 0)) {
5201 output.writeEnum(1, preferredVariableOrder_);
5203 if (((bitField0_ & 0x00000002) != 0)) {
5204 output.writeEnum(2, initialPolarity_);
5206 if (((bitField0_ & 0x00000100) != 0)) {
5207 output.writeEnum(4, minimizationAlgorithm_);
5209 if (((bitField0_ & 0x00000800) != 0)) {
5210 output.writeInt32(11, clauseCleanupPeriod_);
5212 if (((bitField0_ & 0x00001000) != 0)) {
5213 output.writeInt32(13, clauseCleanupTarget_);
5215 if (((bitField0_ & 0x00100000) != 0)) {
5216 output.writeDouble(15, variableActivityDecay_);
5218 if (((bitField0_ & 0x00200000) != 0)) {
5219 output.writeDouble(16, maxVariableActivityValue_);
5221 if (((bitField0_ & 0x02000000) != 0)) {
5222 output.writeDouble(17, clauseActivityDecay_);
5224 if (((bitField0_ & 0x04000000) != 0)) {
5225 output.writeDouble(18, maxClauseActivityValue_);
5227 if (((bitField0_ & 0x00400000) != 0)) {
5228 output.writeDouble(22, glucoseMaxDecay_);
5230 if (((bitField0_ & 0x00800000) != 0)) {
5231 output.writeDouble(23, glucoseDecayIncrement_);
5233 if (((bitField0_ & 0x01000000) != 0)) {
5234 output.writeInt32(24, glucoseDecayIncrementPeriod_);
5236 if (((bitField0_ & 0x10000000) != 0)) {
5237 output.writeInt32(30, restartPeriod_);
5239 if (((bitField1_ & 0x00000400) != 0)) {
5240 output.writeInt32(31, randomSeed_);
5242 if (((bitField0_ & 0x00000010) != 0)) {
5243 output.writeDouble(32, randomBranchesRatio_);
5245 if (((bitField1_ & 0x00000200) != 0)) {
5246 output.writeBool(33, treatBinaryClausesSeparately_);
5248 if (((bitField0_ & 0x00000200) != 0)) {
5249 output.writeEnum(34, binaryMinimizationAlgorithm_);
5251 if (((bitField1_ & 0x00200000) != 0)) {
5252 output.writeBool(35, useOptimizationHints_);
5254 if (((bitField1_ & 0x00000020) != 0)) {
5255 output.writeDouble(36, maxTimeInSeconds_);
5257 if (((bitField1_ & 0x00000080) != 0)) {
5258 output.writeInt64(37, maxNumberOfConflicts_);
5260 if (((bitField1_ & 0x00000100) != 0)) {
5261 output.writeInt64(40, maxMemoryInMb_);
5263 if (((bitField1_ & 0x00000800) != 0)) {
5264 output.writeBool(41, logSearchProgress_);
5266 if (((bitField1_ & 0x00001000) != 0)) {
5267 output.writeBool(43, usePbResolution_);
5269 if (((bitField0_ & 0x00000004) != 0)) {
5270 output.writeBool(44, usePhaseSaving_);
5272 if (((bitField0_ & 0x00000008) != 0)) {
5273 output.writeDouble(45, randomPolarityRatio_);
5275 if (((bitField0_ & 0x00010000) != 0)) {
5276 output.writeInt32(46, pbCleanupIncrement_);
5278 if (((bitField0_ & 0x00020000) != 0)) {
5279 output.writeDouble(47, pbCleanupRatio_);
5281 if (((bitField1_ & 0x00002000) != 0)) {
5282 output.writeBool(48, minimizeReductionDuringPbResolution_);
5284 if (((bitField1_ & 0x00004000) != 0)) {
5285 output.writeBool(49, countAssumptionLevelsInLbd_);
5287 if (((bitField1_ & 0x00400000) != 0)) {
5288 output.writeBool(50, minimizeCore_);
5290 if (((bitField1_ & 0x02000000) != 0)) {
5291 output.writeEnum(51, maxSatAssumptionOrder_);
5293 if (((bitField1_ & 0x04000000) != 0)) {
5294 output.writeBool(52, maxSatReverseAssumptionOrder_);
5296 if (((bitField1_ & 0x08000000) != 0)) {
5297 output.writeEnum(53, maxSatStratification_);
5299 if (((bitField1_ & 0x00008000) != 0)) {
5300 output.writeInt32(54, presolveBveThreshold_);
5302 if (((bitField1_ & 0x00010000) != 0)) {
5303 output.writeInt32(55, presolveBveClauseWeight_);
5305 if (((bitField0_ & 0x00000400) != 0)) {
5306 output.writeBool(56, subsumptionDuringConflictAnalysis_);
5308 if (((bitField1_ & 0x00020000) != 0)) {
5309 output.writeDouble(57, presolveProbingDeterministicTimeLimit_);
5311 if (((bitField0_ & 0x00002000) != 0)) {
5312 output.writeEnum(58, clauseCleanupProtection_);
5314 if (((bitField0_ & 0x00004000) != 0)) {
5315 output.writeInt32(59, clauseCleanupLbdBound_);
5317 if (((bitField0_ & 0x00008000) != 0)) {
5318 output.writeEnum(60, clauseCleanupOrdering_);
5320 for (
int i = 0; i < restartAlgorithms_.size(); i++) {
5321 output.writeEnum(61, restartAlgorithms_.get(i));
5323 if (((bitField0_ & 0x20000000) != 0)) {
5324 output.writeInt32(62, restartRunningWindowSize_);
5326 if (((bitField0_ & 0x40000000) != 0)) {
5327 output.writeDouble(63, restartDlAverageRatio_);
5329 if (((bitField1_ & 0x00000001) != 0)) {
5330 output.writeBool(64, useBlockingRestart_);
5332 if (((bitField1_ & 0x00000002) != 0)) {
5333 output.writeInt32(65, blockingRestartWindowSize_);
5335 if (((bitField1_ & 0x00000004) != 0)) {
5336 output.writeDouble(66, blockingRestartMultiplier_);
5338 if (((bitField1_ & 0x00000040) != 0)) {
5339 output.writeDouble(67, maxDeterministicTime_);
5341 if (((bitField1_ & 0x00000008) != 0)) {
5342 output.writeInt32(68, numConflictsBeforeStrategyChanges_);
5344 if (((bitField1_ & 0x00000010) != 0)) {
5345 output.writeDouble(69, strategyChangeIncreaseRatio_);
5347 if (((bitField0_ & 0x08000000) != 0)) {
5348 com.
google.protobuf.GeneratedMessageV3.writeString(output, 70, defaultRestartAlgorithms_);
5350 if (((bitField0_ & 0x80000000) != 0)) {
5351 output.writeDouble(71, restartLbdAverageRatio_);
5353 if (((bitField1_ & 0x00080000) != 0)) {
5354 output.writeBool(72, presolveUseBva_);
5356 if (((bitField1_ & 0x00100000) != 0)) {
5357 output.writeInt32(73, presolveBvaThreshold_);
5359 if (((bitField1_ & 0x10000000) != 0)) {
5360 output.writeBool(74, usePrecedencesInDisjunctiveConstraint_);
5362 if (((bitField0_ & 0x00000020) != 0)) {
5363 output.writeBool(75, useErwaHeuristic_);
5365 if (((bitField0_ & 0x00000040) != 0)) {
5366 output.writeDouble(76, initialVariablesActivity_);
5368 if (((bitField0_ & 0x00000080) != 0)) {
5369 output.writeBool(77, alsoBumpVariablesInConflictReasons_);
5371 if (((bitField1_ & 0x20000000) != 0)) {
5372 output.writeBool(78, useOverloadCheckerInCumulativeConstraint_);
5374 if (((bitField1_ & 0x40000000) != 0)) {
5375 output.writeBool(79, useTimetableEdgeFindingInCumulativeConstraint_);
5377 if (((bitField1_ & 0x80000000) != 0)) {
5378 output.writeBool(80, useDisjunctiveConstraintInCumulativeConstraint_);
5380 if (((bitField2_ & 0x00002000) != 0)) {
5381 output.writeEnum(82, searchBranching_);
5383 if (((bitField2_ & 0x00080000) != 0)) {
5384 output.writeBool(83, optimizeWithCore_);
5386 if (((bitField1_ & 0x00800000) != 0)) {
5387 output.writeBool(84, findMultipleCores_);
5389 if (((bitField2_ & 0x00200000) != 0)) {
5390 output.writeBool(85, optimizeWithMaxHs_);
5392 if (((bitField2_ & 0x00400000) != 0)) {
5393 output.writeBool(86, cpModelPresolve_);
5395 if (((bitField2_ & 0x02000000) != 0)) {
5396 output.writeBool(87, enumerateAllSolutions_);
5398 if (((bitField1_ & 0x00040000) != 0)) {
5399 output.writeBool(88, presolveBlockedClause_);
5401 if (((bitField1_ & 0x01000000) != 0)) {
5402 output.writeBool(89, coverOptimization_);
5404 if (((bitField2_ & 0x00000001) != 0)) {
5405 output.writeInt32(90, linearizationLevel_);
5407 if (((bitField2_ & 0x00000004) != 0)) {
5408 output.writeInt32(91, maxNumCuts_);
5410 if (((bitField2_ & 0x00000008) != 0)) {
5411 output.writeBool(92, onlyAddCutsAtLevelZero_);
5413 if (((bitField2_ & 0x01000000) != 0)) {
5414 output.writeBool(93, cpModelUseSatPresolve_);
5416 if (((bitField2_ & 0x00004000) != 0)) {
5417 output.writeBool(94, exploitIntegerLpSolution_);
5419 if (((bitField2_ & 0x10000000) != 0)) {
5420 output.writeBool(95, autoDetectGreaterThanAtLeastOneOf_);
5422 if (((bitField0_ & 0x00040000) != 0)) {
5423 output.writeInt32(96, minimizeWithPropagationRestartPeriod_);
5425 if (((bitField0_ & 0x00080000) != 0)) {
5426 output.writeInt32(97, minimizeWithPropagationNumDecisions_);
5428 if (((bitField2_ & 0x20000000) != 0)) {
5429 output.writeBool(98, stopAfterFirstSolution_);
5431 if (((bitField2_ & 0x00100000) != 0)) {
5432 output.writeInt32(99, binarySearchNumConflicts_);
5434 if (((bitField2_ & 0x40000000) != 0)) {
5435 output.writeInt32(100, numSearchWorkers_);
5437 if (((bitField3_ & 0x00000008) != 0)) {
5438 output.writeBool(101, useLnsOnly_);
5440 if (((bitField3_ & 0x00000040) != 0)) {
5441 output.writeBool(103, randomizeSearch_);
5443 if (((bitField3_ & 0x00000080) != 0)) {
5444 output.writeInt64(104, searchRandomizationTolerance_);
5446 if (((bitField3_ & 0x00000010) != 0)) {
5447 output.writeBool(105, lnsFocusOnDecisionVariables_);
5449 if (((bitField2_ & 0x08000000) != 0)) {
5450 output.writeBool(106, instantiateAllVariables_);
5452 if (((bitField2_ & 0x00000002) != 0)) {
5453 output.writeInt32(107, booleanEncodingLevel_);
5455 if (((bitField3_ & 0x00000100) != 0)) {
5456 output.writeBool(108, useOptionalVariables_);
5458 if (((bitField3_ & 0x00000200) != 0)) {
5459 output.writeBool(109, useExactLpReason_);
5461 if (((bitField2_ & 0x00800000) != 0)) {
5462 output.writeInt32(110, cpModelProbingLevel_);
5464 if (((bitField2_ & 0x00000010) != 0)) {
5465 output.writeBool(111, addKnapsackCuts_);
5467 if (((bitField2_ & 0x00000200) != 0)) {
5468 output.writeBool(112, addLpConstraintsLazily_);
5470 if (((bitField3_ & 0x00000002) != 0)) {
5471 output.writeBool(113, shareObjectiveBounds_);
5473 if (((bitField3_ & 0x00000004) != 0)) {
5474 output.writeBool(114, shareLevelZeroBounds_);
5476 if (((bitField2_ & 0x00000400) != 0)) {
5477 output.writeDouble(115, minOrthogonalityForLpConstraints_);
5479 if (((bitField2_ & 0x00008000) != 0)) {
5480 output.writeBool(116, exploitAllLpSolution_);
5482 if (((bitField2_ & 0x00000020) != 0)) {
5483 output.writeBool(117, addCgCuts_);
5485 if (((bitField2_ & 0x00000080) != 0)) {
5486 output.writeBool(118, useMirRounding_);
5488 if (((bitField2_ & 0x00000100) != 0)) {
5489 output.writeInt32(119, maxIntegerRoundingScaling_);
5491 if (((bitField2_ & 0x00000040) != 0)) {
5492 output.writeBool(120, addMirCuts_);
5494 if (((bitField2_ & 0x00000800) != 0)) {
5495 output.writeInt64(121, maxInactiveCount_);
5497 if (((bitField2_ & 0x00001000) != 0)) {
5498 output.writeInt64(122, constraintRemovalBatchSize_);
5500 if (((bitField2_ & 0x00040000) != 0)) {
5501 output.writeInt64(123, pseudoCostReliabilityThreshold_);
5503 if (((bitField3_ & 0x00000800) != 0)) {
5504 output.writeDouble(124, mipMaxBound_);
5506 if (((bitField3_ & 0x00001000) != 0)) {
5507 output.writeDouble(125, mipVarScaling_);
5509 if (((bitField3_ & 0x00002000) != 0)) {
5510 output.writeDouble(126, mipWantedPrecision_);
5512 if (((bitField3_ & 0x00004000) != 0)) {
5513 output.writeInt32(127, mipMaxActivityExponent_);
5515 if (((bitField3_ & 0x00008000) != 0)) {
5516 output.writeDouble(128, mipCheckPrecision_);
5518 if (((bitField3_ & 0x00000020) != 0)) {
5519 output.writeBool(129, useRinsLns_);
5521 if (((bitField2_ & 0x00010000) != 0)) {
5522 output.writeBool(130, exploitBestSolution_);
5524 if (((bitField2_ & 0x00020000) != 0)) {
5525 output.writeBool(131, exploitObjective_);
5527 if (((bitField2_ & 0x04000000) != 0)) {
5528 output.writeBool(132, fillTightenedDomainsInResponse_);
5530 if (((bitField3_ & 0x00000400) != 0)) {
5531 output.writeBool(133, useCombinedNoOverlap_);
5533 if (((bitField3_ & 0x00000001) != 0)) {
5534 output.writeBool(134, deterministicParallelSearch_);
5536 if (((bitField3_ & 0x00010000) != 0)) {
5537 output.writeBool(135, catchSigintSignal_);
5539 if (((bitField2_ & 0x80000000) != 0)) {
5540 output.writeBool(136, interleaveSearch_);
5542 unknownFields.writeTo(output);
5547 int size = memoizedSize;
5548 if (size != -1)
return size;
5551 if (((bitField0_ & 0x00000001) != 0)) {
5552 size +=
com.
google.protobuf.CodedOutputStream
5553 .computeEnumSize(1, preferredVariableOrder_);
5555 if (((bitField0_ & 0x00000002) != 0)) {
5556 size +=
com.
google.protobuf.CodedOutputStream
5557 .computeEnumSize(2, initialPolarity_);
5559 if (((bitField0_ & 0x00000100) != 0)) {
5560 size +=
com.
google.protobuf.CodedOutputStream
5561 .computeEnumSize(4, minimizationAlgorithm_);
5563 if (((bitField0_ & 0x00000800) != 0)) {
5564 size +=
com.
google.protobuf.CodedOutputStream
5565 .computeInt32Size(11, clauseCleanupPeriod_);
5567 if (((bitField0_ & 0x00001000) != 0)) {
5568 size +=
com.
google.protobuf.CodedOutputStream
5569 .computeInt32Size(13, clauseCleanupTarget_);
5571 if (((bitField0_ & 0x00100000) != 0)) {
5572 size +=
com.
google.protobuf.CodedOutputStream
5573 .computeDoubleSize(15, variableActivityDecay_);
5575 if (((bitField0_ & 0x00200000) != 0)) {
5576 size +=
com.
google.protobuf.CodedOutputStream
5577 .computeDoubleSize(16, maxVariableActivityValue_);
5579 if (((bitField0_ & 0x02000000) != 0)) {
5580 size +=
com.
google.protobuf.CodedOutputStream
5581 .computeDoubleSize(17, clauseActivityDecay_);
5583 if (((bitField0_ & 0x04000000) != 0)) {
5584 size +=
com.
google.protobuf.CodedOutputStream
5585 .computeDoubleSize(18, maxClauseActivityValue_);
5587 if (((bitField0_ & 0x00400000) != 0)) {
5588 size +=
com.
google.protobuf.CodedOutputStream
5589 .computeDoubleSize(22, glucoseMaxDecay_);
5591 if (((bitField0_ & 0x00800000) != 0)) {
5592 size +=
com.
google.protobuf.CodedOutputStream
5593 .computeDoubleSize(23, glucoseDecayIncrement_);
5595 if (((bitField0_ & 0x01000000) != 0)) {
5596 size +=
com.
google.protobuf.CodedOutputStream
5597 .computeInt32Size(24, glucoseDecayIncrementPeriod_);
5599 if (((bitField0_ & 0x10000000) != 0)) {
5600 size +=
com.
google.protobuf.CodedOutputStream
5601 .computeInt32Size(30, restartPeriod_);
5603 if (((bitField1_ & 0x00000400) != 0)) {
5604 size +=
com.
google.protobuf.CodedOutputStream
5605 .computeInt32Size(31, randomSeed_);
5607 if (((bitField0_ & 0x00000010) != 0)) {
5608 size +=
com.
google.protobuf.CodedOutputStream
5609 .computeDoubleSize(32, randomBranchesRatio_);
5611 if (((bitField1_ & 0x00000200) != 0)) {
5612 size +=
com.
google.protobuf.CodedOutputStream
5613 .computeBoolSize(33, treatBinaryClausesSeparately_);
5615 if (((bitField0_ & 0x00000200) != 0)) {
5616 size +=
com.
google.protobuf.CodedOutputStream
5617 .computeEnumSize(34, binaryMinimizationAlgorithm_);
5619 if (((bitField1_ & 0x00200000) != 0)) {
5620 size +=
com.
google.protobuf.CodedOutputStream
5621 .computeBoolSize(35, useOptimizationHints_);
5623 if (((bitField1_ & 0x00000020) != 0)) {
5624 size +=
com.
google.protobuf.CodedOutputStream
5625 .computeDoubleSize(36, maxTimeInSeconds_);
5627 if (((bitField1_ & 0x00000080) != 0)) {
5628 size +=
com.
google.protobuf.CodedOutputStream
5629 .computeInt64Size(37, maxNumberOfConflicts_);
5631 if (((bitField1_ & 0x00000100) != 0)) {
5632 size +=
com.
google.protobuf.CodedOutputStream
5633 .computeInt64Size(40, maxMemoryInMb_);
5635 if (((bitField1_ & 0x00000800) != 0)) {
5636 size +=
com.
google.protobuf.CodedOutputStream
5637 .computeBoolSize(41, logSearchProgress_);
5639 if (((bitField1_ & 0x00001000) != 0)) {
5640 size +=
com.
google.protobuf.CodedOutputStream
5641 .computeBoolSize(43, usePbResolution_);
5643 if (((bitField0_ & 0x00000004) != 0)) {
5644 size +=
com.
google.protobuf.CodedOutputStream
5645 .computeBoolSize(44, usePhaseSaving_);
5647 if (((bitField0_ & 0x00000008) != 0)) {
5648 size +=
com.
google.protobuf.CodedOutputStream
5649 .computeDoubleSize(45, randomPolarityRatio_);
5651 if (((bitField0_ & 0x00010000) != 0)) {
5652 size +=
com.
google.protobuf.CodedOutputStream
5653 .computeInt32Size(46, pbCleanupIncrement_);
5655 if (((bitField0_ & 0x00020000) != 0)) {
5656 size +=
com.
google.protobuf.CodedOutputStream
5657 .computeDoubleSize(47, pbCleanupRatio_);
5659 if (((bitField1_ & 0x00002000) != 0)) {
5660 size +=
com.
google.protobuf.CodedOutputStream
5661 .computeBoolSize(48, minimizeReductionDuringPbResolution_);
5663 if (((bitField1_ & 0x00004000) != 0)) {
5664 size +=
com.
google.protobuf.CodedOutputStream
5665 .computeBoolSize(49, countAssumptionLevelsInLbd_);
5667 if (((bitField1_ & 0x00400000) != 0)) {
5668 size +=
com.
google.protobuf.CodedOutputStream
5669 .computeBoolSize(50, minimizeCore_);
5671 if (((bitField1_ & 0x02000000) != 0)) {
5672 size +=
com.
google.protobuf.CodedOutputStream
5673 .computeEnumSize(51, maxSatAssumptionOrder_);
5675 if (((bitField1_ & 0x04000000) != 0)) {
5676 size +=
com.
google.protobuf.CodedOutputStream
5677 .computeBoolSize(52, maxSatReverseAssumptionOrder_);
5679 if (((bitField1_ & 0x08000000) != 0)) {
5680 size +=
com.
google.protobuf.CodedOutputStream
5681 .computeEnumSize(53, maxSatStratification_);
5683 if (((bitField1_ & 0x00008000) != 0)) {
5684 size +=
com.
google.protobuf.CodedOutputStream
5685 .computeInt32Size(54, presolveBveThreshold_);
5687 if (((bitField1_ & 0x00010000) != 0)) {
5688 size +=
com.
google.protobuf.CodedOutputStream
5689 .computeInt32Size(55, presolveBveClauseWeight_);
5691 if (((bitField0_ & 0x00000400) != 0)) {
5692 size +=
com.
google.protobuf.CodedOutputStream
5693 .computeBoolSize(56, subsumptionDuringConflictAnalysis_);
5695 if (((bitField1_ & 0x00020000) != 0)) {
5696 size +=
com.
google.protobuf.CodedOutputStream
5697 .computeDoubleSize(57, presolveProbingDeterministicTimeLimit_);
5699 if (((bitField0_ & 0x00002000) != 0)) {
5700 size +=
com.
google.protobuf.CodedOutputStream
5701 .computeEnumSize(58, clauseCleanupProtection_);
5703 if (((bitField0_ & 0x00004000) != 0)) {
5704 size +=
com.
google.protobuf.CodedOutputStream
5705 .computeInt32Size(59, clauseCleanupLbdBound_);
5707 if (((bitField0_ & 0x00008000) != 0)) {
5708 size +=
com.
google.protobuf.CodedOutputStream
5709 .computeEnumSize(60, clauseCleanupOrdering_);
5713 for (
int i = 0; i < restartAlgorithms_.size(); i++) {
5714 dataSize +=
com.
google.protobuf.CodedOutputStream
5715 .computeEnumSizeNoTag(restartAlgorithms_.get(i));
5718 size += 2 * restartAlgorithms_.size();
5720 if (((bitField0_ & 0x20000000) != 0)) {
5721 size +=
com.
google.protobuf.CodedOutputStream
5722 .computeInt32Size(62, restartRunningWindowSize_);
5724 if (((bitField0_ & 0x40000000) != 0)) {
5725 size +=
com.
google.protobuf.CodedOutputStream
5726 .computeDoubleSize(63, restartDlAverageRatio_);
5728 if (((bitField1_ & 0x00000001) != 0)) {
5729 size +=
com.
google.protobuf.CodedOutputStream
5730 .computeBoolSize(64, useBlockingRestart_);
5732 if (((bitField1_ & 0x00000002) != 0)) {
5733 size +=
com.
google.protobuf.CodedOutputStream
5734 .computeInt32Size(65, blockingRestartWindowSize_);
5736 if (((bitField1_ & 0x00000004) != 0)) {
5737 size +=
com.
google.protobuf.CodedOutputStream
5738 .computeDoubleSize(66, blockingRestartMultiplier_);
5740 if (((bitField1_ & 0x00000040) != 0)) {
5741 size +=
com.
google.protobuf.CodedOutputStream
5742 .computeDoubleSize(67, maxDeterministicTime_);
5744 if (((bitField1_ & 0x00000008) != 0)) {
5745 size +=
com.
google.protobuf.CodedOutputStream
5746 .computeInt32Size(68, numConflictsBeforeStrategyChanges_);
5748 if (((bitField1_ & 0x00000010) != 0)) {
5749 size +=
com.
google.protobuf.CodedOutputStream
5750 .computeDoubleSize(69, strategyChangeIncreaseRatio_);
5752 if (((bitField0_ & 0x08000000) != 0)) {
5753 size +=
com.
google.protobuf.GeneratedMessageV3.computeStringSize(70, defaultRestartAlgorithms_);
5755 if (((bitField0_ & 0x80000000) != 0)) {
5756 size +=
com.
google.protobuf.CodedOutputStream
5757 .computeDoubleSize(71, restartLbdAverageRatio_);
5759 if (((bitField1_ & 0x00080000) != 0)) {
5760 size +=
com.
google.protobuf.CodedOutputStream
5761 .computeBoolSize(72, presolveUseBva_);
5763 if (((bitField1_ & 0x00100000) != 0)) {
5764 size +=
com.
google.protobuf.CodedOutputStream
5765 .computeInt32Size(73, presolveBvaThreshold_);
5767 if (((bitField1_ & 0x10000000) != 0)) {
5768 size +=
com.
google.protobuf.CodedOutputStream
5769 .computeBoolSize(74, usePrecedencesInDisjunctiveConstraint_);
5771 if (((bitField0_ & 0x00000020) != 0)) {
5772 size +=
com.
google.protobuf.CodedOutputStream
5773 .computeBoolSize(75, useErwaHeuristic_);
5775 if (((bitField0_ & 0x00000040) != 0)) {
5776 size +=
com.
google.protobuf.CodedOutputStream
5777 .computeDoubleSize(76, initialVariablesActivity_);
5779 if (((bitField0_ & 0x00000080) != 0)) {
5780 size +=
com.
google.protobuf.CodedOutputStream
5781 .computeBoolSize(77, alsoBumpVariablesInConflictReasons_);
5783 if (((bitField1_ & 0x20000000) != 0)) {
5784 size +=
com.
google.protobuf.CodedOutputStream
5785 .computeBoolSize(78, useOverloadCheckerInCumulativeConstraint_);
5787 if (((bitField1_ & 0x40000000) != 0)) {
5788 size +=
com.
google.protobuf.CodedOutputStream
5789 .computeBoolSize(79, useTimetableEdgeFindingInCumulativeConstraint_);
5791 if (((bitField1_ & 0x80000000) != 0)) {
5792 size +=
com.
google.protobuf.CodedOutputStream
5793 .computeBoolSize(80, useDisjunctiveConstraintInCumulativeConstraint_);
5795 if (((bitField2_ & 0x00002000) != 0)) {
5796 size +=
com.
google.protobuf.CodedOutputStream
5797 .computeEnumSize(82, searchBranching_);
5799 if (((bitField2_ & 0x00080000) != 0)) {
5800 size +=
com.
google.protobuf.CodedOutputStream
5801 .computeBoolSize(83, optimizeWithCore_);
5803 if (((bitField1_ & 0x00800000) != 0)) {
5804 size +=
com.
google.protobuf.CodedOutputStream
5805 .computeBoolSize(84, findMultipleCores_);
5807 if (((bitField2_ & 0x00200000) != 0)) {
5808 size +=
com.
google.protobuf.CodedOutputStream
5809 .computeBoolSize(85, optimizeWithMaxHs_);
5811 if (((bitField2_ & 0x00400000) != 0)) {
5812 size +=
com.
google.protobuf.CodedOutputStream
5813 .computeBoolSize(86, cpModelPresolve_);
5815 if (((bitField2_ & 0x02000000) != 0)) {
5816 size +=
com.
google.protobuf.CodedOutputStream
5817 .computeBoolSize(87, enumerateAllSolutions_);
5819 if (((bitField1_ & 0x00040000) != 0)) {
5820 size +=
com.
google.protobuf.CodedOutputStream
5821 .computeBoolSize(88, presolveBlockedClause_);
5823 if (((bitField1_ & 0x01000000) != 0)) {
5824 size +=
com.
google.protobuf.CodedOutputStream
5825 .computeBoolSize(89, coverOptimization_);
5827 if (((bitField2_ & 0x00000001) != 0)) {
5828 size +=
com.
google.protobuf.CodedOutputStream
5829 .computeInt32Size(90, linearizationLevel_);
5831 if (((bitField2_ & 0x00000004) != 0)) {
5832 size +=
com.
google.protobuf.CodedOutputStream
5833 .computeInt32Size(91, maxNumCuts_);
5835 if (((bitField2_ & 0x00000008) != 0)) {
5836 size +=
com.
google.protobuf.CodedOutputStream
5837 .computeBoolSize(92, onlyAddCutsAtLevelZero_);
5839 if (((bitField2_ & 0x01000000) != 0)) {
5840 size +=
com.
google.protobuf.CodedOutputStream
5841 .computeBoolSize(93, cpModelUseSatPresolve_);
5843 if (((bitField2_ & 0x00004000) != 0)) {
5844 size +=
com.
google.protobuf.CodedOutputStream
5845 .computeBoolSize(94, exploitIntegerLpSolution_);
5847 if (((bitField2_ & 0x10000000) != 0)) {
5848 size +=
com.
google.protobuf.CodedOutputStream
5849 .computeBoolSize(95, autoDetectGreaterThanAtLeastOneOf_);
5851 if (((bitField0_ & 0x00040000) != 0)) {
5852 size +=
com.
google.protobuf.CodedOutputStream
5853 .computeInt32Size(96, minimizeWithPropagationRestartPeriod_);
5855 if (((bitField0_ & 0x00080000) != 0)) {
5856 size +=
com.
google.protobuf.CodedOutputStream
5857 .computeInt32Size(97, minimizeWithPropagationNumDecisions_);
5859 if (((bitField2_ & 0x20000000) != 0)) {
5860 size +=
com.
google.protobuf.CodedOutputStream
5861 .computeBoolSize(98, stopAfterFirstSolution_);
5863 if (((bitField2_ & 0x00100000) != 0)) {
5864 size +=
com.
google.protobuf.CodedOutputStream
5865 .computeInt32Size(99, binarySearchNumConflicts_);
5867 if (((bitField2_ & 0x40000000) != 0)) {
5868 size +=
com.
google.protobuf.CodedOutputStream
5869 .computeInt32Size(100, numSearchWorkers_);
5871 if (((bitField3_ & 0x00000008) != 0)) {
5872 size +=
com.
google.protobuf.CodedOutputStream
5873 .computeBoolSize(101, useLnsOnly_);
5875 if (((bitField3_ & 0x00000040) != 0)) {
5876 size +=
com.
google.protobuf.CodedOutputStream
5877 .computeBoolSize(103, randomizeSearch_);
5879 if (((bitField3_ & 0x00000080) != 0)) {
5880 size +=
com.
google.protobuf.CodedOutputStream
5881 .computeInt64Size(104, searchRandomizationTolerance_);
5883 if (((bitField3_ & 0x00000010) != 0)) {
5884 size +=
com.
google.protobuf.CodedOutputStream
5885 .computeBoolSize(105, lnsFocusOnDecisionVariables_);
5887 if (((bitField2_ & 0x08000000) != 0)) {
5888 size +=
com.
google.protobuf.CodedOutputStream
5889 .computeBoolSize(106, instantiateAllVariables_);
5891 if (((bitField2_ & 0x00000002) != 0)) {
5892 size +=
com.
google.protobuf.CodedOutputStream
5893 .computeInt32Size(107, booleanEncodingLevel_);
5895 if (((bitField3_ & 0x00000100) != 0)) {
5896 size +=
com.
google.protobuf.CodedOutputStream
5897 .computeBoolSize(108, useOptionalVariables_);
5899 if (((bitField3_ & 0x00000200) != 0)) {
5900 size +=
com.
google.protobuf.CodedOutputStream
5901 .computeBoolSize(109, useExactLpReason_);
5903 if (((bitField2_ & 0x00800000) != 0)) {
5904 size +=
com.
google.protobuf.CodedOutputStream
5905 .computeInt32Size(110, cpModelProbingLevel_);
5907 if (((bitField2_ & 0x00000010) != 0)) {
5908 size +=
com.
google.protobuf.CodedOutputStream
5909 .computeBoolSize(111, addKnapsackCuts_);
5911 if (((bitField2_ & 0x00000200) != 0)) {
5912 size +=
com.
google.protobuf.CodedOutputStream
5913 .computeBoolSize(112, addLpConstraintsLazily_);
5915 if (((bitField3_ & 0x00000002) != 0)) {
5916 size +=
com.
google.protobuf.CodedOutputStream
5917 .computeBoolSize(113, shareObjectiveBounds_);
5919 if (((bitField3_ & 0x00000004) != 0)) {
5920 size +=
com.
google.protobuf.CodedOutputStream
5921 .computeBoolSize(114, shareLevelZeroBounds_);
5923 if (((bitField2_ & 0x00000400) != 0)) {
5924 size +=
com.
google.protobuf.CodedOutputStream
5925 .computeDoubleSize(115, minOrthogonalityForLpConstraints_);
5927 if (((bitField2_ & 0x00008000) != 0)) {
5928 size +=
com.
google.protobuf.CodedOutputStream
5929 .computeBoolSize(116, exploitAllLpSolution_);
5931 if (((bitField2_ & 0x00000020) != 0)) {
5932 size +=
com.
google.protobuf.CodedOutputStream
5933 .computeBoolSize(117, addCgCuts_);
5935 if (((bitField2_ & 0x00000080) != 0)) {
5936 size +=
com.
google.protobuf.CodedOutputStream
5937 .computeBoolSize(118, useMirRounding_);
5939 if (((bitField2_ & 0x00000100) != 0)) {
5940 size +=
com.
google.protobuf.CodedOutputStream
5941 .computeInt32Size(119, maxIntegerRoundingScaling_);
5943 if (((bitField2_ & 0x00000040) != 0)) {
5944 size +=
com.
google.protobuf.CodedOutputStream
5945 .computeBoolSize(120, addMirCuts_);
5947 if (((bitField2_ & 0x00000800) != 0)) {
5948 size +=
com.
google.protobuf.CodedOutputStream
5949 .computeInt64Size(121, maxInactiveCount_);
5951 if (((bitField2_ & 0x00001000) != 0)) {
5952 size +=
com.
google.protobuf.CodedOutputStream
5953 .computeInt64Size(122, constraintRemovalBatchSize_);
5955 if (((bitField2_ & 0x00040000) != 0)) {
5956 size +=
com.
google.protobuf.CodedOutputStream
5957 .computeInt64Size(123, pseudoCostReliabilityThreshold_);
5959 if (((bitField3_ & 0x00000800) != 0)) {
5960 size +=
com.
google.protobuf.CodedOutputStream
5961 .computeDoubleSize(124, mipMaxBound_);
5963 if (((bitField3_ & 0x00001000) != 0)) {
5964 size +=
com.
google.protobuf.CodedOutputStream
5965 .computeDoubleSize(125, mipVarScaling_);
5967 if (((bitField3_ & 0x00002000) != 0)) {
5968 size +=
com.
google.protobuf.CodedOutputStream
5969 .computeDoubleSize(126, mipWantedPrecision_);
5971 if (((bitField3_ & 0x00004000) != 0)) {
5972 size +=
com.
google.protobuf.CodedOutputStream
5973 .computeInt32Size(127, mipMaxActivityExponent_);
5975 if (((bitField3_ & 0x00008000) != 0)) {
5976 size +=
com.
google.protobuf.CodedOutputStream
5977 .computeDoubleSize(128, mipCheckPrecision_);
5979 if (((bitField3_ & 0x00000020) != 0)) {
5980 size +=
com.
google.protobuf.CodedOutputStream
5981 .computeBoolSize(129, useRinsLns_);
5983 if (((bitField2_ & 0x00010000) != 0)) {
5984 size +=
com.
google.protobuf.CodedOutputStream
5985 .computeBoolSize(130, exploitBestSolution_);
5987 if (((bitField2_ & 0x00020000) != 0)) {
5988 size +=
com.
google.protobuf.CodedOutputStream
5989 .computeBoolSize(131, exploitObjective_);
5991 if (((bitField2_ & 0x04000000) != 0)) {
5992 size +=
com.
google.protobuf.CodedOutputStream
5993 .computeBoolSize(132, fillTightenedDomainsInResponse_);
5995 if (((bitField3_ & 0x00000400) != 0)) {
5996 size +=
com.
google.protobuf.CodedOutputStream
5997 .computeBoolSize(133, useCombinedNoOverlap_);
5999 if (((bitField3_ & 0x00000001) != 0)) {
6000 size +=
com.
google.protobuf.CodedOutputStream
6001 .computeBoolSize(134, deterministicParallelSearch_);
6003 if (((bitField3_ & 0x00010000) != 0)) {
6004 size +=
com.
google.protobuf.CodedOutputStream
6005 .computeBoolSize(135, catchSigintSignal_);
6007 if (((bitField2_ & 0x80000000) != 0)) {
6008 size +=
com.
google.protobuf.CodedOutputStream
6009 .computeBoolSize(136, interleaveSearch_);
6011 size += unknownFields.getSerializedSize();
6012 memoizedSize = size;
6017 public boolean equals(
final java.lang.Object obj) {
6022 return super.equals(obj);
6028 if (preferredVariableOrder_ != other.preferredVariableOrder_)
return false;
6032 if (initialPolarity_ != other.initialPolarity_)
return false;
6037 != other.getUsePhaseSaving())
return false;
6042 != java.lang.Double.doubleToLongBits(
6043 other.getRandomPolarityRatio()))
return false;
6048 != java.lang.Double.doubleToLongBits(
6049 other.getRandomBranchesRatio()))
return false;
6054 != other.getUseErwaHeuristic())
return false;
6059 != java.lang.Double.doubleToLongBits(
6060 other.getInitialVariablesActivity()))
return false;
6065 != other.getAlsoBumpVariablesInConflictReasons())
return false;
6069 if (minimizationAlgorithm_ != other.minimizationAlgorithm_)
return false;
6073 if (binaryMinimizationAlgorithm_ != other.binaryMinimizationAlgorithm_)
return false;
6078 != other.getSubsumptionDuringConflictAnalysis())
return false;
6083 != other.getClauseCleanupPeriod())
return false;
6088 != other.getClauseCleanupTarget())
return false;
6092 if (clauseCleanupProtection_ != other.clauseCleanupProtection_)
return false;
6097 != other.getClauseCleanupLbdBound())
return false;
6101 if (clauseCleanupOrdering_ != other.clauseCleanupOrdering_)
return false;
6106 != other.getPbCleanupIncrement())
return false;
6111 != java.lang.Double.doubleToLongBits(
6112 other.getPbCleanupRatio()))
return false;
6117 != other.getMinimizeWithPropagationRestartPeriod())
return false;
6122 != other.getMinimizeWithPropagationNumDecisions())
return false;
6127 != java.lang.Double.doubleToLongBits(
6128 other.getVariableActivityDecay()))
return false;
6133 != java.lang.Double.doubleToLongBits(
6134 other.getMaxVariableActivityValue()))
return false;
6139 != java.lang.Double.doubleToLongBits(
6140 other.getGlucoseMaxDecay()))
return false;
6145 != java.lang.Double.doubleToLongBits(
6146 other.getGlucoseDecayIncrement()))
return false;
6151 != other.getGlucoseDecayIncrementPeriod())
return false;
6156 != java.lang.Double.doubleToLongBits(
6157 other.getClauseActivityDecay()))
return false;
6162 != java.lang.Double.doubleToLongBits(
6163 other.getMaxClauseActivityValue()))
return false;
6165 if (!restartAlgorithms_.equals(other.restartAlgorithms_))
return false;
6169 .equals(other.getDefaultRestartAlgorithms()))
return false;
6174 != other.getRestartPeriod())
return false;
6179 != other.getRestartRunningWindowSize())
return false;
6184 != java.lang.Double.doubleToLongBits(
6185 other.getRestartDlAverageRatio()))
return false;
6190 != java.lang.Double.doubleToLongBits(
6191 other.getRestartLbdAverageRatio()))
return false;
6196 != other.getUseBlockingRestart())
return false;
6201 != other.getBlockingRestartWindowSize())
return false;
6206 != java.lang.Double.doubleToLongBits(
6207 other.getBlockingRestartMultiplier()))
return false;
6212 != other.getNumConflictsBeforeStrategyChanges())
return false;
6217 != java.lang.Double.doubleToLongBits(
6218 other.getStrategyChangeIncreaseRatio()))
return false;
6223 != java.lang.Double.doubleToLongBits(
6224 other.getMaxTimeInSeconds()))
return false;
6229 != java.lang.Double.doubleToLongBits(
6230 other.getMaxDeterministicTime()))
return false;
6235 != other.getMaxNumberOfConflicts())
return false;
6240 != other.getMaxMemoryInMb())
return false;
6245 != other.getTreatBinaryClausesSeparately())
return false;
6250 != other.getRandomSeed())
return false;
6255 != other.getLogSearchProgress())
return false;
6260 != other.getUsePbResolution())
return false;
6265 != other.getMinimizeReductionDuringPbResolution())
return false;
6270 != other.getCountAssumptionLevelsInLbd())
return false;
6275 != other.getPresolveBveThreshold())
return false;
6280 != other.getPresolveBveClauseWeight())
return false;
6285 != java.lang.Double.doubleToLongBits(
6286 other.getPresolveProbingDeterministicTimeLimit()))
return false;
6291 != other.getPresolveBlockedClause())
return false;
6296 != other.getPresolveUseBva())
return false;
6301 != other.getPresolveBvaThreshold())
return false;
6306 != other.getUseOptimizationHints())
return false;
6311 != other.getMinimizeCore())
return false;
6316 != other.getFindMultipleCores())
return false;
6321 != other.getCoverOptimization())
return false;
6325 if (maxSatAssumptionOrder_ != other.maxSatAssumptionOrder_)
return false;
6330 != other.getMaxSatReverseAssumptionOrder())
return false;
6334 if (maxSatStratification_ != other.maxSatStratification_)
return false;
6339 != other.getUsePrecedencesInDisjunctiveConstraint())
return false;
6344 != other.getUseOverloadCheckerInCumulativeConstraint())
return false;
6349 != other.getUseTimetableEdgeFindingInCumulativeConstraint())
return false;
6354 != other.getUseDisjunctiveConstraintInCumulativeConstraint())
return false;
6359 != other.getLinearizationLevel())
return false;
6364 != other.getBooleanEncodingLevel())
return false;
6369 != other.getMaxNumCuts())
return false;
6374 != other.getOnlyAddCutsAtLevelZero())
return false;
6379 != other.getAddKnapsackCuts())
return false;
6381 if (
hasAddCgCuts() != other.hasAddCgCuts())
return false;
6384 != other.getAddCgCuts())
return false;
6389 != other.getAddMirCuts())
return false;
6394 != other.getUseMirRounding())
return false;
6399 != other.getMaxIntegerRoundingScaling())
return false;
6404 != other.getAddLpConstraintsLazily())
return false;
6409 != java.lang.Double.doubleToLongBits(
6410 other.getMinOrthogonalityForLpConstraints()))
return false;
6415 != other.getMaxInactiveCount())
return false;
6420 != other.getConstraintRemovalBatchSize())
return false;
6424 if (searchBranching_ != other.searchBranching_)
return false;
6429 != other.getExploitIntegerLpSolution())
return false;
6434 != other.getExploitAllLpSolution())
return false;
6439 != other.getExploitBestSolution())
return false;
6444 != other.getExploitObjective())
return false;
6449 != other.getPseudoCostReliabilityThreshold())
return false;
6454 != other.getOptimizeWithCore())
return false;
6459 != other.getBinarySearchNumConflicts())
return false;
6464 != other.getOptimizeWithMaxHs())
return false;
6469 != other.getCpModelPresolve())
return false;
6474 != other.getCpModelProbingLevel())
return false;
6479 != other.getCpModelUseSatPresolve())
return false;
6484 != other.getEnumerateAllSolutions())
return false;
6489 != other.getFillTightenedDomainsInResponse())
return false;
6494 != other.getInstantiateAllVariables())
return false;
6499 != other.getAutoDetectGreaterThanAtLeastOneOf())
return false;
6504 != other.getStopAfterFirstSolution())
return false;
6509 != other.getNumSearchWorkers())
return false;
6514 != other.getInterleaveSearch())
return false;
6519 != other.getDeterministicParallelSearch())
return false;
6524 != other.getShareObjectiveBounds())
return false;
6529 != other.getShareLevelZeroBounds())
return false;
6534 != other.getUseLnsOnly())
return false;
6539 != other.getLnsFocusOnDecisionVariables())
return false;
6544 != other.getUseRinsLns())
return false;
6549 != other.getRandomizeSearch())
return false;
6554 != other.getSearchRandomizationTolerance())
return false;
6559 != other.getUseOptionalVariables())
return false;
6564 != other.getUseExactLpReason())
return false;
6569 != other.getUseCombinedNoOverlap())
return false;
6574 != java.lang.Double.doubleToLongBits(
6575 other.getMipMaxBound()))
return false;
6580 != java.lang.Double.doubleToLongBits(
6581 other.getMipVarScaling()))
return false;
6586 != java.lang.Double.doubleToLongBits(
6587 other.getMipWantedPrecision()))
return false;
6592 != other.getMipMaxActivityExponent())
return false;
6597 != java.lang.Double.doubleToLongBits(
6598 other.getMipCheckPrecision()))
return false;
6603 != other.getCatchSigintSignal())
return false;
6605 if (!unknownFields.equals(other.unknownFields))
return false;
6611 if (memoizedHashCode != 0) {
6612 return memoizedHashCode;
6618 hash = (53 * hash) + preferredVariableOrder_;
6622 hash = (53 * hash) + initialPolarity_;
6626 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6631 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6636 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6641 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6646 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6651 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6656 hash = (53 * hash) + minimizationAlgorithm_;
6660 hash = (53 * hash) + binaryMinimizationAlgorithm_;
6664 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6677 hash = (53 * hash) + clauseCleanupProtection_;
6685 hash = (53 * hash) + clauseCleanupOrdering_;
6693 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6706 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6711 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6716 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
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) + restartAlgorithms_.hashCode();
6756 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6761 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6766 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6775 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6784 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6789 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6794 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6799 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6804 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6809 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6818 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6823 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6828 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6833 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6846 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6851 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6856 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6865 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6870 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6875 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6880 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6885 hash = (53 * hash) + maxSatAssumptionOrder_;
6889 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6894 hash = (53 * hash) + maxSatStratification_;
6898 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6903 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6908 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6913 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6930 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6935 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6940 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6945 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6950 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6959 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6964 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6969 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6974 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6979 hash = (53 * hash) + searchBranching_;
6983 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6988 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6993 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6998 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
7003 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
7008 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
7017 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
7022 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
7031 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
7036 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
7041 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
7046 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
7051 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
7056 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.hashBoolean(
7075 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
7080 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
7085 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
7090 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
7095 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
7100 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
7105 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
7110 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
7115 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
7120 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
7125 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
7130 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
7135 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
7144 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
7149 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
7152 hash = (29 * hash) + unknownFields.hashCode();
7153 memoizedHashCode = hash;
7158 java.nio.ByteBuffer data)
7159 throws com.
google.protobuf.InvalidProtocolBufferException {
7160 return PARSER.parseFrom(data);
7163 java.nio.ByteBuffer data,
7164 com.
google.protobuf.ExtensionRegistryLite extensionRegistry)
7165 throws com.
google.protobuf.InvalidProtocolBufferException {
7166 return PARSER.parseFrom(data, extensionRegistry);
7170 throws com.
google.protobuf.InvalidProtocolBufferException {
7171 return PARSER.parseFrom(data);
7175 com.
google.protobuf.ExtensionRegistryLite extensionRegistry)
7176 throws com.
google.protobuf.InvalidProtocolBufferException {
7177 return PARSER.parseFrom(data, extensionRegistry);
7180 throws com.
google.protobuf.InvalidProtocolBufferException {
7181 return PARSER.parseFrom(data);
7185 com.
google.protobuf.ExtensionRegistryLite extensionRegistry)
7186 throws com.
google.protobuf.InvalidProtocolBufferException {
7187 return PARSER.parseFrom(data, extensionRegistry);
7190 throws java.io.IOException {
7191 return com.
google.protobuf.GeneratedMessageV3
7192 .parseWithIOException(
PARSER, input);
7195 java.io.InputStream input,
7196 com.
google.protobuf.ExtensionRegistryLite extensionRegistry)
7197 throws java.io.IOException {
7198 return com.
google.protobuf.GeneratedMessageV3
7199 .parseWithIOException(
PARSER, input, extensionRegistry);
7202 throws java.io.IOException {
7203 return com.
google.protobuf.GeneratedMessageV3
7204 .parseDelimitedWithIOException(
PARSER, input);
7207 java.io.InputStream input,
7208 com.
google.protobuf.ExtensionRegistryLite extensionRegistry)
7209 throws java.io.IOException {
7210 return com.
google.protobuf.GeneratedMessageV3
7211 .parseDelimitedWithIOException(
PARSER, input, extensionRegistry);
7214 com.
google.protobuf.CodedInputStream input)
7215 throws java.io.IOException {
7216 return com.
google.protobuf.GeneratedMessageV3
7217 .parseWithIOException(
PARSER, input);
7220 com.
google.protobuf.CodedInputStream input,
7221 com.
google.protobuf.ExtensionRegistryLite extensionRegistry)
7222 throws java.io.IOException {
7223 return com.
google.protobuf.GeneratedMessageV3
7224 .parseWithIOException(
PARSER, input, extensionRegistry);
7237 return this == DEFAULT_INSTANCE
7243 com.
google.protobuf.GeneratedMessageV3.BuilderParent parent) {
7257 com.google.protobuf.GeneratedMessageV3.
Builder<Builder> implements
7260 public static final com.
google.protobuf.Descriptors.Descriptor
7262 return com.
google.
ortools.
sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
7266 protected com.
google.protobuf.GeneratedMessageV3.FieldAccessorTable
7268 return com.
google.
ortools.
sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_fieldAccessorTable
7269 .ensureFieldAccessorsInitialized(
7275 maybeForceBuilderInitialization();
7279 com.
google.protobuf.GeneratedMessageV3.BuilderParent parent) {
7281 maybeForceBuilderInitialization();
7283 private void maybeForceBuilderInitialization() {
7284 if (
com.
google.protobuf.GeneratedMessageV3
7285 .alwaysUseFieldBuilders) {
7291 preferredVariableOrder_ = 0;
7292 bitField0_ = (bitField0_ & ~0x00000001);
7293 initialPolarity_ = 1;
7294 bitField0_ = (bitField0_ & ~0x00000002);
7295 usePhaseSaving_ =
true;
7296 bitField0_ = (bitField0_ & ~0x00000004);
7297 randomPolarityRatio_ = 0D;
7298 bitField0_ = (bitField0_ & ~0x00000008);
7299 randomBranchesRatio_ = 0D;
7300 bitField0_ = (bitField0_ & ~0x00000010);
7301 useErwaHeuristic_ =
false;
7302 bitField0_ = (bitField0_ & ~0x00000020);
7303 initialVariablesActivity_ = 0D;
7304 bitField0_ = (bitField0_ & ~0x00000040);
7305 alsoBumpVariablesInConflictReasons_ =
false;
7306 bitField0_ = (bitField0_ & ~0x00000080);
7307 minimizationAlgorithm_ = 2;
7308 bitField0_ = (bitField0_ & ~0x00000100);
7309 binaryMinimizationAlgorithm_ = 1;
7310 bitField0_ = (bitField0_ & ~0x00000200);
7311 subsumptionDuringConflictAnalysis_ =
true;
7312 bitField0_ = (bitField0_ & ~0x00000400);
7313 clauseCleanupPeriod_ = 10000;
7314 bitField0_ = (bitField0_ & ~0x00000800);
7315 clauseCleanupTarget_ = 10000;
7316 bitField0_ = (bitField0_ & ~0x00001000);
7317 clauseCleanupProtection_ = 0;
7318 bitField0_ = (bitField0_ & ~0x00002000);
7319 clauseCleanupLbdBound_ = 5;
7320 bitField0_ = (bitField0_ & ~0x00004000);
7321 clauseCleanupOrdering_ = 0;
7322 bitField0_ = (bitField0_ & ~0x00008000);
7323 pbCleanupIncrement_ = 200;
7324 bitField0_ = (bitField0_ & ~0x00010000);
7325 pbCleanupRatio_ = 0.5D;
7326 bitField0_ = (bitField0_ & ~0x00020000);
7327 minimizeWithPropagationRestartPeriod_ = 10;
7328 bitField0_ = (bitField0_ & ~0x00040000);
7329 minimizeWithPropagationNumDecisions_ = 1000;
7330 bitField0_ = (bitField0_ & ~0x00080000);
7331 variableActivityDecay_ = 0.8D;
7332 bitField0_ = (bitField0_ & ~0x00100000);
7333 maxVariableActivityValue_ = 1e+100D;
7334 bitField0_ = (bitField0_ & ~0x00200000);
7335 glucoseMaxDecay_ = 0.95D;
7336 bitField0_ = (bitField0_ & ~0x00400000);
7337 glucoseDecayIncrement_ = 0.01D;
7338 bitField0_ = (bitField0_ & ~0x00800000);
7339 glucoseDecayIncrementPeriod_ = 5000;
7340 bitField0_ = (bitField0_ & ~0x01000000);
7341 clauseActivityDecay_ = 0.999D;
7342 bitField0_ = (bitField0_ & ~0x02000000);
7343 maxClauseActivityValue_ = 1e+20D;
7344 bitField0_ = (bitField0_ & ~0x04000000);
7345 restartAlgorithms_ = java.util.Collections.emptyList();
7346 bitField0_ = (bitField0_ & ~0x08000000);
7347 defaultRestartAlgorithms_ =
"LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,DL_MOVING_AVERAGE_RESTART";
7348 bitField0_ = (bitField0_ & ~0x10000000);
7349 restartPeriod_ = 50;
7350 bitField0_ = (bitField0_ & ~0x20000000);
7351 restartRunningWindowSize_ = 50;
7352 bitField0_ = (bitField0_ & ~0x40000000);
7353 restartDlAverageRatio_ = 1D;
7354 bitField0_ = (bitField0_ & ~0x80000000);
7355 restartLbdAverageRatio_ = 1D;
7356 bitField1_ = (bitField1_ & ~0x00000001);
7357 useBlockingRestart_ =
false;
7358 bitField1_ = (bitField1_ & ~0x00000002);
7359 blockingRestartWindowSize_ = 5000;
7360 bitField1_ = (bitField1_ & ~0x00000004);
7361 blockingRestartMultiplier_ = 1.4D;
7362 bitField1_ = (bitField1_ & ~0x00000008);
7363 numConflictsBeforeStrategyChanges_ = 0;
7364 bitField1_ = (bitField1_ & ~0x00000010);
7365 strategyChangeIncreaseRatio_ = 0D;
7366 bitField1_ = (bitField1_ & ~0x00000020);
7367 maxTimeInSeconds_ = Double.POSITIVE_INFINITY;
7368 bitField1_ = (bitField1_ & ~0x00000040);
7369 maxDeterministicTime_ = Double.POSITIVE_INFINITY;
7370 bitField1_ = (bitField1_ & ~0x00000080);
7371 maxNumberOfConflicts_ = 9223372036854775807L;
7372 bitField1_ = (bitField1_ & ~0x00000100);
7373 maxMemoryInMb_ = 10000L;
7374 bitField1_ = (bitField1_ & ~0x00000200);
7375 treatBinaryClausesSeparately_ =
true;
7376 bitField1_ = (bitField1_ & ~0x00000400);
7378 bitField1_ = (bitField1_ & ~0x00000800);
7379 logSearchProgress_ =
false;
7380 bitField1_ = (bitField1_ & ~0x00001000);
7381 usePbResolution_ =
false;
7382 bitField1_ = (bitField1_ & ~0x00002000);
7383 minimizeReductionDuringPbResolution_ =
false;
7384 bitField1_ = (bitField1_ & ~0x00004000);
7385 countAssumptionLevelsInLbd_ =
true;
7386 bitField1_ = (bitField1_ & ~0x00008000);
7387 presolveBveThreshold_ = 500;
7388 bitField1_ = (bitField1_ & ~0x00010000);
7389 presolveBveClauseWeight_ = 3;
7390 bitField1_ = (bitField1_ & ~0x00020000);
7391 presolveProbingDeterministicTimeLimit_ = 30D;
7392 bitField1_ = (bitField1_ & ~0x00040000);
7393 presolveBlockedClause_ =
true;
7394 bitField1_ = (bitField1_ & ~0x00080000);
7395 presolveUseBva_ =
true;
7396 bitField1_ = (bitField1_ & ~0x00100000);
7397 presolveBvaThreshold_ = 1;
7398 bitField1_ = (bitField1_ & ~0x00200000);
7399 useOptimizationHints_ =
true;
7400 bitField1_ = (bitField1_ & ~0x00400000);
7401 minimizeCore_ =
true;
7402 bitField1_ = (bitField1_ & ~0x00800000);
7403 findMultipleCores_ =
true;
7404 bitField1_ = (bitField1_ & ~0x01000000);
7405 coverOptimization_ =
true;
7406 bitField1_ = (bitField1_ & ~0x02000000);
7407 maxSatAssumptionOrder_ = 0;
7408 bitField1_ = (bitField1_ & ~0x04000000);
7409 maxSatReverseAssumptionOrder_ =
false;
7410 bitField1_ = (bitField1_ & ~0x08000000);
7411 maxSatStratification_ = 1;
7412 bitField1_ = (bitField1_ & ~0x10000000);
7413 usePrecedencesInDisjunctiveConstraint_ =
true;
7414 bitField1_ = (bitField1_ & ~0x20000000);
7415 useOverloadCheckerInCumulativeConstraint_ =
false;
7416 bitField1_ = (bitField1_ & ~0x40000000);
7417 useTimetableEdgeFindingInCumulativeConstraint_ =
false;
7418 bitField1_ = (bitField1_ & ~0x80000000);
7419 useDisjunctiveConstraintInCumulativeConstraint_ =
true;
7420 bitField2_ = (bitField2_ & ~0x00000001);
7421 linearizationLevel_ = 1;
7422 bitField2_ = (bitField2_ & ~0x00000002);
7423 booleanEncodingLevel_ = 1;
7424 bitField2_ = (bitField2_ & ~0x00000004);
7426 bitField2_ = (bitField2_ & ~0x00000008);
7427 onlyAddCutsAtLevelZero_ =
false;
7428 bitField2_ = (bitField2_ & ~0x00000010);
7429 addKnapsackCuts_ =
false;
7430 bitField2_ = (bitField2_ & ~0x00000020);
7432 bitField2_ = (bitField2_ & ~0x00000040);
7434 bitField2_ = (bitField2_ & ~0x00000080);
7435 useMirRounding_ =
true;
7436 bitField2_ = (bitField2_ & ~0x00000100);
7437 maxIntegerRoundingScaling_ = 600;
7438 bitField2_ = (bitField2_ & ~0x00000200);
7439 addLpConstraintsLazily_ =
true;
7440 bitField2_ = (bitField2_ & ~0x00000400);
7441 minOrthogonalityForLpConstraints_ = 0D;
7442 bitField2_ = (bitField2_ & ~0x00000800);
7443 maxInactiveCount_ = 1000L;
7444 bitField2_ = (bitField2_ & ~0x00001000);
7445 constraintRemovalBatchSize_ = 100L;
7446 bitField2_ = (bitField2_ & ~0x00002000);
7447 searchBranching_ = 0;
7448 bitField2_ = (bitField2_ & ~0x00004000);
7449 exploitIntegerLpSolution_ =
true;
7450 bitField2_ = (bitField2_ & ~0x00008000);
7451 exploitAllLpSolution_ =
true;
7452 bitField2_ = (bitField2_ & ~0x00010000);
7453 exploitBestSolution_ =
false;
7454 bitField2_ = (bitField2_ & ~0x00020000);
7455 exploitObjective_ =
true;
7456 bitField2_ = (bitField2_ & ~0x00040000);
7457 pseudoCostReliabilityThreshold_ = 100L;
7458 bitField2_ = (bitField2_ & ~0x00080000);
7459 optimizeWithCore_ =
false;
7460 bitField2_ = (bitField2_ & ~0x00100000);
7461 binarySearchNumConflicts_ = -1;
7462 bitField2_ = (bitField2_ & ~0x00200000);
7463 optimizeWithMaxHs_ =
false;
7464 bitField2_ = (bitField2_ & ~0x00400000);
7465 cpModelPresolve_ =
true;
7466 bitField2_ = (bitField2_ & ~0x00800000);
7467 cpModelProbingLevel_ = 2;
7468 bitField2_ = (bitField2_ & ~0x01000000);
7469 cpModelUseSatPresolve_ =
true;
7470 bitField2_ = (bitField2_ & ~0x02000000);
7471 enumerateAllSolutions_ =
false;
7472 bitField2_ = (bitField2_ & ~0x04000000);
7473 fillTightenedDomainsInResponse_ =
false;
7474 bitField2_ = (bitField2_ & ~0x08000000);
7475 instantiateAllVariables_ =
true;
7476 bitField2_ = (bitField2_ & ~0x10000000);
7477 autoDetectGreaterThanAtLeastOneOf_ =
true;
7478 bitField2_ = (bitField2_ & ~0x20000000);
7479 stopAfterFirstSolution_ =
false;
7480 bitField2_ = (bitField2_ & ~0x40000000);
7481 numSearchWorkers_ = 1;
7482 bitField2_ = (bitField2_ & ~0x80000000);
7483 interleaveSearch_ =
false;
7484 bitField3_ = (bitField3_ & ~0x00000001);
7485 deterministicParallelSearch_ =
false;
7486 bitField3_ = (bitField3_ & ~0x00000002);
7487 shareObjectiveBounds_ =
true;
7488 bitField3_ = (bitField3_ & ~0x00000004);
7489 shareLevelZeroBounds_ =
true;
7490 bitField3_ = (bitField3_ & ~0x00000008);
7491 useLnsOnly_ =
false;
7492 bitField3_ = (bitField3_ & ~0x00000010);
7493 lnsFocusOnDecisionVariables_ =
false;
7494 bitField3_ = (bitField3_ & ~0x00000020);
7495 useRinsLns_ =
false;
7496 bitField3_ = (bitField3_ & ~0x00000040);
7497 randomizeSearch_ =
false;
7498 bitField3_ = (bitField3_ & ~0x00000080);
7499 searchRandomizationTolerance_ = 0L;
7500 bitField3_ = (bitField3_ & ~0x00000100);
7501 useOptionalVariables_ =
true;
7502 bitField3_ = (bitField3_ & ~0x00000200);
7503 useExactLpReason_ =
true;
7504 bitField3_ = (bitField3_ & ~0x00000400);
7505 useCombinedNoOverlap_ =
false;
7506 bitField3_ = (bitField3_ & ~0x00000800);
7507 mipMaxBound_ = 10000000D;
7508 bitField3_ = (bitField3_ & ~0x00001000);
7509 mipVarScaling_ = 1D;
7510 bitField3_ = (bitField3_ & ~0x00002000);
7511 mipWantedPrecision_ = 1e-06D;
7512 bitField3_ = (bitField3_ & ~0x00004000);
7513 mipMaxActivityExponent_ = 53;
7514 bitField3_ = (bitField3_ & ~0x00008000);
7515 mipCheckPrecision_ = 0.0001D;
7516 bitField3_ = (bitField3_ & ~0x00010000);
7517 catchSigintSignal_ =
true;
7518 bitField3_ = (bitField3_ & ~0x00020000);
7523 public com.
google.protobuf.Descriptors.Descriptor
7525 return com.
google.
ortools.
sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
7536 if (!result.isInitialized()) {
7537 throw newUninitializedMessageException(result);
7545 int from_bitField0_ = bitField0_;
7546 int from_bitField1_ = bitField1_;
7547 int from_bitField2_ = bitField2_;
7548 int from_bitField3_ = bitField3_;
7549 int to_bitField0_ = 0;
7550 int to_bitField1_ = 0;
7551 int to_bitField2_ = 0;
7552 int to_bitField3_ = 0;
7553 if (((from_bitField0_ & 0x00000001) != 0)) {
7554 to_bitField0_ |= 0x00000001;
7556 result.preferredVariableOrder_ = preferredVariableOrder_;
7557 if (((from_bitField0_ & 0x00000002) != 0)) {
7558 to_bitField0_ |= 0x00000002;
7560 result.initialPolarity_ = initialPolarity_;
7561 if (((from_bitField0_ & 0x00000004) != 0)) {
7562 to_bitField0_ |= 0x00000004;
7564 result.usePhaseSaving_ = usePhaseSaving_;
7565 if (((from_bitField0_ & 0x00000008) != 0)) {
7566 result.randomPolarityRatio_ = randomPolarityRatio_;
7567 to_bitField0_ |= 0x00000008;
7569 if (((from_bitField0_ & 0x00000010) != 0)) {
7570 result.randomBranchesRatio_ = randomBranchesRatio_;
7571 to_bitField0_ |= 0x00000010;
7573 if (((from_bitField0_ & 0x00000020) != 0)) {
7574 result.useErwaHeuristic_ = useErwaHeuristic_;
7575 to_bitField0_ |= 0x00000020;
7577 if (((from_bitField0_ & 0x00000040) != 0)) {
7578 result.initialVariablesActivity_ = initialVariablesActivity_;
7579 to_bitField0_ |= 0x00000040;
7581 if (((from_bitField0_ & 0x00000080) != 0)) {
7582 result.alsoBumpVariablesInConflictReasons_ = alsoBumpVariablesInConflictReasons_;
7583 to_bitField0_ |= 0x00000080;
7585 if (((from_bitField0_ & 0x00000100) != 0)) {
7586 to_bitField0_ |= 0x00000100;
7588 result.minimizationAlgorithm_ = minimizationAlgorithm_;
7589 if (((from_bitField0_ & 0x00000200) != 0)) {
7590 to_bitField0_ |= 0x00000200;
7592 result.binaryMinimizationAlgorithm_ = binaryMinimizationAlgorithm_;
7593 if (((from_bitField0_ & 0x00000400) != 0)) {
7594 to_bitField0_ |= 0x00000400;
7596 result.subsumptionDuringConflictAnalysis_ = subsumptionDuringConflictAnalysis_;
7597 if (((from_bitField0_ & 0x00000800) != 0)) {
7598 to_bitField0_ |= 0x00000800;
7600 result.clauseCleanupPeriod_ = clauseCleanupPeriod_;
7601 if (((from_bitField0_ & 0x00001000) != 0)) {
7602 to_bitField0_ |= 0x00001000;
7604 result.clauseCleanupTarget_ = clauseCleanupTarget_;
7605 if (((from_bitField0_ & 0x00002000) != 0)) {
7606 to_bitField0_ |= 0x00002000;
7608 result.clauseCleanupProtection_ = clauseCleanupProtection_;
7609 if (((from_bitField0_ & 0x00004000) != 0)) {
7610 to_bitField0_ |= 0x00004000;
7612 result.clauseCleanupLbdBound_ = clauseCleanupLbdBound_;
7613 if (((from_bitField0_ & 0x00008000) != 0)) {
7614 to_bitField0_ |= 0x00008000;
7616 result.clauseCleanupOrdering_ = clauseCleanupOrdering_;
7617 if (((from_bitField0_ & 0x00010000) != 0)) {
7618 to_bitField0_ |= 0x00010000;
7620 result.pbCleanupIncrement_ = pbCleanupIncrement_;
7621 if (((from_bitField0_ & 0x00020000) != 0)) {
7622 to_bitField0_ |= 0x00020000;
7624 result.pbCleanupRatio_ = pbCleanupRatio_;
7625 if (((from_bitField0_ & 0x00040000) != 0)) {
7626 to_bitField0_ |= 0x00040000;
7628 result.minimizeWithPropagationRestartPeriod_ = minimizeWithPropagationRestartPeriod_;
7629 if (((from_bitField0_ & 0x00080000) != 0)) {
7630 to_bitField0_ |= 0x00080000;
7632 result.minimizeWithPropagationNumDecisions_ = minimizeWithPropagationNumDecisions_;
7633 if (((from_bitField0_ & 0x00100000) != 0)) {
7634 to_bitField0_ |= 0x00100000;
7636 result.variableActivityDecay_ = variableActivityDecay_;
7637 if (((from_bitField0_ & 0x00200000) != 0)) {
7638 to_bitField0_ |= 0x00200000;
7640 result.maxVariableActivityValue_ = maxVariableActivityValue_;
7641 if (((from_bitField0_ & 0x00400000) != 0)) {
7642 to_bitField0_ |= 0x00400000;
7644 result.glucoseMaxDecay_ = glucoseMaxDecay_;
7645 if (((from_bitField0_ & 0x00800000) != 0)) {
7646 to_bitField0_ |= 0x00800000;
7648 result.glucoseDecayIncrement_ = glucoseDecayIncrement_;
7649 if (((from_bitField0_ & 0x01000000) != 0)) {
7650 to_bitField0_ |= 0x01000000;
7652 result.glucoseDecayIncrementPeriod_ = glucoseDecayIncrementPeriod_;
7653 if (((from_bitField0_ & 0x02000000) != 0)) {
7654 to_bitField0_ |= 0x02000000;
7656 result.clauseActivityDecay_ = clauseActivityDecay_;
7657 if (((from_bitField0_ & 0x04000000) != 0)) {
7658 to_bitField0_ |= 0x04000000;
7660 result.maxClauseActivityValue_ = maxClauseActivityValue_;
7661 if (((bitField0_ & 0x08000000) != 0)) {
7662 restartAlgorithms_ = java.util.Collections.unmodifiableList(restartAlgorithms_);
7663 bitField0_ = (bitField0_ & ~0x08000000);
7665 result.restartAlgorithms_ = restartAlgorithms_;
7666 if (((from_bitField0_ & 0x10000000) != 0)) {
7667 to_bitField0_ |= 0x08000000;
7669 result.defaultRestartAlgorithms_ = defaultRestartAlgorithms_;
7670 if (((from_bitField0_ & 0x20000000) != 0)) {
7671 to_bitField0_ |= 0x10000000;
7673 result.restartPeriod_ = restartPeriod_;
7674 if (((from_bitField0_ & 0x40000000) != 0)) {
7675 to_bitField0_ |= 0x20000000;
7677 result.restartRunningWindowSize_ = restartRunningWindowSize_;
7678 if (((from_bitField0_ & 0x80000000) != 0)) {
7679 to_bitField0_ |= 0x40000000;
7681 result.restartDlAverageRatio_ = restartDlAverageRatio_;
7682 if (((from_bitField1_ & 0x00000001) != 0)) {
7683 to_bitField0_ |= 0x80000000;
7685 result.restartLbdAverageRatio_ = restartLbdAverageRatio_;
7686 if (((from_bitField1_ & 0x00000002) != 0)) {
7687 result.useBlockingRestart_ = useBlockingRestart_;
7688 to_bitField1_ |= 0x00000001;
7690 if (((from_bitField1_ & 0x00000004) != 0)) {
7691 to_bitField1_ |= 0x00000002;
7693 result.blockingRestartWindowSize_ = blockingRestartWindowSize_;
7694 if (((from_bitField1_ & 0x00000008) != 0)) {
7695 to_bitField1_ |= 0x00000004;
7697 result.blockingRestartMultiplier_ = blockingRestartMultiplier_;
7698 if (((from_bitField1_ & 0x00000010) != 0)) {
7699 result.numConflictsBeforeStrategyChanges_ = numConflictsBeforeStrategyChanges_;
7700 to_bitField1_ |= 0x00000008;
7702 if (((from_bitField1_ & 0x00000020) != 0)) {
7703 result.strategyChangeIncreaseRatio_ = strategyChangeIncreaseRatio_;
7704 to_bitField1_ |= 0x00000010;
7706 if (((from_bitField1_ & 0x00000040) != 0)) {
7707 to_bitField1_ |= 0x00000020;
7709 result.maxTimeInSeconds_ = maxTimeInSeconds_;
7710 if (((from_bitField1_ & 0x00000080) != 0)) {
7711 to_bitField1_ |= 0x00000040;
7713 result.maxDeterministicTime_ = maxDeterministicTime_;
7714 if (((from_bitField1_ & 0x00000100) != 0)) {
7715 to_bitField1_ |= 0x00000080;
7717 result.maxNumberOfConflicts_ = maxNumberOfConflicts_;
7718 if (((from_bitField1_ & 0x00000200) != 0)) {
7719 to_bitField1_ |= 0x00000100;
7721 result.maxMemoryInMb_ = maxMemoryInMb_;
7722 if (((from_bitField1_ & 0x00000400) != 0)) {
7723 to_bitField1_ |= 0x00000200;
7725 result.treatBinaryClausesSeparately_ = treatBinaryClausesSeparately_;
7726 if (((from_bitField1_ & 0x00000800) != 0)) {
7727 to_bitField1_ |= 0x00000400;
7729 result.randomSeed_ = randomSeed_;
7730 if (((from_bitField1_ & 0x00001000) != 0)) {
7731 result.logSearchProgress_ = logSearchProgress_;
7732 to_bitField1_ |= 0x00000800;
7734 if (((from_bitField1_ & 0x00002000) != 0)) {
7735 result.usePbResolution_ = usePbResolution_;
7736 to_bitField1_ |= 0x00001000;
7738 if (((from_bitField1_ & 0x00004000) != 0)) {
7739 result.minimizeReductionDuringPbResolution_ = minimizeReductionDuringPbResolution_;
7740 to_bitField1_ |= 0x00002000;
7742 if (((from_bitField1_ & 0x00008000) != 0)) {
7743 to_bitField1_ |= 0x00004000;
7745 result.countAssumptionLevelsInLbd_ = countAssumptionLevelsInLbd_;
7746 if (((from_bitField1_ & 0x00010000) != 0)) {
7747 to_bitField1_ |= 0x00008000;
7749 result.presolveBveThreshold_ = presolveBveThreshold_;
7750 if (((from_bitField1_ & 0x00020000) != 0)) {
7751 to_bitField1_ |= 0x00010000;
7753 result.presolveBveClauseWeight_ = presolveBveClauseWeight_;
7754 if (((from_bitField1_ & 0x00040000) != 0)) {
7755 to_bitField1_ |= 0x00020000;
7757 result.presolveProbingDeterministicTimeLimit_ = presolveProbingDeterministicTimeLimit_;
7758 if (((from_bitField1_ & 0x00080000) != 0)) {
7759 to_bitField1_ |= 0x00040000;
7761 result.presolveBlockedClause_ = presolveBlockedClause_;
7762 if (((from_bitField1_ & 0x00100000) != 0)) {
7763 to_bitField1_ |= 0x00080000;
7765 result.presolveUseBva_ = presolveUseBva_;
7766 if (((from_bitField1_ & 0x00200000) != 0)) {
7767 to_bitField1_ |= 0x00100000;
7769 result.presolveBvaThreshold_ = presolveBvaThreshold_;
7770 if (((from_bitField1_ & 0x00400000) != 0)) {
7771 to_bitField1_ |= 0x00200000;
7773 result.useOptimizationHints_ = useOptimizationHints_;
7774 if (((from_bitField1_ & 0x00800000) != 0)) {
7775 to_bitField1_ |= 0x00400000;
7777 result.minimizeCore_ = minimizeCore_;
7778 if (((from_bitField1_ & 0x01000000) != 0)) {
7779 to_bitField1_ |= 0x00800000;
7781 result.findMultipleCores_ = findMultipleCores_;
7782 if (((from_bitField1_ & 0x02000000) != 0)) {
7783 to_bitField1_ |= 0x01000000;
7785 result.coverOptimization_ = coverOptimization_;
7786 if (((from_bitField1_ & 0x04000000) != 0)) {
7787 to_bitField1_ |= 0x02000000;
7789 result.maxSatAssumptionOrder_ = maxSatAssumptionOrder_;
7790 if (((from_bitField1_ & 0x08000000) != 0)) {
7791 result.maxSatReverseAssumptionOrder_ = maxSatReverseAssumptionOrder_;
7792 to_bitField1_ |= 0x04000000;
7794 if (((from_bitField1_ & 0x10000000) != 0)) {
7795 to_bitField1_ |= 0x08000000;
7797 result.maxSatStratification_ = maxSatStratification_;
7798 if (((from_bitField1_ & 0x20000000) != 0)) {
7799 to_bitField1_ |= 0x10000000;
7801 result.usePrecedencesInDisjunctiveConstraint_ = usePrecedencesInDisjunctiveConstraint_;
7802 if (((from_bitField1_ & 0x40000000) != 0)) {
7803 result.useOverloadCheckerInCumulativeConstraint_ = useOverloadCheckerInCumulativeConstraint_;
7804 to_bitField1_ |= 0x20000000;
7806 if (((from_bitField1_ & 0x80000000) != 0)) {
7807 result.useTimetableEdgeFindingInCumulativeConstraint_ = useTimetableEdgeFindingInCumulativeConstraint_;
7808 to_bitField1_ |= 0x40000000;
7810 if (((from_bitField2_ & 0x00000001) != 0)) {
7811 to_bitField1_ |= 0x80000000;
7813 result.useDisjunctiveConstraintInCumulativeConstraint_ = useDisjunctiveConstraintInCumulativeConstraint_;
7814 if (((from_bitField2_ & 0x00000002) != 0)) {
7815 to_bitField2_ |= 0x00000001;
7817 result.linearizationLevel_ = linearizationLevel_;
7818 if (((from_bitField2_ & 0x00000004) != 0)) {
7819 to_bitField2_ |= 0x00000002;
7821 result.booleanEncodingLevel_ = booleanEncodingLevel_;
7822 if (((from_bitField2_ & 0x00000008) != 0)) {
7823 to_bitField2_ |= 0x00000004;
7825 result.maxNumCuts_ = maxNumCuts_;
7826 if (((from_bitField2_ & 0x00000010) != 0)) {
7827 result.onlyAddCutsAtLevelZero_ = onlyAddCutsAtLevelZero_;
7828 to_bitField2_ |= 0x00000008;
7830 if (((from_bitField2_ & 0x00000020) != 0)) {
7831 result.addKnapsackCuts_ = addKnapsackCuts_;
7832 to_bitField2_ |= 0x00000010;
7834 if (((from_bitField2_ & 0x00000040) != 0)) {
7835 result.addCgCuts_ = addCgCuts_;
7836 to_bitField2_ |= 0x00000020;
7838 if (((from_bitField2_ & 0x00000080) != 0)) {
7839 to_bitField2_ |= 0x00000040;
7841 result.addMirCuts_ = addMirCuts_;
7842 if (((from_bitField2_ & 0x00000100) != 0)) {
7843 to_bitField2_ |= 0x00000080;
7845 result.useMirRounding_ = useMirRounding_;
7846 if (((from_bitField2_ & 0x00000200) != 0)) {
7847 to_bitField2_ |= 0x00000100;
7849 result.maxIntegerRoundingScaling_ = maxIntegerRoundingScaling_;
7850 if (((from_bitField2_ & 0x00000400) != 0)) {
7851 to_bitField2_ |= 0x00000200;
7853 result.addLpConstraintsLazily_ = addLpConstraintsLazily_;
7854 if (((from_bitField2_ & 0x00000800) != 0)) {
7855 result.minOrthogonalityForLpConstraints_ = minOrthogonalityForLpConstraints_;
7856 to_bitField2_ |= 0x00000400;
7858 if (((from_bitField2_ & 0x00001000) != 0)) {
7859 to_bitField2_ |= 0x00000800;
7861 result.maxInactiveCount_ = maxInactiveCount_;
7862 if (((from_bitField2_ & 0x00002000) != 0)) {
7863 to_bitField2_ |= 0x00001000;
7865 result.constraintRemovalBatchSize_ = constraintRemovalBatchSize_;
7866 if (((from_bitField2_ & 0x00004000) != 0)) {
7867 to_bitField2_ |= 0x00002000;
7869 result.searchBranching_ = searchBranching_;
7870 if (((from_bitField2_ & 0x00008000) != 0)) {
7871 to_bitField2_ |= 0x00004000;
7873 result.exploitIntegerLpSolution_ = exploitIntegerLpSolution_;
7874 if (((from_bitField2_ & 0x00010000) != 0)) {
7875 to_bitField2_ |= 0x00008000;
7877 result.exploitAllLpSolution_ = exploitAllLpSolution_;
7878 if (((from_bitField2_ & 0x00020000) != 0)) {
7879 result.exploitBestSolution_ = exploitBestSolution_;
7880 to_bitField2_ |= 0x00010000;
7882 if (((from_bitField2_ & 0x00040000) != 0)) {
7883 to_bitField2_ |= 0x00020000;
7885 result.exploitObjective_ = exploitObjective_;
7886 if (((from_bitField2_ & 0x00080000) != 0)) {
7887 to_bitField2_ |= 0x00040000;
7889 result.pseudoCostReliabilityThreshold_ = pseudoCostReliabilityThreshold_;
7890 if (((from_bitField2_ & 0x00100000) != 0)) {
7891 result.optimizeWithCore_ = optimizeWithCore_;
7892 to_bitField2_ |= 0x00080000;
7894 if (((from_bitField2_ & 0x00200000) != 0)) {
7895 to_bitField2_ |= 0x00100000;
7897 result.binarySearchNumConflicts_ = binarySearchNumConflicts_;
7898 if (((from_bitField2_ & 0x00400000) != 0)) {
7899 result.optimizeWithMaxHs_ = optimizeWithMaxHs_;
7900 to_bitField2_ |= 0x00200000;
7902 if (((from_bitField2_ & 0x00800000) != 0)) {
7903 to_bitField2_ |= 0x00400000;
7905 result.cpModelPresolve_ = cpModelPresolve_;
7906 if (((from_bitField2_ & 0x01000000) != 0)) {
7907 to_bitField2_ |= 0x00800000;
7909 result.cpModelProbingLevel_ = cpModelProbingLevel_;
7910 if (((from_bitField2_ & 0x02000000) != 0)) {
7911 to_bitField2_ |= 0x01000000;
7913 result.cpModelUseSatPresolve_ = cpModelUseSatPresolve_;
7914 if (((from_bitField2_ & 0x04000000) != 0)) {
7915 result.enumerateAllSolutions_ = enumerateAllSolutions_;
7916 to_bitField2_ |= 0x02000000;
7918 if (((from_bitField2_ & 0x08000000) != 0)) {
7919 result.fillTightenedDomainsInResponse_ = fillTightenedDomainsInResponse_;
7920 to_bitField2_ |= 0x04000000;
7922 if (((from_bitField2_ & 0x10000000) != 0)) {
7923 to_bitField2_ |= 0x08000000;
7925 result.instantiateAllVariables_ = instantiateAllVariables_;
7926 if (((from_bitField2_ & 0x20000000) != 0)) {
7927 to_bitField2_ |= 0x10000000;
7929 result.autoDetectGreaterThanAtLeastOneOf_ = autoDetectGreaterThanAtLeastOneOf_;
7930 if (((from_bitField2_ & 0x40000000) != 0)) {
7931 result.stopAfterFirstSolution_ = stopAfterFirstSolution_;
7932 to_bitField2_ |= 0x20000000;
7934 if (((from_bitField2_ & 0x80000000) != 0)) {
7935 to_bitField2_ |= 0x40000000;
7937 result.numSearchWorkers_ = numSearchWorkers_;
7938 if (((from_bitField3_ & 0x00000001) != 0)) {
7939 result.interleaveSearch_ = interleaveSearch_;
7940 to_bitField2_ |= 0x80000000;
7942 if (((from_bitField3_ & 0x00000002) != 0)) {
7943 result.deterministicParallelSearch_ = deterministicParallelSearch_;
7944 to_bitField3_ |= 0x00000001;
7946 if (((from_bitField3_ & 0x00000004) != 0)) {
7947 to_bitField3_ |= 0x00000002;
7949 result.shareObjectiveBounds_ = shareObjectiveBounds_;
7950 if (((from_bitField3_ & 0x00000008) != 0)) {
7951 to_bitField3_ |= 0x00000004;
7953 result.shareLevelZeroBounds_ = shareLevelZeroBounds_;
7954 if (((from_bitField3_ & 0x00000010) != 0)) {
7955 result.useLnsOnly_ = useLnsOnly_;
7956 to_bitField3_ |= 0x00000008;
7958 if (((from_bitField3_ & 0x00000020) != 0)) {
7959 result.lnsFocusOnDecisionVariables_ = lnsFocusOnDecisionVariables_;
7960 to_bitField3_ |= 0x00000010;
7962 if (((from_bitField3_ & 0x00000040) != 0)) {
7963 result.useRinsLns_ = useRinsLns_;
7964 to_bitField3_ |= 0x00000020;
7966 if (((from_bitField3_ & 0x00000080) != 0)) {
7967 result.randomizeSearch_ = randomizeSearch_;
7968 to_bitField3_ |= 0x00000040;
7970 if (((from_bitField3_ & 0x00000100) != 0)) {
7971 result.searchRandomizationTolerance_ = searchRandomizationTolerance_;
7972 to_bitField3_ |= 0x00000080;
7974 if (((from_bitField3_ & 0x00000200) != 0)) {
7975 to_bitField3_ |= 0x00000100;
7977 result.useOptionalVariables_ = useOptionalVariables_;
7978 if (((from_bitField3_ & 0x00000400) != 0)) {
7979 to_bitField3_ |= 0x00000200;
7981 result.useExactLpReason_ = useExactLpReason_;
7982 if (((from_bitField3_ & 0x00000800) != 0)) {
7983 result.useCombinedNoOverlap_ = useCombinedNoOverlap_;
7984 to_bitField3_ |= 0x00000400;
7986 if (((from_bitField3_ & 0x00001000) != 0)) {
7987 to_bitField3_ |= 0x00000800;
7989 result.mipMaxBound_ = mipMaxBound_;
7990 if (((from_bitField3_ & 0x00002000) != 0)) {
7991 to_bitField3_ |= 0x00001000;
7993 result.mipVarScaling_ = mipVarScaling_;
7994 if (((from_bitField3_ & 0x00004000) != 0)) {
7995 to_bitField3_ |= 0x00002000;
7997 result.mipWantedPrecision_ = mipWantedPrecision_;
7998 if (((from_bitField3_ & 0x00008000) != 0)) {
7999 to_bitField3_ |= 0x00004000;
8001 result.mipMaxActivityExponent_ = mipMaxActivityExponent_;
8002 if (((from_bitField3_ & 0x00010000) != 0)) {
8003 to_bitField3_ |= 0x00008000;
8005 result.mipCheckPrecision_ = mipCheckPrecision_;
8006 if (((from_bitField3_ & 0x00020000) != 0)) {
8007 to_bitField3_ |= 0x00010000;
8009 result.catchSigintSignal_ = catchSigintSignal_;
8010 result.bitField0_ = to_bitField0_;
8011 result.bitField1_ = to_bitField1_;
8012 result.bitField2_ = to_bitField2_;
8013 result.bitField3_ = to_bitField3_;
8020 return super.
clone();
8024 com.
google.protobuf.Descriptors.FieldDescriptor field,
8025 java.lang.Object value) {
8026 return super.
setField(field, value);
8030 com.
google.protobuf.Descriptors.FieldDescriptor field) {
8035 com.
google.protobuf.Descriptors.OneofDescriptor oneof) {
8040 com.
google.protobuf.Descriptors.FieldDescriptor field,
8041 int index, java.lang.Object value) {
8046 com.
google.protobuf.Descriptors.FieldDescriptor field,
8047 java.lang.Object value) {
8055 super.mergeFrom(other);
8062 if (other.hasPreferredVariableOrder()) {
8065 if (other.hasInitialPolarity()) {
8068 if (other.hasUsePhaseSaving()) {
8071 if (other.hasRandomPolarityRatio()) {
8074 if (other.hasRandomBranchesRatio()) {
8077 if (other.hasUseErwaHeuristic()) {
8080 if (other.hasInitialVariablesActivity()) {
8083 if (other.hasAlsoBumpVariablesInConflictReasons()) {
8086 if (other.hasMinimizationAlgorithm()) {
8089 if (other.hasBinaryMinimizationAlgorithm()) {
8092 if (other.hasSubsumptionDuringConflictAnalysis()) {
8095 if (other.hasClauseCleanupPeriod()) {
8098 if (other.hasClauseCleanupTarget()) {
8101 if (other.hasClauseCleanupProtection()) {
8104 if (other.hasClauseCleanupLbdBound()) {
8107 if (other.hasClauseCleanupOrdering()) {
8110 if (other.hasPbCleanupIncrement()) {
8113 if (other.hasPbCleanupRatio()) {
8116 if (other.hasMinimizeWithPropagationRestartPeriod()) {
8119 if (other.hasMinimizeWithPropagationNumDecisions()) {
8122 if (other.hasVariableActivityDecay()) {
8125 if (other.hasMaxVariableActivityValue()) {
8128 if (other.hasGlucoseMaxDecay()) {
8131 if (other.hasGlucoseDecayIncrement()) {
8134 if (other.hasGlucoseDecayIncrementPeriod()) {
8137 if (other.hasClauseActivityDecay()) {
8140 if (other.hasMaxClauseActivityValue()) {
8143 if (!other.restartAlgorithms_.isEmpty()) {
8144 if (restartAlgorithms_.isEmpty()) {
8145 restartAlgorithms_ = other.restartAlgorithms_;
8146 bitField0_ = (bitField0_ & ~0x08000000);
8148 ensureRestartAlgorithmsIsMutable();
8149 restartAlgorithms_.addAll(other.restartAlgorithms_);
8153 if (other.hasDefaultRestartAlgorithms()) {
8154 bitField0_ |= 0x10000000;
8155 defaultRestartAlgorithms_ = other.defaultRestartAlgorithms_;
8158 if (other.hasRestartPeriod()) {
8161 if (other.hasRestartRunningWindowSize()) {
8164 if (other.hasRestartDlAverageRatio()) {
8167 if (other.hasRestartLbdAverageRatio()) {
8170 if (other.hasUseBlockingRestart()) {
8173 if (other.hasBlockingRestartWindowSize()) {
8176 if (other.hasBlockingRestartMultiplier()) {
8179 if (other.hasNumConflictsBeforeStrategyChanges()) {
8182 if (other.hasStrategyChangeIncreaseRatio()) {
8185 if (other.hasMaxTimeInSeconds()) {
8188 if (other.hasMaxDeterministicTime()) {
8191 if (other.hasMaxNumberOfConflicts()) {
8194 if (other.hasMaxMemoryInMb()) {
8197 if (other.hasTreatBinaryClausesSeparately()) {
8200 if (other.hasRandomSeed()) {
8203 if (other.hasLogSearchProgress()) {
8206 if (other.hasUsePbResolution()) {
8209 if (other.hasMinimizeReductionDuringPbResolution()) {
8212 if (other.hasCountAssumptionLevelsInLbd()) {
8215 if (other.hasPresolveBveThreshold()) {
8218 if (other.hasPresolveBveClauseWeight()) {
8221 if (other.hasPresolveProbingDeterministicTimeLimit()) {
8224 if (other.hasPresolveBlockedClause()) {
8227 if (other.hasPresolveUseBva()) {
8230 if (other.hasPresolveBvaThreshold()) {
8233 if (other.hasUseOptimizationHints()) {
8236 if (other.hasMinimizeCore()) {
8239 if (other.hasFindMultipleCores()) {
8242 if (other.hasCoverOptimization()) {
8245 if (other.hasMaxSatAssumptionOrder()) {
8248 if (other.hasMaxSatReverseAssumptionOrder()) {
8251 if (other.hasMaxSatStratification()) {
8254 if (other.hasUsePrecedencesInDisjunctiveConstraint()) {
8257 if (other.hasUseOverloadCheckerInCumulativeConstraint()) {
8260 if (other.hasUseTimetableEdgeFindingInCumulativeConstraint()) {
8263 if (other.hasUseDisjunctiveConstraintInCumulativeConstraint()) {
8266 if (other.hasLinearizationLevel()) {
8269 if (other.hasBooleanEncodingLevel()) {
8272 if (other.hasMaxNumCuts()) {
8275 if (other.hasOnlyAddCutsAtLevelZero()) {
8278 if (other.hasAddKnapsackCuts()) {
8281 if (other.hasAddCgCuts()) {
8284 if (other.hasAddMirCuts()) {
8287 if (other.hasUseMirRounding()) {
8290 if (other.hasMaxIntegerRoundingScaling()) {
8293 if (other.hasAddLpConstraintsLazily()) {
8296 if (other.hasMinOrthogonalityForLpConstraints()) {
8299 if (other.hasMaxInactiveCount()) {
8302 if (other.hasConstraintRemovalBatchSize()) {
8305 if (other.hasSearchBranching()) {
8308 if (other.hasExploitIntegerLpSolution()) {
8311 if (other.hasExploitAllLpSolution()) {
8314 if (other.hasExploitBestSolution()) {
8317 if (other.hasExploitObjective()) {
8320 if (other.hasPseudoCostReliabilityThreshold()) {
8323 if (other.hasOptimizeWithCore()) {
8326 if (other.hasBinarySearchNumConflicts()) {
8329 if (other.hasOptimizeWithMaxHs()) {
8332 if (other.hasCpModelPresolve()) {
8335 if (other.hasCpModelProbingLevel()) {
8338 if (other.hasCpModelUseSatPresolve()) {
8341 if (other.hasEnumerateAllSolutions()) {
8344 if (other.hasFillTightenedDomainsInResponse()) {
8347 if (other.hasInstantiateAllVariables()) {
8350 if (other.hasAutoDetectGreaterThanAtLeastOneOf()) {
8353 if (other.hasStopAfterFirstSolution()) {
8356 if (other.hasNumSearchWorkers()) {
8359 if (other.hasInterleaveSearch()) {
8362 if (other.hasDeterministicParallelSearch()) {
8365 if (other.hasShareObjectiveBounds()) {
8368 if (other.hasShareLevelZeroBounds()) {
8371 if (other.hasUseLnsOnly()) {
8374 if (other.hasLnsFocusOnDecisionVariables()) {
8377 if (other.hasUseRinsLns()) {
8380 if (other.hasRandomizeSearch()) {
8383 if (other.hasSearchRandomizationTolerance()) {
8386 if (other.hasUseOptionalVariables()) {
8389 if (other.hasUseExactLpReason()) {
8392 if (other.hasUseCombinedNoOverlap()) {
8395 if (other.hasMipMaxBound()) {
8398 if (other.hasMipVarScaling()) {
8401 if (other.hasMipWantedPrecision()) {
8404 if (other.hasMipMaxActivityExponent()) {
8407 if (other.hasMipCheckPrecision()) {
8410 if (other.hasCatchSigintSignal()) {
8425 com.
google.protobuf.CodedInputStream input,
8426 com.
google.protobuf.ExtensionRegistryLite extensionRegistry)
8427 throws java.io.IOException {
8430 parsedMessage =
PARSER.parsePartialFrom(input, extensionRegistry);
8431 }
catch (
com.
google.protobuf.InvalidProtocolBufferException e) {
8433 throw e.unwrapIOException();
8435 if (parsedMessage !=
null) {
8441 private int bitField0_;
8442 private int bitField1_;
8443 private int bitField2_;
8444 private int bitField3_;
8446 private int preferredVariableOrder_ = 0;
8451 return ((bitField0_ & 0x00000001) != 0);
8457 @SuppressWarnings(
"deprecation")
8465 if (value ==
null) {
8466 throw new NullPointerException();
8468 bitField0_ |= 0x00000001;
8469 preferredVariableOrder_ = value.getNumber();
8477 bitField0_ = (bitField0_ & ~0x00000001);
8478 preferredVariableOrder_ = 0;
8483 private int initialPolarity_ = 1;
8488 return ((bitField0_ & 0x00000002) != 0);
8494 @SuppressWarnings(
"deprecation")
8502 if (value ==
null) {
8503 throw new NullPointerException();
8505 bitField0_ |= 0x00000002;
8506 initialPolarity_ = value.getNumber();
8514 bitField0_ = (bitField0_ & ~0x00000002);
8515 initialPolarity_ = 1;
8520 private boolean usePhaseSaving_ =
true;
8535 return ((bitField0_ & 0x00000004) != 0);
8551 return usePhaseSaving_;
8567 bitField0_ |= 0x00000004;
8568 usePhaseSaving_ = value;
8586 bitField0_ = (bitField0_ & ~0x00000004);
8587 usePhaseSaving_ =
true;
8592 private double randomPolarityRatio_ ;
8605 return ((bitField0_ & 0x00000008) != 0);
8619 return randomPolarityRatio_;
8633 bitField0_ |= 0x00000008;
8634 randomPolarityRatio_ = value;
8650 bitField0_ = (bitField0_ & ~0x00000008);
8651 randomPolarityRatio_ = 0D;
8656 private double randomBranchesRatio_ ;
8667 return ((bitField0_ & 0x00000010) != 0);
8679 return randomBranchesRatio_;
8691 bitField0_ |= 0x00000010;
8692 randomBranchesRatio_ = value;
8706 bitField0_ = (bitField0_ & ~0x00000010);
8707 randomBranchesRatio_ = 0D;
8712 private boolean useErwaHeuristic_ ;
8723 return ((bitField0_ & 0x00000020) != 0);
8735 return useErwaHeuristic_;
8747 bitField0_ |= 0x00000020;
8748 useErwaHeuristic_ = value;
8762 bitField0_ = (bitField0_ & ~0x00000020);
8763 useErwaHeuristic_ =
false;
8768 private double initialVariablesActivity_ ;
8782 return ((bitField0_ & 0x00000040) != 0);
8797 return initialVariablesActivity_;
8812 bitField0_ |= 0x00000040;
8813 initialVariablesActivity_ = value;
8830 bitField0_ = (bitField0_ & ~0x00000040);
8831 initialVariablesActivity_ = 0D;
8836 private boolean alsoBumpVariablesInConflictReasons_ ;
8848 return ((bitField0_ & 0x00000080) != 0);
8861 return alsoBumpVariablesInConflictReasons_;
8874 bitField0_ |= 0x00000080;
8875 alsoBumpVariablesInConflictReasons_ = value;
8890 bitField0_ = (bitField0_ & ~0x00000080);
8891 alsoBumpVariablesInConflictReasons_ =
false;
8896 private int minimizationAlgorithm_ = 2;
8901 return ((bitField0_ & 0x00000100) != 0);
8907 @SuppressWarnings(
"deprecation")
8915 if (value ==
null) {
8916 throw new NullPointerException();
8918 bitField0_ |= 0x00000100;
8919 minimizationAlgorithm_ = value.getNumber();
8927 bitField0_ = (bitField0_ & ~0x00000100);
8928 minimizationAlgorithm_ = 2;
8933 private int binaryMinimizationAlgorithm_ = 1;
8938 return ((bitField0_ & 0x00000200) != 0);
8944 @SuppressWarnings(
"deprecation")
8952 if (value ==
null) {
8953 throw new NullPointerException();
8955 bitField0_ |= 0x00000200;
8956 binaryMinimizationAlgorithm_ = value.getNumber();
8964 bitField0_ = (bitField0_ & ~0x00000200);
8965 binaryMinimizationAlgorithm_ = 1;
8970 private boolean subsumptionDuringConflictAnalysis_ =
true;
8982 return ((bitField0_ & 0x00000400) != 0);
8995 return subsumptionDuringConflictAnalysis_;
9008 bitField0_ |= 0x00000400;
9009 subsumptionDuringConflictAnalysis_ = value;
9024 bitField0_ = (bitField0_ & ~0x00000400);
9025 subsumptionDuringConflictAnalysis_ =
true;
9030 private int clauseCleanupPeriod_ = 10000;
9039 return ((bitField0_ & 0x00000800) != 0);
9049 return clauseCleanupPeriod_;
9059 bitField0_ |= 0x00000800;
9060 clauseCleanupPeriod_ = value;
9072 bitField0_ = (bitField0_ & ~0x00000800);
9073 clauseCleanupPeriod_ = 10000;
9078 private int clauseCleanupTarget_ = 10000;
9088 return ((bitField0_ & 0x00001000) != 0);
9099 return clauseCleanupTarget_;
9110 bitField0_ |= 0x00001000;
9111 clauseCleanupTarget_ = value;
9124 bitField0_ = (bitField0_ & ~0x00001000);
9125 clauseCleanupTarget_ = 10000;
9130 private int clauseCleanupProtection_ = 0;
9135 return ((bitField0_ & 0x00002000) != 0);
9141 @SuppressWarnings(
"deprecation")
9149 if (value ==
null) {
9150 throw new NullPointerException();
9152 bitField0_ |= 0x00002000;
9153 clauseCleanupProtection_ = value.getNumber();
9161 bitField0_ = (bitField0_ & ~0x00002000);
9162 clauseCleanupProtection_ = 0;
9167 private int clauseCleanupLbdBound_ = 5;
9177 return ((bitField0_ & 0x00004000) != 0);
9188 return clauseCleanupLbdBound_;
9199 bitField0_ |= 0x00004000;
9200 clauseCleanupLbdBound_ = value;
9213 bitField0_ = (bitField0_ & ~0x00004000);
9214 clauseCleanupLbdBound_ = 5;
9219 private int clauseCleanupOrdering_ = 0;
9224 return ((bitField0_ & 0x00008000) != 0);
9230 @SuppressWarnings(
"deprecation")
9238 if (value ==
null) {
9239 throw new NullPointerException();
9241 bitField0_ |= 0x00008000;
9242 clauseCleanupOrdering_ = value.getNumber();
9250 bitField0_ = (bitField0_ & ~0x00008000);
9251 clauseCleanupOrdering_ = 0;
9256 private int pbCleanupIncrement_ = 200;
9265 return ((bitField0_ & 0x00010000) != 0);
9275 return pbCleanupIncrement_;
9285 bitField0_ |= 0x00010000;
9286 pbCleanupIncrement_ = value;
9298 bitField0_ = (bitField0_ & ~0x00010000);
9299 pbCleanupIncrement_ = 200;
9304 private double pbCleanupRatio_ = 0.5D;
9309 return ((bitField0_ & 0x00020000) != 0);
9315 return pbCleanupRatio_;
9321 bitField0_ |= 0x00020000;
9322 pbCleanupRatio_ = value;
9330 bitField0_ = (bitField0_ & ~0x00020000);
9331 pbCleanupRatio_ = 0.5D;
9336 private int minimizeWithPropagationRestartPeriod_ = 10;
9355 return ((bitField0_ & 0x00040000) != 0);
9375 return minimizeWithPropagationRestartPeriod_;
9395 bitField0_ |= 0x00040000;
9396 minimizeWithPropagationRestartPeriod_ = value;
9418 bitField0_ = (bitField0_ & ~0x00040000);
9419 minimizeWithPropagationRestartPeriod_ = 10;
9424 private int minimizeWithPropagationNumDecisions_ = 1000;
9429 return ((bitField0_ & 0x00080000) != 0);
9435 return minimizeWithPropagationNumDecisions_;
9441 bitField0_ |= 0x00080000;
9442 minimizeWithPropagationNumDecisions_ = value;
9450 bitField0_ = (bitField0_ & ~0x00080000);
9451 minimizeWithPropagationNumDecisions_ = 1000;
9456 private double variableActivityDecay_ = 0.8D;
9471 return ((bitField0_ & 0x00100000) != 0);
9487 return variableActivityDecay_;
9503 bitField0_ |= 0x00100000;
9504 variableActivityDecay_ = value;
9522 bitField0_ = (bitField0_ & ~0x00100000);
9523 variableActivityDecay_ = 0.8D;
9528 private double maxVariableActivityValue_ = 1e+100D;
9533 return ((bitField0_ & 0x00200000) != 0);
9539 return maxVariableActivityValue_;
9545 bitField0_ |= 0x00200000;
9546 maxVariableActivityValue_ = value;
9554 bitField0_ = (bitField0_ & ~0x00200000);
9555 maxVariableActivityValue_ = 1e+100D;
9560 private double glucoseMaxDecay_ = 0.95D;
9572 return ((bitField0_ & 0x00400000) != 0);
9585 return glucoseMaxDecay_;
9598 bitField0_ |= 0x00400000;
9599 glucoseMaxDecay_ = value;
9614 bitField0_ = (bitField0_ & ~0x00400000);
9615 glucoseMaxDecay_ = 0.95D;
9620 private double glucoseDecayIncrement_ = 0.01D;
9625 return ((bitField0_ & 0x00800000) != 0);
9631 return glucoseDecayIncrement_;
9637 bitField0_ |= 0x00800000;
9638 glucoseDecayIncrement_ = value;
9646 bitField0_ = (bitField0_ & ~0x00800000);
9647 glucoseDecayIncrement_ = 0.01D;
9652 private int glucoseDecayIncrementPeriod_ = 5000;
9657 return ((bitField0_ & 0x01000000) != 0);
9663 return glucoseDecayIncrementPeriod_;
9669 bitField0_ |= 0x01000000;
9670 glucoseDecayIncrementPeriod_ = value;
9678 bitField0_ = (bitField0_ & ~0x01000000);
9679 glucoseDecayIncrementPeriod_ = 5000;
9684 private double clauseActivityDecay_ = 0.999D;
9693 return ((bitField0_ & 0x02000000) != 0);
9703 return clauseActivityDecay_;
9713 bitField0_ |= 0x02000000;
9714 clauseActivityDecay_ = value;
9726 bitField0_ = (bitField0_ & ~0x02000000);
9727 clauseActivityDecay_ = 0.999D;
9732 private double maxClauseActivityValue_ = 1e+20D;
9737 return ((bitField0_ & 0x04000000) != 0);
9743 return maxClauseActivityValue_;
9749 bitField0_ |= 0x04000000;
9750 maxClauseActivityValue_ = value;
9758 bitField0_ = (bitField0_ & ~0x04000000);
9759 maxClauseActivityValue_ = 1e+20D;
9764 private java.util.List<java.lang.Integer> restartAlgorithms_ =
9765 java.util.Collections.emptyList();
9766 private void ensureRestartAlgorithmsIsMutable() {
9767 if (!((bitField0_ & 0x08000000) != 0)) {
9768 restartAlgorithms_ =
new java.util.ArrayList<java.lang.Integer>(restartAlgorithms_);
9769 bitField0_ |= 0x08000000;
9787 return new com.
google.protobuf.Internal.ListAdapter<
9805 return restartAlgorithms_.size();
9822 return restartAlgorithms_converter_.convert(restartAlgorithms_.get(index));
9840 if (value ==
null) {
9841 throw new NullPointerException();
9843 ensureRestartAlgorithmsIsMutable();
9844 restartAlgorithms_.set(index, value.getNumber());
9863 if (value ==
null) {
9864 throw new NullPointerException();
9866 ensureRestartAlgorithmsIsMutable();
9867 restartAlgorithms_.add(value.getNumber());
9887 ensureRestartAlgorithmsIsMutable();
9889 restartAlgorithms_.add(value.getNumber());
9909 restartAlgorithms_ = java.util.Collections.emptyList();
9910 bitField0_ = (bitField0_ & ~0x08000000);
9915 private java.lang.Object defaultRestartAlgorithms_ =
"LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,DL_MOVING_AVERAGE_RESTART";
9920 return ((bitField0_ & 0x10000000) != 0);
9926 java.lang.Object ref = defaultRestartAlgorithms_;
9927 if (!(ref instanceof java.lang.String)) {
9930 java.lang.String s = bs.toStringUtf8();
9931 if (bs.isValidUtf8()) {
9932 defaultRestartAlgorithms_ = s;
9936 return (java.lang.String) ref;
9944 java.lang.Object ref = defaultRestartAlgorithms_;
9945 if (ref instanceof String) {
9947 com.
google.protobuf.ByteString.copyFromUtf8(
9948 (java.lang.String) ref);
9949 defaultRestartAlgorithms_ = b;
9952 return (
com.
google.protobuf.ByteString) ref;
9959 java.lang.String value) {
9960 if (value ==
null) {
9961 throw new NullPointerException();
9963 bitField0_ |= 0x10000000;
9964 defaultRestartAlgorithms_ = value;
9972 bitField0_ = (bitField0_ & ~0x10000000);
9982 if (value ==
null) {
9983 throw new NullPointerException();
9985 bitField0_ |= 0x10000000;
9986 defaultRestartAlgorithms_ = value;
9991 private int restartPeriod_ = 50;
10001 return ((bitField0_ & 0x20000000) != 0);
10012 return restartPeriod_;
10023 bitField0_ |= 0x20000000;
10024 restartPeriod_ = value;
10037 bitField0_ = (bitField0_ & ~0x20000000);
10038 restartPeriod_ = 50;
10043 private int restartRunningWindowSize_ = 50;
10052 return ((bitField0_ & 0x40000000) != 0);
10062 return restartRunningWindowSize_;
10072 bitField0_ |= 0x40000000;
10073 restartRunningWindowSize_ = value;
10085 bitField0_ = (bitField0_ & ~0x40000000);
10086 restartRunningWindowSize_ = 50;
10091 private double restartDlAverageRatio_ = 1D;
10101 return ((bitField0_ & 0x80000000) != 0);
10112 return restartDlAverageRatio_;
10123 bitField0_ |= 0x80000000;
10124 restartDlAverageRatio_ = value;
10137 bitField0_ = (bitField0_ & ~0x80000000);
10138 restartDlAverageRatio_ = 1D;
10143 private double restartLbdAverageRatio_ = 1D;
10148 return ((bitField1_ & 0x00000001) != 0);
10154 return restartLbdAverageRatio_;
10160 bitField1_ |= 0x00000001;
10161 restartLbdAverageRatio_ = value;
10169 bitField1_ = (bitField1_ & ~0x00000001);
10170 restartLbdAverageRatio_ = 1D;
10175 private boolean useBlockingRestart_ ;
10186 return ((bitField1_ & 0x00000002) != 0);
10198 return useBlockingRestart_;
10210 bitField1_ |= 0x00000002;
10211 useBlockingRestart_ = value;
10225 bitField1_ = (bitField1_ & ~0x00000002);
10226 useBlockingRestart_ =
false;
10231 private int blockingRestartWindowSize_ = 5000;
10236 return ((bitField1_ & 0x00000004) != 0);
10242 return blockingRestartWindowSize_;
10248 bitField1_ |= 0x00000004;
10249 blockingRestartWindowSize_ = value;
10257 bitField1_ = (bitField1_ & ~0x00000004);
10258 blockingRestartWindowSize_ = 5000;
10263 private double blockingRestartMultiplier_ = 1.4D;
10268 return ((bitField1_ & 0x00000008) != 0);
10274 return blockingRestartMultiplier_;
10280 bitField1_ |= 0x00000008;
10281 blockingRestartMultiplier_ = value;
10289 bitField1_ = (bitField1_ & ~0x00000008);
10290 blockingRestartMultiplier_ = 1.4D;
10295 private int numConflictsBeforeStrategyChanges_ ;
10306 return ((bitField1_ & 0x00000010) != 0);
10318 return numConflictsBeforeStrategyChanges_;
10330 bitField1_ |= 0x00000010;
10331 numConflictsBeforeStrategyChanges_ = value;
10345 bitField1_ = (bitField1_ & ~0x00000010);
10346 numConflictsBeforeStrategyChanges_ = 0;
10351 private double strategyChangeIncreaseRatio_ ;
10361 return ((bitField1_ & 0x00000020) != 0);
10372 return strategyChangeIncreaseRatio_;
10383 bitField1_ |= 0x00000020;
10384 strategyChangeIncreaseRatio_ = value;
10397 bitField1_ = (bitField1_ & ~0x00000020);
10398 strategyChangeIncreaseRatio_ = 0D;
10403 private double maxTimeInSeconds_ = Double.POSITIVE_INFINITY;
10414 return ((bitField1_ & 0x00000040) != 0);
10426 return maxTimeInSeconds_;
10438 bitField1_ |= 0x00000040;
10439 maxTimeInSeconds_ = value;
10453 bitField1_ = (bitField1_ & ~0x00000040);
10454 maxTimeInSeconds_ = Double.POSITIVE_INFINITY;
10459 private double maxDeterministicTime_ = Double.POSITIVE_INFINITY;
10472 return ((bitField1_ & 0x00000080) != 0);
10486 return maxDeterministicTime_;
10500 bitField1_ |= 0x00000080;
10501 maxDeterministicTime_ = value;
10517 bitField1_ = (bitField1_ & ~0x00000080);
10518 maxDeterministicTime_ = Double.POSITIVE_INFINITY;
10523 private long maxNumberOfConflicts_ = 9223372036854775807L;
10537 return ((bitField1_ & 0x00000100) != 0);
10552 return maxNumberOfConflicts_;
10567 bitField1_ |= 0x00000100;
10568 maxNumberOfConflicts_ = value;
10585 bitField1_ = (bitField1_ & ~0x00000100);
10586 maxNumberOfConflicts_ = 9223372036854775807L;
10591 private long maxMemoryInMb_ = 10000L;
10603 return ((bitField1_ & 0x00000200) != 0);
10616 return maxMemoryInMb_;
10629 bitField1_ |= 0x00000200;
10630 maxMemoryInMb_ = value;
10645 bitField1_ = (bitField1_ & ~0x00000200);
10646 maxMemoryInMb_ = 10000L;
10651 private boolean treatBinaryClausesSeparately_ =
true;
10662 return ((bitField1_ & 0x00000400) != 0);
10674 return treatBinaryClausesSeparately_;
10686 bitField1_ |= 0x00000400;
10687 treatBinaryClausesSeparately_ = value;
10701 bitField1_ = (bitField1_ & ~0x00000400);
10702 treatBinaryClausesSeparately_ =
true;
10707 private int randomSeed_ = 1;
10721 return ((bitField1_ & 0x00000800) != 0);
10736 return randomSeed_;
10751 bitField1_ |= 0x00000800;
10752 randomSeed_ = value;
10769 bitField1_ = (bitField1_ & ~0x00000800);
10775 private boolean logSearchProgress_ ;
10784 return ((bitField1_ & 0x00001000) != 0);
10794 return logSearchProgress_;
10804 bitField1_ |= 0x00001000;
10805 logSearchProgress_ = value;
10817 bitField1_ = (bitField1_ & ~0x00001000);
10818 logSearchProgress_ =
false;
10823 private boolean usePbResolution_ ;
10835 return ((bitField1_ & 0x00002000) != 0);
10848 return usePbResolution_;
10861 bitField1_ |= 0x00002000;
10862 usePbResolution_ = value;
10877 bitField1_ = (bitField1_ & ~0x00002000);
10878 usePbResolution_ =
false;
10883 private boolean minimizeReductionDuringPbResolution_ ;
10895 return ((bitField1_ & 0x00004000) != 0);
10908 return minimizeReductionDuringPbResolution_;
10921 bitField1_ |= 0x00004000;
10922 minimizeReductionDuringPbResolution_ = value;
10937 bitField1_ = (bitField1_ & ~0x00004000);
10938 minimizeReductionDuringPbResolution_ =
false;
10943 private boolean countAssumptionLevelsInLbd_ =
true;
10959 return ((bitField1_ & 0x00008000) != 0);
10976 return countAssumptionLevelsInLbd_;
10993 bitField1_ |= 0x00008000;
10994 countAssumptionLevelsInLbd_ = value;
11013 bitField1_ = (bitField1_ & ~0x00008000);
11014 countAssumptionLevelsInLbd_ =
true;
11019 private int presolveBveThreshold_ = 500;
11030 return ((bitField1_ & 0x00010000) != 0);
11042 return presolveBveThreshold_;
11054 bitField1_ |= 0x00010000;
11055 presolveBveThreshold_ = value;
11069 bitField1_ = (bitField1_ & ~0x00010000);
11070 presolveBveThreshold_ = 500;
11075 private int presolveBveClauseWeight_ = 3;
11085 return ((bitField1_ & 0x00020000) != 0);
11096 return presolveBveClauseWeight_;
11107 bitField1_ |= 0x00020000;
11108 presolveBveClauseWeight_ = value;
11121 bitField1_ = (bitField1_ & ~0x00020000);
11122 presolveBveClauseWeight_ = 3;
11127 private double presolveProbingDeterministicTimeLimit_ = 30D;
11137 return ((bitField1_ & 0x00040000) != 0);
11148 return presolveProbingDeterministicTimeLimit_;
11159 bitField1_ |= 0x00040000;
11160 presolveProbingDeterministicTimeLimit_ = value;
11173 bitField1_ = (bitField1_ & ~0x00040000);
11174 presolveProbingDeterministicTimeLimit_ = 30D;
11179 private boolean presolveBlockedClause_ =
true;
11189 return ((bitField1_ & 0x00080000) != 0);
11200 return presolveBlockedClause_;
11211 bitField1_ |= 0x00080000;
11212 presolveBlockedClause_ = value;
11225 bitField1_ = (bitField1_ & ~0x00080000);
11226 presolveBlockedClause_ =
true;
11231 private boolean presolveUseBva_ =
true;
11240 return ((bitField1_ & 0x00100000) != 0);
11250 return presolveUseBva_;
11260 bitField1_ |= 0x00100000;
11261 presolveUseBva_ = value;
11273 bitField1_ = (bitField1_ & ~0x00100000);
11274 presolveUseBva_ =
true;
11279 private int presolveBvaThreshold_ = 1;
11291 return ((bitField1_ & 0x00200000) != 0);
11304 return presolveBvaThreshold_;
11317 bitField1_ |= 0x00200000;
11318 presolveBvaThreshold_ = value;
11333 bitField1_ = (bitField1_ & ~0x00200000);
11334 presolveBvaThreshold_ = 1;
11339 private boolean useOptimizationHints_ =
true;
11351 return ((bitField1_ & 0x00400000) != 0);
11364 return useOptimizationHints_;
11377 bitField1_ |= 0x00400000;
11378 useOptimizationHints_ = value;
11393 bitField1_ = (bitField1_ & ~0x00400000);
11394 useOptimizationHints_ =
true;
11399 private boolean minimizeCore_ =
true;
11408 return ((bitField1_ & 0x00800000) != 0);
11418 return minimizeCore_;
11428 bitField1_ |= 0x00800000;
11429 minimizeCore_ = value;
11441 bitField1_ = (bitField1_ & ~0x00800000);
11442 minimizeCore_ =
true;
11447 private boolean findMultipleCores_ =
true;
11457 return ((bitField1_ & 0x01000000) != 0);
11468 return findMultipleCores_;
11479 bitField1_ |= 0x01000000;
11480 findMultipleCores_ = value;
11493 bitField1_ = (bitField1_ & ~0x01000000);
11494 findMultipleCores_ =
true;
11499 private boolean coverOptimization_ =
true;
11509 return ((bitField1_ & 0x02000000) != 0);
11520 return coverOptimization_;
11531 bitField1_ |= 0x02000000;
11532 coverOptimization_ = value;
11545 bitField1_ = (bitField1_ & ~0x02000000);
11546 coverOptimization_ =
true;
11551 private int maxSatAssumptionOrder_ = 0;
11556 return ((bitField1_ & 0x04000000) != 0);
11562 @SuppressWarnings(
"deprecation")
11570 if (value ==
null) {
11571 throw new NullPointerException();
11573 bitField1_ |= 0x04000000;
11574 maxSatAssumptionOrder_ = value.getNumber();
11582 bitField1_ = (bitField1_ & ~0x04000000);
11583 maxSatAssumptionOrder_ = 0;
11588 private boolean maxSatReverseAssumptionOrder_ ;
11598 return ((bitField1_ & 0x08000000) != 0);
11609 return maxSatReverseAssumptionOrder_;
11620 bitField1_ |= 0x08000000;
11621 maxSatReverseAssumptionOrder_ = value;
11634 bitField1_ = (bitField1_ & ~0x08000000);
11635 maxSatReverseAssumptionOrder_ =
false;
11640 private int maxSatStratification_ = 1;
11645 return ((bitField1_ & 0x10000000) != 0);
11651 @SuppressWarnings(
"deprecation")
11659 if (value ==
null) {
11660 throw new NullPointerException();
11662 bitField1_ |= 0x10000000;
11663 maxSatStratification_ = value.getNumber();
11671 bitField1_ = (bitField1_ & ~0x10000000);
11672 maxSatStratification_ = 1;
11677 private boolean usePrecedencesInDisjunctiveConstraint_ =
true;
11693 return ((bitField1_ & 0x20000000) != 0);
11710 return usePrecedencesInDisjunctiveConstraint_;
11727 bitField1_ |= 0x20000000;
11728 usePrecedencesInDisjunctiveConstraint_ = value;
11747 bitField1_ = (bitField1_ & ~0x20000000);
11748 usePrecedencesInDisjunctiveConstraint_ =
true;
11753 private boolean useOverloadCheckerInCumulativeConstraint_ ;
11767 return ((bitField1_ & 0x40000000) != 0);
11782 return useOverloadCheckerInCumulativeConstraint_;
11797 bitField1_ |= 0x40000000;
11798 useOverloadCheckerInCumulativeConstraint_ = value;
11815 bitField1_ = (bitField1_ & ~0x40000000);
11816 useOverloadCheckerInCumulativeConstraint_ =
false;
11821 private boolean useTimetableEdgeFindingInCumulativeConstraint_ ;
11835 return ((bitField1_ & 0x80000000) != 0);
11850 return useTimetableEdgeFindingInCumulativeConstraint_;
11865 bitField1_ |= 0x80000000;
11866 useTimetableEdgeFindingInCumulativeConstraint_ = value;
11883 bitField1_ = (bitField1_ & ~0x80000000);
11884 useTimetableEdgeFindingInCumulativeConstraint_ =
false;
11889 private boolean useDisjunctiveConstraintInCumulativeConstraint_ =
true;
11905 return ((bitField2_ & 0x00000001) != 0);
11922 return useDisjunctiveConstraintInCumulativeConstraint_;
11939 bitField2_ |= 0x00000001;
11940 useDisjunctiveConstraintInCumulativeConstraint_ = value;
11959 bitField2_ = (bitField2_ & ~0x00000001);
11960 useDisjunctiveConstraintInCumulativeConstraint_ =
true;
11965 private int linearizationLevel_ = 1;
11977 return ((bitField2_ & 0x00000002) != 0);
11990 return linearizationLevel_;
12003 bitField2_ |= 0x00000002;
12004 linearizationLevel_ = value;
12019 bitField2_ = (bitField2_ & ~0x00000002);
12020 linearizationLevel_ = 1;
12025 private int booleanEncodingLevel_ = 1;
12035 return ((bitField2_ & 0x00000004) != 0);
12046 return booleanEncodingLevel_;
12057 bitField2_ |= 0x00000004;
12058 booleanEncodingLevel_ = value;
12071 bitField2_ = (bitField2_ & ~0x00000004);
12072 booleanEncodingLevel_ = 1;
12077 private int maxNumCuts_ = 1000;
12087 return ((bitField2_ & 0x00000008) != 0);
12098 return maxNumCuts_;
12109 bitField2_ |= 0x00000008;
12110 maxNumCuts_ = value;
12123 bitField2_ = (bitField2_ & ~0x00000008);
12124 maxNumCuts_ = 1000;
12129 private boolean onlyAddCutsAtLevelZero_ ;
12139 return ((bitField2_ & 0x00000010) != 0);
12150 return onlyAddCutsAtLevelZero_;
12161 bitField2_ |= 0x00000010;
12162 onlyAddCutsAtLevelZero_ = value;
12175 bitField2_ = (bitField2_ & ~0x00000010);
12176 onlyAddCutsAtLevelZero_ =
false;
12181 private boolean addKnapsackCuts_ ;
12192 return ((bitField2_ & 0x00000020) != 0);
12204 return addKnapsackCuts_;
12216 bitField2_ |= 0x00000020;
12217 addKnapsackCuts_ = value;
12231 bitField2_ = (bitField2_ & ~0x00000020);
12232 addKnapsackCuts_ =
false;
12237 private boolean addCgCuts_ ;
12247 return ((bitField2_ & 0x00000040) != 0);
12269 bitField2_ |= 0x00000040;
12270 addCgCuts_ = value;
12283 bitField2_ = (bitField2_ & ~0x00000040);
12284 addCgCuts_ =
false;
12289 private boolean addMirCuts_ =
true;
12299 return ((bitField2_ & 0x00000080) != 0);
12310 return addMirCuts_;
12321 bitField2_ |= 0x00000080;
12322 addMirCuts_ = value;
12335 bitField2_ = (bitField2_ & ~0x00000080);
12336 addMirCuts_ =
true;
12341 private boolean useMirRounding_ =
true;
12352 return ((bitField2_ & 0x00000100) != 0);
12364 return useMirRounding_;
12376 bitField2_ |= 0x00000100;
12377 useMirRounding_ = value;
12391 bitField2_ = (bitField2_ & ~0x00000100);
12392 useMirRounding_ =
true;
12397 private int maxIntegerRoundingScaling_ = 600;
12410 return ((bitField2_ & 0x00000200) != 0);
12424 return maxIntegerRoundingScaling_;
12438 bitField2_ |= 0x00000200;
12439 maxIntegerRoundingScaling_ = value;
12455 bitField2_ = (bitField2_ & ~0x00000200);
12456 maxIntegerRoundingScaling_ = 600;
12461 private boolean addLpConstraintsLazily_ =
true;
12473 return ((bitField2_ & 0x00000400) != 0);
12486 return addLpConstraintsLazily_;
12499 bitField2_ |= 0x00000400;
12500 addLpConstraintsLazily_ = value;
12515 bitField2_ = (bitField2_ & ~0x00000400);
12516 addLpConstraintsLazily_ =
true;
12521 private double minOrthogonalityForLpConstraints_ ;
12534 return ((bitField2_ & 0x00000800) != 0);
12548 return minOrthogonalityForLpConstraints_;
12562 bitField2_ |= 0x00000800;
12563 minOrthogonalityForLpConstraints_ = value;
12579 bitField2_ = (bitField2_ & ~0x00000800);
12580 minOrthogonalityForLpConstraints_ = 0D;
12585 private long maxInactiveCount_ = 1000L;
12595 return ((bitField2_ & 0x00001000) != 0);
12606 return maxInactiveCount_;
12617 bitField2_ |= 0x00001000;
12618 maxInactiveCount_ = value;
12631 bitField2_ = (bitField2_ & ~0x00001000);
12632 maxInactiveCount_ = 1000L;
12637 private long constraintRemovalBatchSize_ = 100L;
12647 return ((bitField2_ & 0x00002000) != 0);
12658 return constraintRemovalBatchSize_;
12669 bitField2_ |= 0x00002000;
12670 constraintRemovalBatchSize_ = value;
12683 bitField2_ = (bitField2_ & ~0x00002000);
12684 constraintRemovalBatchSize_ = 100L;
12689 private int searchBranching_ = 0;
12694 return ((bitField2_ & 0x00004000) != 0);
12700 @SuppressWarnings(
"deprecation")
12708 if (value ==
null) {
12709 throw new NullPointerException();
12711 bitField2_ |= 0x00004000;
12712 searchBranching_ = value.getNumber();
12720 bitField2_ = (bitField2_ & ~0x00004000);
12721 searchBranching_ = 0;
12726 private boolean exploitIntegerLpSolution_ =
true;
12738 return ((bitField2_ & 0x00008000) != 0);
12751 return exploitIntegerLpSolution_;
12764 bitField2_ |= 0x00008000;
12765 exploitIntegerLpSolution_ = value;
12780 bitField2_ = (bitField2_ & ~0x00008000);
12781 exploitIntegerLpSolution_ =
true;
12786 private boolean exploitAllLpSolution_ =
true;
12797 return ((bitField2_ & 0x00010000) != 0);
12809 return exploitAllLpSolution_;
12821 bitField2_ |= 0x00010000;
12822 exploitAllLpSolution_ = value;
12836 bitField2_ = (bitField2_ & ~0x00010000);
12837 exploitAllLpSolution_ =
true;
12842 private boolean exploitBestSolution_ ;
12851 return ((bitField2_ & 0x00020000) != 0);
12861 return exploitBestSolution_;
12871 bitField2_ |= 0x00020000;
12872 exploitBestSolution_ = value;
12884 bitField2_ = (bitField2_ & ~0x00020000);
12885 exploitBestSolution_ =
false;
12890 private boolean exploitObjective_ =
true;
12900 return ((bitField2_ & 0x00040000) != 0);
12911 return exploitObjective_;
12922 bitField2_ |= 0x00040000;
12923 exploitObjective_ = value;
12936 bitField2_ = (bitField2_ & ~0x00040000);
12937 exploitObjective_ =
true;
12942 private long pseudoCostReliabilityThreshold_ = 100L;
12952 return ((bitField2_ & 0x00080000) != 0);
12963 return pseudoCostReliabilityThreshold_;
12974 bitField2_ |= 0x00080000;
12975 pseudoCostReliabilityThreshold_ = value;
12988 bitField2_ = (bitField2_ & ~0x00080000);
12989 pseudoCostReliabilityThreshold_ = 100L;
12994 private boolean optimizeWithCore_ ;
13006 return ((bitField2_ & 0x00100000) != 0);
13019 return optimizeWithCore_;
13032 bitField2_ |= 0x00100000;
13033 optimizeWithCore_ = value;
13048 bitField2_ = (bitField2_ & ~0x00100000);
13049 optimizeWithCore_ =
false;
13054 private int binarySearchNumConflicts_ = -1;
13066 return ((bitField2_ & 0x00200000) != 0);
13079 return binarySearchNumConflicts_;
13092 bitField2_ |= 0x00200000;
13093 binarySearchNumConflicts_ = value;
13108 bitField2_ = (bitField2_ & ~0x00200000);
13109 binarySearchNumConflicts_ = -1;
13114 private boolean optimizeWithMaxHs_ ;
13128 return ((bitField2_ & 0x00400000) != 0);
13143 return optimizeWithMaxHs_;
13158 bitField2_ |= 0x00400000;
13159 optimizeWithMaxHs_ = value;
13176 bitField2_ = (bitField2_ & ~0x00400000);
13177 optimizeWithMaxHs_ =
false;
13182 private boolean cpModelPresolve_ =
true;
13191 return ((bitField2_ & 0x00800000) != 0);
13201 return cpModelPresolve_;
13211 bitField2_ |= 0x00800000;
13212 cpModelPresolve_ = value;
13224 bitField2_ = (bitField2_ & ~0x00800000);
13225 cpModelPresolve_ =
true;
13230 private int cpModelProbingLevel_ = 2;
13239 return ((bitField2_ & 0x01000000) != 0);
13249 return cpModelProbingLevel_;
13259 bitField2_ |= 0x01000000;
13260 cpModelProbingLevel_ = value;
13272 bitField2_ = (bitField2_ & ~0x01000000);
13273 cpModelProbingLevel_ = 2;
13278 private boolean cpModelUseSatPresolve_ =
true;
13287 return ((bitField2_ & 0x02000000) != 0);
13297 return cpModelUseSatPresolve_;
13307 bitField2_ |= 0x02000000;
13308 cpModelUseSatPresolve_ = value;
13320 bitField2_ = (bitField2_ & ~0x02000000);
13321 cpModelUseSatPresolve_ =
true;
13326 private boolean enumerateAllSolutions_ ;
13340 return ((bitField2_ & 0x04000000) != 0);
13355 return enumerateAllSolutions_;
13370 bitField2_ |= 0x04000000;
13371 enumerateAllSolutions_ = value;
13388 bitField2_ = (bitField2_ & ~0x04000000);
13389 enumerateAllSolutions_ =
false;
13394 private boolean fillTightenedDomainsInResponse_ ;
13407 return ((bitField2_ & 0x08000000) != 0);
13421 return fillTightenedDomainsInResponse_;
13435 bitField2_ |= 0x08000000;
13436 fillTightenedDomainsInResponse_ = value;
13452 bitField2_ = (bitField2_ & ~0x08000000);
13453 fillTightenedDomainsInResponse_ =
false;
13458 private boolean instantiateAllVariables_ =
true;
13468 return ((bitField2_ & 0x10000000) != 0);
13479 return instantiateAllVariables_;
13490 bitField2_ |= 0x10000000;
13491 instantiateAllVariables_ = value;
13504 bitField2_ = (bitField2_ & ~0x10000000);
13505 instantiateAllVariables_ =
true;
13510 private boolean autoDetectGreaterThanAtLeastOneOf_ =
true;
13522 return ((bitField2_ & 0x20000000) != 0);
13535 return autoDetectGreaterThanAtLeastOneOf_;
13548 bitField2_ |= 0x20000000;
13549 autoDetectGreaterThanAtLeastOneOf_ = value;
13564 bitField2_ = (bitField2_ & ~0x20000000);
13565 autoDetectGreaterThanAtLeastOneOf_ =
true;
13570 private boolean stopAfterFirstSolution_ ;
13579 return ((bitField2_ & 0x40000000) != 0);
13589 return stopAfterFirstSolution_;
13599 bitField2_ |= 0x40000000;
13600 stopAfterFirstSolution_ = value;
13612 bitField2_ = (bitField2_ & ~0x40000000);
13613 stopAfterFirstSolution_ =
false;
13618 private int numSearchWorkers_ = 1;
13628 return ((bitField2_ & 0x80000000) != 0);
13639 return numSearchWorkers_;
13650 bitField2_ |= 0x80000000;
13651 numSearchWorkers_ = value;
13664 bitField2_ = (bitField2_ & ~0x80000000);
13665 numSearchWorkers_ = 1;
13670 private boolean interleaveSearch_ ;
13682 return ((bitField3_ & 0x00000001) != 0);
13695 return interleaveSearch_;
13708 bitField3_ |= 0x00000001;
13709 interleaveSearch_ = value;
13724 bitField3_ = (bitField3_ & ~0x00000001);
13725 interleaveSearch_ =
false;
13730 private boolean deterministicParallelSearch_ ;
13741 return ((bitField3_ & 0x00000002) != 0);
13753 return deterministicParallelSearch_;
13765 bitField3_ |= 0x00000002;
13766 deterministicParallelSearch_ = value;
13780 bitField3_ = (bitField3_ & ~0x00000002);
13781 deterministicParallelSearch_ =
false;
13786 private boolean shareObjectiveBounds_ =
true;
13795 return ((bitField3_ & 0x00000004) != 0);
13805 return shareObjectiveBounds_;
13815 bitField3_ |= 0x00000004;
13816 shareObjectiveBounds_ = value;
13828 bitField3_ = (bitField3_ & ~0x00000004);
13829 shareObjectiveBounds_ =
true;
13834 private boolean shareLevelZeroBounds_ =
true;
13843 return ((bitField3_ & 0x00000008) != 0);
13853 return shareLevelZeroBounds_;
13863 bitField3_ |= 0x00000008;
13864 shareLevelZeroBounds_ = value;
13876 bitField3_ = (bitField3_ & ~0x00000008);
13877 shareLevelZeroBounds_ =
true;
13882 private boolean useLnsOnly_ ;
13891 return ((bitField3_ & 0x00000010) != 0);
13901 return useLnsOnly_;
13911 bitField3_ |= 0x00000010;
13912 useLnsOnly_ = value;
13924 bitField3_ = (bitField3_ & ~0x00000010);
13925 useLnsOnly_ =
false;
13930 private boolean lnsFocusOnDecisionVariables_ ;
13935 return ((bitField3_ & 0x00000020) != 0);
13941 return lnsFocusOnDecisionVariables_;
13947 bitField3_ |= 0x00000020;
13948 lnsFocusOnDecisionVariables_ = value;
13956 bitField3_ = (bitField3_ & ~0x00000020);
13957 lnsFocusOnDecisionVariables_ =
false;
13962 private boolean useRinsLns_ ;
13971 return ((bitField3_ & 0x00000040) != 0);
13981 return useRinsLns_;
13991 bitField3_ |= 0x00000040;
13992 useRinsLns_ = value;
14004 bitField3_ = (bitField3_ & ~0x00000040);
14005 useRinsLns_ =
false;
14010 private boolean randomizeSearch_ ;
14019 return ((bitField3_ & 0x00000080) != 0);
14029 return randomizeSearch_;
14039 bitField3_ |= 0x00000080;
14040 randomizeSearch_ = value;
14052 bitField3_ = (bitField3_ & ~0x00000080);
14053 randomizeSearch_ =
false;
14058 private long searchRandomizationTolerance_ ;
14073 return ((bitField3_ & 0x00000100) != 0);
14089 return searchRandomizationTolerance_;
14105 bitField3_ |= 0x00000100;
14106 searchRandomizationTolerance_ = value;
14124 bitField3_ = (bitField3_ & ~0x00000100);
14125 searchRandomizationTolerance_ = 0L;
14130 private boolean useOptionalVariables_ =
true;
14141 return ((bitField3_ & 0x00000200) != 0);
14153 return useOptionalVariables_;
14165 bitField3_ |= 0x00000200;
14166 useOptionalVariables_ = value;
14180 bitField3_ = (bitField3_ & ~0x00000200);
14181 useOptionalVariables_ =
true;
14186 private boolean useExactLpReason_ =
true;
14198 return ((bitField3_ & 0x00000400) != 0);
14211 return useExactLpReason_;
14224 bitField3_ |= 0x00000400;
14225 useExactLpReason_ = value;
14240 bitField3_ = (bitField3_ & ~0x00000400);
14241 useExactLpReason_ =
true;
14246 private boolean useCombinedNoOverlap_ ;
14257 return ((bitField3_ & 0x00000800) != 0);
14269 return useCombinedNoOverlap_;
14281 bitField3_ |= 0x00000800;
14282 useCombinedNoOverlap_ = value;
14296 bitField3_ = (bitField3_ & ~0x00000800);
14297 useCombinedNoOverlap_ =
false;
14302 private double mipMaxBound_ = 10000000D;
14313 return ((bitField3_ & 0x00001000) != 0);
14325 return mipMaxBound_;
14337 bitField3_ |= 0x00001000;
14338 mipMaxBound_ = value;
14352 bitField3_ = (bitField3_ & ~0x00001000);
14353 mipMaxBound_ = 10000000D;
14358 private double mipVarScaling_ = 1D;
14369 return ((bitField3_ & 0x00002000) != 0);
14381 return mipVarScaling_;
14393 bitField3_ |= 0x00002000;
14394 mipVarScaling_ = value;
14408 bitField3_ = (bitField3_ & ~0x00002000);
14409 mipVarScaling_ = 1D;
14414 private double mipWantedPrecision_ = 1e-06D;
14431 return ((bitField3_ & 0x00004000) != 0);
14449 return mipWantedPrecision_;
14467 bitField3_ |= 0x00004000;
14468 mipWantedPrecision_ = value;
14488 bitField3_ = (bitField3_ & ~0x00004000);
14489 mipWantedPrecision_ = 1e-06D;
14494 private int mipMaxActivityExponent_ = 53;
14509 return ((bitField3_ & 0x00008000) != 0);
14525 return mipMaxActivityExponent_;
14541 bitField3_ |= 0x00008000;
14542 mipMaxActivityExponent_ = value;
14560 bitField3_ = (bitField3_ & ~0x00008000);
14561 mipMaxActivityExponent_ = 53;
14566 private double mipCheckPrecision_ = 0.0001D;
14578 return ((bitField3_ & 0x00010000) != 0);
14591 return mipCheckPrecision_;
14604 bitField3_ |= 0x00010000;
14605 mipCheckPrecision_ = value;
14620 bitField3_ = (bitField3_ & ~0x00010000);
14621 mipCheckPrecision_ = 0.0001D;
14626 private boolean catchSigintSignal_ =
true;
14637 return ((bitField3_ & 0x00020000) != 0);
14649 return catchSigintSignal_;
14661 bitField3_ |= 0x00020000;
14662 catchSigintSignal_ = value;
14676 bitField3_ = (bitField3_ & ~0x00020000);
14677 catchSigintSignal_ =
true;
14681 @java.lang.Override
14683 final com.
google.protobuf.UnknownFieldSet unknownFields) {
14687 @java.lang.Override
14689 final com.
google.protobuf.UnknownFieldSet unknownFields) {
14704 return DEFAULT_INSTANCE;
14709 @java.lang.Override
14711 com.
google.protobuf.CodedInputStream input,
14712 com.
google.protobuf.ExtensionRegistryLite extensionRegistry)
14713 throws com.
google.protobuf.InvalidProtocolBufferException {
14722 @java.lang.Override
14727 @java.lang.Override
14729 return DEFAULT_INSTANCE;