4 package com.google.ortools.sat;
16 com.google.protobuf.GeneratedMessageV3 implements
19 private static final long serialVersionUID = 0L;
25 preferredVariableOrder_ = 0;
27 usePhaseSaving_ =
true;
28 minimizationAlgorithm_ = 2;
29 binaryMinimizationAlgorithm_ = 1;
30 subsumptionDuringConflictAnalysis_ =
true;
31 clauseCleanupPeriod_ = 10000;
32 clauseCleanupTarget_ = 10000;
33 clauseCleanupProtection_ = 0;
34 clauseCleanupLbdBound_ = 5;
35 clauseCleanupOrdering_ = 0;
36 pbCleanupIncrement_ = 200;
37 pbCleanupRatio_ = 0.5D;
38 minimizeWithPropagationRestartPeriod_ = 10;
39 minimizeWithPropagationNumDecisions_ = 1000;
40 variableActivityDecay_ = 0.8D;
41 maxVariableActivityValue_ = 1e+100D;
42 glucoseMaxDecay_ = 0.95D;
43 glucoseDecayIncrement_ = 0.01D;
44 glucoseDecayIncrementPeriod_ = 5000;
45 clauseActivityDecay_ = 0.999D;
46 maxClauseActivityValue_ = 1e+20D;
47 restartAlgorithms_ = java.util.Collections.emptyList();
48 defaultRestartAlgorithms_ =
"LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,DL_MOVING_AVERAGE_RESTART";
50 restartRunningWindowSize_ = 50;
51 restartDlAverageRatio_ = 1D;
52 restartLbdAverageRatio_ = 1D;
53 blockingRestartWindowSize_ = 5000;
54 blockingRestartMultiplier_ = 1.4D;
55 maxTimeInSeconds_ = Double.POSITIVE_INFINITY;
56 maxDeterministicTime_ = Double.POSITIVE_INFINITY;
57 maxNumberOfConflicts_ = 9223372036854775807L;
58 maxMemoryInMb_ = 10000L;
59 treatBinaryClausesSeparately_ =
true;
61 countAssumptionLevelsInLbd_ =
true;
62 presolveBveThreshold_ = 500;
63 presolveBveClauseWeight_ = 3;
64 presolveProbingDeterministicTimeLimit_ = 30D;
65 presolveBlockedClause_ =
true;
66 presolveUseBva_ =
true;
67 presolveBvaThreshold_ = 1;
68 useOptimizationHints_ =
true;
70 findMultipleCores_ =
true;
71 coverOptimization_ =
true;
72 maxSatAssumptionOrder_ = 0;
73 maxSatStratification_ = 1;
74 usePrecedencesInDisjunctiveConstraint_ =
true;
75 useDisjunctiveConstraintInCumulativeConstraint_ =
true;
76 linearizationLevel_ = 1;
77 booleanEncodingLevel_ = 1;
80 useMirRounding_ =
true;
81 maxIntegerRoundingScaling_ = 600;
82 addLpConstraintsLazily_ =
true;
83 maxInactiveCount_ = 1000L;
84 constraintRemovalBatchSize_ = 100L;
86 exploitIntegerLpSolution_ =
true;
87 exploitAllLpSolution_ =
true;
88 exploitObjective_ =
true;
89 pseudoCostReliabilityThreshold_ = 100L;
90 binarySearchNumConflicts_ = -1;
91 cpModelPresolve_ =
true;
92 cpModelProbingLevel_ = 2;
93 cpModelUseSatPresolve_ =
true;
94 instantiateAllVariables_ =
true;
95 autoDetectGreaterThanAtLeastOneOf_ =
true;
96 shareObjectiveBounds_ =
true;
97 shareLevelZeroBounds_ =
true;
98 useOptionalVariables_ =
true;
99 useExactLpReason_ =
true;
100 mipMaxBound_ = 10000000D;
102 mipWantedPrecision_ = 1e-06D;
103 mipMaxActivityExponent_ = 53;
104 mipCheckPrecision_ = 0.0001D;
105 catchSigintSignal_ =
true;
109 @SuppressWarnings({
"unused"})
111 UnusedPrivateParameter unused) {
116 public final com.
google.protobuf.UnknownFieldSet
118 return this.unknownFields;
121 com.
google.protobuf.CodedInputStream input,
122 com.
google.protobuf.ExtensionRegistryLite extensionRegistry)
123 throws com.
google.protobuf.InvalidProtocolBufferException {
125 if (extensionRegistry ==
null) {
126 throw new java.lang.NullPointerException();
128 int mutable_bitField0_ = 0;
129 int mutable_bitField1_ = 0;
130 int mutable_bitField2_ = 0;
131 int mutable_bitField3_ = 0;
132 com.
google.protobuf.UnknownFieldSet.Builder unknownFields =
133 com.
google.protobuf.UnknownFieldSet.newBuilder();
135 boolean done =
false;
137 int tag = input.readTag();
143 int rawValue = input.readEnum();
144 @SuppressWarnings(
"deprecation")
145 com.google.ortools.sat.SatParameters.VariableOrder value =
com.google.ortools.sat.SatParameters.VariableOrder.valueOf(rawValue);
147 unknownFields.mergeVarintField(1, rawValue);
149 bitField0_ |= 0x00000001;
150 preferredVariableOrder_ = rawValue;
155 int rawValue = input.readEnum();
156 @SuppressWarnings(
"deprecation")
157 com.google.ortools.sat.SatParameters.Polarity value =
com.google.ortools.sat.SatParameters.Polarity.valueOf(rawValue);
159 unknownFields.mergeVarintField(2, rawValue);
161 bitField0_ |= 0x00000002;
162 initialPolarity_ = rawValue;
167 int rawValue = input.readEnum();
168 @SuppressWarnings(
"deprecation")
169 com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value =
com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.valueOf(rawValue);
171 unknownFields.mergeVarintField(4, rawValue);
173 bitField0_ |= 0x00000100;
174 minimizationAlgorithm_ = rawValue;
179 bitField0_ |= 0x00000800;
180 clauseCleanupPeriod_ = input.readInt32();
184 bitField0_ |= 0x00001000;
185 clauseCleanupTarget_ = input.readInt32();
189 bitField0_ |= 0x00100000;
190 variableActivityDecay_ = input.readDouble();
194 bitField0_ |= 0x00200000;
195 maxVariableActivityValue_ = input.readDouble();
199 bitField0_ |= 0x02000000;
200 clauseActivityDecay_ = input.readDouble();
204 bitField0_ |= 0x04000000;
205 maxClauseActivityValue_ = input.readDouble();
209 bitField0_ |= 0x00400000;
210 glucoseMaxDecay_ = input.readDouble();
214 bitField0_ |= 0x00800000;
215 glucoseDecayIncrement_ = input.readDouble();
219 bitField0_ |= 0x01000000;
220 glucoseDecayIncrementPeriod_ = input.readInt32();
224 bitField0_ |= 0x10000000;
225 restartPeriod_ = input.readInt32();
229 bitField1_ |= 0x00000400;
230 randomSeed_ = input.readInt32();
234 bitField0_ |= 0x00000010;
235 randomBranchesRatio_ = input.readDouble();
239 bitField1_ |= 0x00000200;
240 treatBinaryClausesSeparately_ = input.readBool();
244 int rawValue = input.readEnum();
245 @SuppressWarnings(
"deprecation")
246 com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value =
com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.valueOf(rawValue);
248 unknownFields.mergeVarintField(34, rawValue);
250 bitField0_ |= 0x00000200;
251 binaryMinimizationAlgorithm_ = rawValue;
256 bitField1_ |= 0x00200000;
257 useOptimizationHints_ = input.readBool();
261 bitField1_ |= 0x00000020;
262 maxTimeInSeconds_ = input.readDouble();
266 bitField1_ |= 0x00000080;
267 maxNumberOfConflicts_ = input.readInt64();
271 bitField1_ |= 0x00000100;
272 maxMemoryInMb_ = input.readInt64();
276 bitField1_ |= 0x00000800;
277 logSearchProgress_ = input.readBool();
281 bitField1_ |= 0x00001000;
282 usePbResolution_ = input.readBool();
286 bitField0_ |= 0x00000004;
287 usePhaseSaving_ = input.readBool();
291 bitField0_ |= 0x00000008;
292 randomPolarityRatio_ = input.readDouble();
296 bitField0_ |= 0x00010000;
297 pbCleanupIncrement_ = input.readInt32();
301 bitField0_ |= 0x00020000;
302 pbCleanupRatio_ = input.readDouble();
306 bitField1_ |= 0x00002000;
307 minimizeReductionDuringPbResolution_ = input.readBool();
311 bitField1_ |= 0x00004000;
312 countAssumptionLevelsInLbd_ = input.readBool();
316 bitField1_ |= 0x00400000;
317 minimizeCore_ = input.readBool();
321 int rawValue = input.readEnum();
322 @SuppressWarnings(
"deprecation")
323 com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder value =
com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf(rawValue);
325 unknownFields.mergeVarintField(51, rawValue);
327 bitField1_ |= 0x02000000;
328 maxSatAssumptionOrder_ = rawValue;
333 bitField1_ |= 0x04000000;
334 maxSatReverseAssumptionOrder_ = input.readBool();
338 int rawValue = input.readEnum();
339 @SuppressWarnings(
"deprecation")
340 com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value =
com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.valueOf(rawValue);
342 unknownFields.mergeVarintField(53, rawValue);
344 bitField1_ |= 0x08000000;
345 maxSatStratification_ = rawValue;
350 bitField1_ |= 0x00008000;
351 presolveBveThreshold_ = input.readInt32();
355 bitField1_ |= 0x00010000;
356 presolveBveClauseWeight_ = input.readInt32();
360 bitField0_ |= 0x00000400;
361 subsumptionDuringConflictAnalysis_ = input.readBool();
365 bitField1_ |= 0x00020000;
366 presolveProbingDeterministicTimeLimit_ = input.readDouble();
370 int rawValue = input.readEnum();
371 @SuppressWarnings(
"deprecation")
372 com.google.ortools.sat.SatParameters.ClauseProtection value =
com.google.ortools.sat.SatParameters.ClauseProtection.valueOf(rawValue);
374 unknownFields.mergeVarintField(58, rawValue);
376 bitField0_ |= 0x00002000;
377 clauseCleanupProtection_ = rawValue;
382 bitField0_ |= 0x00004000;
383 clauseCleanupLbdBound_ = input.readInt32();
387 int rawValue = input.readEnum();
388 @SuppressWarnings(
"deprecation")
389 com.google.ortools.sat.SatParameters.ClauseOrdering value =
com.google.ortools.sat.SatParameters.ClauseOrdering.valueOf(rawValue);
391 unknownFields.mergeVarintField(60, rawValue);
393 bitField0_ |= 0x00008000;
394 clauseCleanupOrdering_ = rawValue;
399 int rawValue = input.readEnum();
400 @SuppressWarnings(
"deprecation")
401 com.google.ortools.sat.SatParameters.RestartAlgorithm value =
com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(rawValue);
403 unknownFields.mergeVarintField(61, rawValue);
405 if (!((mutable_bitField0_ & 0x08000000) != 0)) {
406 restartAlgorithms_ =
new java.util.ArrayList<java.lang.Integer>();
407 mutable_bitField0_ |= 0x08000000;
409 restartAlgorithms_.add(rawValue);
414 int length = input.readRawVarint32();
415 int oldLimit = input.pushLimit(length);
416 while(input.getBytesUntilLimit() > 0) {
417 int rawValue = input.readEnum();
418 @SuppressWarnings(
"deprecation")
419 com.google.ortools.sat.SatParameters.RestartAlgorithm value =
com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(rawValue);
421 unknownFields.mergeVarintField(61, rawValue);
423 if (!((mutable_bitField0_ & 0x08000000) != 0)) {
424 restartAlgorithms_ =
new java.util.ArrayList<java.lang.Integer>();
425 mutable_bitField0_ |= 0x08000000;
427 restartAlgorithms_.add(rawValue);
430 input.popLimit(oldLimit);
434 bitField0_ |= 0x20000000;
435 restartRunningWindowSize_ = input.readInt32();
439 bitField0_ |= 0x40000000;
440 restartDlAverageRatio_ = input.readDouble();
444 bitField1_ |= 0x00000001;
445 useBlockingRestart_ = input.readBool();
449 bitField1_ |= 0x00000002;
450 blockingRestartWindowSize_ = input.readInt32();
454 bitField1_ |= 0x00000004;
455 blockingRestartMultiplier_ = input.readDouble();
459 bitField1_ |= 0x00000040;
460 maxDeterministicTime_ = input.readDouble();
464 bitField1_ |= 0x00000008;
465 numConflictsBeforeStrategyChanges_ = input.readInt32();
469 bitField1_ |= 0x00000010;
470 strategyChangeIncreaseRatio_ = input.readDouble();
474 com.
google.protobuf.ByteString bs = input.readBytes();
475 bitField0_ |= 0x08000000;
476 defaultRestartAlgorithms_ = bs;
480 bitField0_ |= 0x80000000;
481 restartLbdAverageRatio_ = input.readDouble();
485 bitField1_ |= 0x00080000;
486 presolveUseBva_ = input.readBool();
490 bitField1_ |= 0x00100000;
491 presolveBvaThreshold_ = input.readInt32();
495 bitField1_ |= 0x10000000;
496 usePrecedencesInDisjunctiveConstraint_ = input.readBool();
500 bitField0_ |= 0x00000020;
501 useErwaHeuristic_ = input.readBool();
505 bitField0_ |= 0x00000040;
506 initialVariablesActivity_ = input.readDouble();
510 bitField0_ |= 0x00000080;
511 alsoBumpVariablesInConflictReasons_ = input.readBool();
515 bitField1_ |= 0x20000000;
516 useOverloadCheckerInCumulativeConstraint_ = input.readBool();
520 bitField1_ |= 0x40000000;
521 useTimetableEdgeFindingInCumulativeConstraint_ = input.readBool();
525 bitField1_ |= 0x80000000;
526 useDisjunctiveConstraintInCumulativeConstraint_ = input.readBool();
530 int rawValue = input.readEnum();
531 @SuppressWarnings(
"deprecation")
532 com.google.ortools.sat.SatParameters.SearchBranching value =
com.google.ortools.sat.SatParameters.SearchBranching.valueOf(rawValue);
534 unknownFields.mergeVarintField(82, rawValue);
536 bitField2_ |= 0x00002000;
537 searchBranching_ = rawValue;
542 bitField2_ |= 0x00080000;
543 optimizeWithCore_ = input.readBool();
547 bitField1_ |= 0x00800000;
548 findMultipleCores_ = input.readBool();
552 bitField2_ |= 0x00200000;
553 optimizeWithMaxHs_ = input.readBool();
557 bitField2_ |= 0x00400000;
558 cpModelPresolve_ = input.readBool();
562 bitField2_ |= 0x02000000;
563 enumerateAllSolutions_ = input.readBool();
567 bitField1_ |= 0x00040000;
568 presolveBlockedClause_ = input.readBool();
572 bitField1_ |= 0x01000000;
573 coverOptimization_ = input.readBool();
577 bitField2_ |= 0x00000001;
578 linearizationLevel_ = input.readInt32();
582 bitField2_ |= 0x00000004;
583 maxNumCuts_ = input.readInt32();
587 bitField2_ |= 0x00000008;
588 onlyAddCutsAtLevelZero_ = input.readBool();
592 bitField2_ |= 0x01000000;
593 cpModelUseSatPresolve_ = input.readBool();
597 bitField2_ |= 0x00004000;
598 exploitIntegerLpSolution_ = input.readBool();
602 bitField2_ |= 0x10000000;
603 autoDetectGreaterThanAtLeastOneOf_ = input.readBool();
607 bitField0_ |= 0x00040000;
608 minimizeWithPropagationRestartPeriod_ = input.readInt32();
612 bitField0_ |= 0x00080000;
613 minimizeWithPropagationNumDecisions_ = input.readInt32();
617 bitField2_ |= 0x20000000;
618 stopAfterFirstSolution_ = input.readBool();
622 bitField2_ |= 0x00100000;
623 binarySearchNumConflicts_ = input.readInt32();
627 bitField2_ |= 0x40000000;
628 numSearchWorkers_ = input.readInt32();
632 bitField3_ |= 0x00000004;
633 useLnsOnly_ = input.readBool();
637 bitField3_ |= 0x00000020;
638 randomizeSearch_ = input.readBool();
642 bitField3_ |= 0x00000040;
643 searchRandomizationTolerance_ = input.readInt64();
647 bitField3_ |= 0x00000008;
648 lnsFocusOnDecisionVariables_ = input.readBool();
652 bitField2_ |= 0x08000000;
653 instantiateAllVariables_ = input.readBool();
657 bitField2_ |= 0x00000002;
658 booleanEncodingLevel_ = input.readInt32();
662 bitField3_ |= 0x00000080;
663 useOptionalVariables_ = input.readBool();
667 bitField3_ |= 0x00000100;
668 useExactLpReason_ = input.readBool();
672 bitField2_ |= 0x00800000;
673 cpModelProbingLevel_ = input.readInt32();
677 bitField2_ |= 0x00000010;
678 addKnapsackCuts_ = input.readBool();
682 bitField2_ |= 0x00000200;
683 addLpConstraintsLazily_ = input.readBool();
687 bitField3_ |= 0x00000001;
688 shareObjectiveBounds_ = input.readBool();
692 bitField3_ |= 0x00000002;
693 shareLevelZeroBounds_ = input.readBool();
697 bitField2_ |= 0x00000400;
698 minOrthogonalityForLpConstraints_ = input.readDouble();
702 bitField2_ |= 0x00008000;
703 exploitAllLpSolution_ = input.readBool();
707 bitField2_ |= 0x00000020;
708 addCgCuts_ = input.readBool();
712 bitField2_ |= 0x00000080;
713 useMirRounding_ = input.readBool();
717 bitField2_ |= 0x00000100;
718 maxIntegerRoundingScaling_ = input.readInt32();
722 bitField2_ |= 0x00000040;
723 addMirCuts_ = input.readBool();
727 bitField2_ |= 0x00000800;
728 maxInactiveCount_ = input.readInt64();
732 bitField2_ |= 0x00001000;
733 constraintRemovalBatchSize_ = input.readInt64();
737 bitField2_ |= 0x00040000;
738 pseudoCostReliabilityThreshold_ = input.readInt64();
742 bitField3_ |= 0x00000400;
743 mipMaxBound_ = input.readDouble();
747 bitField3_ |= 0x00000800;
748 mipVarScaling_ = input.readDouble();
752 bitField3_ |= 0x00001000;
753 mipWantedPrecision_ = input.readDouble();
757 bitField3_ |= 0x00002000;
758 mipMaxActivityExponent_ = input.readInt32();
762 bitField3_ |= 0x00004000;
763 mipCheckPrecision_ = input.readDouble();
767 bitField3_ |= 0x00000010;
768 useRinsLns_ = input.readBool();
772 bitField2_ |= 0x00010000;
773 exploitBestSolution_ = input.readBool();
777 bitField2_ |= 0x00020000;
778 exploitObjective_ = input.readBool();
782 bitField2_ |= 0x04000000;
783 fillTightenedDomainsInResponse_ = input.readBool();
787 bitField3_ |= 0x00000200;
788 useCombinedNoOverlap_ = input.readBool();
792 bitField2_ |= 0x80000000;
793 deterministicParallelSearch_ = input.readBool();
797 bitField3_ |= 0x00008000;
798 catchSigintSignal_ = input.readBool();
802 if (!parseUnknownField(
803 input, unknownFields, extensionRegistry, tag)) {
810 }
catch (
com.
google.protobuf.InvalidProtocolBufferException e) {
811 throw e.setUnfinishedMessage(
this);
812 }
catch (java.io.IOException e) {
813 throw new com.
google.protobuf.InvalidProtocolBufferException(
814 e).setUnfinishedMessage(
this);
816 if (((mutable_bitField0_ & 0x08000000) != 0)) {
817 restartAlgorithms_ = java.util.Collections.unmodifiableList(restartAlgorithms_);
819 this.unknownFields = unknownFields.build();
820 makeExtensionsImmutable();
823 public static final com.
google.protobuf.Descriptors.Descriptor
825 return com.
google.
ortools.
sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
829 protected com.
google.protobuf.GeneratedMessageV3.FieldAccessorTable
831 return com.
google.
ortools.
sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_fieldAccessorTable
832 .ensureFieldAccessorsInitialized(
845 implements
com.
google.protobuf.ProtocolMessageEnum {
871 public static final int IN_ORDER_VALUE = 0;
875 public static final int IN_REVERSE_ORDER_VALUE = 1;
879 public static final int IN_RANDOM_ORDER_VALUE = 2;
889 @java.lang.Deprecated
891 return forNumber(value);
896 case 0:
return IN_ORDER;
897 case 1:
return IN_REVERSE_ORDER;
898 case 2:
return IN_RANDOM_ORDER;
899 default:
return null;
905 return internalValueMap;
907 private static final com.
google.protobuf.Internal.EnumLiteMap<
915 public final com.
google.protobuf.Descriptors.EnumValueDescriptor
919 public final com.
google.protobuf.Descriptors.EnumDescriptor
923 public static final com.
google.protobuf.Descriptors.EnumDescriptor
931 com.
google.protobuf.Descriptors.EnumValueDescriptor desc) {
933 throw new java.lang.IllegalArgumentException(
934 "EnumValueDescriptor is not for this type.");
936 return VALUES[desc.getIndex()];
939 private final int value;
960 implements
com.
google.protobuf.ProtocolMessageEnum {
997 public static final int POLARITY_TRUE_VALUE = 0;
1001 public static final int POLARITY_FALSE_VALUE = 1;
1005 public static final int POLARITY_RANDOM_VALUE = 2;
1016 public static final int POLARITY_WEIGHTED_SIGN_VALUE = 3;
1024 public static final int POLARITY_REVERSE_WEIGHTED_SIGN_VALUE = 4;
1034 @java.lang.Deprecated
1036 return forNumber(value);
1041 case 0:
return POLARITY_TRUE;
1042 case 1:
return POLARITY_FALSE;
1043 case 2:
return POLARITY_RANDOM;
1044 case 3:
return POLARITY_WEIGHTED_SIGN;
1045 case 4:
return POLARITY_REVERSE_WEIGHTED_SIGN;
1046 default:
return null;
1052 return internalValueMap;
1054 private static final com.
google.protobuf.Internal.EnumLiteMap<
1057 public Polarity findValueByNumber(
int number) {
1062 public final com.
google.protobuf.Descriptors.EnumValueDescriptor
1066 public final com.
google.protobuf.Descriptors.EnumDescriptor
1070 public static final com.
google.protobuf.Descriptors.EnumDescriptor
1075 private static final Polarity[] VALUES = values();
1078 com.
google.protobuf.Descriptors.EnumValueDescriptor desc) {
1080 throw new java.lang.IllegalArgumentException(
1081 "EnumValueDescriptor is not for this type.");
1083 return VALUES[desc.getIndex()];
1086 private final int value;
1103 implements
com.
google.protobuf.ProtocolMessageEnum {
1125 public static final int NONE_VALUE = 0;
1129 public static final int SIMPLE_VALUE = 1;
1133 public static final int RECURSIVE_VALUE = 2;
1137 public static final int EXPERIMENTAL_VALUE = 3;
1147 @java.lang.Deprecated
1149 return forNumber(value);
1154 case 0:
return NONE;
1155 case 1:
return SIMPLE;
1156 case 2:
return RECURSIVE;
1157 case 3:
return EXPERIMENTAL;
1158 default:
return null;
1164 return internalValueMap;
1166 private static final com.
google.protobuf.Internal.EnumLiteMap<
1174 public final com.
google.protobuf.Descriptors.EnumValueDescriptor
1178 public final com.
google.protobuf.Descriptors.EnumDescriptor
1182 public static final com.
google.protobuf.Descriptors.EnumDescriptor
1190 com.
google.protobuf.Descriptors.EnumValueDescriptor desc) {
1192 throw new java.lang.IllegalArgumentException(
1193 "EnumValueDescriptor is not for this type.");
1195 return VALUES[desc.getIndex()];
1198 private final int value;
1216 implements
com.
google.protobuf.ProtocolMessageEnum {
1242 public static final int NO_BINARY_MINIMIZATION_VALUE = 0;
1246 public static final int BINARY_MINIMIZATION_FIRST_VALUE = 1;
1250 public static final int BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION_VALUE = 4;
1254 public static final int BINARY_MINIMIZATION_WITH_REACHABILITY_VALUE = 2;
1258 public static final int EXPERIMENTAL_BINARY_MINIMIZATION_VALUE = 3;
1268 @java.lang.Deprecated
1270 return forNumber(value);
1275 case 0:
return NO_BINARY_MINIMIZATION;
1276 case 1:
return BINARY_MINIMIZATION_FIRST;
1277 case 4:
return BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION;
1278 case 2:
return BINARY_MINIMIZATION_WITH_REACHABILITY;
1279 case 3:
return EXPERIMENTAL_BINARY_MINIMIZATION;
1280 default:
return null;
1286 return internalValueMap;
1288 private static final com.
google.protobuf.Internal.EnumLiteMap<
1296 public final com.
google.protobuf.Descriptors.EnumValueDescriptor
1300 public final com.
google.protobuf.Descriptors.EnumDescriptor
1304 public static final com.
google.protobuf.Descriptors.EnumDescriptor
1312 com.
google.protobuf.Descriptors.EnumValueDescriptor desc) {
1314 throw new java.lang.IllegalArgumentException(
1315 "EnumValueDescriptor is not for this type.");
1317 return VALUES[desc.getIndex()];
1320 private final int value;
1339 implements
com.
google.protobuf.ProtocolMessageEnum {
1373 public static final int PROTECTION_NONE_VALUE = 0;
1381 public static final int PROTECTION_ALWAYS_VALUE = 1;
1389 public static final int PROTECTION_LBD_VALUE = 2;
1399 @java.lang.Deprecated
1401 return forNumber(value);
1406 case 0:
return PROTECTION_NONE;
1407 case 1:
return PROTECTION_ALWAYS;
1408 case 2:
return PROTECTION_LBD;
1409 default:
return null;
1415 return internalValueMap;
1417 private static final com.
google.protobuf.Internal.EnumLiteMap<
1425 public final com.
google.protobuf.Descriptors.EnumValueDescriptor
1429 public final com.
google.protobuf.Descriptors.EnumDescriptor
1433 public static final com.
google.protobuf.Descriptors.EnumDescriptor
1441 com.
google.protobuf.Descriptors.EnumValueDescriptor desc) {
1443 throw new java.lang.IllegalArgumentException(
1444 "EnumValueDescriptor is not for this type.");
1446 return VALUES[desc.getIndex()];
1449 private final int value;
1467 implements
com.
google.protobuf.ProtocolMessageEnum {
1493 public static final int CLAUSE_ACTIVITY_VALUE = 0;
1501 public static final int CLAUSE_LBD_VALUE = 1;
1511 @java.lang.Deprecated
1513 return forNumber(value);
1518 case 0:
return CLAUSE_ACTIVITY;
1519 case 1:
return CLAUSE_LBD;
1520 default:
return null;
1526 return internalValueMap;
1528 private static final com.
google.protobuf.Internal.EnumLiteMap<
1536 public final com.
google.protobuf.Descriptors.EnumValueDescriptor
1540 public final com.
google.protobuf.Descriptors.EnumDescriptor
1544 public static final com.
google.protobuf.Descriptors.EnumDescriptor
1552 com.
google.protobuf.Descriptors.EnumValueDescriptor desc) {
1554 throw new java.lang.IllegalArgumentException(
1555 "EnumValueDescriptor is not for this type.");
1557 return VALUES[desc.getIndex()];
1560 private final int value;
1581 implements
com.
google.protobuf.ProtocolMessageEnum {
1623 public static final int NO_RESTART_VALUE = 0;
1631 public static final int LUBY_RESTART_VALUE = 1;
1639 public static final int DL_MOVING_AVERAGE_RESTART_VALUE = 2;
1647 public static final int LBD_MOVING_AVERAGE_RESTART_VALUE = 3;
1655 public static final int FIXED_RESTART_VALUE = 4;
1665 @java.lang.Deprecated
1667 return forNumber(value);
1672 case 0:
return NO_RESTART;
1673 case 1:
return LUBY_RESTART;
1674 case 2:
return DL_MOVING_AVERAGE_RESTART;
1675 case 3:
return LBD_MOVING_AVERAGE_RESTART;
1676 case 4:
return FIXED_RESTART;
1677 default:
return null;
1683 return internalValueMap;
1685 private static final com.
google.protobuf.Internal.EnumLiteMap<
1693 public final com.
google.protobuf.Descriptors.EnumValueDescriptor
1697 public final com.
google.protobuf.Descriptors.EnumDescriptor
1701 public static final com.
google.protobuf.Descriptors.EnumDescriptor
1709 com.
google.protobuf.Descriptors.EnumValueDescriptor desc) {
1711 throw new java.lang.IllegalArgumentException(
1712 "EnumValueDescriptor is not for this type.");
1714 return VALUES[desc.getIndex()];
1717 private final int value;
1734 implements
com.
google.protobuf.ProtocolMessageEnum {
1752 public static final int DEFAULT_ASSUMPTION_ORDER_VALUE = 0;
1756 public static final int ORDER_ASSUMPTION_BY_DEPTH_VALUE = 1;
1760 public static final int ORDER_ASSUMPTION_BY_WEIGHT_VALUE = 2;
1770 @java.lang.Deprecated
1772 return forNumber(value);
1777 case 0:
return DEFAULT_ASSUMPTION_ORDER;
1778 case 1:
return ORDER_ASSUMPTION_BY_DEPTH;
1779 case 2:
return ORDER_ASSUMPTION_BY_WEIGHT;
1780 default:
return null;
1786 return internalValueMap;
1788 private static final com.
google.protobuf.Internal.EnumLiteMap<
1796 public final com.
google.protobuf.Descriptors.EnumValueDescriptor
1800 public final com.
google.protobuf.Descriptors.EnumDescriptor
1804 public static final com.
google.protobuf.Descriptors.EnumDescriptor
1812 com.
google.protobuf.Descriptors.EnumValueDescriptor desc) {
1814 throw new java.lang.IllegalArgumentException(
1815 "EnumValueDescriptor is not for this type.");
1817 return VALUES[desc.getIndex()];
1820 private final int value;
1837 implements
com.
google.protobuf.ProtocolMessageEnum {
1875 public static final int STRATIFICATION_NONE_VALUE = 0;
1884 public static final int STRATIFICATION_DESCENT_VALUE = 1;
1895 public static final int STRATIFICATION_ASCENT_VALUE = 2;
1905 @java.lang.Deprecated
1907 return forNumber(value);
1912 case 0:
return STRATIFICATION_NONE;
1913 case 1:
return STRATIFICATION_DESCENT;
1914 case 2:
return STRATIFICATION_ASCENT;
1915 default:
return null;
1921 return internalValueMap;
1923 private static final com.
google.protobuf.Internal.EnumLiteMap<
1931 public final com.
google.protobuf.Descriptors.EnumValueDescriptor
1935 public final com.
google.protobuf.Descriptors.EnumDescriptor
1939 public static final com.
google.protobuf.Descriptors.EnumDescriptor
1947 com.
google.protobuf.Descriptors.EnumValueDescriptor desc) {
1949 throw new java.lang.IllegalArgumentException(
1950 "EnumValueDescriptor is not for this type.");
1952 return VALUES[desc.getIndex()];
1955 private final int value;
1972 implements
com.
google.protobuf.ProtocolMessageEnum {
2050 public static final int AUTOMATIC_SEARCH_VALUE = 0;
2060 public static final int FIXED_SEARCH_VALUE = 1;
2068 public static final int PORTFOLIO_SEARCH_VALUE = 2;
2078 public static final int LP_SEARCH_VALUE = 3;
2088 public static final int PSEUDO_COST_SEARCH_VALUE = 4;
2098 public static final int PORTFOLIO_WITH_QUICK_RESTART_SEARCH_VALUE = 5;
2108 public static final int HINT_SEARCH_VALUE = 6;
2118 @java.lang.Deprecated
2120 return forNumber(value);
2125 case 0:
return AUTOMATIC_SEARCH;
2126 case 1:
return FIXED_SEARCH;
2127 case 2:
return PORTFOLIO_SEARCH;
2128 case 3:
return LP_SEARCH;
2129 case 4:
return PSEUDO_COST_SEARCH;
2130 case 5:
return PORTFOLIO_WITH_QUICK_RESTART_SEARCH;
2131 case 6:
return HINT_SEARCH;
2132 default:
return null;
2138 return internalValueMap;
2140 private static final com.
google.protobuf.Internal.EnumLiteMap<
2148 public final com.
google.protobuf.Descriptors.EnumValueDescriptor
2152 public final com.
google.protobuf.Descriptors.EnumDescriptor
2156 public static final com.
google.protobuf.Descriptors.EnumDescriptor
2164 com.
google.protobuf.Descriptors.EnumValueDescriptor desc) {
2166 throw new java.lang.IllegalArgumentException(
2167 "EnumValueDescriptor is not for this type.");
2169 return VALUES[desc.getIndex()];
2172 private final int value;
2181 private int bitField0_;
2182 private int bitField1_;
2183 private int bitField2_;
2184 private int bitField3_;
2186 private int preferredVariableOrder_;
2191 return ((bitField0_ & 0x00000001) != 0);
2197 @SuppressWarnings(
"deprecation")
2203 private int initialPolarity_;
2208 return ((bitField0_ & 0x00000002) != 0);
2214 @SuppressWarnings(
"deprecation")
2220 private boolean usePhaseSaving_;
2235 return ((bitField0_ & 0x00000004) != 0);
2251 return usePhaseSaving_;
2255 private double randomPolarityRatio_;
2268 return ((bitField0_ & 0x00000008) != 0);
2282 return randomPolarityRatio_;
2286 private double randomBranchesRatio_;
2297 return ((bitField0_ & 0x00000010) != 0);
2309 return randomBranchesRatio_;
2313 private boolean useErwaHeuristic_;
2324 return ((bitField0_ & 0x00000020) != 0);
2336 return useErwaHeuristic_;
2340 private double initialVariablesActivity_;
2354 return ((bitField0_ & 0x00000040) != 0);
2369 return initialVariablesActivity_;
2373 private boolean alsoBumpVariablesInConflictReasons_;
2385 return ((bitField0_ & 0x00000080) != 0);
2398 return alsoBumpVariablesInConflictReasons_;
2402 private int minimizationAlgorithm_;
2407 return ((bitField0_ & 0x00000100) != 0);
2413 @SuppressWarnings(
"deprecation")
2419 private int binaryMinimizationAlgorithm_;
2424 return ((bitField0_ & 0x00000200) != 0);
2430 @SuppressWarnings(
"deprecation")
2436 private boolean subsumptionDuringConflictAnalysis_;
2448 return ((bitField0_ & 0x00000400) != 0);
2461 return subsumptionDuringConflictAnalysis_;
2465 private int clauseCleanupPeriod_;
2474 return ((bitField0_ & 0x00000800) != 0);
2484 return clauseCleanupPeriod_;
2488 private int clauseCleanupTarget_;
2498 return ((bitField0_ & 0x00001000) != 0);
2509 return clauseCleanupTarget_;
2513 private int clauseCleanupProtection_;
2518 return ((bitField0_ & 0x00002000) != 0);
2524 @SuppressWarnings(
"deprecation")
2530 private int clauseCleanupLbdBound_;
2540 return ((bitField0_ & 0x00004000) != 0);
2551 return clauseCleanupLbdBound_;
2555 private int clauseCleanupOrdering_;
2560 return ((bitField0_ & 0x00008000) != 0);
2566 @SuppressWarnings(
"deprecation")
2572 private int pbCleanupIncrement_;
2581 return ((bitField0_ & 0x00010000) != 0);
2591 return pbCleanupIncrement_;
2595 private double pbCleanupRatio_;
2600 return ((bitField0_ & 0x00020000) != 0);
2606 return pbCleanupRatio_;
2610 private int minimizeWithPropagationRestartPeriod_;
2629 return ((bitField0_ & 0x00040000) != 0);
2649 return minimizeWithPropagationRestartPeriod_;
2653 private int minimizeWithPropagationNumDecisions_;
2658 return ((bitField0_ & 0x00080000) != 0);
2664 return minimizeWithPropagationNumDecisions_;
2668 private double variableActivityDecay_;
2683 return ((bitField0_ & 0x00100000) != 0);
2699 return variableActivityDecay_;
2703 private double maxVariableActivityValue_;
2708 return ((bitField0_ & 0x00200000) != 0);
2714 return maxVariableActivityValue_;
2718 private double glucoseMaxDecay_;
2730 return ((bitField0_ & 0x00400000) != 0);
2743 return glucoseMaxDecay_;
2747 private double glucoseDecayIncrement_;
2752 return ((bitField0_ & 0x00800000) != 0);
2758 return glucoseDecayIncrement_;
2762 private int glucoseDecayIncrementPeriod_;
2767 return ((bitField0_ & 0x01000000) != 0);
2773 return glucoseDecayIncrementPeriod_;
2777 private double clauseActivityDecay_;
2786 return ((bitField0_ & 0x02000000) != 0);
2796 return clauseActivityDecay_;
2800 private double maxClauseActivityValue_;
2805 return ((bitField0_ & 0x04000000) != 0);
2811 return maxClauseActivityValue_;
2815 private java.util.List<java.lang.Integer> restartAlgorithms_;
2816 private static final com.
google.protobuf.Internal.ListAdapter.Converter<
2818 new com.
google.protobuf.Internal.ListAdapter.Converter<
2821 @SuppressWarnings(
"deprecation")
2841 return new com.
google.protobuf.Internal.ListAdapter<
2859 return restartAlgorithms_.size();
2876 return restartAlgorithms_converter_.convert(restartAlgorithms_.get(index));
2880 private volatile java.lang.Object defaultRestartAlgorithms_;
2885 return ((bitField0_ & 0x08000000) != 0);
2891 java.lang.Object ref = defaultRestartAlgorithms_;
2892 if (ref instanceof java.lang.String) {
2893 return (java.lang.String) ref;
2897 java.lang.String s = bs.toStringUtf8();
2898 if (bs.isValidUtf8()) {
2899 defaultRestartAlgorithms_ = s;
2909 java.lang.Object ref = defaultRestartAlgorithms_;
2910 if (ref instanceof java.lang.String) {
2912 com.
google.protobuf.ByteString.copyFromUtf8(
2913 (java.lang.String) ref);
2914 defaultRestartAlgorithms_ = b;
2917 return (
com.
google.protobuf.ByteString) ref;
2922 private int restartPeriod_;
2932 return ((bitField0_ & 0x10000000) != 0);
2943 return restartPeriod_;
2947 private int restartRunningWindowSize_;
2956 return ((bitField0_ & 0x20000000) != 0);
2966 return restartRunningWindowSize_;
2970 private double restartDlAverageRatio_;
2980 return ((bitField0_ & 0x40000000) != 0);
2991 return restartDlAverageRatio_;
2995 private double restartLbdAverageRatio_;
3000 return ((bitField0_ & 0x80000000) != 0);
3006 return restartLbdAverageRatio_;
3010 private boolean useBlockingRestart_;
3021 return ((bitField1_ & 0x00000001) != 0);
3033 return useBlockingRestart_;
3037 private int blockingRestartWindowSize_;
3042 return ((bitField1_ & 0x00000002) != 0);
3048 return blockingRestartWindowSize_;
3052 private double blockingRestartMultiplier_;
3057 return ((bitField1_ & 0x00000004) != 0);
3063 return blockingRestartMultiplier_;
3067 private int numConflictsBeforeStrategyChanges_;
3078 return ((bitField1_ & 0x00000008) != 0);
3090 return numConflictsBeforeStrategyChanges_;
3094 private double strategyChangeIncreaseRatio_;
3104 return ((bitField1_ & 0x00000010) != 0);
3115 return strategyChangeIncreaseRatio_;
3119 private double maxTimeInSeconds_;
3130 return ((bitField1_ & 0x00000020) != 0);
3142 return maxTimeInSeconds_;
3146 private double maxDeterministicTime_;
3159 return ((bitField1_ & 0x00000040) != 0);
3173 return maxDeterministicTime_;
3177 private long maxNumberOfConflicts_;
3191 return ((bitField1_ & 0x00000080) != 0);
3206 return maxNumberOfConflicts_;
3210 private long maxMemoryInMb_;
3222 return ((bitField1_ & 0x00000100) != 0);
3235 return maxMemoryInMb_;
3239 private boolean treatBinaryClausesSeparately_;
3250 return ((bitField1_ & 0x00000200) != 0);
3262 return treatBinaryClausesSeparately_;
3266 private int randomSeed_;
3280 return ((bitField1_ & 0x00000400) != 0);
3299 private boolean logSearchProgress_;
3308 return ((bitField1_ & 0x00000800) != 0);
3318 return logSearchProgress_;
3322 private boolean usePbResolution_;
3334 return ((bitField1_ & 0x00001000) != 0);
3347 return usePbResolution_;
3351 private boolean minimizeReductionDuringPbResolution_;
3363 return ((bitField1_ & 0x00002000) != 0);
3376 return minimizeReductionDuringPbResolution_;
3380 private boolean countAssumptionLevelsInLbd_;
3396 return ((bitField1_ & 0x00004000) != 0);
3413 return countAssumptionLevelsInLbd_;
3417 private int presolveBveThreshold_;
3428 return ((bitField1_ & 0x00008000) != 0);
3440 return presolveBveThreshold_;
3444 private int presolveBveClauseWeight_;
3454 return ((bitField1_ & 0x00010000) != 0);
3465 return presolveBveClauseWeight_;
3469 private double presolveProbingDeterministicTimeLimit_;
3479 return ((bitField1_ & 0x00020000) != 0);
3490 return presolveProbingDeterministicTimeLimit_;
3494 private boolean presolveBlockedClause_;
3504 return ((bitField1_ & 0x00040000) != 0);
3515 return presolveBlockedClause_;
3519 private boolean presolveUseBva_;
3528 return ((bitField1_ & 0x00080000) != 0);
3538 return presolveUseBva_;
3542 private int presolveBvaThreshold_;
3554 return ((bitField1_ & 0x00100000) != 0);
3567 return presolveBvaThreshold_;
3571 private boolean useOptimizationHints_;
3583 return ((bitField1_ & 0x00200000) != 0);
3596 return useOptimizationHints_;
3600 private boolean minimizeCore_;
3609 return ((bitField1_ & 0x00400000) != 0);
3619 return minimizeCore_;
3623 private boolean findMultipleCores_;
3633 return ((bitField1_ & 0x00800000) != 0);
3644 return findMultipleCores_;
3648 private boolean coverOptimization_;
3658 return ((bitField1_ & 0x01000000) != 0);
3669 return coverOptimization_;
3673 private int maxSatAssumptionOrder_;
3678 return ((bitField1_ & 0x02000000) != 0);
3684 @SuppressWarnings(
"deprecation")
3690 private boolean maxSatReverseAssumptionOrder_;
3700 return ((bitField1_ & 0x04000000) != 0);
3711 return maxSatReverseAssumptionOrder_;
3715 private int maxSatStratification_;
3720 return ((bitField1_ & 0x08000000) != 0);
3726 @SuppressWarnings(
"deprecation")
3732 private boolean usePrecedencesInDisjunctiveConstraint_;
3748 return ((bitField1_ & 0x10000000) != 0);
3765 return usePrecedencesInDisjunctiveConstraint_;
3769 private boolean useOverloadCheckerInCumulativeConstraint_;
3783 return ((bitField1_ & 0x20000000) != 0);
3798 return useOverloadCheckerInCumulativeConstraint_;
3802 private boolean useTimetableEdgeFindingInCumulativeConstraint_;
3816 return ((bitField1_ & 0x40000000) != 0);
3831 return useTimetableEdgeFindingInCumulativeConstraint_;
3835 private boolean useDisjunctiveConstraintInCumulativeConstraint_;
3851 return ((bitField1_ & 0x80000000) != 0);
3868 return useDisjunctiveConstraintInCumulativeConstraint_;
3872 private int linearizationLevel_;
3884 return ((bitField2_ & 0x00000001) != 0);
3897 return linearizationLevel_;
3901 private int booleanEncodingLevel_;
3911 return ((bitField2_ & 0x00000002) != 0);
3922 return booleanEncodingLevel_;
3926 private int maxNumCuts_;
3936 return ((bitField2_ & 0x00000004) != 0);
3951 private boolean onlyAddCutsAtLevelZero_;
3961 return ((bitField2_ & 0x00000008) != 0);
3972 return onlyAddCutsAtLevelZero_;
3976 private boolean addKnapsackCuts_;
3987 return ((bitField2_ & 0x00000010) != 0);
3999 return addKnapsackCuts_;
4003 private boolean addCgCuts_;
4013 return ((bitField2_ & 0x00000020) != 0);
4028 private boolean addMirCuts_;
4038 return ((bitField2_ & 0x00000040) != 0);
4053 private boolean useMirRounding_;
4064 return ((bitField2_ & 0x00000080) != 0);
4076 return useMirRounding_;
4080 private int maxIntegerRoundingScaling_;
4093 return ((bitField2_ & 0x00000100) != 0);
4107 return maxIntegerRoundingScaling_;
4111 private boolean addLpConstraintsLazily_;
4123 return ((bitField2_ & 0x00000200) != 0);
4136 return addLpConstraintsLazily_;
4140 private double minOrthogonalityForLpConstraints_;
4153 return ((bitField2_ & 0x00000400) != 0);
4167 return minOrthogonalityForLpConstraints_;
4171 private long maxInactiveCount_;
4181 return ((bitField2_ & 0x00000800) != 0);
4192 return maxInactiveCount_;
4196 private long constraintRemovalBatchSize_;
4206 return ((bitField2_ & 0x00001000) != 0);
4217 return constraintRemovalBatchSize_;
4221 private int searchBranching_;
4226 return ((bitField2_ & 0x00002000) != 0);
4232 @SuppressWarnings(
"deprecation")
4238 private boolean exploitIntegerLpSolution_;
4250 return ((bitField2_ & 0x00004000) != 0);
4263 return exploitIntegerLpSolution_;
4267 private boolean exploitAllLpSolution_;
4278 return ((bitField2_ & 0x00008000) != 0);
4290 return exploitAllLpSolution_;
4294 private boolean exploitBestSolution_;
4303 return ((bitField2_ & 0x00010000) != 0);
4313 return exploitBestSolution_;
4317 private boolean exploitObjective_;
4327 return ((bitField2_ & 0x00020000) != 0);
4338 return exploitObjective_;
4342 private long pseudoCostReliabilityThreshold_;
4352 return ((bitField2_ & 0x00040000) != 0);
4363 return pseudoCostReliabilityThreshold_;
4367 private boolean optimizeWithCore_;
4379 return ((bitField2_ & 0x00080000) != 0);
4392 return optimizeWithCore_;
4396 private int binarySearchNumConflicts_;
4408 return ((bitField2_ & 0x00100000) != 0);
4421 return binarySearchNumConflicts_;
4425 private boolean optimizeWithMaxHs_;
4439 return ((bitField2_ & 0x00200000) != 0);
4454 return optimizeWithMaxHs_;
4458 private boolean cpModelPresolve_;
4467 return ((bitField2_ & 0x00400000) != 0);
4477 return cpModelPresolve_;
4481 private int cpModelProbingLevel_;
4490 return ((bitField2_ & 0x00800000) != 0);
4500 return cpModelProbingLevel_;
4504 private boolean cpModelUseSatPresolve_;
4513 return ((bitField2_ & 0x01000000) != 0);
4523 return cpModelUseSatPresolve_;
4527 private boolean enumerateAllSolutions_;
4541 return ((bitField2_ & 0x02000000) != 0);
4556 return enumerateAllSolutions_;
4560 private boolean fillTightenedDomainsInResponse_;
4573 return ((bitField2_ & 0x04000000) != 0);
4587 return fillTightenedDomainsInResponse_;
4591 private boolean instantiateAllVariables_;
4601 return ((bitField2_ & 0x08000000) != 0);
4612 return instantiateAllVariables_;
4616 private boolean autoDetectGreaterThanAtLeastOneOf_;
4628 return ((bitField2_ & 0x10000000) != 0);
4641 return autoDetectGreaterThanAtLeastOneOf_;
4645 private boolean stopAfterFirstSolution_;
4654 return ((bitField2_ & 0x20000000) != 0);
4664 return stopAfterFirstSolution_;
4668 private int numSearchWorkers_;
4678 return ((bitField2_ & 0x40000000) != 0);
4689 return numSearchWorkers_;
4693 private boolean deterministicParallelSearch_;
4704 return ((bitField2_ & 0x80000000) != 0);
4716 return deterministicParallelSearch_;
4720 private boolean shareObjectiveBounds_;
4729 return ((bitField3_ & 0x00000001) != 0);
4739 return shareObjectiveBounds_;
4743 private boolean shareLevelZeroBounds_;
4752 return ((bitField3_ & 0x00000002) != 0);
4762 return shareLevelZeroBounds_;
4766 private boolean useLnsOnly_;
4775 return ((bitField3_ & 0x00000004) != 0);
4789 private boolean lnsFocusOnDecisionVariables_;
4794 return ((bitField3_ & 0x00000008) != 0);
4800 return lnsFocusOnDecisionVariables_;
4804 private boolean useRinsLns_;
4813 return ((bitField3_ & 0x00000010) != 0);
4827 private boolean randomizeSearch_;
4836 return ((bitField3_ & 0x00000020) != 0);
4846 return randomizeSearch_;
4850 private long searchRandomizationTolerance_;
4865 return ((bitField3_ & 0x00000040) != 0);
4881 return searchRandomizationTolerance_;
4885 private boolean useOptionalVariables_;
4896 return ((bitField3_ & 0x00000080) != 0);
4908 return useOptionalVariables_;
4912 private boolean useExactLpReason_;
4924 return ((bitField3_ & 0x00000100) != 0);
4937 return useExactLpReason_;
4941 private boolean useCombinedNoOverlap_;
4952 return ((bitField3_ & 0x00000200) != 0);
4964 return useCombinedNoOverlap_;
4968 private double mipMaxBound_;
4979 return ((bitField3_ & 0x00000400) != 0);
4991 return mipMaxBound_;
4995 private double mipVarScaling_;
5006 return ((bitField3_ & 0x00000800) != 0);
5018 return mipVarScaling_;
5022 private double mipWantedPrecision_;
5039 return ((bitField3_ & 0x00001000) != 0);
5057 return mipWantedPrecision_;
5061 private int mipMaxActivityExponent_;
5076 return ((bitField3_ & 0x00002000) != 0);
5092 return mipMaxActivityExponent_;
5096 private double mipCheckPrecision_;
5108 return ((bitField3_ & 0x00004000) != 0);
5121 return mipCheckPrecision_;
5125 private boolean catchSigintSignal_;
5136 return ((bitField3_ & 0x00008000) != 0);
5148 return catchSigintSignal_;
5151 private byte memoizedIsInitialized = -1;
5158 memoizedIsInitialized = 1;
5164 throws java.io.IOException {
5165 if (((bitField0_ & 0x00000001) != 0)) {
5166 output.writeEnum(1, preferredVariableOrder_);
5168 if (((bitField0_ & 0x00000002) != 0)) {
5169 output.writeEnum(2, initialPolarity_);
5171 if (((bitField0_ & 0x00000100) != 0)) {
5172 output.writeEnum(4, minimizationAlgorithm_);
5174 if (((bitField0_ & 0x00000800) != 0)) {
5175 output.writeInt32(11, clauseCleanupPeriod_);
5177 if (((bitField0_ & 0x00001000) != 0)) {
5178 output.writeInt32(13, clauseCleanupTarget_);
5180 if (((bitField0_ & 0x00100000) != 0)) {
5181 output.writeDouble(15, variableActivityDecay_);
5183 if (((bitField0_ & 0x00200000) != 0)) {
5184 output.writeDouble(16, maxVariableActivityValue_);
5186 if (((bitField0_ & 0x02000000) != 0)) {
5187 output.writeDouble(17, clauseActivityDecay_);
5189 if (((bitField0_ & 0x04000000) != 0)) {
5190 output.writeDouble(18, maxClauseActivityValue_);
5192 if (((bitField0_ & 0x00400000) != 0)) {
5193 output.writeDouble(22, glucoseMaxDecay_);
5195 if (((bitField0_ & 0x00800000) != 0)) {
5196 output.writeDouble(23, glucoseDecayIncrement_);
5198 if (((bitField0_ & 0x01000000) != 0)) {
5199 output.writeInt32(24, glucoseDecayIncrementPeriod_);
5201 if (((bitField0_ & 0x10000000) != 0)) {
5202 output.writeInt32(30, restartPeriod_);
5204 if (((bitField1_ & 0x00000400) != 0)) {
5205 output.writeInt32(31, randomSeed_);
5207 if (((bitField0_ & 0x00000010) != 0)) {
5208 output.writeDouble(32, randomBranchesRatio_);
5210 if (((bitField1_ & 0x00000200) != 0)) {
5211 output.writeBool(33, treatBinaryClausesSeparately_);
5213 if (((bitField0_ & 0x00000200) != 0)) {
5214 output.writeEnum(34, binaryMinimizationAlgorithm_);
5216 if (((bitField1_ & 0x00200000) != 0)) {
5217 output.writeBool(35, useOptimizationHints_);
5219 if (((bitField1_ & 0x00000020) != 0)) {
5220 output.writeDouble(36, maxTimeInSeconds_);
5222 if (((bitField1_ & 0x00000080) != 0)) {
5223 output.writeInt64(37, maxNumberOfConflicts_);
5225 if (((bitField1_ & 0x00000100) != 0)) {
5226 output.writeInt64(40, maxMemoryInMb_);
5228 if (((bitField1_ & 0x00000800) != 0)) {
5229 output.writeBool(41, logSearchProgress_);
5231 if (((bitField1_ & 0x00001000) != 0)) {
5232 output.writeBool(43, usePbResolution_);
5234 if (((bitField0_ & 0x00000004) != 0)) {
5235 output.writeBool(44, usePhaseSaving_);
5237 if (((bitField0_ & 0x00000008) != 0)) {
5238 output.writeDouble(45, randomPolarityRatio_);
5240 if (((bitField0_ & 0x00010000) != 0)) {
5241 output.writeInt32(46, pbCleanupIncrement_);
5243 if (((bitField0_ & 0x00020000) != 0)) {
5244 output.writeDouble(47, pbCleanupRatio_);
5246 if (((bitField1_ & 0x00002000) != 0)) {
5247 output.writeBool(48, minimizeReductionDuringPbResolution_);
5249 if (((bitField1_ & 0x00004000) != 0)) {
5250 output.writeBool(49, countAssumptionLevelsInLbd_);
5252 if (((bitField1_ & 0x00400000) != 0)) {
5253 output.writeBool(50, minimizeCore_);
5255 if (((bitField1_ & 0x02000000) != 0)) {
5256 output.writeEnum(51, maxSatAssumptionOrder_);
5258 if (((bitField1_ & 0x04000000) != 0)) {
5259 output.writeBool(52, maxSatReverseAssumptionOrder_);
5261 if (((bitField1_ & 0x08000000) != 0)) {
5262 output.writeEnum(53, maxSatStratification_);
5264 if (((bitField1_ & 0x00008000) != 0)) {
5265 output.writeInt32(54, presolveBveThreshold_);
5267 if (((bitField1_ & 0x00010000) != 0)) {
5268 output.writeInt32(55, presolveBveClauseWeight_);
5270 if (((bitField0_ & 0x00000400) != 0)) {
5271 output.writeBool(56, subsumptionDuringConflictAnalysis_);
5273 if (((bitField1_ & 0x00020000) != 0)) {
5274 output.writeDouble(57, presolveProbingDeterministicTimeLimit_);
5276 if (((bitField0_ & 0x00002000) != 0)) {
5277 output.writeEnum(58, clauseCleanupProtection_);
5279 if (((bitField0_ & 0x00004000) != 0)) {
5280 output.writeInt32(59, clauseCleanupLbdBound_);
5282 if (((bitField0_ & 0x00008000) != 0)) {
5283 output.writeEnum(60, clauseCleanupOrdering_);
5285 for (
int i = 0; i < restartAlgorithms_.size(); i++) {
5286 output.writeEnum(61, restartAlgorithms_.get(i));
5288 if (((bitField0_ & 0x20000000) != 0)) {
5289 output.writeInt32(62, restartRunningWindowSize_);
5291 if (((bitField0_ & 0x40000000) != 0)) {
5292 output.writeDouble(63, restartDlAverageRatio_);
5294 if (((bitField1_ & 0x00000001) != 0)) {
5295 output.writeBool(64, useBlockingRestart_);
5297 if (((bitField1_ & 0x00000002) != 0)) {
5298 output.writeInt32(65, blockingRestartWindowSize_);
5300 if (((bitField1_ & 0x00000004) != 0)) {
5301 output.writeDouble(66, blockingRestartMultiplier_);
5303 if (((bitField1_ & 0x00000040) != 0)) {
5304 output.writeDouble(67, maxDeterministicTime_);
5306 if (((bitField1_ & 0x00000008) != 0)) {
5307 output.writeInt32(68, numConflictsBeforeStrategyChanges_);
5309 if (((bitField1_ & 0x00000010) != 0)) {
5310 output.writeDouble(69, strategyChangeIncreaseRatio_);
5312 if (((bitField0_ & 0x08000000) != 0)) {
5313 com.
google.protobuf.GeneratedMessageV3.writeString(output, 70, defaultRestartAlgorithms_);
5315 if (((bitField0_ & 0x80000000) != 0)) {
5316 output.writeDouble(71, restartLbdAverageRatio_);
5318 if (((bitField1_ & 0x00080000) != 0)) {
5319 output.writeBool(72, presolveUseBva_);
5321 if (((bitField1_ & 0x00100000) != 0)) {
5322 output.writeInt32(73, presolveBvaThreshold_);
5324 if (((bitField1_ & 0x10000000) != 0)) {
5325 output.writeBool(74, usePrecedencesInDisjunctiveConstraint_);
5327 if (((bitField0_ & 0x00000020) != 0)) {
5328 output.writeBool(75, useErwaHeuristic_);
5330 if (((bitField0_ & 0x00000040) != 0)) {
5331 output.writeDouble(76, initialVariablesActivity_);
5333 if (((bitField0_ & 0x00000080) != 0)) {
5334 output.writeBool(77, alsoBumpVariablesInConflictReasons_);
5336 if (((bitField1_ & 0x20000000) != 0)) {
5337 output.writeBool(78, useOverloadCheckerInCumulativeConstraint_);
5339 if (((bitField1_ & 0x40000000) != 0)) {
5340 output.writeBool(79, useTimetableEdgeFindingInCumulativeConstraint_);
5342 if (((bitField1_ & 0x80000000) != 0)) {
5343 output.writeBool(80, useDisjunctiveConstraintInCumulativeConstraint_);
5345 if (((bitField2_ & 0x00002000) != 0)) {
5346 output.writeEnum(82, searchBranching_);
5348 if (((bitField2_ & 0x00080000) != 0)) {
5349 output.writeBool(83, optimizeWithCore_);
5351 if (((bitField1_ & 0x00800000) != 0)) {
5352 output.writeBool(84, findMultipleCores_);
5354 if (((bitField2_ & 0x00200000) != 0)) {
5355 output.writeBool(85, optimizeWithMaxHs_);
5357 if (((bitField2_ & 0x00400000) != 0)) {
5358 output.writeBool(86, cpModelPresolve_);
5360 if (((bitField2_ & 0x02000000) != 0)) {
5361 output.writeBool(87, enumerateAllSolutions_);
5363 if (((bitField1_ & 0x00040000) != 0)) {
5364 output.writeBool(88, presolveBlockedClause_);
5366 if (((bitField1_ & 0x01000000) != 0)) {
5367 output.writeBool(89, coverOptimization_);
5369 if (((bitField2_ & 0x00000001) != 0)) {
5370 output.writeInt32(90, linearizationLevel_);
5372 if (((bitField2_ & 0x00000004) != 0)) {
5373 output.writeInt32(91, maxNumCuts_);
5375 if (((bitField2_ & 0x00000008) != 0)) {
5376 output.writeBool(92, onlyAddCutsAtLevelZero_);
5378 if (((bitField2_ & 0x01000000) != 0)) {
5379 output.writeBool(93, cpModelUseSatPresolve_);
5381 if (((bitField2_ & 0x00004000) != 0)) {
5382 output.writeBool(94, exploitIntegerLpSolution_);
5384 if (((bitField2_ & 0x10000000) != 0)) {
5385 output.writeBool(95, autoDetectGreaterThanAtLeastOneOf_);
5387 if (((bitField0_ & 0x00040000) != 0)) {
5388 output.writeInt32(96, minimizeWithPropagationRestartPeriod_);
5390 if (((bitField0_ & 0x00080000) != 0)) {
5391 output.writeInt32(97, minimizeWithPropagationNumDecisions_);
5393 if (((bitField2_ & 0x20000000) != 0)) {
5394 output.writeBool(98, stopAfterFirstSolution_);
5396 if (((bitField2_ & 0x00100000) != 0)) {
5397 output.writeInt32(99, binarySearchNumConflicts_);
5399 if (((bitField2_ & 0x40000000) != 0)) {
5400 output.writeInt32(100, numSearchWorkers_);
5402 if (((bitField3_ & 0x00000004) != 0)) {
5403 output.writeBool(101, useLnsOnly_);
5405 if (((bitField3_ & 0x00000020) != 0)) {
5406 output.writeBool(103, randomizeSearch_);
5408 if (((bitField3_ & 0x00000040) != 0)) {
5409 output.writeInt64(104, searchRandomizationTolerance_);
5411 if (((bitField3_ & 0x00000008) != 0)) {
5412 output.writeBool(105, lnsFocusOnDecisionVariables_);
5414 if (((bitField2_ & 0x08000000) != 0)) {
5415 output.writeBool(106, instantiateAllVariables_);
5417 if (((bitField2_ & 0x00000002) != 0)) {
5418 output.writeInt32(107, booleanEncodingLevel_);
5420 if (((bitField3_ & 0x00000080) != 0)) {
5421 output.writeBool(108, useOptionalVariables_);
5423 if (((bitField3_ & 0x00000100) != 0)) {
5424 output.writeBool(109, useExactLpReason_);
5426 if (((bitField2_ & 0x00800000) != 0)) {
5427 output.writeInt32(110, cpModelProbingLevel_);
5429 if (((bitField2_ & 0x00000010) != 0)) {
5430 output.writeBool(111, addKnapsackCuts_);
5432 if (((bitField2_ & 0x00000200) != 0)) {
5433 output.writeBool(112, addLpConstraintsLazily_);
5435 if (((bitField3_ & 0x00000001) != 0)) {
5436 output.writeBool(113, shareObjectiveBounds_);
5438 if (((bitField3_ & 0x00000002) != 0)) {
5439 output.writeBool(114, shareLevelZeroBounds_);
5441 if (((bitField2_ & 0x00000400) != 0)) {
5442 output.writeDouble(115, minOrthogonalityForLpConstraints_);
5444 if (((bitField2_ & 0x00008000) != 0)) {
5445 output.writeBool(116, exploitAllLpSolution_);
5447 if (((bitField2_ & 0x00000020) != 0)) {
5448 output.writeBool(117, addCgCuts_);
5450 if (((bitField2_ & 0x00000080) != 0)) {
5451 output.writeBool(118, useMirRounding_);
5453 if (((bitField2_ & 0x00000100) != 0)) {
5454 output.writeInt32(119, maxIntegerRoundingScaling_);
5456 if (((bitField2_ & 0x00000040) != 0)) {
5457 output.writeBool(120, addMirCuts_);
5459 if (((bitField2_ & 0x00000800) != 0)) {
5460 output.writeInt64(121, maxInactiveCount_);
5462 if (((bitField2_ & 0x00001000) != 0)) {
5463 output.writeInt64(122, constraintRemovalBatchSize_);
5465 if (((bitField2_ & 0x00040000) != 0)) {
5466 output.writeInt64(123, pseudoCostReliabilityThreshold_);
5468 if (((bitField3_ & 0x00000400) != 0)) {
5469 output.writeDouble(124, mipMaxBound_);
5471 if (((bitField3_ & 0x00000800) != 0)) {
5472 output.writeDouble(125, mipVarScaling_);
5474 if (((bitField3_ & 0x00001000) != 0)) {
5475 output.writeDouble(126, mipWantedPrecision_);
5477 if (((bitField3_ & 0x00002000) != 0)) {
5478 output.writeInt32(127, mipMaxActivityExponent_);
5480 if (((bitField3_ & 0x00004000) != 0)) {
5481 output.writeDouble(128, mipCheckPrecision_);
5483 if (((bitField3_ & 0x00000010) != 0)) {
5484 output.writeBool(129, useRinsLns_);
5486 if (((bitField2_ & 0x00010000) != 0)) {
5487 output.writeBool(130, exploitBestSolution_);
5489 if (((bitField2_ & 0x00020000) != 0)) {
5490 output.writeBool(131, exploitObjective_);
5492 if (((bitField2_ & 0x04000000) != 0)) {
5493 output.writeBool(132, fillTightenedDomainsInResponse_);
5495 if (((bitField3_ & 0x00000200) != 0)) {
5496 output.writeBool(133, useCombinedNoOverlap_);
5498 if (((bitField2_ & 0x80000000) != 0)) {
5499 output.writeBool(134, deterministicParallelSearch_);
5501 if (((bitField3_ & 0x00008000) != 0)) {
5502 output.writeBool(135, catchSigintSignal_);
5504 unknownFields.writeTo(output);
5509 int size = memoizedSize;
5510 if (size != -1)
return size;
5513 if (((bitField0_ & 0x00000001) != 0)) {
5514 size +=
com.
google.protobuf.CodedOutputStream
5515 .computeEnumSize(1, preferredVariableOrder_);
5517 if (((bitField0_ & 0x00000002) != 0)) {
5518 size +=
com.
google.protobuf.CodedOutputStream
5519 .computeEnumSize(2, initialPolarity_);
5521 if (((bitField0_ & 0x00000100) != 0)) {
5522 size +=
com.
google.protobuf.CodedOutputStream
5523 .computeEnumSize(4, minimizationAlgorithm_);
5525 if (((bitField0_ & 0x00000800) != 0)) {
5526 size +=
com.
google.protobuf.CodedOutputStream
5527 .computeInt32Size(11, clauseCleanupPeriod_);
5529 if (((bitField0_ & 0x00001000) != 0)) {
5530 size +=
com.
google.protobuf.CodedOutputStream
5531 .computeInt32Size(13, clauseCleanupTarget_);
5533 if (((bitField0_ & 0x00100000) != 0)) {
5534 size +=
com.
google.protobuf.CodedOutputStream
5535 .computeDoubleSize(15, variableActivityDecay_);
5537 if (((bitField0_ & 0x00200000) != 0)) {
5538 size +=
com.
google.protobuf.CodedOutputStream
5539 .computeDoubleSize(16, maxVariableActivityValue_);
5541 if (((bitField0_ & 0x02000000) != 0)) {
5542 size +=
com.
google.protobuf.CodedOutputStream
5543 .computeDoubleSize(17, clauseActivityDecay_);
5545 if (((bitField0_ & 0x04000000) != 0)) {
5546 size +=
com.
google.protobuf.CodedOutputStream
5547 .computeDoubleSize(18, maxClauseActivityValue_);
5549 if (((bitField0_ & 0x00400000) != 0)) {
5550 size +=
com.
google.protobuf.CodedOutputStream
5551 .computeDoubleSize(22, glucoseMaxDecay_);
5553 if (((bitField0_ & 0x00800000) != 0)) {
5554 size +=
com.
google.protobuf.CodedOutputStream
5555 .computeDoubleSize(23, glucoseDecayIncrement_);
5557 if (((bitField0_ & 0x01000000) != 0)) {
5558 size +=
com.
google.protobuf.CodedOutputStream
5559 .computeInt32Size(24, glucoseDecayIncrementPeriod_);
5561 if (((bitField0_ & 0x10000000) != 0)) {
5562 size +=
com.
google.protobuf.CodedOutputStream
5563 .computeInt32Size(30, restartPeriod_);
5565 if (((bitField1_ & 0x00000400) != 0)) {
5566 size +=
com.
google.protobuf.CodedOutputStream
5567 .computeInt32Size(31, randomSeed_);
5569 if (((bitField0_ & 0x00000010) != 0)) {
5570 size +=
com.
google.protobuf.CodedOutputStream
5571 .computeDoubleSize(32, randomBranchesRatio_);
5573 if (((bitField1_ & 0x00000200) != 0)) {
5574 size +=
com.
google.protobuf.CodedOutputStream
5575 .computeBoolSize(33, treatBinaryClausesSeparately_);
5577 if (((bitField0_ & 0x00000200) != 0)) {
5578 size +=
com.
google.protobuf.CodedOutputStream
5579 .computeEnumSize(34, binaryMinimizationAlgorithm_);
5581 if (((bitField1_ & 0x00200000) != 0)) {
5582 size +=
com.
google.protobuf.CodedOutputStream
5583 .computeBoolSize(35, useOptimizationHints_);
5585 if (((bitField1_ & 0x00000020) != 0)) {
5586 size +=
com.
google.protobuf.CodedOutputStream
5587 .computeDoubleSize(36, maxTimeInSeconds_);
5589 if (((bitField1_ & 0x00000080) != 0)) {
5590 size +=
com.
google.protobuf.CodedOutputStream
5591 .computeInt64Size(37, maxNumberOfConflicts_);
5593 if (((bitField1_ & 0x00000100) != 0)) {
5594 size +=
com.
google.protobuf.CodedOutputStream
5595 .computeInt64Size(40, maxMemoryInMb_);
5597 if (((bitField1_ & 0x00000800) != 0)) {
5598 size +=
com.
google.protobuf.CodedOutputStream
5599 .computeBoolSize(41, logSearchProgress_);
5601 if (((bitField1_ & 0x00001000) != 0)) {
5602 size +=
com.
google.protobuf.CodedOutputStream
5603 .computeBoolSize(43, usePbResolution_);
5605 if (((bitField0_ & 0x00000004) != 0)) {
5606 size +=
com.
google.protobuf.CodedOutputStream
5607 .computeBoolSize(44, usePhaseSaving_);
5609 if (((bitField0_ & 0x00000008) != 0)) {
5610 size +=
com.
google.protobuf.CodedOutputStream
5611 .computeDoubleSize(45, randomPolarityRatio_);
5613 if (((bitField0_ & 0x00010000) != 0)) {
5614 size +=
com.
google.protobuf.CodedOutputStream
5615 .computeInt32Size(46, pbCleanupIncrement_);
5617 if (((bitField0_ & 0x00020000) != 0)) {
5618 size +=
com.
google.protobuf.CodedOutputStream
5619 .computeDoubleSize(47, pbCleanupRatio_);
5621 if (((bitField1_ & 0x00002000) != 0)) {
5622 size +=
com.
google.protobuf.CodedOutputStream
5623 .computeBoolSize(48, minimizeReductionDuringPbResolution_);
5625 if (((bitField1_ & 0x00004000) != 0)) {
5626 size +=
com.
google.protobuf.CodedOutputStream
5627 .computeBoolSize(49, countAssumptionLevelsInLbd_);
5629 if (((bitField1_ & 0x00400000) != 0)) {
5630 size +=
com.
google.protobuf.CodedOutputStream
5631 .computeBoolSize(50, minimizeCore_);
5633 if (((bitField1_ & 0x02000000) != 0)) {
5634 size +=
com.
google.protobuf.CodedOutputStream
5635 .computeEnumSize(51, maxSatAssumptionOrder_);
5637 if (((bitField1_ & 0x04000000) != 0)) {
5638 size +=
com.
google.protobuf.CodedOutputStream
5639 .computeBoolSize(52, maxSatReverseAssumptionOrder_);
5641 if (((bitField1_ & 0x08000000) != 0)) {
5642 size +=
com.
google.protobuf.CodedOutputStream
5643 .computeEnumSize(53, maxSatStratification_);
5645 if (((bitField1_ & 0x00008000) != 0)) {
5646 size +=
com.
google.protobuf.CodedOutputStream
5647 .computeInt32Size(54, presolveBveThreshold_);
5649 if (((bitField1_ & 0x00010000) != 0)) {
5650 size +=
com.
google.protobuf.CodedOutputStream
5651 .computeInt32Size(55, presolveBveClauseWeight_);
5653 if (((bitField0_ & 0x00000400) != 0)) {
5654 size +=
com.
google.protobuf.CodedOutputStream
5655 .computeBoolSize(56, subsumptionDuringConflictAnalysis_);
5657 if (((bitField1_ & 0x00020000) != 0)) {
5658 size +=
com.
google.protobuf.CodedOutputStream
5659 .computeDoubleSize(57, presolveProbingDeterministicTimeLimit_);
5661 if (((bitField0_ & 0x00002000) != 0)) {
5662 size +=
com.
google.protobuf.CodedOutputStream
5663 .computeEnumSize(58, clauseCleanupProtection_);
5665 if (((bitField0_ & 0x00004000) != 0)) {
5666 size +=
com.
google.protobuf.CodedOutputStream
5667 .computeInt32Size(59, clauseCleanupLbdBound_);
5669 if (((bitField0_ & 0x00008000) != 0)) {
5670 size +=
com.
google.protobuf.CodedOutputStream
5671 .computeEnumSize(60, clauseCleanupOrdering_);
5675 for (
int i = 0; i < restartAlgorithms_.size(); i++) {
5676 dataSize +=
com.
google.protobuf.CodedOutputStream
5677 .computeEnumSizeNoTag(restartAlgorithms_.get(i));
5680 size += 2 * restartAlgorithms_.size();
5682 if (((bitField0_ & 0x20000000) != 0)) {
5683 size +=
com.
google.protobuf.CodedOutputStream
5684 .computeInt32Size(62, restartRunningWindowSize_);
5686 if (((bitField0_ & 0x40000000) != 0)) {
5687 size +=
com.
google.protobuf.CodedOutputStream
5688 .computeDoubleSize(63, restartDlAverageRatio_);
5690 if (((bitField1_ & 0x00000001) != 0)) {
5691 size +=
com.
google.protobuf.CodedOutputStream
5692 .computeBoolSize(64, useBlockingRestart_);
5694 if (((bitField1_ & 0x00000002) != 0)) {
5695 size +=
com.
google.protobuf.CodedOutputStream
5696 .computeInt32Size(65, blockingRestartWindowSize_);
5698 if (((bitField1_ & 0x00000004) != 0)) {
5699 size +=
com.
google.protobuf.CodedOutputStream
5700 .computeDoubleSize(66, blockingRestartMultiplier_);
5702 if (((bitField1_ & 0x00000040) != 0)) {
5703 size +=
com.
google.protobuf.CodedOutputStream
5704 .computeDoubleSize(67, maxDeterministicTime_);
5706 if (((bitField1_ & 0x00000008) != 0)) {
5707 size +=
com.
google.protobuf.CodedOutputStream
5708 .computeInt32Size(68, numConflictsBeforeStrategyChanges_);
5710 if (((bitField1_ & 0x00000010) != 0)) {
5711 size +=
com.
google.protobuf.CodedOutputStream
5712 .computeDoubleSize(69, strategyChangeIncreaseRatio_);
5714 if (((bitField0_ & 0x08000000) != 0)) {
5715 size +=
com.
google.protobuf.GeneratedMessageV3.computeStringSize(70, defaultRestartAlgorithms_);
5717 if (((bitField0_ & 0x80000000) != 0)) {
5718 size +=
com.
google.protobuf.CodedOutputStream
5719 .computeDoubleSize(71, restartLbdAverageRatio_);
5721 if (((bitField1_ & 0x00080000) != 0)) {
5722 size +=
com.
google.protobuf.CodedOutputStream
5723 .computeBoolSize(72, presolveUseBva_);
5725 if (((bitField1_ & 0x00100000) != 0)) {
5726 size +=
com.
google.protobuf.CodedOutputStream
5727 .computeInt32Size(73, presolveBvaThreshold_);
5729 if (((bitField1_ & 0x10000000) != 0)) {
5730 size +=
com.
google.protobuf.CodedOutputStream
5731 .computeBoolSize(74, usePrecedencesInDisjunctiveConstraint_);
5733 if (((bitField0_ & 0x00000020) != 0)) {
5734 size +=
com.
google.protobuf.CodedOutputStream
5735 .computeBoolSize(75, useErwaHeuristic_);
5737 if (((bitField0_ & 0x00000040) != 0)) {
5738 size +=
com.
google.protobuf.CodedOutputStream
5739 .computeDoubleSize(76, initialVariablesActivity_);
5741 if (((bitField0_ & 0x00000080) != 0)) {
5742 size +=
com.
google.protobuf.CodedOutputStream
5743 .computeBoolSize(77, alsoBumpVariablesInConflictReasons_);
5745 if (((bitField1_ & 0x20000000) != 0)) {
5746 size +=
com.
google.protobuf.CodedOutputStream
5747 .computeBoolSize(78, useOverloadCheckerInCumulativeConstraint_);
5749 if (((bitField1_ & 0x40000000) != 0)) {
5750 size +=
com.
google.protobuf.CodedOutputStream
5751 .computeBoolSize(79, useTimetableEdgeFindingInCumulativeConstraint_);
5753 if (((bitField1_ & 0x80000000) != 0)) {
5754 size +=
com.
google.protobuf.CodedOutputStream
5755 .computeBoolSize(80, useDisjunctiveConstraintInCumulativeConstraint_);
5757 if (((bitField2_ & 0x00002000) != 0)) {
5758 size +=
com.
google.protobuf.CodedOutputStream
5759 .computeEnumSize(82, searchBranching_);
5761 if (((bitField2_ & 0x00080000) != 0)) {
5762 size +=
com.
google.protobuf.CodedOutputStream
5763 .computeBoolSize(83, optimizeWithCore_);
5765 if (((bitField1_ & 0x00800000) != 0)) {
5766 size +=
com.
google.protobuf.CodedOutputStream
5767 .computeBoolSize(84, findMultipleCores_);
5769 if (((bitField2_ & 0x00200000) != 0)) {
5770 size +=
com.
google.protobuf.CodedOutputStream
5771 .computeBoolSize(85, optimizeWithMaxHs_);
5773 if (((bitField2_ & 0x00400000) != 0)) {
5774 size +=
com.
google.protobuf.CodedOutputStream
5775 .computeBoolSize(86, cpModelPresolve_);
5777 if (((bitField2_ & 0x02000000) != 0)) {
5778 size +=
com.
google.protobuf.CodedOutputStream
5779 .computeBoolSize(87, enumerateAllSolutions_);
5781 if (((bitField1_ & 0x00040000) != 0)) {
5782 size +=
com.
google.protobuf.CodedOutputStream
5783 .computeBoolSize(88, presolveBlockedClause_);
5785 if (((bitField1_ & 0x01000000) != 0)) {
5786 size +=
com.
google.protobuf.CodedOutputStream
5787 .computeBoolSize(89, coverOptimization_);
5789 if (((bitField2_ & 0x00000001) != 0)) {
5790 size +=
com.
google.protobuf.CodedOutputStream
5791 .computeInt32Size(90, linearizationLevel_);
5793 if (((bitField2_ & 0x00000004) != 0)) {
5794 size +=
com.
google.protobuf.CodedOutputStream
5795 .computeInt32Size(91, maxNumCuts_);
5797 if (((bitField2_ & 0x00000008) != 0)) {
5798 size +=
com.
google.protobuf.CodedOutputStream
5799 .computeBoolSize(92, onlyAddCutsAtLevelZero_);
5801 if (((bitField2_ & 0x01000000) != 0)) {
5802 size +=
com.
google.protobuf.CodedOutputStream
5803 .computeBoolSize(93, cpModelUseSatPresolve_);
5805 if (((bitField2_ & 0x00004000) != 0)) {
5806 size +=
com.
google.protobuf.CodedOutputStream
5807 .computeBoolSize(94, exploitIntegerLpSolution_);
5809 if (((bitField2_ & 0x10000000) != 0)) {
5810 size +=
com.
google.protobuf.CodedOutputStream
5811 .computeBoolSize(95, autoDetectGreaterThanAtLeastOneOf_);
5813 if (((bitField0_ & 0x00040000) != 0)) {
5814 size +=
com.
google.protobuf.CodedOutputStream
5815 .computeInt32Size(96, minimizeWithPropagationRestartPeriod_);
5817 if (((bitField0_ & 0x00080000) != 0)) {
5818 size +=
com.
google.protobuf.CodedOutputStream
5819 .computeInt32Size(97, minimizeWithPropagationNumDecisions_);
5821 if (((bitField2_ & 0x20000000) != 0)) {
5822 size +=
com.
google.protobuf.CodedOutputStream
5823 .computeBoolSize(98, stopAfterFirstSolution_);
5825 if (((bitField2_ & 0x00100000) != 0)) {
5826 size +=
com.
google.protobuf.CodedOutputStream
5827 .computeInt32Size(99, binarySearchNumConflicts_);
5829 if (((bitField2_ & 0x40000000) != 0)) {
5830 size +=
com.
google.protobuf.CodedOutputStream
5831 .computeInt32Size(100, numSearchWorkers_);
5833 if (((bitField3_ & 0x00000004) != 0)) {
5834 size +=
com.
google.protobuf.CodedOutputStream
5835 .computeBoolSize(101, useLnsOnly_);
5837 if (((bitField3_ & 0x00000020) != 0)) {
5838 size +=
com.
google.protobuf.CodedOutputStream
5839 .computeBoolSize(103, randomizeSearch_);
5841 if (((bitField3_ & 0x00000040) != 0)) {
5842 size +=
com.
google.protobuf.CodedOutputStream
5843 .computeInt64Size(104, searchRandomizationTolerance_);
5845 if (((bitField3_ & 0x00000008) != 0)) {
5846 size +=
com.
google.protobuf.CodedOutputStream
5847 .computeBoolSize(105, lnsFocusOnDecisionVariables_);
5849 if (((bitField2_ & 0x08000000) != 0)) {
5850 size +=
com.
google.protobuf.CodedOutputStream
5851 .computeBoolSize(106, instantiateAllVariables_);
5853 if (((bitField2_ & 0x00000002) != 0)) {
5854 size +=
com.
google.protobuf.CodedOutputStream
5855 .computeInt32Size(107, booleanEncodingLevel_);
5857 if (((bitField3_ & 0x00000080) != 0)) {
5858 size +=
com.
google.protobuf.CodedOutputStream
5859 .computeBoolSize(108, useOptionalVariables_);
5861 if (((bitField3_ & 0x00000100) != 0)) {
5862 size +=
com.
google.protobuf.CodedOutputStream
5863 .computeBoolSize(109, useExactLpReason_);
5865 if (((bitField2_ & 0x00800000) != 0)) {
5866 size +=
com.
google.protobuf.CodedOutputStream
5867 .computeInt32Size(110, cpModelProbingLevel_);
5869 if (((bitField2_ & 0x00000010) != 0)) {
5870 size +=
com.
google.protobuf.CodedOutputStream
5871 .computeBoolSize(111, addKnapsackCuts_);
5873 if (((bitField2_ & 0x00000200) != 0)) {
5874 size +=
com.
google.protobuf.CodedOutputStream
5875 .computeBoolSize(112, addLpConstraintsLazily_);
5877 if (((bitField3_ & 0x00000001) != 0)) {
5878 size +=
com.
google.protobuf.CodedOutputStream
5879 .computeBoolSize(113, shareObjectiveBounds_);
5881 if (((bitField3_ & 0x00000002) != 0)) {
5882 size +=
com.
google.protobuf.CodedOutputStream
5883 .computeBoolSize(114, shareLevelZeroBounds_);
5885 if (((bitField2_ & 0x00000400) != 0)) {
5886 size +=
com.
google.protobuf.CodedOutputStream
5887 .computeDoubleSize(115, minOrthogonalityForLpConstraints_);
5889 if (((bitField2_ & 0x00008000) != 0)) {
5890 size +=
com.
google.protobuf.CodedOutputStream
5891 .computeBoolSize(116, exploitAllLpSolution_);
5893 if (((bitField2_ & 0x00000020) != 0)) {
5894 size +=
com.
google.protobuf.CodedOutputStream
5895 .computeBoolSize(117, addCgCuts_);
5897 if (((bitField2_ & 0x00000080) != 0)) {
5898 size +=
com.
google.protobuf.CodedOutputStream
5899 .computeBoolSize(118, useMirRounding_);
5901 if (((bitField2_ & 0x00000100) != 0)) {
5902 size +=
com.
google.protobuf.CodedOutputStream
5903 .computeInt32Size(119, maxIntegerRoundingScaling_);
5905 if (((bitField2_ & 0x00000040) != 0)) {
5906 size +=
com.
google.protobuf.CodedOutputStream
5907 .computeBoolSize(120, addMirCuts_);
5909 if (((bitField2_ & 0x00000800) != 0)) {
5910 size +=
com.
google.protobuf.CodedOutputStream
5911 .computeInt64Size(121, maxInactiveCount_);
5913 if (((bitField2_ & 0x00001000) != 0)) {
5914 size +=
com.
google.protobuf.CodedOutputStream
5915 .computeInt64Size(122, constraintRemovalBatchSize_);
5917 if (((bitField2_ & 0x00040000) != 0)) {
5918 size +=
com.
google.protobuf.CodedOutputStream
5919 .computeInt64Size(123, pseudoCostReliabilityThreshold_);
5921 if (((bitField3_ & 0x00000400) != 0)) {
5922 size +=
com.
google.protobuf.CodedOutputStream
5923 .computeDoubleSize(124, mipMaxBound_);
5925 if (((bitField3_ & 0x00000800) != 0)) {
5926 size +=
com.
google.protobuf.CodedOutputStream
5927 .computeDoubleSize(125, mipVarScaling_);
5929 if (((bitField3_ & 0x00001000) != 0)) {
5930 size +=
com.
google.protobuf.CodedOutputStream
5931 .computeDoubleSize(126, mipWantedPrecision_);
5933 if (((bitField3_ & 0x00002000) != 0)) {
5934 size +=
com.
google.protobuf.CodedOutputStream
5935 .computeInt32Size(127, mipMaxActivityExponent_);
5937 if (((bitField3_ & 0x00004000) != 0)) {
5938 size +=
com.
google.protobuf.CodedOutputStream
5939 .computeDoubleSize(128, mipCheckPrecision_);
5941 if (((bitField3_ & 0x00000010) != 0)) {
5942 size +=
com.
google.protobuf.CodedOutputStream
5943 .computeBoolSize(129, useRinsLns_);
5945 if (((bitField2_ & 0x00010000) != 0)) {
5946 size +=
com.
google.protobuf.CodedOutputStream
5947 .computeBoolSize(130, exploitBestSolution_);
5949 if (((bitField2_ & 0x00020000) != 0)) {
5950 size +=
com.
google.protobuf.CodedOutputStream
5951 .computeBoolSize(131, exploitObjective_);
5953 if (((bitField2_ & 0x04000000) != 0)) {
5954 size +=
com.
google.protobuf.CodedOutputStream
5955 .computeBoolSize(132, fillTightenedDomainsInResponse_);
5957 if (((bitField3_ & 0x00000200) != 0)) {
5958 size +=
com.
google.protobuf.CodedOutputStream
5959 .computeBoolSize(133, useCombinedNoOverlap_);
5961 if (((bitField2_ & 0x80000000) != 0)) {
5962 size +=
com.
google.protobuf.CodedOutputStream
5963 .computeBoolSize(134, deterministicParallelSearch_);
5965 if (((bitField3_ & 0x00008000) != 0)) {
5966 size +=
com.
google.protobuf.CodedOutputStream
5967 .computeBoolSize(135, catchSigintSignal_);
5969 size += unknownFields.getSerializedSize();
5970 memoizedSize = size;
5975 public boolean equals(
final java.lang.Object obj) {
5980 return super.equals(obj);
5986 if (preferredVariableOrder_ != other.preferredVariableOrder_)
return false;
5990 if (initialPolarity_ != other.initialPolarity_)
return false;
5995 != other.getUsePhaseSaving())
return false;
6000 != java.lang.Double.doubleToLongBits(
6001 other.getRandomPolarityRatio()))
return false;
6006 != java.lang.Double.doubleToLongBits(
6007 other.getRandomBranchesRatio()))
return false;
6012 != other.getUseErwaHeuristic())
return false;
6017 != java.lang.Double.doubleToLongBits(
6018 other.getInitialVariablesActivity()))
return false;
6023 != other.getAlsoBumpVariablesInConflictReasons())
return false;
6027 if (minimizationAlgorithm_ != other.minimizationAlgorithm_)
return false;
6031 if (binaryMinimizationAlgorithm_ != other.binaryMinimizationAlgorithm_)
return false;
6036 != other.getSubsumptionDuringConflictAnalysis())
return false;
6041 != other.getClauseCleanupPeriod())
return false;
6046 != other.getClauseCleanupTarget())
return false;
6050 if (clauseCleanupProtection_ != other.clauseCleanupProtection_)
return false;
6055 != other.getClauseCleanupLbdBound())
return false;
6059 if (clauseCleanupOrdering_ != other.clauseCleanupOrdering_)
return false;
6064 != other.getPbCleanupIncrement())
return false;
6069 != java.lang.Double.doubleToLongBits(
6070 other.getPbCleanupRatio()))
return false;
6075 != other.getMinimizeWithPropagationRestartPeriod())
return false;
6080 != other.getMinimizeWithPropagationNumDecisions())
return false;
6085 != java.lang.Double.doubleToLongBits(
6086 other.getVariableActivityDecay()))
return false;
6091 != java.lang.Double.doubleToLongBits(
6092 other.getMaxVariableActivityValue()))
return false;
6097 != java.lang.Double.doubleToLongBits(
6098 other.getGlucoseMaxDecay()))
return false;
6103 != java.lang.Double.doubleToLongBits(
6104 other.getGlucoseDecayIncrement()))
return false;
6109 != other.getGlucoseDecayIncrementPeriod())
return false;
6114 != java.lang.Double.doubleToLongBits(
6115 other.getClauseActivityDecay()))
return false;
6120 != java.lang.Double.doubleToLongBits(
6121 other.getMaxClauseActivityValue()))
return false;
6123 if (!restartAlgorithms_.equals(other.restartAlgorithms_))
return false;
6127 .equals(other.getDefaultRestartAlgorithms()))
return false;
6132 != other.getRestartPeriod())
return false;
6137 != other.getRestartRunningWindowSize())
return false;
6142 != java.lang.Double.doubleToLongBits(
6143 other.getRestartDlAverageRatio()))
return false;
6148 != java.lang.Double.doubleToLongBits(
6149 other.getRestartLbdAverageRatio()))
return false;
6154 != other.getUseBlockingRestart())
return false;
6159 != other.getBlockingRestartWindowSize())
return false;
6164 != java.lang.Double.doubleToLongBits(
6165 other.getBlockingRestartMultiplier()))
return false;
6170 != other.getNumConflictsBeforeStrategyChanges())
return false;
6175 != java.lang.Double.doubleToLongBits(
6176 other.getStrategyChangeIncreaseRatio()))
return false;
6181 != java.lang.Double.doubleToLongBits(
6182 other.getMaxTimeInSeconds()))
return false;
6187 != java.lang.Double.doubleToLongBits(
6188 other.getMaxDeterministicTime()))
return false;
6193 != other.getMaxNumberOfConflicts())
return false;
6198 != other.getMaxMemoryInMb())
return false;
6203 != other.getTreatBinaryClausesSeparately())
return false;
6208 != other.getRandomSeed())
return false;
6213 != other.getLogSearchProgress())
return false;
6218 != other.getUsePbResolution())
return false;
6223 != other.getMinimizeReductionDuringPbResolution())
return false;
6228 != other.getCountAssumptionLevelsInLbd())
return false;
6233 != other.getPresolveBveThreshold())
return false;
6238 != other.getPresolveBveClauseWeight())
return false;
6243 != java.lang.Double.doubleToLongBits(
6244 other.getPresolveProbingDeterministicTimeLimit()))
return false;
6249 != other.getPresolveBlockedClause())
return false;
6254 != other.getPresolveUseBva())
return false;
6259 != other.getPresolveBvaThreshold())
return false;
6264 != other.getUseOptimizationHints())
return false;
6269 != other.getMinimizeCore())
return false;
6274 != other.getFindMultipleCores())
return false;
6279 != other.getCoverOptimization())
return false;
6283 if (maxSatAssumptionOrder_ != other.maxSatAssumptionOrder_)
return false;
6288 != other.getMaxSatReverseAssumptionOrder())
return false;
6292 if (maxSatStratification_ != other.maxSatStratification_)
return false;
6297 != other.getUsePrecedencesInDisjunctiveConstraint())
return false;
6302 != other.getUseOverloadCheckerInCumulativeConstraint())
return false;
6307 != other.getUseTimetableEdgeFindingInCumulativeConstraint())
return false;
6312 != other.getUseDisjunctiveConstraintInCumulativeConstraint())
return false;
6317 != other.getLinearizationLevel())
return false;
6322 != other.getBooleanEncodingLevel())
return false;
6327 != other.getMaxNumCuts())
return false;
6332 != other.getOnlyAddCutsAtLevelZero())
return false;
6337 != other.getAddKnapsackCuts())
return false;
6339 if (
hasAddCgCuts() != other.hasAddCgCuts())
return false;
6342 != other.getAddCgCuts())
return false;
6347 != other.getAddMirCuts())
return false;
6352 != other.getUseMirRounding())
return false;
6357 != other.getMaxIntegerRoundingScaling())
return false;
6362 != other.getAddLpConstraintsLazily())
return false;
6367 != java.lang.Double.doubleToLongBits(
6368 other.getMinOrthogonalityForLpConstraints()))
return false;
6373 != other.getMaxInactiveCount())
return false;
6378 != other.getConstraintRemovalBatchSize())
return false;
6382 if (searchBranching_ != other.searchBranching_)
return false;
6387 != other.getExploitIntegerLpSolution())
return false;
6392 != other.getExploitAllLpSolution())
return false;
6397 != other.getExploitBestSolution())
return false;
6402 != other.getExploitObjective())
return false;
6407 != other.getPseudoCostReliabilityThreshold())
return false;
6412 != other.getOptimizeWithCore())
return false;
6417 != other.getBinarySearchNumConflicts())
return false;
6422 != other.getOptimizeWithMaxHs())
return false;
6427 != other.getCpModelPresolve())
return false;
6432 != other.getCpModelProbingLevel())
return false;
6437 != other.getCpModelUseSatPresolve())
return false;
6442 != other.getEnumerateAllSolutions())
return false;
6447 != other.getFillTightenedDomainsInResponse())
return false;
6452 != other.getInstantiateAllVariables())
return false;
6457 != other.getAutoDetectGreaterThanAtLeastOneOf())
return false;
6462 != other.getStopAfterFirstSolution())
return false;
6467 != other.getNumSearchWorkers())
return false;
6472 != other.getDeterministicParallelSearch())
return false;
6477 != other.getShareObjectiveBounds())
return false;
6482 != other.getShareLevelZeroBounds())
return false;
6487 != other.getUseLnsOnly())
return false;
6492 != other.getLnsFocusOnDecisionVariables())
return false;
6497 != other.getUseRinsLns())
return false;
6502 != other.getRandomizeSearch())
return false;
6507 != other.getSearchRandomizationTolerance())
return false;
6512 != other.getUseOptionalVariables())
return false;
6517 != other.getUseExactLpReason())
return false;
6522 != other.getUseCombinedNoOverlap())
return false;
6527 != java.lang.Double.doubleToLongBits(
6528 other.getMipMaxBound()))
return false;
6533 != java.lang.Double.doubleToLongBits(
6534 other.getMipVarScaling()))
return false;
6539 != java.lang.Double.doubleToLongBits(
6540 other.getMipWantedPrecision()))
return false;
6545 != other.getMipMaxActivityExponent())
return false;
6550 != java.lang.Double.doubleToLongBits(
6551 other.getMipCheckPrecision()))
return false;
6556 != other.getCatchSigintSignal())
return false;
6558 if (!unknownFields.equals(other.unknownFields))
return false;
6564 if (memoizedHashCode != 0) {
6565 return memoizedHashCode;
6571 hash = (53 * hash) + preferredVariableOrder_;
6575 hash = (53 * hash) + initialPolarity_;
6579 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6584 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6589 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6594 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6599 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6604 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6609 hash = (53 * hash) + minimizationAlgorithm_;
6613 hash = (53 * hash) + binaryMinimizationAlgorithm_;
6617 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6630 hash = (53 * hash) + clauseCleanupProtection_;
6638 hash = (53 * hash) + clauseCleanupOrdering_;
6646 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6659 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6664 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6669 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6674 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6683 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6688 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6693 hash = (53 * hash) + restartAlgorithms_.hashCode();
6709 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6714 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6719 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6728 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6737 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6742 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6747 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6752 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6757 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6762 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6771 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6776 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6781 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6786 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6799 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6804 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
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(
6838 hash = (53 * hash) + maxSatAssumptionOrder_;
6842 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6847 hash = (53 * hash) + maxSatStratification_;
6851 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6856 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6861 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6866 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6883 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6888 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6893 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6898 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6903 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6912 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6917 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6922 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6927 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6932 hash = (53 * hash) + searchBranching_;
6936 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6941 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6946 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6951 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6956 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
6961 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6970 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6975 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6984 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6989 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6994 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
6999 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
7004 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
7009 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
7018 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
7023 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
7028 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
7033 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
7038 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
7043 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
7048 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
7053 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
7058 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
7063 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
7068 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
7073 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
7078 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
7083 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
7092 hash = (53 * hash) +
com.
google.protobuf.Internal.hashLong(
7097 hash = (53 * hash) +
com.
google.protobuf.Internal.hashBoolean(
7100 hash = (29 * hash) + unknownFields.hashCode();
7101 memoizedHashCode = hash;
7106 java.nio.ByteBuffer data)
7107 throws com.
google.protobuf.InvalidProtocolBufferException {
7108 return PARSER.parseFrom(data);
7111 java.nio.ByteBuffer data,
7112 com.
google.protobuf.ExtensionRegistryLite extensionRegistry)
7113 throws com.
google.protobuf.InvalidProtocolBufferException {
7114 return PARSER.parseFrom(data, extensionRegistry);
7118 throws com.
google.protobuf.InvalidProtocolBufferException {
7119 return PARSER.parseFrom(data);
7123 com.
google.protobuf.ExtensionRegistryLite extensionRegistry)
7124 throws com.
google.protobuf.InvalidProtocolBufferException {
7125 return PARSER.parseFrom(data, extensionRegistry);
7128 throws com.
google.protobuf.InvalidProtocolBufferException {
7129 return PARSER.parseFrom(data);
7133 com.
google.protobuf.ExtensionRegistryLite extensionRegistry)
7134 throws com.
google.protobuf.InvalidProtocolBufferException {
7135 return PARSER.parseFrom(data, extensionRegistry);
7138 throws java.io.IOException {
7139 return com.
google.protobuf.GeneratedMessageV3
7140 .parseWithIOException(
PARSER, input);
7143 java.io.InputStream input,
7144 com.
google.protobuf.ExtensionRegistryLite extensionRegistry)
7145 throws java.io.IOException {
7146 return com.
google.protobuf.GeneratedMessageV3
7147 .parseWithIOException(
PARSER, input, extensionRegistry);
7150 throws java.io.IOException {
7151 return com.
google.protobuf.GeneratedMessageV3
7152 .parseDelimitedWithIOException(
PARSER, input);
7155 java.io.InputStream input,
7156 com.
google.protobuf.ExtensionRegistryLite extensionRegistry)
7157 throws java.io.IOException {
7158 return com.
google.protobuf.GeneratedMessageV3
7159 .parseDelimitedWithIOException(
PARSER, input, extensionRegistry);
7162 com.
google.protobuf.CodedInputStream input)
7163 throws java.io.IOException {
7164 return com.
google.protobuf.GeneratedMessageV3
7165 .parseWithIOException(
PARSER, input);
7168 com.
google.protobuf.CodedInputStream input,
7169 com.
google.protobuf.ExtensionRegistryLite extensionRegistry)
7170 throws java.io.IOException {
7171 return com.
google.protobuf.GeneratedMessageV3
7172 .parseWithIOException(
PARSER, input, extensionRegistry);
7185 return this == DEFAULT_INSTANCE
7191 com.
google.protobuf.GeneratedMessageV3.BuilderParent parent) {
7205 com.google.protobuf.GeneratedMessageV3.
Builder<Builder> implements
7208 public static final com.
google.protobuf.Descriptors.Descriptor
7210 return com.
google.
ortools.
sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
7214 protected com.
google.protobuf.GeneratedMessageV3.FieldAccessorTable
7216 return com.
google.
ortools.
sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_fieldAccessorTable
7217 .ensureFieldAccessorsInitialized(
7223 maybeForceBuilderInitialization();
7227 com.
google.protobuf.GeneratedMessageV3.BuilderParent parent) {
7229 maybeForceBuilderInitialization();
7231 private void maybeForceBuilderInitialization() {
7232 if (
com.
google.protobuf.GeneratedMessageV3
7233 .alwaysUseFieldBuilders) {
7239 preferredVariableOrder_ = 0;
7240 bitField0_ = (bitField0_ & ~0x00000001);
7241 initialPolarity_ = 1;
7242 bitField0_ = (bitField0_ & ~0x00000002);
7243 usePhaseSaving_ =
true;
7244 bitField0_ = (bitField0_ & ~0x00000004);
7245 randomPolarityRatio_ = 0D;
7246 bitField0_ = (bitField0_ & ~0x00000008);
7247 randomBranchesRatio_ = 0D;
7248 bitField0_ = (bitField0_ & ~0x00000010);
7249 useErwaHeuristic_ =
false;
7250 bitField0_ = (bitField0_ & ~0x00000020);
7251 initialVariablesActivity_ = 0D;
7252 bitField0_ = (bitField0_ & ~0x00000040);
7253 alsoBumpVariablesInConflictReasons_ =
false;
7254 bitField0_ = (bitField0_ & ~0x00000080);
7255 minimizationAlgorithm_ = 2;
7256 bitField0_ = (bitField0_ & ~0x00000100);
7257 binaryMinimizationAlgorithm_ = 1;
7258 bitField0_ = (bitField0_ & ~0x00000200);
7259 subsumptionDuringConflictAnalysis_ =
true;
7260 bitField0_ = (bitField0_ & ~0x00000400);
7261 clauseCleanupPeriod_ = 10000;
7262 bitField0_ = (bitField0_ & ~0x00000800);
7263 clauseCleanupTarget_ = 10000;
7264 bitField0_ = (bitField0_ & ~0x00001000);
7265 clauseCleanupProtection_ = 0;
7266 bitField0_ = (bitField0_ & ~0x00002000);
7267 clauseCleanupLbdBound_ = 5;
7268 bitField0_ = (bitField0_ & ~0x00004000);
7269 clauseCleanupOrdering_ = 0;
7270 bitField0_ = (bitField0_ & ~0x00008000);
7271 pbCleanupIncrement_ = 200;
7272 bitField0_ = (bitField0_ & ~0x00010000);
7273 pbCleanupRatio_ = 0.5D;
7274 bitField0_ = (bitField0_ & ~0x00020000);
7275 minimizeWithPropagationRestartPeriod_ = 10;
7276 bitField0_ = (bitField0_ & ~0x00040000);
7277 minimizeWithPropagationNumDecisions_ = 1000;
7278 bitField0_ = (bitField0_ & ~0x00080000);
7279 variableActivityDecay_ = 0.8D;
7280 bitField0_ = (bitField0_ & ~0x00100000);
7281 maxVariableActivityValue_ = 1e+100D;
7282 bitField0_ = (bitField0_ & ~0x00200000);
7283 glucoseMaxDecay_ = 0.95D;
7284 bitField0_ = (bitField0_ & ~0x00400000);
7285 glucoseDecayIncrement_ = 0.01D;
7286 bitField0_ = (bitField0_ & ~0x00800000);
7287 glucoseDecayIncrementPeriod_ = 5000;
7288 bitField0_ = (bitField0_ & ~0x01000000);
7289 clauseActivityDecay_ = 0.999D;
7290 bitField0_ = (bitField0_ & ~0x02000000);
7291 maxClauseActivityValue_ = 1e+20D;
7292 bitField0_ = (bitField0_ & ~0x04000000);
7293 restartAlgorithms_ = java.util.Collections.emptyList();
7294 bitField0_ = (bitField0_ & ~0x08000000);
7295 defaultRestartAlgorithms_ =
"LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,DL_MOVING_AVERAGE_RESTART";
7296 bitField0_ = (bitField0_ & ~0x10000000);
7297 restartPeriod_ = 50;
7298 bitField0_ = (bitField0_ & ~0x20000000);
7299 restartRunningWindowSize_ = 50;
7300 bitField0_ = (bitField0_ & ~0x40000000);
7301 restartDlAverageRatio_ = 1D;
7302 bitField0_ = (bitField0_ & ~0x80000000);
7303 restartLbdAverageRatio_ = 1D;
7304 bitField1_ = (bitField1_ & ~0x00000001);
7305 useBlockingRestart_ =
false;
7306 bitField1_ = (bitField1_ & ~0x00000002);
7307 blockingRestartWindowSize_ = 5000;
7308 bitField1_ = (bitField1_ & ~0x00000004);
7309 blockingRestartMultiplier_ = 1.4D;
7310 bitField1_ = (bitField1_ & ~0x00000008);
7311 numConflictsBeforeStrategyChanges_ = 0;
7312 bitField1_ = (bitField1_ & ~0x00000010);
7313 strategyChangeIncreaseRatio_ = 0D;
7314 bitField1_ = (bitField1_ & ~0x00000020);
7315 maxTimeInSeconds_ = Double.POSITIVE_INFINITY;
7316 bitField1_ = (bitField1_ & ~0x00000040);
7317 maxDeterministicTime_ = Double.POSITIVE_INFINITY;
7318 bitField1_ = (bitField1_ & ~0x00000080);
7319 maxNumberOfConflicts_ = 9223372036854775807L;
7320 bitField1_ = (bitField1_ & ~0x00000100);
7321 maxMemoryInMb_ = 10000L;
7322 bitField1_ = (bitField1_ & ~0x00000200);
7323 treatBinaryClausesSeparately_ =
true;
7324 bitField1_ = (bitField1_ & ~0x00000400);
7326 bitField1_ = (bitField1_ & ~0x00000800);
7327 logSearchProgress_ =
false;
7328 bitField1_ = (bitField1_ & ~0x00001000);
7329 usePbResolution_ =
false;
7330 bitField1_ = (bitField1_ & ~0x00002000);
7331 minimizeReductionDuringPbResolution_ =
false;
7332 bitField1_ = (bitField1_ & ~0x00004000);
7333 countAssumptionLevelsInLbd_ =
true;
7334 bitField1_ = (bitField1_ & ~0x00008000);
7335 presolveBveThreshold_ = 500;
7336 bitField1_ = (bitField1_ & ~0x00010000);
7337 presolveBveClauseWeight_ = 3;
7338 bitField1_ = (bitField1_ & ~0x00020000);
7339 presolveProbingDeterministicTimeLimit_ = 30D;
7340 bitField1_ = (bitField1_ & ~0x00040000);
7341 presolveBlockedClause_ =
true;
7342 bitField1_ = (bitField1_ & ~0x00080000);
7343 presolveUseBva_ =
true;
7344 bitField1_ = (bitField1_ & ~0x00100000);
7345 presolveBvaThreshold_ = 1;
7346 bitField1_ = (bitField1_ & ~0x00200000);
7347 useOptimizationHints_ =
true;
7348 bitField1_ = (bitField1_ & ~0x00400000);
7349 minimizeCore_ =
true;
7350 bitField1_ = (bitField1_ & ~0x00800000);
7351 findMultipleCores_ =
true;
7352 bitField1_ = (bitField1_ & ~0x01000000);
7353 coverOptimization_ =
true;
7354 bitField1_ = (bitField1_ & ~0x02000000);
7355 maxSatAssumptionOrder_ = 0;
7356 bitField1_ = (bitField1_ & ~0x04000000);
7357 maxSatReverseAssumptionOrder_ =
false;
7358 bitField1_ = (bitField1_ & ~0x08000000);
7359 maxSatStratification_ = 1;
7360 bitField1_ = (bitField1_ & ~0x10000000);
7361 usePrecedencesInDisjunctiveConstraint_ =
true;
7362 bitField1_ = (bitField1_ & ~0x20000000);
7363 useOverloadCheckerInCumulativeConstraint_ =
false;
7364 bitField1_ = (bitField1_ & ~0x40000000);
7365 useTimetableEdgeFindingInCumulativeConstraint_ =
false;
7366 bitField1_ = (bitField1_ & ~0x80000000);
7367 useDisjunctiveConstraintInCumulativeConstraint_ =
true;
7368 bitField2_ = (bitField2_ & ~0x00000001);
7369 linearizationLevel_ = 1;
7370 bitField2_ = (bitField2_ & ~0x00000002);
7371 booleanEncodingLevel_ = 1;
7372 bitField2_ = (bitField2_ & ~0x00000004);
7374 bitField2_ = (bitField2_ & ~0x00000008);
7375 onlyAddCutsAtLevelZero_ =
false;
7376 bitField2_ = (bitField2_ & ~0x00000010);
7377 addKnapsackCuts_ =
false;
7378 bitField2_ = (bitField2_ & ~0x00000020);
7380 bitField2_ = (bitField2_ & ~0x00000040);
7382 bitField2_ = (bitField2_ & ~0x00000080);
7383 useMirRounding_ =
true;
7384 bitField2_ = (bitField2_ & ~0x00000100);
7385 maxIntegerRoundingScaling_ = 600;
7386 bitField2_ = (bitField2_ & ~0x00000200);
7387 addLpConstraintsLazily_ =
true;
7388 bitField2_ = (bitField2_ & ~0x00000400);
7389 minOrthogonalityForLpConstraints_ = 0D;
7390 bitField2_ = (bitField2_ & ~0x00000800);
7391 maxInactiveCount_ = 1000L;
7392 bitField2_ = (bitField2_ & ~0x00001000);
7393 constraintRemovalBatchSize_ = 100L;
7394 bitField2_ = (bitField2_ & ~0x00002000);
7395 searchBranching_ = 0;
7396 bitField2_ = (bitField2_ & ~0x00004000);
7397 exploitIntegerLpSolution_ =
true;
7398 bitField2_ = (bitField2_ & ~0x00008000);
7399 exploitAllLpSolution_ =
true;
7400 bitField2_ = (bitField2_ & ~0x00010000);
7401 exploitBestSolution_ =
false;
7402 bitField2_ = (bitField2_ & ~0x00020000);
7403 exploitObjective_ =
true;
7404 bitField2_ = (bitField2_ & ~0x00040000);
7405 pseudoCostReliabilityThreshold_ = 100L;
7406 bitField2_ = (bitField2_ & ~0x00080000);
7407 optimizeWithCore_ =
false;
7408 bitField2_ = (bitField2_ & ~0x00100000);
7409 binarySearchNumConflicts_ = -1;
7410 bitField2_ = (bitField2_ & ~0x00200000);
7411 optimizeWithMaxHs_ =
false;
7412 bitField2_ = (bitField2_ & ~0x00400000);
7413 cpModelPresolve_ =
true;
7414 bitField2_ = (bitField2_ & ~0x00800000);
7415 cpModelProbingLevel_ = 2;
7416 bitField2_ = (bitField2_ & ~0x01000000);
7417 cpModelUseSatPresolve_ =
true;
7418 bitField2_ = (bitField2_ & ~0x02000000);
7419 enumerateAllSolutions_ =
false;
7420 bitField2_ = (bitField2_ & ~0x04000000);
7421 fillTightenedDomainsInResponse_ =
false;
7422 bitField2_ = (bitField2_ & ~0x08000000);
7423 instantiateAllVariables_ =
true;
7424 bitField2_ = (bitField2_ & ~0x10000000);
7425 autoDetectGreaterThanAtLeastOneOf_ =
true;
7426 bitField2_ = (bitField2_ & ~0x20000000);
7427 stopAfterFirstSolution_ =
false;
7428 bitField2_ = (bitField2_ & ~0x40000000);
7429 numSearchWorkers_ = 0;
7430 bitField2_ = (bitField2_ & ~0x80000000);
7431 deterministicParallelSearch_ =
false;
7432 bitField3_ = (bitField3_ & ~0x00000001);
7433 shareObjectiveBounds_ =
true;
7434 bitField3_ = (bitField3_ & ~0x00000002);
7435 shareLevelZeroBounds_ =
true;
7436 bitField3_ = (bitField3_ & ~0x00000004);
7437 useLnsOnly_ =
false;
7438 bitField3_ = (bitField3_ & ~0x00000008);
7439 lnsFocusOnDecisionVariables_ =
false;
7440 bitField3_ = (bitField3_ & ~0x00000010);
7441 useRinsLns_ =
false;
7442 bitField3_ = (bitField3_ & ~0x00000020);
7443 randomizeSearch_ =
false;
7444 bitField3_ = (bitField3_ & ~0x00000040);
7445 searchRandomizationTolerance_ = 0L;
7446 bitField3_ = (bitField3_ & ~0x00000080);
7447 useOptionalVariables_ =
true;
7448 bitField3_ = (bitField3_ & ~0x00000100);
7449 useExactLpReason_ =
true;
7450 bitField3_ = (bitField3_ & ~0x00000200);
7451 useCombinedNoOverlap_ =
false;
7452 bitField3_ = (bitField3_ & ~0x00000400);
7453 mipMaxBound_ = 10000000D;
7454 bitField3_ = (bitField3_ & ~0x00000800);
7455 mipVarScaling_ = 1D;
7456 bitField3_ = (bitField3_ & ~0x00001000);
7457 mipWantedPrecision_ = 1e-06D;
7458 bitField3_ = (bitField3_ & ~0x00002000);
7459 mipMaxActivityExponent_ = 53;
7460 bitField3_ = (bitField3_ & ~0x00004000);
7461 mipCheckPrecision_ = 0.0001D;
7462 bitField3_ = (bitField3_ & ~0x00008000);
7463 catchSigintSignal_ =
true;
7464 bitField3_ = (bitField3_ & ~0x00010000);
7469 public com.
google.protobuf.Descriptors.Descriptor
7471 return com.
google.
ortools.
sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
7482 if (!result.isInitialized()) {
7483 throw newUninitializedMessageException(result);
7491 int from_bitField0_ = bitField0_;
7492 int from_bitField1_ = bitField1_;
7493 int from_bitField2_ = bitField2_;
7494 int from_bitField3_ = bitField3_;
7495 int to_bitField0_ = 0;
7496 int to_bitField1_ = 0;
7497 int to_bitField2_ = 0;
7498 int to_bitField3_ = 0;
7499 if (((from_bitField0_ & 0x00000001) != 0)) {
7500 to_bitField0_ |= 0x00000001;
7502 result.preferredVariableOrder_ = preferredVariableOrder_;
7503 if (((from_bitField0_ & 0x00000002) != 0)) {
7504 to_bitField0_ |= 0x00000002;
7506 result.initialPolarity_ = initialPolarity_;
7507 if (((from_bitField0_ & 0x00000004) != 0)) {
7508 to_bitField0_ |= 0x00000004;
7510 result.usePhaseSaving_ = usePhaseSaving_;
7511 if (((from_bitField0_ & 0x00000008) != 0)) {
7512 result.randomPolarityRatio_ = randomPolarityRatio_;
7513 to_bitField0_ |= 0x00000008;
7515 if (((from_bitField0_ & 0x00000010) != 0)) {
7516 result.randomBranchesRatio_ = randomBranchesRatio_;
7517 to_bitField0_ |= 0x00000010;
7519 if (((from_bitField0_ & 0x00000020) != 0)) {
7520 result.useErwaHeuristic_ = useErwaHeuristic_;
7521 to_bitField0_ |= 0x00000020;
7523 if (((from_bitField0_ & 0x00000040) != 0)) {
7524 result.initialVariablesActivity_ = initialVariablesActivity_;
7525 to_bitField0_ |= 0x00000040;
7527 if (((from_bitField0_ & 0x00000080) != 0)) {
7528 result.alsoBumpVariablesInConflictReasons_ = alsoBumpVariablesInConflictReasons_;
7529 to_bitField0_ |= 0x00000080;
7531 if (((from_bitField0_ & 0x00000100) != 0)) {
7532 to_bitField0_ |= 0x00000100;
7534 result.minimizationAlgorithm_ = minimizationAlgorithm_;
7535 if (((from_bitField0_ & 0x00000200) != 0)) {
7536 to_bitField0_ |= 0x00000200;
7538 result.binaryMinimizationAlgorithm_ = binaryMinimizationAlgorithm_;
7539 if (((from_bitField0_ & 0x00000400) != 0)) {
7540 to_bitField0_ |= 0x00000400;
7542 result.subsumptionDuringConflictAnalysis_ = subsumptionDuringConflictAnalysis_;
7543 if (((from_bitField0_ & 0x00000800) != 0)) {
7544 to_bitField0_ |= 0x00000800;
7546 result.clauseCleanupPeriod_ = clauseCleanupPeriod_;
7547 if (((from_bitField0_ & 0x00001000) != 0)) {
7548 to_bitField0_ |= 0x00001000;
7550 result.clauseCleanupTarget_ = clauseCleanupTarget_;
7551 if (((from_bitField0_ & 0x00002000) != 0)) {
7552 to_bitField0_ |= 0x00002000;
7554 result.clauseCleanupProtection_ = clauseCleanupProtection_;
7555 if (((from_bitField0_ & 0x00004000) != 0)) {
7556 to_bitField0_ |= 0x00004000;
7558 result.clauseCleanupLbdBound_ = clauseCleanupLbdBound_;
7559 if (((from_bitField0_ & 0x00008000) != 0)) {
7560 to_bitField0_ |= 0x00008000;
7562 result.clauseCleanupOrdering_ = clauseCleanupOrdering_;
7563 if (((from_bitField0_ & 0x00010000) != 0)) {
7564 to_bitField0_ |= 0x00010000;
7566 result.pbCleanupIncrement_ = pbCleanupIncrement_;
7567 if (((from_bitField0_ & 0x00020000) != 0)) {
7568 to_bitField0_ |= 0x00020000;
7570 result.pbCleanupRatio_ = pbCleanupRatio_;
7571 if (((from_bitField0_ & 0x00040000) != 0)) {
7572 to_bitField0_ |= 0x00040000;
7574 result.minimizeWithPropagationRestartPeriod_ = minimizeWithPropagationRestartPeriod_;
7575 if (((from_bitField0_ & 0x00080000) != 0)) {
7576 to_bitField0_ |= 0x00080000;
7578 result.minimizeWithPropagationNumDecisions_ = minimizeWithPropagationNumDecisions_;
7579 if (((from_bitField0_ & 0x00100000) != 0)) {
7580 to_bitField0_ |= 0x00100000;
7582 result.variableActivityDecay_ = variableActivityDecay_;
7583 if (((from_bitField0_ & 0x00200000) != 0)) {
7584 to_bitField0_ |= 0x00200000;
7586 result.maxVariableActivityValue_ = maxVariableActivityValue_;
7587 if (((from_bitField0_ & 0x00400000) != 0)) {
7588 to_bitField0_ |= 0x00400000;
7590 result.glucoseMaxDecay_ = glucoseMaxDecay_;
7591 if (((from_bitField0_ & 0x00800000) != 0)) {
7592 to_bitField0_ |= 0x00800000;
7594 result.glucoseDecayIncrement_ = glucoseDecayIncrement_;
7595 if (((from_bitField0_ & 0x01000000) != 0)) {
7596 to_bitField0_ |= 0x01000000;
7598 result.glucoseDecayIncrementPeriod_ = glucoseDecayIncrementPeriod_;
7599 if (((from_bitField0_ & 0x02000000) != 0)) {
7600 to_bitField0_ |= 0x02000000;
7602 result.clauseActivityDecay_ = clauseActivityDecay_;
7603 if (((from_bitField0_ & 0x04000000) != 0)) {
7604 to_bitField0_ |= 0x04000000;
7606 result.maxClauseActivityValue_ = maxClauseActivityValue_;
7607 if (((bitField0_ & 0x08000000) != 0)) {
7608 restartAlgorithms_ = java.util.Collections.unmodifiableList(restartAlgorithms_);
7609 bitField0_ = (bitField0_ & ~0x08000000);
7611 result.restartAlgorithms_ = restartAlgorithms_;
7612 if (((from_bitField0_ & 0x10000000) != 0)) {
7613 to_bitField0_ |= 0x08000000;
7615 result.defaultRestartAlgorithms_ = defaultRestartAlgorithms_;
7616 if (((from_bitField0_ & 0x20000000) != 0)) {
7617 to_bitField0_ |= 0x10000000;
7619 result.restartPeriod_ = restartPeriod_;
7620 if (((from_bitField0_ & 0x40000000) != 0)) {
7621 to_bitField0_ |= 0x20000000;
7623 result.restartRunningWindowSize_ = restartRunningWindowSize_;
7624 if (((from_bitField0_ & 0x80000000) != 0)) {
7625 to_bitField0_ |= 0x40000000;
7627 result.restartDlAverageRatio_ = restartDlAverageRatio_;
7628 if (((from_bitField1_ & 0x00000001) != 0)) {
7629 to_bitField0_ |= 0x80000000;
7631 result.restartLbdAverageRatio_ = restartLbdAverageRatio_;
7632 if (((from_bitField1_ & 0x00000002) != 0)) {
7633 result.useBlockingRestart_ = useBlockingRestart_;
7634 to_bitField1_ |= 0x00000001;
7636 if (((from_bitField1_ & 0x00000004) != 0)) {
7637 to_bitField1_ |= 0x00000002;
7639 result.blockingRestartWindowSize_ = blockingRestartWindowSize_;
7640 if (((from_bitField1_ & 0x00000008) != 0)) {
7641 to_bitField1_ |= 0x00000004;
7643 result.blockingRestartMultiplier_ = blockingRestartMultiplier_;
7644 if (((from_bitField1_ & 0x00000010) != 0)) {
7645 result.numConflictsBeforeStrategyChanges_ = numConflictsBeforeStrategyChanges_;
7646 to_bitField1_ |= 0x00000008;
7648 if (((from_bitField1_ & 0x00000020) != 0)) {
7649 result.strategyChangeIncreaseRatio_ = strategyChangeIncreaseRatio_;
7650 to_bitField1_ |= 0x00000010;
7652 if (((from_bitField1_ & 0x00000040) != 0)) {
7653 to_bitField1_ |= 0x00000020;
7655 result.maxTimeInSeconds_ = maxTimeInSeconds_;
7656 if (((from_bitField1_ & 0x00000080) != 0)) {
7657 to_bitField1_ |= 0x00000040;
7659 result.maxDeterministicTime_ = maxDeterministicTime_;
7660 if (((from_bitField1_ & 0x00000100) != 0)) {
7661 to_bitField1_ |= 0x00000080;
7663 result.maxNumberOfConflicts_ = maxNumberOfConflicts_;
7664 if (((from_bitField1_ & 0x00000200) != 0)) {
7665 to_bitField1_ |= 0x00000100;
7667 result.maxMemoryInMb_ = maxMemoryInMb_;
7668 if (((from_bitField1_ & 0x00000400) != 0)) {
7669 to_bitField1_ |= 0x00000200;
7671 result.treatBinaryClausesSeparately_ = treatBinaryClausesSeparately_;
7672 if (((from_bitField1_ & 0x00000800) != 0)) {
7673 to_bitField1_ |= 0x00000400;
7675 result.randomSeed_ = randomSeed_;
7676 if (((from_bitField1_ & 0x00001000) != 0)) {
7677 result.logSearchProgress_ = logSearchProgress_;
7678 to_bitField1_ |= 0x00000800;
7680 if (((from_bitField1_ & 0x00002000) != 0)) {
7681 result.usePbResolution_ = usePbResolution_;
7682 to_bitField1_ |= 0x00001000;
7684 if (((from_bitField1_ & 0x00004000) != 0)) {
7685 result.minimizeReductionDuringPbResolution_ = minimizeReductionDuringPbResolution_;
7686 to_bitField1_ |= 0x00002000;
7688 if (((from_bitField1_ & 0x00008000) != 0)) {
7689 to_bitField1_ |= 0x00004000;
7691 result.countAssumptionLevelsInLbd_ = countAssumptionLevelsInLbd_;
7692 if (((from_bitField1_ & 0x00010000) != 0)) {
7693 to_bitField1_ |= 0x00008000;
7695 result.presolveBveThreshold_ = presolveBveThreshold_;
7696 if (((from_bitField1_ & 0x00020000) != 0)) {
7697 to_bitField1_ |= 0x00010000;
7699 result.presolveBveClauseWeight_ = presolveBveClauseWeight_;
7700 if (((from_bitField1_ & 0x00040000) != 0)) {
7701 to_bitField1_ |= 0x00020000;
7703 result.presolveProbingDeterministicTimeLimit_ = presolveProbingDeterministicTimeLimit_;
7704 if (((from_bitField1_ & 0x00080000) != 0)) {
7705 to_bitField1_ |= 0x00040000;
7707 result.presolveBlockedClause_ = presolveBlockedClause_;
7708 if (((from_bitField1_ & 0x00100000) != 0)) {
7709 to_bitField1_ |= 0x00080000;
7711 result.presolveUseBva_ = presolveUseBva_;
7712 if (((from_bitField1_ & 0x00200000) != 0)) {
7713 to_bitField1_ |= 0x00100000;
7715 result.presolveBvaThreshold_ = presolveBvaThreshold_;
7716 if (((from_bitField1_ & 0x00400000) != 0)) {
7717 to_bitField1_ |= 0x00200000;
7719 result.useOptimizationHints_ = useOptimizationHints_;
7720 if (((from_bitField1_ & 0x00800000) != 0)) {
7721 to_bitField1_ |= 0x00400000;
7723 result.minimizeCore_ = minimizeCore_;
7724 if (((from_bitField1_ & 0x01000000) != 0)) {
7725 to_bitField1_ |= 0x00800000;
7727 result.findMultipleCores_ = findMultipleCores_;
7728 if (((from_bitField1_ & 0x02000000) != 0)) {
7729 to_bitField1_ |= 0x01000000;
7731 result.coverOptimization_ = coverOptimization_;
7732 if (((from_bitField1_ & 0x04000000) != 0)) {
7733 to_bitField1_ |= 0x02000000;
7735 result.maxSatAssumptionOrder_ = maxSatAssumptionOrder_;
7736 if (((from_bitField1_ & 0x08000000) != 0)) {
7737 result.maxSatReverseAssumptionOrder_ = maxSatReverseAssumptionOrder_;
7738 to_bitField1_ |= 0x04000000;
7740 if (((from_bitField1_ & 0x10000000) != 0)) {
7741 to_bitField1_ |= 0x08000000;
7743 result.maxSatStratification_ = maxSatStratification_;
7744 if (((from_bitField1_ & 0x20000000) != 0)) {
7745 to_bitField1_ |= 0x10000000;
7747 result.usePrecedencesInDisjunctiveConstraint_ = usePrecedencesInDisjunctiveConstraint_;
7748 if (((from_bitField1_ & 0x40000000) != 0)) {
7749 result.useOverloadCheckerInCumulativeConstraint_ = useOverloadCheckerInCumulativeConstraint_;
7750 to_bitField1_ |= 0x20000000;
7752 if (((from_bitField1_ & 0x80000000) != 0)) {
7753 result.useTimetableEdgeFindingInCumulativeConstraint_ = useTimetableEdgeFindingInCumulativeConstraint_;
7754 to_bitField1_ |= 0x40000000;
7756 if (((from_bitField2_ & 0x00000001) != 0)) {
7757 to_bitField1_ |= 0x80000000;
7759 result.useDisjunctiveConstraintInCumulativeConstraint_ = useDisjunctiveConstraintInCumulativeConstraint_;
7760 if (((from_bitField2_ & 0x00000002) != 0)) {
7761 to_bitField2_ |= 0x00000001;
7763 result.linearizationLevel_ = linearizationLevel_;
7764 if (((from_bitField2_ & 0x00000004) != 0)) {
7765 to_bitField2_ |= 0x00000002;
7767 result.booleanEncodingLevel_ = booleanEncodingLevel_;
7768 if (((from_bitField2_ & 0x00000008) != 0)) {
7769 to_bitField2_ |= 0x00000004;
7771 result.maxNumCuts_ = maxNumCuts_;
7772 if (((from_bitField2_ & 0x00000010) != 0)) {
7773 result.onlyAddCutsAtLevelZero_ = onlyAddCutsAtLevelZero_;
7774 to_bitField2_ |= 0x00000008;
7776 if (((from_bitField2_ & 0x00000020) != 0)) {
7777 result.addKnapsackCuts_ = addKnapsackCuts_;
7778 to_bitField2_ |= 0x00000010;
7780 if (((from_bitField2_ & 0x00000040) != 0)) {
7781 result.addCgCuts_ = addCgCuts_;
7782 to_bitField2_ |= 0x00000020;
7784 if (((from_bitField2_ & 0x00000080) != 0)) {
7785 to_bitField2_ |= 0x00000040;
7787 result.addMirCuts_ = addMirCuts_;
7788 if (((from_bitField2_ & 0x00000100) != 0)) {
7789 to_bitField2_ |= 0x00000080;
7791 result.useMirRounding_ = useMirRounding_;
7792 if (((from_bitField2_ & 0x00000200) != 0)) {
7793 to_bitField2_ |= 0x00000100;
7795 result.maxIntegerRoundingScaling_ = maxIntegerRoundingScaling_;
7796 if (((from_bitField2_ & 0x00000400) != 0)) {
7797 to_bitField2_ |= 0x00000200;
7799 result.addLpConstraintsLazily_ = addLpConstraintsLazily_;
7800 if (((from_bitField2_ & 0x00000800) != 0)) {
7801 result.minOrthogonalityForLpConstraints_ = minOrthogonalityForLpConstraints_;
7802 to_bitField2_ |= 0x00000400;
7804 if (((from_bitField2_ & 0x00001000) != 0)) {
7805 to_bitField2_ |= 0x00000800;
7807 result.maxInactiveCount_ = maxInactiveCount_;
7808 if (((from_bitField2_ & 0x00002000) != 0)) {
7809 to_bitField2_ |= 0x00001000;
7811 result.constraintRemovalBatchSize_ = constraintRemovalBatchSize_;
7812 if (((from_bitField2_ & 0x00004000) != 0)) {
7813 to_bitField2_ |= 0x00002000;
7815 result.searchBranching_ = searchBranching_;
7816 if (((from_bitField2_ & 0x00008000) != 0)) {
7817 to_bitField2_ |= 0x00004000;
7819 result.exploitIntegerLpSolution_ = exploitIntegerLpSolution_;
7820 if (((from_bitField2_ & 0x00010000) != 0)) {
7821 to_bitField2_ |= 0x00008000;
7823 result.exploitAllLpSolution_ = exploitAllLpSolution_;
7824 if (((from_bitField2_ & 0x00020000) != 0)) {
7825 result.exploitBestSolution_ = exploitBestSolution_;
7826 to_bitField2_ |= 0x00010000;
7828 if (((from_bitField2_ & 0x00040000) != 0)) {
7829 to_bitField2_ |= 0x00020000;
7831 result.exploitObjective_ = exploitObjective_;
7832 if (((from_bitField2_ & 0x00080000) != 0)) {
7833 to_bitField2_ |= 0x00040000;
7835 result.pseudoCostReliabilityThreshold_ = pseudoCostReliabilityThreshold_;
7836 if (((from_bitField2_ & 0x00100000) != 0)) {
7837 result.optimizeWithCore_ = optimizeWithCore_;
7838 to_bitField2_ |= 0x00080000;
7840 if (((from_bitField2_ & 0x00200000) != 0)) {
7841 to_bitField2_ |= 0x00100000;
7843 result.binarySearchNumConflicts_ = binarySearchNumConflicts_;
7844 if (((from_bitField2_ & 0x00400000) != 0)) {
7845 result.optimizeWithMaxHs_ = optimizeWithMaxHs_;
7846 to_bitField2_ |= 0x00200000;
7848 if (((from_bitField2_ & 0x00800000) != 0)) {
7849 to_bitField2_ |= 0x00400000;
7851 result.cpModelPresolve_ = cpModelPresolve_;
7852 if (((from_bitField2_ & 0x01000000) != 0)) {
7853 to_bitField2_ |= 0x00800000;
7855 result.cpModelProbingLevel_ = cpModelProbingLevel_;
7856 if (((from_bitField2_ & 0x02000000) != 0)) {
7857 to_bitField2_ |= 0x01000000;
7859 result.cpModelUseSatPresolve_ = cpModelUseSatPresolve_;
7860 if (((from_bitField2_ & 0x04000000) != 0)) {
7861 result.enumerateAllSolutions_ = enumerateAllSolutions_;
7862 to_bitField2_ |= 0x02000000;
7864 if (((from_bitField2_ & 0x08000000) != 0)) {
7865 result.fillTightenedDomainsInResponse_ = fillTightenedDomainsInResponse_;
7866 to_bitField2_ |= 0x04000000;
7868 if (((from_bitField2_ & 0x10000000) != 0)) {
7869 to_bitField2_ |= 0x08000000;
7871 result.instantiateAllVariables_ = instantiateAllVariables_;
7872 if (((from_bitField2_ & 0x20000000) != 0)) {
7873 to_bitField2_ |= 0x10000000;
7875 result.autoDetectGreaterThanAtLeastOneOf_ = autoDetectGreaterThanAtLeastOneOf_;
7876 if (((from_bitField2_ & 0x40000000) != 0)) {
7877 result.stopAfterFirstSolution_ = stopAfterFirstSolution_;
7878 to_bitField2_ |= 0x20000000;
7880 if (((from_bitField2_ & 0x80000000) != 0)) {
7881 result.numSearchWorkers_ = numSearchWorkers_;
7882 to_bitField2_ |= 0x40000000;
7884 if (((from_bitField3_ & 0x00000001) != 0)) {
7885 result.deterministicParallelSearch_ = deterministicParallelSearch_;
7886 to_bitField2_ |= 0x80000000;
7888 if (((from_bitField3_ & 0x00000002) != 0)) {
7889 to_bitField3_ |= 0x00000001;
7891 result.shareObjectiveBounds_ = shareObjectiveBounds_;
7892 if (((from_bitField3_ & 0x00000004) != 0)) {
7893 to_bitField3_ |= 0x00000002;
7895 result.shareLevelZeroBounds_ = shareLevelZeroBounds_;
7896 if (((from_bitField3_ & 0x00000008) != 0)) {
7897 result.useLnsOnly_ = useLnsOnly_;
7898 to_bitField3_ |= 0x00000004;
7900 if (((from_bitField3_ & 0x00000010) != 0)) {
7901 result.lnsFocusOnDecisionVariables_ = lnsFocusOnDecisionVariables_;
7902 to_bitField3_ |= 0x00000008;
7904 if (((from_bitField3_ & 0x00000020) != 0)) {
7905 result.useRinsLns_ = useRinsLns_;
7906 to_bitField3_ |= 0x00000010;
7908 if (((from_bitField3_ & 0x00000040) != 0)) {
7909 result.randomizeSearch_ = randomizeSearch_;
7910 to_bitField3_ |= 0x00000020;
7912 if (((from_bitField3_ & 0x00000080) != 0)) {
7913 result.searchRandomizationTolerance_ = searchRandomizationTolerance_;
7914 to_bitField3_ |= 0x00000040;
7916 if (((from_bitField3_ & 0x00000100) != 0)) {
7917 to_bitField3_ |= 0x00000080;
7919 result.useOptionalVariables_ = useOptionalVariables_;
7920 if (((from_bitField3_ & 0x00000200) != 0)) {
7921 to_bitField3_ |= 0x00000100;
7923 result.useExactLpReason_ = useExactLpReason_;
7924 if (((from_bitField3_ & 0x00000400) != 0)) {
7925 result.useCombinedNoOverlap_ = useCombinedNoOverlap_;
7926 to_bitField3_ |= 0x00000200;
7928 if (((from_bitField3_ & 0x00000800) != 0)) {
7929 to_bitField3_ |= 0x00000400;
7931 result.mipMaxBound_ = mipMaxBound_;
7932 if (((from_bitField3_ & 0x00001000) != 0)) {
7933 to_bitField3_ |= 0x00000800;
7935 result.mipVarScaling_ = mipVarScaling_;
7936 if (((from_bitField3_ & 0x00002000) != 0)) {
7937 to_bitField3_ |= 0x00001000;
7939 result.mipWantedPrecision_ = mipWantedPrecision_;
7940 if (((from_bitField3_ & 0x00004000) != 0)) {
7941 to_bitField3_ |= 0x00002000;
7943 result.mipMaxActivityExponent_ = mipMaxActivityExponent_;
7944 if (((from_bitField3_ & 0x00008000) != 0)) {
7945 to_bitField3_ |= 0x00004000;
7947 result.mipCheckPrecision_ = mipCheckPrecision_;
7948 if (((from_bitField3_ & 0x00010000) != 0)) {
7949 to_bitField3_ |= 0x00008000;
7951 result.catchSigintSignal_ = catchSigintSignal_;
7952 result.bitField0_ = to_bitField0_;
7953 result.bitField1_ = to_bitField1_;
7954 result.bitField2_ = to_bitField2_;
7955 result.bitField3_ = to_bitField3_;
7962 return super.
clone();
7966 com.
google.protobuf.Descriptors.FieldDescriptor field,
7967 java.lang.Object value) {
7968 return super.
setField(field, value);
7972 com.
google.protobuf.Descriptors.FieldDescriptor field) {
7977 com.
google.protobuf.Descriptors.OneofDescriptor oneof) {
7982 com.
google.protobuf.Descriptors.FieldDescriptor field,
7983 int index, java.lang.Object value) {
7988 com.
google.protobuf.Descriptors.FieldDescriptor field,
7989 java.lang.Object value) {
7997 super.mergeFrom(other);
8004 if (other.hasPreferredVariableOrder()) {
8007 if (other.hasInitialPolarity()) {
8010 if (other.hasUsePhaseSaving()) {
8013 if (other.hasRandomPolarityRatio()) {
8016 if (other.hasRandomBranchesRatio()) {
8019 if (other.hasUseErwaHeuristic()) {
8022 if (other.hasInitialVariablesActivity()) {
8025 if (other.hasAlsoBumpVariablesInConflictReasons()) {
8028 if (other.hasMinimizationAlgorithm()) {
8031 if (other.hasBinaryMinimizationAlgorithm()) {
8034 if (other.hasSubsumptionDuringConflictAnalysis()) {
8037 if (other.hasClauseCleanupPeriod()) {
8040 if (other.hasClauseCleanupTarget()) {
8043 if (other.hasClauseCleanupProtection()) {
8046 if (other.hasClauseCleanupLbdBound()) {
8049 if (other.hasClauseCleanupOrdering()) {
8052 if (other.hasPbCleanupIncrement()) {
8055 if (other.hasPbCleanupRatio()) {
8058 if (other.hasMinimizeWithPropagationRestartPeriod()) {
8061 if (other.hasMinimizeWithPropagationNumDecisions()) {
8064 if (other.hasVariableActivityDecay()) {
8067 if (other.hasMaxVariableActivityValue()) {
8070 if (other.hasGlucoseMaxDecay()) {
8073 if (other.hasGlucoseDecayIncrement()) {
8076 if (other.hasGlucoseDecayIncrementPeriod()) {
8079 if (other.hasClauseActivityDecay()) {
8082 if (other.hasMaxClauseActivityValue()) {
8085 if (!other.restartAlgorithms_.isEmpty()) {
8086 if (restartAlgorithms_.isEmpty()) {
8087 restartAlgorithms_ = other.restartAlgorithms_;
8088 bitField0_ = (bitField0_ & ~0x08000000);
8090 ensureRestartAlgorithmsIsMutable();
8091 restartAlgorithms_.addAll(other.restartAlgorithms_);
8095 if (other.hasDefaultRestartAlgorithms()) {
8096 bitField0_ |= 0x10000000;
8097 defaultRestartAlgorithms_ = other.defaultRestartAlgorithms_;
8100 if (other.hasRestartPeriod()) {
8103 if (other.hasRestartRunningWindowSize()) {
8106 if (other.hasRestartDlAverageRatio()) {
8109 if (other.hasRestartLbdAverageRatio()) {
8112 if (other.hasUseBlockingRestart()) {
8115 if (other.hasBlockingRestartWindowSize()) {
8118 if (other.hasBlockingRestartMultiplier()) {
8121 if (other.hasNumConflictsBeforeStrategyChanges()) {
8124 if (other.hasStrategyChangeIncreaseRatio()) {
8127 if (other.hasMaxTimeInSeconds()) {
8130 if (other.hasMaxDeterministicTime()) {
8133 if (other.hasMaxNumberOfConflicts()) {
8136 if (other.hasMaxMemoryInMb()) {
8139 if (other.hasTreatBinaryClausesSeparately()) {
8142 if (other.hasRandomSeed()) {
8145 if (other.hasLogSearchProgress()) {
8148 if (other.hasUsePbResolution()) {
8151 if (other.hasMinimizeReductionDuringPbResolution()) {
8154 if (other.hasCountAssumptionLevelsInLbd()) {
8157 if (other.hasPresolveBveThreshold()) {
8160 if (other.hasPresolveBveClauseWeight()) {
8163 if (other.hasPresolveProbingDeterministicTimeLimit()) {
8166 if (other.hasPresolveBlockedClause()) {
8169 if (other.hasPresolveUseBva()) {
8172 if (other.hasPresolveBvaThreshold()) {
8175 if (other.hasUseOptimizationHints()) {
8178 if (other.hasMinimizeCore()) {
8181 if (other.hasFindMultipleCores()) {
8184 if (other.hasCoverOptimization()) {
8187 if (other.hasMaxSatAssumptionOrder()) {
8190 if (other.hasMaxSatReverseAssumptionOrder()) {
8193 if (other.hasMaxSatStratification()) {
8196 if (other.hasUsePrecedencesInDisjunctiveConstraint()) {
8199 if (other.hasUseOverloadCheckerInCumulativeConstraint()) {
8202 if (other.hasUseTimetableEdgeFindingInCumulativeConstraint()) {
8205 if (other.hasUseDisjunctiveConstraintInCumulativeConstraint()) {
8208 if (other.hasLinearizationLevel()) {
8211 if (other.hasBooleanEncodingLevel()) {
8214 if (other.hasMaxNumCuts()) {
8217 if (other.hasOnlyAddCutsAtLevelZero()) {
8220 if (other.hasAddKnapsackCuts()) {
8223 if (other.hasAddCgCuts()) {
8226 if (other.hasAddMirCuts()) {
8229 if (other.hasUseMirRounding()) {
8232 if (other.hasMaxIntegerRoundingScaling()) {
8235 if (other.hasAddLpConstraintsLazily()) {
8238 if (other.hasMinOrthogonalityForLpConstraints()) {
8241 if (other.hasMaxInactiveCount()) {
8244 if (other.hasConstraintRemovalBatchSize()) {
8247 if (other.hasSearchBranching()) {
8250 if (other.hasExploitIntegerLpSolution()) {
8253 if (other.hasExploitAllLpSolution()) {
8256 if (other.hasExploitBestSolution()) {
8259 if (other.hasExploitObjective()) {
8262 if (other.hasPseudoCostReliabilityThreshold()) {
8265 if (other.hasOptimizeWithCore()) {
8268 if (other.hasBinarySearchNumConflicts()) {
8271 if (other.hasOptimizeWithMaxHs()) {
8274 if (other.hasCpModelPresolve()) {
8277 if (other.hasCpModelProbingLevel()) {
8280 if (other.hasCpModelUseSatPresolve()) {
8283 if (other.hasEnumerateAllSolutions()) {
8286 if (other.hasFillTightenedDomainsInResponse()) {
8289 if (other.hasInstantiateAllVariables()) {
8292 if (other.hasAutoDetectGreaterThanAtLeastOneOf()) {
8295 if (other.hasStopAfterFirstSolution()) {
8298 if (other.hasNumSearchWorkers()) {
8301 if (other.hasDeterministicParallelSearch()) {
8304 if (other.hasShareObjectiveBounds()) {
8307 if (other.hasShareLevelZeroBounds()) {
8310 if (other.hasUseLnsOnly()) {
8313 if (other.hasLnsFocusOnDecisionVariables()) {
8316 if (other.hasUseRinsLns()) {
8319 if (other.hasRandomizeSearch()) {
8322 if (other.hasSearchRandomizationTolerance()) {
8325 if (other.hasUseOptionalVariables()) {
8328 if (other.hasUseExactLpReason()) {
8331 if (other.hasUseCombinedNoOverlap()) {
8334 if (other.hasMipMaxBound()) {
8337 if (other.hasMipVarScaling()) {
8340 if (other.hasMipWantedPrecision()) {
8343 if (other.hasMipMaxActivityExponent()) {
8346 if (other.hasMipCheckPrecision()) {
8349 if (other.hasCatchSigintSignal()) {
8364 com.
google.protobuf.CodedInputStream input,
8365 com.
google.protobuf.ExtensionRegistryLite extensionRegistry)
8366 throws java.io.IOException {
8369 parsedMessage =
PARSER.parsePartialFrom(input, extensionRegistry);
8370 }
catch (
com.
google.protobuf.InvalidProtocolBufferException e) {
8372 throw e.unwrapIOException();
8374 if (parsedMessage !=
null) {
8380 private int bitField0_;
8381 private int bitField1_;
8382 private int bitField2_;
8383 private int bitField3_;
8385 private int preferredVariableOrder_ = 0;
8390 return ((bitField0_ & 0x00000001) != 0);
8396 @SuppressWarnings(
"deprecation")
8404 if (value ==
null) {
8405 throw new NullPointerException();
8407 bitField0_ |= 0x00000001;
8408 preferredVariableOrder_ = value.getNumber();
8416 bitField0_ = (bitField0_ & ~0x00000001);
8417 preferredVariableOrder_ = 0;
8422 private int initialPolarity_ = 1;
8427 return ((bitField0_ & 0x00000002) != 0);
8433 @SuppressWarnings(
"deprecation")
8441 if (value ==
null) {
8442 throw new NullPointerException();
8444 bitField0_ |= 0x00000002;
8445 initialPolarity_ = value.getNumber();
8453 bitField0_ = (bitField0_ & ~0x00000002);
8454 initialPolarity_ = 1;
8459 private boolean usePhaseSaving_ =
true;
8474 return ((bitField0_ & 0x00000004) != 0);
8490 return usePhaseSaving_;
8506 bitField0_ |= 0x00000004;
8507 usePhaseSaving_ = value;
8525 bitField0_ = (bitField0_ & ~0x00000004);
8526 usePhaseSaving_ =
true;
8531 private double randomPolarityRatio_ ;
8544 return ((bitField0_ & 0x00000008) != 0);
8558 return randomPolarityRatio_;
8572 bitField0_ |= 0x00000008;
8573 randomPolarityRatio_ = value;
8589 bitField0_ = (bitField0_ & ~0x00000008);
8590 randomPolarityRatio_ = 0D;
8595 private double randomBranchesRatio_ ;
8606 return ((bitField0_ & 0x00000010) != 0);
8618 return randomBranchesRatio_;
8630 bitField0_ |= 0x00000010;
8631 randomBranchesRatio_ = value;
8645 bitField0_ = (bitField0_ & ~0x00000010);
8646 randomBranchesRatio_ = 0D;
8651 private boolean useErwaHeuristic_ ;
8662 return ((bitField0_ & 0x00000020) != 0);
8674 return useErwaHeuristic_;
8686 bitField0_ |= 0x00000020;
8687 useErwaHeuristic_ = value;
8701 bitField0_ = (bitField0_ & ~0x00000020);
8702 useErwaHeuristic_ =
false;
8707 private double initialVariablesActivity_ ;
8721 return ((bitField0_ & 0x00000040) != 0);
8736 return initialVariablesActivity_;
8751 bitField0_ |= 0x00000040;
8752 initialVariablesActivity_ = value;
8769 bitField0_ = (bitField0_ & ~0x00000040);
8770 initialVariablesActivity_ = 0D;
8775 private boolean alsoBumpVariablesInConflictReasons_ ;
8787 return ((bitField0_ & 0x00000080) != 0);
8800 return alsoBumpVariablesInConflictReasons_;
8813 bitField0_ |= 0x00000080;
8814 alsoBumpVariablesInConflictReasons_ = value;
8829 bitField0_ = (bitField0_ & ~0x00000080);
8830 alsoBumpVariablesInConflictReasons_ =
false;
8835 private int minimizationAlgorithm_ = 2;
8840 return ((bitField0_ & 0x00000100) != 0);
8846 @SuppressWarnings(
"deprecation")
8854 if (value ==
null) {
8855 throw new NullPointerException();
8857 bitField0_ |= 0x00000100;
8858 minimizationAlgorithm_ = value.getNumber();
8866 bitField0_ = (bitField0_ & ~0x00000100);
8867 minimizationAlgorithm_ = 2;
8872 private int binaryMinimizationAlgorithm_ = 1;
8877 return ((bitField0_ & 0x00000200) != 0);
8883 @SuppressWarnings(
"deprecation")
8891 if (value ==
null) {
8892 throw new NullPointerException();
8894 bitField0_ |= 0x00000200;
8895 binaryMinimizationAlgorithm_ = value.getNumber();
8903 bitField0_ = (bitField0_ & ~0x00000200);
8904 binaryMinimizationAlgorithm_ = 1;
8909 private boolean subsumptionDuringConflictAnalysis_ =
true;
8921 return ((bitField0_ & 0x00000400) != 0);
8934 return subsumptionDuringConflictAnalysis_;
8947 bitField0_ |= 0x00000400;
8948 subsumptionDuringConflictAnalysis_ = value;
8963 bitField0_ = (bitField0_ & ~0x00000400);
8964 subsumptionDuringConflictAnalysis_ =
true;
8969 private int clauseCleanupPeriod_ = 10000;
8978 return ((bitField0_ & 0x00000800) != 0);
8988 return clauseCleanupPeriod_;
8998 bitField0_ |= 0x00000800;
8999 clauseCleanupPeriod_ = value;
9011 bitField0_ = (bitField0_ & ~0x00000800);
9012 clauseCleanupPeriod_ = 10000;
9017 private int clauseCleanupTarget_ = 10000;
9027 return ((bitField0_ & 0x00001000) != 0);
9038 return clauseCleanupTarget_;
9049 bitField0_ |= 0x00001000;
9050 clauseCleanupTarget_ = value;
9063 bitField0_ = (bitField0_ & ~0x00001000);
9064 clauseCleanupTarget_ = 10000;
9069 private int clauseCleanupProtection_ = 0;
9074 return ((bitField0_ & 0x00002000) != 0);
9080 @SuppressWarnings(
"deprecation")
9088 if (value ==
null) {
9089 throw new NullPointerException();
9091 bitField0_ |= 0x00002000;
9092 clauseCleanupProtection_ = value.getNumber();
9100 bitField0_ = (bitField0_ & ~0x00002000);
9101 clauseCleanupProtection_ = 0;
9106 private int clauseCleanupLbdBound_ = 5;
9116 return ((bitField0_ & 0x00004000) != 0);
9127 return clauseCleanupLbdBound_;
9138 bitField0_ |= 0x00004000;
9139 clauseCleanupLbdBound_ = value;
9152 bitField0_ = (bitField0_ & ~0x00004000);
9153 clauseCleanupLbdBound_ = 5;
9158 private int clauseCleanupOrdering_ = 0;
9163 return ((bitField0_ & 0x00008000) != 0);
9169 @SuppressWarnings(
"deprecation")
9177 if (value ==
null) {
9178 throw new NullPointerException();
9180 bitField0_ |= 0x00008000;
9181 clauseCleanupOrdering_ = value.getNumber();
9189 bitField0_ = (bitField0_ & ~0x00008000);
9190 clauseCleanupOrdering_ = 0;
9195 private int pbCleanupIncrement_ = 200;
9204 return ((bitField0_ & 0x00010000) != 0);
9214 return pbCleanupIncrement_;
9224 bitField0_ |= 0x00010000;
9225 pbCleanupIncrement_ = value;
9237 bitField0_ = (bitField0_ & ~0x00010000);
9238 pbCleanupIncrement_ = 200;
9243 private double pbCleanupRatio_ = 0.5D;
9248 return ((bitField0_ & 0x00020000) != 0);
9254 return pbCleanupRatio_;
9260 bitField0_ |= 0x00020000;
9261 pbCleanupRatio_ = value;
9269 bitField0_ = (bitField0_ & ~0x00020000);
9270 pbCleanupRatio_ = 0.5D;
9275 private int minimizeWithPropagationRestartPeriod_ = 10;
9294 return ((bitField0_ & 0x00040000) != 0);
9314 return minimizeWithPropagationRestartPeriod_;
9334 bitField0_ |= 0x00040000;
9335 minimizeWithPropagationRestartPeriod_ = value;
9357 bitField0_ = (bitField0_ & ~0x00040000);
9358 minimizeWithPropagationRestartPeriod_ = 10;
9363 private int minimizeWithPropagationNumDecisions_ = 1000;
9368 return ((bitField0_ & 0x00080000) != 0);
9374 return minimizeWithPropagationNumDecisions_;
9380 bitField0_ |= 0x00080000;
9381 minimizeWithPropagationNumDecisions_ = value;
9389 bitField0_ = (bitField0_ & ~0x00080000);
9390 minimizeWithPropagationNumDecisions_ = 1000;
9395 private double variableActivityDecay_ = 0.8D;
9410 return ((bitField0_ & 0x00100000) != 0);
9426 return variableActivityDecay_;
9442 bitField0_ |= 0x00100000;
9443 variableActivityDecay_ = value;
9461 bitField0_ = (bitField0_ & ~0x00100000);
9462 variableActivityDecay_ = 0.8D;
9467 private double maxVariableActivityValue_ = 1e+100D;
9472 return ((bitField0_ & 0x00200000) != 0);
9478 return maxVariableActivityValue_;
9484 bitField0_ |= 0x00200000;
9485 maxVariableActivityValue_ = value;
9493 bitField0_ = (bitField0_ & ~0x00200000);
9494 maxVariableActivityValue_ = 1e+100D;
9499 private double glucoseMaxDecay_ = 0.95D;
9511 return ((bitField0_ & 0x00400000) != 0);
9524 return glucoseMaxDecay_;
9537 bitField0_ |= 0x00400000;
9538 glucoseMaxDecay_ = value;
9553 bitField0_ = (bitField0_ & ~0x00400000);
9554 glucoseMaxDecay_ = 0.95D;
9559 private double glucoseDecayIncrement_ = 0.01D;
9564 return ((bitField0_ & 0x00800000) != 0);
9570 return glucoseDecayIncrement_;
9576 bitField0_ |= 0x00800000;
9577 glucoseDecayIncrement_ = value;
9585 bitField0_ = (bitField0_ & ~0x00800000);
9586 glucoseDecayIncrement_ = 0.01D;
9591 private int glucoseDecayIncrementPeriod_ = 5000;
9596 return ((bitField0_ & 0x01000000) != 0);
9602 return glucoseDecayIncrementPeriod_;
9608 bitField0_ |= 0x01000000;
9609 glucoseDecayIncrementPeriod_ = value;
9617 bitField0_ = (bitField0_ & ~0x01000000);
9618 glucoseDecayIncrementPeriod_ = 5000;
9623 private double clauseActivityDecay_ = 0.999D;
9632 return ((bitField0_ & 0x02000000) != 0);
9642 return clauseActivityDecay_;
9652 bitField0_ |= 0x02000000;
9653 clauseActivityDecay_ = value;
9665 bitField0_ = (bitField0_ & ~0x02000000);
9666 clauseActivityDecay_ = 0.999D;
9671 private double maxClauseActivityValue_ = 1e+20D;
9676 return ((bitField0_ & 0x04000000) != 0);
9682 return maxClauseActivityValue_;
9688 bitField0_ |= 0x04000000;
9689 maxClauseActivityValue_ = value;
9697 bitField0_ = (bitField0_ & ~0x04000000);
9698 maxClauseActivityValue_ = 1e+20D;
9703 private java.util.List<java.lang.Integer> restartAlgorithms_ =
9704 java.util.Collections.emptyList();
9705 private void ensureRestartAlgorithmsIsMutable() {
9706 if (!((bitField0_ & 0x08000000) != 0)) {
9707 restartAlgorithms_ =
new java.util.ArrayList<java.lang.Integer>(restartAlgorithms_);
9708 bitField0_ |= 0x08000000;
9726 return new com.
google.protobuf.Internal.ListAdapter<
9744 return restartAlgorithms_.size();
9761 return restartAlgorithms_converter_.convert(restartAlgorithms_.get(index));
9779 if (value ==
null) {
9780 throw new NullPointerException();
9782 ensureRestartAlgorithmsIsMutable();
9783 restartAlgorithms_.set(index, value.getNumber());
9802 if (value ==
null) {
9803 throw new NullPointerException();
9805 ensureRestartAlgorithmsIsMutable();
9806 restartAlgorithms_.add(value.getNumber());
9826 ensureRestartAlgorithmsIsMutable();
9828 restartAlgorithms_.add(value.getNumber());
9848 restartAlgorithms_ = java.util.Collections.emptyList();
9849 bitField0_ = (bitField0_ & ~0x08000000);
9854 private java.lang.Object defaultRestartAlgorithms_ =
"LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,DL_MOVING_AVERAGE_RESTART";
9859 return ((bitField0_ & 0x10000000) != 0);
9865 java.lang.Object ref = defaultRestartAlgorithms_;
9866 if (!(ref instanceof java.lang.String)) {
9869 java.lang.String s = bs.toStringUtf8();
9870 if (bs.isValidUtf8()) {
9871 defaultRestartAlgorithms_ = s;
9875 return (java.lang.String) ref;
9883 java.lang.Object ref = defaultRestartAlgorithms_;
9884 if (ref instanceof String) {
9886 com.
google.protobuf.ByteString.copyFromUtf8(
9887 (java.lang.String) ref);
9888 defaultRestartAlgorithms_ = b;
9891 return (
com.
google.protobuf.ByteString) ref;
9898 java.lang.String value) {
9899 if (value ==
null) {
9900 throw new NullPointerException();
9902 bitField0_ |= 0x10000000;
9903 defaultRestartAlgorithms_ = value;
9911 bitField0_ = (bitField0_ & ~0x10000000);
9921 if (value ==
null) {
9922 throw new NullPointerException();
9924 bitField0_ |= 0x10000000;
9925 defaultRestartAlgorithms_ = value;
9930 private int restartPeriod_ = 50;
9940 return ((bitField0_ & 0x20000000) != 0);
9951 return restartPeriod_;
9962 bitField0_ |= 0x20000000;
9963 restartPeriod_ = value;
9976 bitField0_ = (bitField0_ & ~0x20000000);
9977 restartPeriod_ = 50;
9982 private int restartRunningWindowSize_ = 50;
9991 return ((bitField0_ & 0x40000000) != 0);
10001 return restartRunningWindowSize_;
10011 bitField0_ |= 0x40000000;
10012 restartRunningWindowSize_ = value;
10024 bitField0_ = (bitField0_ & ~0x40000000);
10025 restartRunningWindowSize_ = 50;
10030 private double restartDlAverageRatio_ = 1D;
10040 return ((bitField0_ & 0x80000000) != 0);
10051 return restartDlAverageRatio_;
10062 bitField0_ |= 0x80000000;
10063 restartDlAverageRatio_ = value;
10076 bitField0_ = (bitField0_ & ~0x80000000);
10077 restartDlAverageRatio_ = 1D;
10082 private double restartLbdAverageRatio_ = 1D;
10087 return ((bitField1_ & 0x00000001) != 0);
10093 return restartLbdAverageRatio_;
10099 bitField1_ |= 0x00000001;
10100 restartLbdAverageRatio_ = value;
10108 bitField1_ = (bitField1_ & ~0x00000001);
10109 restartLbdAverageRatio_ = 1D;
10114 private boolean useBlockingRestart_ ;
10125 return ((bitField1_ & 0x00000002) != 0);
10137 return useBlockingRestart_;
10149 bitField1_ |= 0x00000002;
10150 useBlockingRestart_ = value;
10164 bitField1_ = (bitField1_ & ~0x00000002);
10165 useBlockingRestart_ =
false;
10170 private int blockingRestartWindowSize_ = 5000;
10175 return ((bitField1_ & 0x00000004) != 0);
10181 return blockingRestartWindowSize_;
10187 bitField1_ |= 0x00000004;
10188 blockingRestartWindowSize_ = value;
10196 bitField1_ = (bitField1_ & ~0x00000004);
10197 blockingRestartWindowSize_ = 5000;
10202 private double blockingRestartMultiplier_ = 1.4D;
10207 return ((bitField1_ & 0x00000008) != 0);
10213 return blockingRestartMultiplier_;
10219 bitField1_ |= 0x00000008;
10220 blockingRestartMultiplier_ = value;
10228 bitField1_ = (bitField1_ & ~0x00000008);
10229 blockingRestartMultiplier_ = 1.4D;
10234 private int numConflictsBeforeStrategyChanges_ ;
10245 return ((bitField1_ & 0x00000010) != 0);
10257 return numConflictsBeforeStrategyChanges_;
10269 bitField1_ |= 0x00000010;
10270 numConflictsBeforeStrategyChanges_ = value;
10284 bitField1_ = (bitField1_ & ~0x00000010);
10285 numConflictsBeforeStrategyChanges_ = 0;
10290 private double strategyChangeIncreaseRatio_ ;
10300 return ((bitField1_ & 0x00000020) != 0);
10311 return strategyChangeIncreaseRatio_;
10322 bitField1_ |= 0x00000020;
10323 strategyChangeIncreaseRatio_ = value;
10336 bitField1_ = (bitField1_ & ~0x00000020);
10337 strategyChangeIncreaseRatio_ = 0D;
10342 private double maxTimeInSeconds_ = Double.POSITIVE_INFINITY;
10353 return ((bitField1_ & 0x00000040) != 0);
10365 return maxTimeInSeconds_;
10377 bitField1_ |= 0x00000040;
10378 maxTimeInSeconds_ = value;
10392 bitField1_ = (bitField1_ & ~0x00000040);
10393 maxTimeInSeconds_ = Double.POSITIVE_INFINITY;
10398 private double maxDeterministicTime_ = Double.POSITIVE_INFINITY;
10411 return ((bitField1_ & 0x00000080) != 0);
10425 return maxDeterministicTime_;
10439 bitField1_ |= 0x00000080;
10440 maxDeterministicTime_ = value;
10456 bitField1_ = (bitField1_ & ~0x00000080);
10457 maxDeterministicTime_ = Double.POSITIVE_INFINITY;
10462 private long maxNumberOfConflicts_ = 9223372036854775807L;
10476 return ((bitField1_ & 0x00000100) != 0);
10491 return maxNumberOfConflicts_;
10506 bitField1_ |= 0x00000100;
10507 maxNumberOfConflicts_ = value;
10524 bitField1_ = (bitField1_ & ~0x00000100);
10525 maxNumberOfConflicts_ = 9223372036854775807L;
10530 private long maxMemoryInMb_ = 10000L;
10542 return ((bitField1_ & 0x00000200) != 0);
10555 return maxMemoryInMb_;
10568 bitField1_ |= 0x00000200;
10569 maxMemoryInMb_ = value;
10584 bitField1_ = (bitField1_ & ~0x00000200);
10585 maxMemoryInMb_ = 10000L;
10590 private boolean treatBinaryClausesSeparately_ =
true;
10601 return ((bitField1_ & 0x00000400) != 0);
10613 return treatBinaryClausesSeparately_;
10625 bitField1_ |= 0x00000400;
10626 treatBinaryClausesSeparately_ = value;
10640 bitField1_ = (bitField1_ & ~0x00000400);
10641 treatBinaryClausesSeparately_ =
true;
10646 private int randomSeed_ = 1;
10660 return ((bitField1_ & 0x00000800) != 0);
10675 return randomSeed_;
10690 bitField1_ |= 0x00000800;
10691 randomSeed_ = value;
10708 bitField1_ = (bitField1_ & ~0x00000800);
10714 private boolean logSearchProgress_ ;
10723 return ((bitField1_ & 0x00001000) != 0);
10733 return logSearchProgress_;
10743 bitField1_ |= 0x00001000;
10744 logSearchProgress_ = value;
10756 bitField1_ = (bitField1_ & ~0x00001000);
10757 logSearchProgress_ =
false;
10762 private boolean usePbResolution_ ;
10774 return ((bitField1_ & 0x00002000) != 0);
10787 return usePbResolution_;
10800 bitField1_ |= 0x00002000;
10801 usePbResolution_ = value;
10816 bitField1_ = (bitField1_ & ~0x00002000);
10817 usePbResolution_ =
false;
10822 private boolean minimizeReductionDuringPbResolution_ ;
10834 return ((bitField1_ & 0x00004000) != 0);
10847 return minimizeReductionDuringPbResolution_;
10860 bitField1_ |= 0x00004000;
10861 minimizeReductionDuringPbResolution_ = value;
10876 bitField1_ = (bitField1_ & ~0x00004000);
10877 minimizeReductionDuringPbResolution_ =
false;
10882 private boolean countAssumptionLevelsInLbd_ =
true;
10898 return ((bitField1_ & 0x00008000) != 0);
10915 return countAssumptionLevelsInLbd_;
10932 bitField1_ |= 0x00008000;
10933 countAssumptionLevelsInLbd_ = value;
10952 bitField1_ = (bitField1_ & ~0x00008000);
10953 countAssumptionLevelsInLbd_ =
true;
10958 private int presolveBveThreshold_ = 500;
10969 return ((bitField1_ & 0x00010000) != 0);
10981 return presolveBveThreshold_;
10993 bitField1_ |= 0x00010000;
10994 presolveBveThreshold_ = value;
11008 bitField1_ = (bitField1_ & ~0x00010000);
11009 presolveBveThreshold_ = 500;
11014 private int presolveBveClauseWeight_ = 3;
11024 return ((bitField1_ & 0x00020000) != 0);
11035 return presolveBveClauseWeight_;
11046 bitField1_ |= 0x00020000;
11047 presolveBveClauseWeight_ = value;
11060 bitField1_ = (bitField1_ & ~0x00020000);
11061 presolveBveClauseWeight_ = 3;
11066 private double presolveProbingDeterministicTimeLimit_ = 30D;
11076 return ((bitField1_ & 0x00040000) != 0);
11087 return presolveProbingDeterministicTimeLimit_;
11098 bitField1_ |= 0x00040000;
11099 presolveProbingDeterministicTimeLimit_ = value;
11112 bitField1_ = (bitField1_ & ~0x00040000);
11113 presolveProbingDeterministicTimeLimit_ = 30D;
11118 private boolean presolveBlockedClause_ =
true;
11128 return ((bitField1_ & 0x00080000) != 0);
11139 return presolveBlockedClause_;
11150 bitField1_ |= 0x00080000;
11151 presolveBlockedClause_ = value;
11164 bitField1_ = (bitField1_ & ~0x00080000);
11165 presolveBlockedClause_ =
true;
11170 private boolean presolveUseBva_ =
true;
11179 return ((bitField1_ & 0x00100000) != 0);
11189 return presolveUseBva_;
11199 bitField1_ |= 0x00100000;
11200 presolveUseBva_ = value;
11212 bitField1_ = (bitField1_ & ~0x00100000);
11213 presolveUseBva_ =
true;
11218 private int presolveBvaThreshold_ = 1;
11230 return ((bitField1_ & 0x00200000) != 0);
11243 return presolveBvaThreshold_;
11256 bitField1_ |= 0x00200000;
11257 presolveBvaThreshold_ = value;
11272 bitField1_ = (bitField1_ & ~0x00200000);
11273 presolveBvaThreshold_ = 1;
11278 private boolean useOptimizationHints_ =
true;
11290 return ((bitField1_ & 0x00400000) != 0);
11303 return useOptimizationHints_;
11316 bitField1_ |= 0x00400000;
11317 useOptimizationHints_ = value;
11332 bitField1_ = (bitField1_ & ~0x00400000);
11333 useOptimizationHints_ =
true;
11338 private boolean minimizeCore_ =
true;
11347 return ((bitField1_ & 0x00800000) != 0);
11357 return minimizeCore_;
11367 bitField1_ |= 0x00800000;
11368 minimizeCore_ = value;
11380 bitField1_ = (bitField1_ & ~0x00800000);
11381 minimizeCore_ =
true;
11386 private boolean findMultipleCores_ =
true;
11396 return ((bitField1_ & 0x01000000) != 0);
11407 return findMultipleCores_;
11418 bitField1_ |= 0x01000000;
11419 findMultipleCores_ = value;
11432 bitField1_ = (bitField1_ & ~0x01000000);
11433 findMultipleCores_ =
true;
11438 private boolean coverOptimization_ =
true;
11448 return ((bitField1_ & 0x02000000) != 0);
11459 return coverOptimization_;
11470 bitField1_ |= 0x02000000;
11471 coverOptimization_ = value;
11484 bitField1_ = (bitField1_ & ~0x02000000);
11485 coverOptimization_ =
true;
11490 private int maxSatAssumptionOrder_ = 0;
11495 return ((bitField1_ & 0x04000000) != 0);
11501 @SuppressWarnings(
"deprecation")
11509 if (value ==
null) {
11510 throw new NullPointerException();
11512 bitField1_ |= 0x04000000;
11513 maxSatAssumptionOrder_ = value.getNumber();
11521 bitField1_ = (bitField1_ & ~0x04000000);
11522 maxSatAssumptionOrder_ = 0;
11527 private boolean maxSatReverseAssumptionOrder_ ;
11537 return ((bitField1_ & 0x08000000) != 0);
11548 return maxSatReverseAssumptionOrder_;
11559 bitField1_ |= 0x08000000;
11560 maxSatReverseAssumptionOrder_ = value;
11573 bitField1_ = (bitField1_ & ~0x08000000);
11574 maxSatReverseAssumptionOrder_ =
false;
11579 private int maxSatStratification_ = 1;
11584 return ((bitField1_ & 0x10000000) != 0);
11590 @SuppressWarnings(
"deprecation")
11598 if (value ==
null) {
11599 throw new NullPointerException();
11601 bitField1_ |= 0x10000000;
11602 maxSatStratification_ = value.getNumber();
11610 bitField1_ = (bitField1_ & ~0x10000000);
11611 maxSatStratification_ = 1;
11616 private boolean usePrecedencesInDisjunctiveConstraint_ =
true;
11632 return ((bitField1_ & 0x20000000) != 0);
11649 return usePrecedencesInDisjunctiveConstraint_;
11666 bitField1_ |= 0x20000000;
11667 usePrecedencesInDisjunctiveConstraint_ = value;
11686 bitField1_ = (bitField1_ & ~0x20000000);
11687 usePrecedencesInDisjunctiveConstraint_ =
true;
11692 private boolean useOverloadCheckerInCumulativeConstraint_ ;
11706 return ((bitField1_ & 0x40000000) != 0);
11721 return useOverloadCheckerInCumulativeConstraint_;
11736 bitField1_ |= 0x40000000;
11737 useOverloadCheckerInCumulativeConstraint_ = value;
11754 bitField1_ = (bitField1_ & ~0x40000000);
11755 useOverloadCheckerInCumulativeConstraint_ =
false;
11760 private boolean useTimetableEdgeFindingInCumulativeConstraint_ ;
11774 return ((bitField1_ & 0x80000000) != 0);
11789 return useTimetableEdgeFindingInCumulativeConstraint_;
11804 bitField1_ |= 0x80000000;
11805 useTimetableEdgeFindingInCumulativeConstraint_ = value;
11822 bitField1_ = (bitField1_ & ~0x80000000);
11823 useTimetableEdgeFindingInCumulativeConstraint_ =
false;
11828 private boolean useDisjunctiveConstraintInCumulativeConstraint_ =
true;
11844 return ((bitField2_ & 0x00000001) != 0);
11861 return useDisjunctiveConstraintInCumulativeConstraint_;
11878 bitField2_ |= 0x00000001;
11879 useDisjunctiveConstraintInCumulativeConstraint_ = value;
11898 bitField2_ = (bitField2_ & ~0x00000001);
11899 useDisjunctiveConstraintInCumulativeConstraint_ =
true;
11904 private int linearizationLevel_ = 1;
11916 return ((bitField2_ & 0x00000002) != 0);
11929 return linearizationLevel_;
11942 bitField2_ |= 0x00000002;
11943 linearizationLevel_ = value;
11958 bitField2_ = (bitField2_ & ~0x00000002);
11959 linearizationLevel_ = 1;
11964 private int booleanEncodingLevel_ = 1;
11974 return ((bitField2_ & 0x00000004) != 0);
11985 return booleanEncodingLevel_;
11996 bitField2_ |= 0x00000004;
11997 booleanEncodingLevel_ = value;
12010 bitField2_ = (bitField2_ & ~0x00000004);
12011 booleanEncodingLevel_ = 1;
12016 private int maxNumCuts_ = 1000;
12026 return ((bitField2_ & 0x00000008) != 0);
12037 return maxNumCuts_;
12048 bitField2_ |= 0x00000008;
12049 maxNumCuts_ = value;
12062 bitField2_ = (bitField2_ & ~0x00000008);
12063 maxNumCuts_ = 1000;
12068 private boolean onlyAddCutsAtLevelZero_ ;
12078 return ((bitField2_ & 0x00000010) != 0);
12089 return onlyAddCutsAtLevelZero_;
12100 bitField2_ |= 0x00000010;
12101 onlyAddCutsAtLevelZero_ = value;
12114 bitField2_ = (bitField2_ & ~0x00000010);
12115 onlyAddCutsAtLevelZero_ =
false;
12120 private boolean addKnapsackCuts_ ;
12131 return ((bitField2_ & 0x00000020) != 0);
12143 return addKnapsackCuts_;
12155 bitField2_ |= 0x00000020;
12156 addKnapsackCuts_ = value;
12170 bitField2_ = (bitField2_ & ~0x00000020);
12171 addKnapsackCuts_ =
false;
12176 private boolean addCgCuts_ ;
12186 return ((bitField2_ & 0x00000040) != 0);
12208 bitField2_ |= 0x00000040;
12209 addCgCuts_ = value;
12222 bitField2_ = (bitField2_ & ~0x00000040);
12223 addCgCuts_ =
false;
12228 private boolean addMirCuts_ =
true;
12238 return ((bitField2_ & 0x00000080) != 0);
12249 return addMirCuts_;
12260 bitField2_ |= 0x00000080;
12261 addMirCuts_ = value;
12274 bitField2_ = (bitField2_ & ~0x00000080);
12275 addMirCuts_ =
true;
12280 private boolean useMirRounding_ =
true;
12291 return ((bitField2_ & 0x00000100) != 0);
12303 return useMirRounding_;
12315 bitField2_ |= 0x00000100;
12316 useMirRounding_ = value;
12330 bitField2_ = (bitField2_ & ~0x00000100);
12331 useMirRounding_ =
true;
12336 private int maxIntegerRoundingScaling_ = 600;
12349 return ((bitField2_ & 0x00000200) != 0);
12363 return maxIntegerRoundingScaling_;
12377 bitField2_ |= 0x00000200;
12378 maxIntegerRoundingScaling_ = value;
12394 bitField2_ = (bitField2_ & ~0x00000200);
12395 maxIntegerRoundingScaling_ = 600;
12400 private boolean addLpConstraintsLazily_ =
true;
12412 return ((bitField2_ & 0x00000400) != 0);
12425 return addLpConstraintsLazily_;
12438 bitField2_ |= 0x00000400;
12439 addLpConstraintsLazily_ = value;
12454 bitField2_ = (bitField2_ & ~0x00000400);
12455 addLpConstraintsLazily_ =
true;
12460 private double minOrthogonalityForLpConstraints_ ;
12473 return ((bitField2_ & 0x00000800) != 0);
12487 return minOrthogonalityForLpConstraints_;
12501 bitField2_ |= 0x00000800;
12502 minOrthogonalityForLpConstraints_ = value;
12518 bitField2_ = (bitField2_ & ~0x00000800);
12519 minOrthogonalityForLpConstraints_ = 0D;
12524 private long maxInactiveCount_ = 1000L;
12534 return ((bitField2_ & 0x00001000) != 0);
12545 return maxInactiveCount_;
12556 bitField2_ |= 0x00001000;
12557 maxInactiveCount_ = value;
12570 bitField2_ = (bitField2_ & ~0x00001000);
12571 maxInactiveCount_ = 1000L;
12576 private long constraintRemovalBatchSize_ = 100L;
12586 return ((bitField2_ & 0x00002000) != 0);
12597 return constraintRemovalBatchSize_;
12608 bitField2_ |= 0x00002000;
12609 constraintRemovalBatchSize_ = value;
12622 bitField2_ = (bitField2_ & ~0x00002000);
12623 constraintRemovalBatchSize_ = 100L;
12628 private int searchBranching_ = 0;
12633 return ((bitField2_ & 0x00004000) != 0);
12639 @SuppressWarnings(
"deprecation")
12647 if (value ==
null) {
12648 throw new NullPointerException();
12650 bitField2_ |= 0x00004000;
12651 searchBranching_ = value.getNumber();
12659 bitField2_ = (bitField2_ & ~0x00004000);
12660 searchBranching_ = 0;
12665 private boolean exploitIntegerLpSolution_ =
true;
12677 return ((bitField2_ & 0x00008000) != 0);
12690 return exploitIntegerLpSolution_;
12703 bitField2_ |= 0x00008000;
12704 exploitIntegerLpSolution_ = value;
12719 bitField2_ = (bitField2_ & ~0x00008000);
12720 exploitIntegerLpSolution_ =
true;
12725 private boolean exploitAllLpSolution_ =
true;
12736 return ((bitField2_ & 0x00010000) != 0);
12748 return exploitAllLpSolution_;
12760 bitField2_ |= 0x00010000;
12761 exploitAllLpSolution_ = value;
12775 bitField2_ = (bitField2_ & ~0x00010000);
12776 exploitAllLpSolution_ =
true;
12781 private boolean exploitBestSolution_ ;
12790 return ((bitField2_ & 0x00020000) != 0);
12800 return exploitBestSolution_;
12810 bitField2_ |= 0x00020000;
12811 exploitBestSolution_ = value;
12823 bitField2_ = (bitField2_ & ~0x00020000);
12824 exploitBestSolution_ =
false;
12829 private boolean exploitObjective_ =
true;
12839 return ((bitField2_ & 0x00040000) != 0);
12850 return exploitObjective_;
12861 bitField2_ |= 0x00040000;
12862 exploitObjective_ = value;
12875 bitField2_ = (bitField2_ & ~0x00040000);
12876 exploitObjective_ =
true;
12881 private long pseudoCostReliabilityThreshold_ = 100L;
12891 return ((bitField2_ & 0x00080000) != 0);
12902 return pseudoCostReliabilityThreshold_;
12913 bitField2_ |= 0x00080000;
12914 pseudoCostReliabilityThreshold_ = value;
12927 bitField2_ = (bitField2_ & ~0x00080000);
12928 pseudoCostReliabilityThreshold_ = 100L;
12933 private boolean optimizeWithCore_ ;
12945 return ((bitField2_ & 0x00100000) != 0);
12958 return optimizeWithCore_;
12971 bitField2_ |= 0x00100000;
12972 optimizeWithCore_ = value;
12987 bitField2_ = (bitField2_ & ~0x00100000);
12988 optimizeWithCore_ =
false;
12993 private int binarySearchNumConflicts_ = -1;
13005 return ((bitField2_ & 0x00200000) != 0);
13018 return binarySearchNumConflicts_;
13031 bitField2_ |= 0x00200000;
13032 binarySearchNumConflicts_ = value;
13047 bitField2_ = (bitField2_ & ~0x00200000);
13048 binarySearchNumConflicts_ = -1;
13053 private boolean optimizeWithMaxHs_ ;
13067 return ((bitField2_ & 0x00400000) != 0);
13082 return optimizeWithMaxHs_;
13097 bitField2_ |= 0x00400000;
13098 optimizeWithMaxHs_ = value;
13115 bitField2_ = (bitField2_ & ~0x00400000);
13116 optimizeWithMaxHs_ =
false;
13121 private boolean cpModelPresolve_ =
true;
13130 return ((bitField2_ & 0x00800000) != 0);
13140 return cpModelPresolve_;
13150 bitField2_ |= 0x00800000;
13151 cpModelPresolve_ = value;
13163 bitField2_ = (bitField2_ & ~0x00800000);
13164 cpModelPresolve_ =
true;
13169 private int cpModelProbingLevel_ = 2;
13178 return ((bitField2_ & 0x01000000) != 0);
13188 return cpModelProbingLevel_;
13198 bitField2_ |= 0x01000000;
13199 cpModelProbingLevel_ = value;
13211 bitField2_ = (bitField2_ & ~0x01000000);
13212 cpModelProbingLevel_ = 2;
13217 private boolean cpModelUseSatPresolve_ =
true;
13226 return ((bitField2_ & 0x02000000) != 0);
13236 return cpModelUseSatPresolve_;
13246 bitField2_ |= 0x02000000;
13247 cpModelUseSatPresolve_ = value;
13259 bitField2_ = (bitField2_ & ~0x02000000);
13260 cpModelUseSatPresolve_ =
true;
13265 private boolean enumerateAllSolutions_ ;
13279 return ((bitField2_ & 0x04000000) != 0);
13294 return enumerateAllSolutions_;
13309 bitField2_ |= 0x04000000;
13310 enumerateAllSolutions_ = value;
13327 bitField2_ = (bitField2_ & ~0x04000000);
13328 enumerateAllSolutions_ =
false;
13333 private boolean fillTightenedDomainsInResponse_ ;
13346 return ((bitField2_ & 0x08000000) != 0);
13360 return fillTightenedDomainsInResponse_;
13374 bitField2_ |= 0x08000000;
13375 fillTightenedDomainsInResponse_ = value;
13391 bitField2_ = (bitField2_ & ~0x08000000);
13392 fillTightenedDomainsInResponse_ =
false;
13397 private boolean instantiateAllVariables_ =
true;
13407 return ((bitField2_ & 0x10000000) != 0);
13418 return instantiateAllVariables_;
13429 bitField2_ |= 0x10000000;
13430 instantiateAllVariables_ = value;
13443 bitField2_ = (bitField2_ & ~0x10000000);
13444 instantiateAllVariables_ =
true;
13449 private boolean autoDetectGreaterThanAtLeastOneOf_ =
true;
13461 return ((bitField2_ & 0x20000000) != 0);
13474 return autoDetectGreaterThanAtLeastOneOf_;
13487 bitField2_ |= 0x20000000;
13488 autoDetectGreaterThanAtLeastOneOf_ = value;
13503 bitField2_ = (bitField2_ & ~0x20000000);
13504 autoDetectGreaterThanAtLeastOneOf_ =
true;
13509 private boolean stopAfterFirstSolution_ ;
13518 return ((bitField2_ & 0x40000000) != 0);
13528 return stopAfterFirstSolution_;
13538 bitField2_ |= 0x40000000;
13539 stopAfterFirstSolution_ = value;
13551 bitField2_ = (bitField2_ & ~0x40000000);
13552 stopAfterFirstSolution_ =
false;
13557 private int numSearchWorkers_ ;
13567 return ((bitField2_ & 0x80000000) != 0);
13578 return numSearchWorkers_;
13589 bitField2_ |= 0x80000000;
13590 numSearchWorkers_ = value;
13603 bitField2_ = (bitField2_ & ~0x80000000);
13604 numSearchWorkers_ = 0;
13609 private boolean deterministicParallelSearch_ ;
13620 return ((bitField3_ & 0x00000001) != 0);
13632 return deterministicParallelSearch_;
13644 bitField3_ |= 0x00000001;
13645 deterministicParallelSearch_ = value;
13659 bitField3_ = (bitField3_ & ~0x00000001);
13660 deterministicParallelSearch_ =
false;
13665 private boolean shareObjectiveBounds_ =
true;
13674 return ((bitField3_ & 0x00000002) != 0);
13684 return shareObjectiveBounds_;
13694 bitField3_ |= 0x00000002;
13695 shareObjectiveBounds_ = value;
13707 bitField3_ = (bitField3_ & ~0x00000002);
13708 shareObjectiveBounds_ =
true;
13713 private boolean shareLevelZeroBounds_ =
true;
13722 return ((bitField3_ & 0x00000004) != 0);
13732 return shareLevelZeroBounds_;
13742 bitField3_ |= 0x00000004;
13743 shareLevelZeroBounds_ = value;
13755 bitField3_ = (bitField3_ & ~0x00000004);
13756 shareLevelZeroBounds_ =
true;
13761 private boolean useLnsOnly_ ;
13770 return ((bitField3_ & 0x00000008) != 0);
13780 return useLnsOnly_;
13790 bitField3_ |= 0x00000008;
13791 useLnsOnly_ = value;
13803 bitField3_ = (bitField3_ & ~0x00000008);
13804 useLnsOnly_ =
false;
13809 private boolean lnsFocusOnDecisionVariables_ ;
13814 return ((bitField3_ & 0x00000010) != 0);
13820 return lnsFocusOnDecisionVariables_;
13826 bitField3_ |= 0x00000010;
13827 lnsFocusOnDecisionVariables_ = value;
13835 bitField3_ = (bitField3_ & ~0x00000010);
13836 lnsFocusOnDecisionVariables_ =
false;
13841 private boolean useRinsLns_ ;
13850 return ((bitField3_ & 0x00000020) != 0);
13860 return useRinsLns_;
13870 bitField3_ |= 0x00000020;
13871 useRinsLns_ = value;
13883 bitField3_ = (bitField3_ & ~0x00000020);
13884 useRinsLns_ =
false;
13889 private boolean randomizeSearch_ ;
13898 return ((bitField3_ & 0x00000040) != 0);
13908 return randomizeSearch_;
13918 bitField3_ |= 0x00000040;
13919 randomizeSearch_ = value;
13931 bitField3_ = (bitField3_ & ~0x00000040);
13932 randomizeSearch_ =
false;
13937 private long searchRandomizationTolerance_ ;
13952 return ((bitField3_ & 0x00000080) != 0);
13968 return searchRandomizationTolerance_;
13984 bitField3_ |= 0x00000080;
13985 searchRandomizationTolerance_ = value;
14003 bitField3_ = (bitField3_ & ~0x00000080);
14004 searchRandomizationTolerance_ = 0L;
14009 private boolean useOptionalVariables_ =
true;
14020 return ((bitField3_ & 0x00000100) != 0);
14032 return useOptionalVariables_;
14044 bitField3_ |= 0x00000100;
14045 useOptionalVariables_ = value;
14059 bitField3_ = (bitField3_ & ~0x00000100);
14060 useOptionalVariables_ =
true;
14065 private boolean useExactLpReason_ =
true;
14077 return ((bitField3_ & 0x00000200) != 0);
14090 return useExactLpReason_;
14103 bitField3_ |= 0x00000200;
14104 useExactLpReason_ = value;
14119 bitField3_ = (bitField3_ & ~0x00000200);
14120 useExactLpReason_ =
true;
14125 private boolean useCombinedNoOverlap_ ;
14136 return ((bitField3_ & 0x00000400) != 0);
14148 return useCombinedNoOverlap_;
14160 bitField3_ |= 0x00000400;
14161 useCombinedNoOverlap_ = value;
14175 bitField3_ = (bitField3_ & ~0x00000400);
14176 useCombinedNoOverlap_ =
false;
14181 private double mipMaxBound_ = 10000000D;
14192 return ((bitField3_ & 0x00000800) != 0);
14204 return mipMaxBound_;
14216 bitField3_ |= 0x00000800;
14217 mipMaxBound_ = value;
14231 bitField3_ = (bitField3_ & ~0x00000800);
14232 mipMaxBound_ = 10000000D;
14237 private double mipVarScaling_ = 1D;
14248 return ((bitField3_ & 0x00001000) != 0);
14260 return mipVarScaling_;
14272 bitField3_ |= 0x00001000;
14273 mipVarScaling_ = value;
14287 bitField3_ = (bitField3_ & ~0x00001000);
14288 mipVarScaling_ = 1D;
14293 private double mipWantedPrecision_ = 1e-06D;
14310 return ((bitField3_ & 0x00002000) != 0);
14328 return mipWantedPrecision_;
14346 bitField3_ |= 0x00002000;
14347 mipWantedPrecision_ = value;
14367 bitField3_ = (bitField3_ & ~0x00002000);
14368 mipWantedPrecision_ = 1e-06D;
14373 private int mipMaxActivityExponent_ = 53;
14388 return ((bitField3_ & 0x00004000) != 0);
14404 return mipMaxActivityExponent_;
14420 bitField3_ |= 0x00004000;
14421 mipMaxActivityExponent_ = value;
14439 bitField3_ = (bitField3_ & ~0x00004000);
14440 mipMaxActivityExponent_ = 53;
14445 private double mipCheckPrecision_ = 0.0001D;
14457 return ((bitField3_ & 0x00008000) != 0);
14470 return mipCheckPrecision_;
14483 bitField3_ |= 0x00008000;
14484 mipCheckPrecision_ = value;
14499 bitField3_ = (bitField3_ & ~0x00008000);
14500 mipCheckPrecision_ = 0.0001D;
14505 private boolean catchSigintSignal_ =
true;
14516 return ((bitField3_ & 0x00010000) != 0);
14528 return catchSigintSignal_;
14540 bitField3_ |= 0x00010000;
14541 catchSigintSignal_ = value;
14555 bitField3_ = (bitField3_ & ~0x00010000);
14556 catchSigintSignal_ =
true;
14560 @java.lang.Override
14562 final com.
google.protobuf.UnknownFieldSet unknownFields) {
14566 @java.lang.Override
14568 final com.
google.protobuf.UnknownFieldSet unknownFields) {
14583 return DEFAULT_INSTANCE;
14588 @java.lang.Override
14590 com.
google.protobuf.CodedInputStream input,
14591 com.
google.protobuf.ExtensionRegistryLite extensionRegistry)
14592 throws com.
google.protobuf.InvalidProtocolBufferException {
14601 @java.lang.Override
14606 @java.lang.Override
14608 return DEFAULT_INSTANCE;