5package com.google.ortools.sat;
17 com.google.protobuf.GeneratedMessageV3 implements
20private static final long serialVersionUID = 0L;
22 private CpSolverResponse(com.google.protobuf.GeneratedMessageV3.Builder<?> builder) {
27 solution_ = emptyLongList();
28 additionalSolutions_ = java.util.Collections.emptyList();
29 tightenedVariables_ = java.util.Collections.emptyList();
30 sufficientAssumptionsForInfeasibility_ = emptyIntList();
36 @SuppressWarnings({
"unused"})
38 UnusedPrivateParameter unused) {
42 public static final com.google.protobuf.Descriptors.Descriptor
44 return com.google.ortools.sat.CpModelProtobuf.internal_static_operations_research_sat_CpSolverResponse_descriptor;
48 protected com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
50 return com.google.ortools.sat.CpModelProtobuf.internal_static_operations_research_sat_CpSolverResponse_fieldAccessorTable
51 .ensureFieldAccessorsInitialized(
52 com.google.ortools.sat.CpSolverResponse.class, com.google.ortools.sat.CpSolverResponse.Builder.class);
55 private int bitField0_;
57 private int status_ = 0;
79 return result ==
null ? com.google.ortools.sat.CpSolverStatus.UNRECOGNIZED : result;
83 @SuppressWarnings(
"serial")
84 private com.google.protobuf.Internal.LongList solution_ =
98 public java.util.List<java.lang.Long>
114 return solution_.size();
129 return solution_.getLong(index);
131 private int solutionMemoizedSerializedSize = -1;
134 private double objectiveValue_ = 0D;
148 return objectiveValue_;
152 private double bestObjectiveBound_ = 0D;
165 return bestObjectiveBound_;
169 @SuppressWarnings(
"serial")
170 private java.util.List<com.google.ortools.sat.
CpSolverSolution> additionalSolutions_;
185 return additionalSolutions_;
200 public java.util.List<? extends com.google.ortools.sat.CpSolverSolutionOrBuilder>
202 return additionalSolutions_;
218 return additionalSolutions_.size();
234 return additionalSolutions_.get(index);
251 return additionalSolutions_.get(index);
255 @SuppressWarnings(
"serial")
277 return tightenedVariables_;
298 public java.util.List<? extends com.google.ortools.sat.IntegerVariableProtoOrBuilder>
300 return tightenedVariables_;
322 return tightenedVariables_.size();
344 return tightenedVariables_.get(index);
367 return tightenedVariables_.get(index);
371 @SuppressWarnings(
"serial")
372 private com.google.protobuf.Internal.IntList sufficientAssumptionsForInfeasibility_ =
401 public java.util.List<java.lang.Integer>
403 return sufficientAssumptionsForInfeasibility_;
432 return sufficientAssumptionsForInfeasibility_.size();
462 return sufficientAssumptionsForInfeasibility_.getInt(index);
464 private int sufficientAssumptionsForInfeasibilityMemoizedSerializedSize = -1;
480 return ((bitField0_ & 0x00000001) != 0);
494 return integerObjective_ ==
null ? com.google.ortools.sat.CpObjectiveProto.getDefaultInstance() : integerObjective_;
507 return integerObjective_ ==
null ? com.google.ortools.sat.CpObjectiveProto.getDefaultInstance() : integerObjective_;
511 private long innerObjectiveLowerBound_ = 0L;
527 return innerObjectiveLowerBound_;
531 private long numIntegers_ = 0L;
550 private long numBooleans_ = 0L;
561 private long numConflicts_ = 0L;
568 return numConflicts_;
572 private long numBranches_ = 0L;
583 private long numBinaryPropagations_ = 0L;
590 return numBinaryPropagations_;
594 private long numIntegerPropagations_ = 0L;
601 return numIntegerPropagations_;
605 private long numRestarts_ = 0L;
616 private long numLpIterations_ = 0L;
623 return numLpIterations_;
627 private double wallTime_ = 0D;
642 private double userTime_ = 0D;
653 private double deterministicTime_ = 0D;
660 return deterministicTime_;
664 private double gapIntegral_ = 0D;
679 @SuppressWarnings(
"serial")
680 private volatile java.lang.Object solutionInfo_ = "";
692 java.lang.Object ref = solutionInfo_;
693 if (ref instanceof java.lang.String) {
694 return (java.lang.String) ref;
696 com.google.protobuf.ByteString bs =
697 (com.google.protobuf.ByteString) ref;
698 java.lang.String s = bs.toStringUtf8();
713 public com.google.protobuf.ByteString
715 java.lang.Object ref = solutionInfo_;
716 if (ref instanceof java.lang.String) {
717 com.google.protobuf.ByteString b =
718 com.google.protobuf.ByteString.copyFromUtf8(
719 (java.lang.String) ref);
723 return (com.google.protobuf.ByteString) ref;
728 @SuppressWarnings(
"serial")
729 private volatile java.lang.Object solveLog_ = "";
741 java.lang.Object ref = solveLog_;
742 if (ref instanceof java.lang.String) {
743 return (java.lang.String) ref;
745 com.google.protobuf.ByteString bs =
746 (com.google.protobuf.ByteString) ref;
747 java.lang.String s = bs.toStringUtf8();
762 public com.google.protobuf.ByteString
764 java.lang.Object ref = solveLog_;
765 if (ref instanceof java.lang.String) {
766 com.google.protobuf.ByteString b =
767 com.google.protobuf.ByteString.copyFromUtf8(
768 (java.lang.String) ref);
772 return (com.google.protobuf.ByteString) ref;
776 private byte memoizedIsInitialized = -1;
783 memoizedIsInitialized = 1;
788 public void writeTo(com.google.protobuf.CodedOutputStream output)
789 throws java.io.IOException {
791 if (status_ != com.google.ortools.sat.CpSolverStatus.UNKNOWN.getNumber()) {
792 output.writeEnum(1, status_);
795 output.writeUInt32NoTag(18);
796 output.writeUInt32NoTag(solutionMemoizedSerializedSize);
798 for (
int i = 0; i < solution_.size(); i++) {
799 output.writeInt64NoTag(solution_.getLong(i));
801 if (java.lang.Double.doubleToRawLongBits(objectiveValue_) != 0) {
802 output.writeDouble(3, objectiveValue_);
804 if (java.lang.Double.doubleToRawLongBits(bestObjectiveBound_) != 0) {
805 output.writeDouble(4, bestObjectiveBound_);
807 if (numBooleans_ != 0L) {
808 output.writeInt64(10, numBooleans_);
810 if (numConflicts_ != 0L) {
811 output.writeInt64(11, numConflicts_);
813 if (numBranches_ != 0L) {
814 output.writeInt64(12, numBranches_);
816 if (numBinaryPropagations_ != 0L) {
817 output.writeInt64(13, numBinaryPropagations_);
819 if (numIntegerPropagations_ != 0L) {
820 output.writeInt64(14, numIntegerPropagations_);
822 if (java.lang.Double.doubleToRawLongBits(wallTime_) != 0) {
823 output.writeDouble(15, wallTime_);
825 if (java.lang.Double.doubleToRawLongBits(userTime_) != 0) {
826 output.writeDouble(16, userTime_);
828 if (java.lang.Double.doubleToRawLongBits(deterministicTime_) != 0) {
829 output.writeDouble(17, deterministicTime_);
831 if (!com.google.protobuf.GeneratedMessageV3.isStringEmpty(solutionInfo_)) {
832 com.google.protobuf.GeneratedMessageV3.writeString(output, 20, solutionInfo_);
834 for (
int i = 0; i < tightenedVariables_.size(); i++) {
835 output.writeMessage(21, tightenedVariables_.get(i));
837 if (java.lang.Double.doubleToRawLongBits(gapIntegral_) != 0) {
838 output.writeDouble(22, gapIntegral_);
841 output.writeUInt32NoTag(186);
842 output.writeUInt32NoTag(sufficientAssumptionsForInfeasibilityMemoizedSerializedSize);
844 for (
int i = 0; i < sufficientAssumptionsForInfeasibility_.size(); i++) {
845 output.writeInt32NoTag(sufficientAssumptionsForInfeasibility_.getInt(i));
847 if (numRestarts_ != 0L) {
848 output.writeInt64(24, numRestarts_);
850 if (numLpIterations_ != 0L) {
851 output.writeInt64(25, numLpIterations_);
853 if (!com.google.protobuf.GeneratedMessageV3.isStringEmpty(solveLog_)) {
854 com.google.protobuf.GeneratedMessageV3.writeString(output, 26, solveLog_);
856 for (
int i = 0; i < additionalSolutions_.size(); i++) {
857 output.writeMessage(27, additionalSolutions_.get(i));
859 if (((bitField0_ & 0x00000001) != 0)) {
862 if (innerObjectiveLowerBound_ != 0L) {
863 output.writeInt64(29, innerObjectiveLowerBound_);
865 if (numIntegers_ != 0L) {
866 output.writeInt64(30, numIntegers_);
868 getUnknownFields().writeTo(output);
873 int size = memoizedSize;
874 if (size != -1)
return size;
877 if (status_ != com.google.ortools.sat.CpSolverStatus.UNKNOWN.getNumber()) {
878 size += com.google.protobuf.CodedOutputStream
879 .computeEnumSize(1, status_);
883 for (
int i = 0; i < solution_.size(); i++) {
884 dataSize += com.google.protobuf.CodedOutputStream
885 .computeInt64SizeNoTag(solution_.getLong(i));
890 size += com.google.protobuf.CodedOutputStream
891 .computeInt32SizeNoTag(dataSize);
893 solutionMemoizedSerializedSize = dataSize;
895 if (java.lang.Double.doubleToRawLongBits(objectiveValue_) != 0) {
896 size += com.google.protobuf.CodedOutputStream
897 .computeDoubleSize(3, objectiveValue_);
899 if (java.lang.Double.doubleToRawLongBits(bestObjectiveBound_) != 0) {
900 size += com.google.protobuf.CodedOutputStream
901 .computeDoubleSize(4, bestObjectiveBound_);
903 if (numBooleans_ != 0L) {
904 size += com.google.protobuf.CodedOutputStream
905 .computeInt64Size(10, numBooleans_);
907 if (numConflicts_ != 0L) {
908 size += com.google.protobuf.CodedOutputStream
909 .computeInt64Size(11, numConflicts_);
911 if (numBranches_ != 0L) {
912 size += com.google.protobuf.CodedOutputStream
913 .computeInt64Size(12, numBranches_);
915 if (numBinaryPropagations_ != 0L) {
916 size += com.google.protobuf.CodedOutputStream
917 .computeInt64Size(13, numBinaryPropagations_);
919 if (numIntegerPropagations_ != 0L) {
920 size += com.google.protobuf.CodedOutputStream
921 .computeInt64Size(14, numIntegerPropagations_);
923 if (java.lang.Double.doubleToRawLongBits(wallTime_) != 0) {
924 size += com.google.protobuf.CodedOutputStream
925 .computeDoubleSize(15, wallTime_);
927 if (java.lang.Double.doubleToRawLongBits(userTime_) != 0) {
928 size += com.google.protobuf.CodedOutputStream
929 .computeDoubleSize(16, userTime_);
931 if (java.lang.Double.doubleToRawLongBits(deterministicTime_) != 0) {
932 size += com.google.protobuf.CodedOutputStream
933 .computeDoubleSize(17, deterministicTime_);
935 if (!com.google.protobuf.GeneratedMessageV3.isStringEmpty(solutionInfo_)) {
936 size += com.google.protobuf.GeneratedMessageV3.computeStringSize(20, solutionInfo_);
938 for (
int i = 0; i < tightenedVariables_.size(); i++) {
939 size += com.google.protobuf.CodedOutputStream
940 .computeMessageSize(21, tightenedVariables_.get(i));
942 if (java.lang.Double.doubleToRawLongBits(gapIntegral_) != 0) {
943 size += com.google.protobuf.CodedOutputStream
944 .computeDoubleSize(22, gapIntegral_);
948 for (
int i = 0; i < sufficientAssumptionsForInfeasibility_.size(); i++) {
949 dataSize += com.google.protobuf.CodedOutputStream
950 .computeInt32SizeNoTag(sufficientAssumptionsForInfeasibility_.getInt(i));
955 size += com.google.protobuf.CodedOutputStream
956 .computeInt32SizeNoTag(dataSize);
958 sufficientAssumptionsForInfeasibilityMemoizedSerializedSize = dataSize;
960 if (numRestarts_ != 0L) {
961 size += com.google.protobuf.CodedOutputStream
962 .computeInt64Size(24, numRestarts_);
964 if (numLpIterations_ != 0L) {
965 size += com.google.protobuf.CodedOutputStream
966 .computeInt64Size(25, numLpIterations_);
968 if (!com.google.protobuf.GeneratedMessageV3.isStringEmpty(solveLog_)) {
969 size += com.google.protobuf.GeneratedMessageV3.computeStringSize(26, solveLog_);
971 for (
int i = 0; i < additionalSolutions_.size(); i++) {
972 size += com.google.protobuf.CodedOutputStream
973 .computeMessageSize(27, additionalSolutions_.get(i));
975 if (((bitField0_ & 0x00000001) != 0)) {
976 size += com.google.protobuf.CodedOutputStream
979 if (innerObjectiveLowerBound_ != 0L) {
980 size += com.google.protobuf.CodedOutputStream
981 .computeInt64Size(29, innerObjectiveLowerBound_);
983 if (numIntegers_ != 0L) {
984 size += com.google.protobuf.CodedOutputStream
985 .computeInt64Size(30, numIntegers_);
987 size += getUnknownFields().getSerializedSize();
993 public boolean equals(
final java.lang.Object obj) {
997 if (!(obj instanceof com.google.ortools.sat.CpSolverResponse)) {
998 return super.equals(obj);
1002 if (status_ != other.status_)
return false;
1006 != java.lang.Double.doubleToLongBits(
1009 != java.lang.Double.doubleToLongBits(
1040 if (java.lang.Double.doubleToLongBits(
getWallTime())
1041 != java.lang.Double.doubleToLongBits(
1043 if (java.lang.Double.doubleToLongBits(
getUserTime())
1044 != java.lang.Double.doubleToLongBits(
1047 != java.lang.Double.doubleToLongBits(
1050 != java.lang.Double.doubleToLongBits(
1056 if (!getUnknownFields().equals(other.getUnknownFields()))
return false;
1062 if (memoizedHashCode != 0) {
1063 return memoizedHashCode;
1068 hash = (53 * hash) + status_;
1074 hash = (53 * hash) + com.google.protobuf.Internal.hashLong(
1077 hash = (53 * hash) + com.google.protobuf.Internal.hashLong(
1096 hash = (53 * hash) + com.google.protobuf.Internal.hashLong(
1099 hash = (53 * hash) + com.google.protobuf.Internal.hashLong(
1102 hash = (53 * hash) + com.google.protobuf.Internal.hashLong(
1105 hash = (53 * hash) + com.google.protobuf.Internal.hashLong(
1108 hash = (53 * hash) + com.google.protobuf.Internal.hashLong(
1111 hash = (53 * hash) + com.google.protobuf.Internal.hashLong(
1114 hash = (53 * hash) + com.google.protobuf.Internal.hashLong(
1117 hash = (53 * hash) + com.google.protobuf.Internal.hashLong(
1120 hash = (53 * hash) + com.google.protobuf.Internal.hashLong(
1123 hash = (53 * hash) + com.google.protobuf.Internal.hashLong(
1124 java.lang.Double.doubleToLongBits(
getWallTime()));
1126 hash = (53 * hash) + com.google.protobuf.Internal.hashLong(
1127 java.lang.Double.doubleToLongBits(
getUserTime()));
1129 hash = (53 * hash) + com.google.protobuf.Internal.hashLong(
1132 hash = (53 * hash) + com.google.protobuf.Internal.hashLong(
1138 hash = (29 * hash) + getUnknownFields().hashCode();
1139 memoizedHashCode = hash;
1144 java.nio.ByteBuffer data)
1145 throws com.google.protobuf.InvalidProtocolBufferException {
1146 return PARSER.parseFrom(data);
1149 java.nio.ByteBuffer data,
1150 com.google.protobuf.ExtensionRegistryLite extensionRegistry)
1151 throws com.google.protobuf.InvalidProtocolBufferException {
1152 return PARSER.parseFrom(data, extensionRegistry);
1155 com.google.protobuf.ByteString data)
1156 throws com.google.protobuf.InvalidProtocolBufferException {
1157 return PARSER.parseFrom(data);
1160 com.google.protobuf.ByteString data,
1161 com.google.protobuf.ExtensionRegistryLite extensionRegistry)
1162 throws com.google.protobuf.InvalidProtocolBufferException {
1163 return PARSER.parseFrom(data, extensionRegistry);
1166 throws com.google.protobuf.InvalidProtocolBufferException {
1167 return PARSER.parseFrom(data);
1171 com.google.protobuf.ExtensionRegistryLite extensionRegistry)
1172 throws com.google.protobuf.InvalidProtocolBufferException {
1173 return PARSER.parseFrom(data, extensionRegistry);
1176 throws java.io.IOException {
1177 return com.google.protobuf.GeneratedMessageV3
1178 .parseWithIOException(PARSER, input);
1181 java.io.InputStream input,
1182 com.google.protobuf.ExtensionRegistryLite extensionRegistry)
1183 throws java.io.IOException {
1184 return com.google.protobuf.GeneratedMessageV3
1185 .parseWithIOException(PARSER, input, extensionRegistry);
1189 throws java.io.IOException {
1190 return com.google.protobuf.GeneratedMessageV3
1191 .parseDelimitedWithIOException(PARSER, input);
1195 java.io.InputStream input,
1196 com.google.protobuf.ExtensionRegistryLite extensionRegistry)
1197 throws java.io.IOException {
1198 return com.google.protobuf.GeneratedMessageV3
1199 .parseDelimitedWithIOException(PARSER, input, extensionRegistry);
1202 com.google.protobuf.CodedInputStream input)
1203 throws java.io.IOException {
1204 return com.google.protobuf.GeneratedMessageV3
1205 .parseWithIOException(PARSER, input);
1208 com.google.protobuf.CodedInputStream input,
1209 com.google.protobuf.ExtensionRegistryLite extensionRegistry)
1210 throws java.io.IOException {
1211 return com.google.protobuf.GeneratedMessageV3
1212 .parseWithIOException(PARSER, input, extensionRegistry);
1225 return this == DEFAULT_INSTANCE
1231 com.google.protobuf.GeneratedMessageV3.BuilderParent parent) {
1245 com.google.protobuf.GeneratedMessageV3.
Builder<Builder> implements
1248 public static final com.google.protobuf.Descriptors.Descriptor
1250 return com.google.ortools.sat.CpModelProtobuf.internal_static_operations_research_sat_CpSolverResponse_descriptor;
1254 protected com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
1256 return com.google.ortools.sat.CpModelProtobuf.internal_static_operations_research_sat_CpSolverResponse_fieldAccessorTable
1257 .ensureFieldAccessorsInitialized(
1258 com.google.ortools.sat.CpSolverResponse.class, com.google.ortools.sat.CpSolverResponse.Builder.class);
1263 maybeForceBuilderInitialization();
1267 com.google.protobuf.GeneratedMessageV3.BuilderParent parent) {
1269 maybeForceBuilderInitialization();
1271 private void maybeForceBuilderInitialization() {
1272 if (com.google.protobuf.GeneratedMessageV3
1273 .alwaysUseFieldBuilders) {
1274 getAdditionalSolutionsFieldBuilder();
1275 getTightenedVariablesFieldBuilder();
1276 getIntegerObjectiveFieldBuilder();
1284 solution_ = emptyLongList();
1285 objectiveValue_ = 0D;
1286 bestObjectiveBound_ = 0D;
1287 if (additionalSolutionsBuilder_ ==
null) {
1288 additionalSolutions_ = java.util.Collections.emptyList();
1290 additionalSolutions_ =
null;
1291 additionalSolutionsBuilder_.clear();
1293 bitField0_ = (bitField0_ & ~0x00000010);
1294 if (tightenedVariablesBuilder_ ==
null) {
1295 tightenedVariables_ = java.util.Collections.emptyList();
1297 tightenedVariables_ =
null;
1298 tightenedVariablesBuilder_.clear();
1300 bitField0_ = (bitField0_ & ~0x00000020);
1301 sufficientAssumptionsForInfeasibility_ = emptyIntList();
1302 integerObjective_ =
null;
1303 if (integerObjectiveBuilder_ !=
null) {
1304 integerObjectiveBuilder_.dispose();
1305 integerObjectiveBuilder_ =
null;
1307 innerObjectiveLowerBound_ = 0L;
1312 numBinaryPropagations_ = 0L;
1313 numIntegerPropagations_ = 0L;
1315 numLpIterations_ = 0L;
1318 deterministicTime_ = 0D;
1326 public com.google.protobuf.Descriptors.Descriptor
1328 return com.google.ortools.sat.CpModelProtobuf.internal_static_operations_research_sat_CpSolverResponse_descriptor;
1333 return com.google.ortools.sat.CpSolverResponse.getDefaultInstance();
1340 throw newUninitializedMessageException(result);
1348 buildPartialRepeatedFields(result);
1349 if (bitField0_ != 0) { buildPartial0(result); }
1354 private void buildPartialRepeatedFields(com.google.ortools.sat.CpSolverResponse result) {
1355 if (additionalSolutionsBuilder_ ==
null) {
1356 if (((bitField0_ & 0x00000010) != 0)) {
1357 additionalSolutions_ = java.util.Collections.unmodifiableList(additionalSolutions_);
1358 bitField0_ = (bitField0_ & ~0x00000010);
1360 result.additionalSolutions_ = additionalSolutions_;
1362 result.additionalSolutions_ = additionalSolutionsBuilder_.build();
1364 if (tightenedVariablesBuilder_ ==
null) {
1365 if (((bitField0_ & 0x00000020) != 0)) {
1366 tightenedVariables_ = java.util.Collections.unmodifiableList(tightenedVariables_);
1367 bitField0_ = (bitField0_ & ~0x00000020);
1369 result.tightenedVariables_ = tightenedVariables_;
1371 result.tightenedVariables_ = tightenedVariablesBuilder_.build();
1375 private void buildPartial0(com.google.ortools.sat.CpSolverResponse result) {
1376 int from_bitField0_ = bitField0_;
1377 if (((from_bitField0_ & 0x00000001) != 0)) {
1378 result.status_ = status_;
1380 if (((from_bitField0_ & 0x00000002) != 0)) {
1381 solution_.makeImmutable();
1382 result.solution_ = solution_;
1384 if (((from_bitField0_ & 0x00000004) != 0)) {
1385 result.objectiveValue_ = objectiveValue_;
1387 if (((from_bitField0_ & 0x00000008) != 0)) {
1388 result.bestObjectiveBound_ = bestObjectiveBound_;
1390 if (((from_bitField0_ & 0x00000040) != 0)) {
1391 sufficientAssumptionsForInfeasibility_.makeImmutable();
1392 result.sufficientAssumptionsForInfeasibility_ = sufficientAssumptionsForInfeasibility_;
1394 int to_bitField0_ = 0;
1395 if (((from_bitField0_ & 0x00000080) != 0)) {
1396 result.integerObjective_ = integerObjectiveBuilder_ ==
null
1398 : integerObjectiveBuilder_.build();
1399 to_bitField0_ |= 0x00000001;
1401 if (((from_bitField0_ & 0x00000100) != 0)) {
1402 result.innerObjectiveLowerBound_ = innerObjectiveLowerBound_;
1404 if (((from_bitField0_ & 0x00000200) != 0)) {
1405 result.numIntegers_ = numIntegers_;
1407 if (((from_bitField0_ & 0x00000400) != 0)) {
1408 result.numBooleans_ = numBooleans_;
1410 if (((from_bitField0_ & 0x00000800) != 0)) {
1411 result.numConflicts_ = numConflicts_;
1413 if (((from_bitField0_ & 0x00001000) != 0)) {
1414 result.numBranches_ = numBranches_;
1416 if (((from_bitField0_ & 0x00002000) != 0)) {
1417 result.numBinaryPropagations_ = numBinaryPropagations_;
1419 if (((from_bitField0_ & 0x00004000) != 0)) {
1420 result.numIntegerPropagations_ = numIntegerPropagations_;
1422 if (((from_bitField0_ & 0x00008000) != 0)) {
1423 result.numRestarts_ = numRestarts_;
1425 if (((from_bitField0_ & 0x00010000) != 0)) {
1426 result.numLpIterations_ = numLpIterations_;
1428 if (((from_bitField0_ & 0x00020000) != 0)) {
1429 result.wallTime_ = wallTime_;
1431 if (((from_bitField0_ & 0x00040000) != 0)) {
1432 result.userTime_ = userTime_;
1434 if (((from_bitField0_ & 0x00080000) != 0)) {
1435 result.deterministicTime_ = deterministicTime_;
1437 if (((from_bitField0_ & 0x00100000) != 0)) {
1438 result.gapIntegral_ = gapIntegral_;
1440 if (((from_bitField0_ & 0x00200000) != 0)) {
1441 result.solutionInfo_ = solutionInfo_;
1443 if (((from_bitField0_ & 0x00400000) != 0)) {
1444 result.solveLog_ = solveLog_;
1446 result.bitField0_ |= to_bitField0_;
1451 return super.
clone();
1455 com.google.protobuf.Descriptors.FieldDescriptor field,
1456 java.lang.Object value) {
1457 return super.
setField(field, value);
1461 com.google.protobuf.Descriptors.FieldDescriptor field) {
1466 com.google.protobuf.Descriptors.OneofDescriptor oneof) {
1471 com.google.protobuf.Descriptors.FieldDescriptor field,
1472 int index, java.lang.Object value) {
1477 com.google.protobuf.Descriptors.FieldDescriptor field,
1478 java.lang.Object value) {
1483 if (other instanceof com.google.ortools.sat.CpSolverResponse) {
1484 return mergeFrom((com.google.ortools.sat.CpSolverResponse)other);
1486 super.mergeFrom(other);
1492 if (other == com.google.ortools.sat.CpSolverResponse.getDefaultInstance())
return this;
1493 if (other.status_ != 0) {
1496 if (!other.solution_.isEmpty()) {
1497 if (solution_.isEmpty()) {
1498 solution_ = other.solution_;
1499 solution_.makeImmutable();
1500 bitField0_ |= 0x00000002;
1502 ensureSolutionIsMutable();
1503 solution_.addAll(other.solution_);
1507 if (other.getObjectiveValue() != 0D) {
1510 if (other.getBestObjectiveBound() != 0D) {
1513 if (additionalSolutionsBuilder_ ==
null) {
1514 if (!other.additionalSolutions_.isEmpty()) {
1515 if (additionalSolutions_.isEmpty()) {
1516 additionalSolutions_ = other.additionalSolutions_;
1517 bitField0_ = (bitField0_ & ~0x00000010);
1519 ensureAdditionalSolutionsIsMutable();
1520 additionalSolutions_.addAll(other.additionalSolutions_);
1525 if (!other.additionalSolutions_.isEmpty()) {
1526 if (additionalSolutionsBuilder_.isEmpty()) {
1527 additionalSolutionsBuilder_.dispose();
1528 additionalSolutionsBuilder_ =
null;
1529 additionalSolutions_ = other.additionalSolutions_;
1530 bitField0_ = (bitField0_ & ~0x00000010);
1531 additionalSolutionsBuilder_ =
1532 com.google.protobuf.GeneratedMessageV3.alwaysUseFieldBuilders ?
1533 getAdditionalSolutionsFieldBuilder() :
null;
1535 additionalSolutionsBuilder_.addAllMessages(other.additionalSolutions_);
1539 if (tightenedVariablesBuilder_ ==
null) {
1540 if (!other.tightenedVariables_.isEmpty()) {
1541 if (tightenedVariables_.isEmpty()) {
1542 tightenedVariables_ = other.tightenedVariables_;
1543 bitField0_ = (bitField0_ & ~0x00000020);
1545 ensureTightenedVariablesIsMutable();
1546 tightenedVariables_.addAll(other.tightenedVariables_);
1551 if (!other.tightenedVariables_.isEmpty()) {
1552 if (tightenedVariablesBuilder_.isEmpty()) {
1553 tightenedVariablesBuilder_.dispose();
1554 tightenedVariablesBuilder_ =
null;
1555 tightenedVariables_ = other.tightenedVariables_;
1556 bitField0_ = (bitField0_ & ~0x00000020);
1557 tightenedVariablesBuilder_ =
1558 com.google.protobuf.GeneratedMessageV3.alwaysUseFieldBuilders ?
1559 getTightenedVariablesFieldBuilder() :
null;
1561 tightenedVariablesBuilder_.addAllMessages(other.tightenedVariables_);
1565 if (!other.sufficientAssumptionsForInfeasibility_.isEmpty()) {
1566 if (sufficientAssumptionsForInfeasibility_.isEmpty()) {
1567 sufficientAssumptionsForInfeasibility_ = other.sufficientAssumptionsForInfeasibility_;
1568 sufficientAssumptionsForInfeasibility_.makeImmutable();
1569 bitField0_ |= 0x00000040;
1571 ensureSufficientAssumptionsForInfeasibilityIsMutable();
1572 sufficientAssumptionsForInfeasibility_.addAll(other.sufficientAssumptionsForInfeasibility_);
1576 if (other.hasIntegerObjective()) {
1579 if (other.getInnerObjectiveLowerBound() != 0L) {
1582 if (other.getNumIntegers() != 0L) {
1585 if (other.getNumBooleans() != 0L) {
1588 if (other.getNumConflicts() != 0L) {
1591 if (other.getNumBranches() != 0L) {
1594 if (other.getNumBinaryPropagations() != 0L) {
1597 if (other.getNumIntegerPropagations() != 0L) {
1600 if (other.getNumRestarts() != 0L) {
1603 if (other.getNumLpIterations() != 0L) {
1606 if (other.getWallTime() != 0D) {
1609 if (other.getUserTime() != 0D) {
1612 if (other.getDeterministicTime() != 0D) {
1615 if (other.getGapIntegral() != 0D) {
1618 if (!other.getSolutionInfo().isEmpty()) {
1619 solutionInfo_ = other.solutionInfo_;
1620 bitField0_ |= 0x00200000;
1623 if (!other.getSolveLog().isEmpty()) {
1624 solveLog_ = other.solveLog_;
1625 bitField0_ |= 0x00400000;
1640 com.google.protobuf.CodedInputStream input,
1641 com.google.protobuf.ExtensionRegistryLite extensionRegistry)
1642 throws java.io.IOException {
1643 if (extensionRegistry ==
null) {
1644 throw new java.lang.NullPointerException();
1647 boolean done =
false;
1649 int tag = input.readTag();
1655 status_ = input.readEnum();
1656 bitField0_ |= 0x00000001;
1660 long v = input.readInt64();
1661 ensureSolutionIsMutable();
1662 solution_.addLong(v);
1666 int length = input.readRawVarint32();
1667 int limit = input.pushLimit(length);
1668 ensureSolutionIsMutable();
1669 while (input.getBytesUntilLimit() > 0) {
1670 solution_.addLong(input.readInt64());
1672 input.popLimit(limit);
1676 objectiveValue_ = input.readDouble();
1677 bitField0_ |= 0x00000004;
1681 bestObjectiveBound_ = input.readDouble();
1682 bitField0_ |= 0x00000008;
1686 numBooleans_ = input.readInt64();
1687 bitField0_ |= 0x00000400;
1691 numConflicts_ = input.readInt64();
1692 bitField0_ |= 0x00000800;
1696 numBranches_ = input.readInt64();
1697 bitField0_ |= 0x00001000;
1701 numBinaryPropagations_ = input.readInt64();
1702 bitField0_ |= 0x00002000;
1706 numIntegerPropagations_ = input.readInt64();
1707 bitField0_ |= 0x00004000;
1711 wallTime_ = input.readDouble();
1712 bitField0_ |= 0x00020000;
1716 userTime_ = input.readDouble();
1717 bitField0_ |= 0x00040000;
1721 deterministicTime_ = input.readDouble();
1722 bitField0_ |= 0x00080000;
1726 solutionInfo_ = input.readStringRequireUtf8();
1727 bitField0_ |= 0x00200000;
1733 com.google.ortools.sat.IntegerVariableProto.parser(),
1735 if (tightenedVariablesBuilder_ ==
null) {
1736 ensureTightenedVariablesIsMutable();
1737 tightenedVariables_.add(m);
1739 tightenedVariablesBuilder_.addMessage(m);
1744 gapIntegral_ = input.readDouble();
1745 bitField0_ |= 0x00100000;
1749 int v = input.readInt32();
1750 ensureSufficientAssumptionsForInfeasibilityIsMutable();
1751 sufficientAssumptionsForInfeasibility_.addInt(v);
1755 int length = input.readRawVarint32();
1756 int limit = input.pushLimit(length);
1757 ensureSufficientAssumptionsForInfeasibilityIsMutable();
1758 while (input.getBytesUntilLimit() > 0) {
1759 sufficientAssumptionsForInfeasibility_.addInt(input.readInt32());
1761 input.popLimit(limit);
1765 numRestarts_ = input.readInt64();
1766 bitField0_ |= 0x00008000;
1770 numLpIterations_ = input.readInt64();
1771 bitField0_ |= 0x00010000;
1775 solveLog_ = input.readStringRequireUtf8();
1776 bitField0_ |= 0x00400000;
1782 com.google.ortools.sat.CpSolverSolution.parser(),
1784 if (additionalSolutionsBuilder_ ==
null) {
1785 ensureAdditionalSolutionsIsMutable();
1786 additionalSolutions_.add(m);
1788 additionalSolutionsBuilder_.addMessage(m);
1794 getIntegerObjectiveFieldBuilder().getBuilder(),
1796 bitField0_ |= 0x00000080;
1800 innerObjectiveLowerBound_ = input.readInt64();
1801 bitField0_ |= 0x00000100;
1805 numIntegers_ = input.readInt64();
1806 bitField0_ |= 0x00000200;
1810 if (!super.parseUnknownField(input, extensionRegistry, tag)) {
1817 }
catch (com.google.protobuf.InvalidProtocolBufferException e) {
1818 throw e.unwrapIOException();
1824 private int bitField0_;
1826 private int status_ = 0;
1849 bitField0_ |= 0x00000001;
1864 return result ==
null ? com.google.ortools.sat.CpSolverStatus.UNRECOGNIZED : result;
1876 if (value ==
null) {
1877 throw new NullPointerException();
1879 bitField0_ |= 0x00000001;
1880 status_ = value.getNumber();
1893 bitField0_ = (bitField0_ & ~0x00000001);
1899 private com.google.protobuf.Internal.LongList solution_ = emptyLongList();
1900 private void ensureSolutionIsMutable() {
1901 if (!solution_.isModifiable()) {
1902 solution_ = makeMutableCopy(solution_);
1904 bitField0_ |= 0x00000002;
1917 public java.util.List<java.lang.Long>
1919 solution_.makeImmutable();
1934 return solution_.size();
1949 return solution_.getLong(index);
1965 int index,
long value) {
1967 ensureSolutionIsMutable();
1968 solution_.setLong(index, value);
1969 bitField0_ |= 0x00000002;
1987 ensureSolutionIsMutable();
1988 solution_.addLong(value);
1989 bitField0_ |= 0x00000002;
2006 java.lang.Iterable<? extends java.lang.Long> values) {
2007 ensureSolutionIsMutable();
2008 com.google.protobuf.AbstractMessageLite.Builder.addAll(
2010 bitField0_ |= 0x00000002;
2026 solution_ = emptyLongList();
2027 bitField0_ = (bitField0_ & ~0x00000002);
2032 private double objectiveValue_ ;
2046 return objectiveValue_;
2062 objectiveValue_ = value;
2063 bitField0_ |= 0x00000004;
2079 bitField0_ = (bitField0_ & ~0x00000004);
2080 objectiveValue_ = 0D;
2085 private double bestObjectiveBound_ ;
2098 return bestObjectiveBound_;
2113 bestObjectiveBound_ = value;
2114 bitField0_ |= 0x00000008;
2129 bitField0_ = (bitField0_ & ~0x00000008);
2130 bestObjectiveBound_ = 0D;
2135 private java.util.List<com.google.ortools.sat.CpSolverSolution> additionalSolutions_ =
2136 java.util.Collections.emptyList();
2137 private void ensureAdditionalSolutionsIsMutable() {
2138 if (!((bitField0_ & 0x00000010) != 0)) {
2139 additionalSolutions_ =
new java.util.ArrayList<com.google.ortools.sat.CpSolverSolution>(additionalSolutions_);
2140 bitField0_ |= 0x00000010;
2144 private com.google.protobuf.RepeatedFieldBuilderV3<
2145 com.google.ortools.sat.CpSolverSolution, com.google.ortools.sat.CpSolverSolution.Builder, com.google.ortools.sat.CpSolverSolutionOrBuilder> additionalSolutionsBuilder_;
2160 if (additionalSolutionsBuilder_ ==
null) {
2161 return java.util.Collections.unmodifiableList(additionalSolutions_);
2163 return additionalSolutionsBuilder_.getMessageList();
2179 if (additionalSolutionsBuilder_ ==
null) {
2180 return additionalSolutions_.size();
2182 return additionalSolutionsBuilder_.getCount();
2198 if (additionalSolutionsBuilder_ ==
null) {
2199 return additionalSolutions_.get(index);
2201 return additionalSolutionsBuilder_.getMessage(index);
2217 int index, com.google.ortools.sat.CpSolverSolution value) {
2218 if (additionalSolutionsBuilder_ ==
null) {
2219 if (value ==
null) {
2220 throw new NullPointerException();
2222 ensureAdditionalSolutionsIsMutable();
2223 additionalSolutions_.set(index, value);
2226 additionalSolutionsBuilder_.setMessage(index, value);
2243 int index, com.google.ortools.sat.CpSolverSolution.Builder builderForValue) {
2244 if (additionalSolutionsBuilder_ ==
null) {
2245 ensureAdditionalSolutionsIsMutable();
2246 additionalSolutions_.set(index, builderForValue.build());
2249 additionalSolutionsBuilder_.setMessage(index, builderForValue.build());
2266 if (additionalSolutionsBuilder_ ==
null) {
2267 if (value ==
null) {
2268 throw new NullPointerException();
2270 ensureAdditionalSolutionsIsMutable();
2271 additionalSolutions_.add(value);
2274 additionalSolutionsBuilder_.addMessage(value);
2291 int index, com.google.ortools.sat.CpSolverSolution value) {
2292 if (additionalSolutionsBuilder_ ==
null) {
2293 if (value ==
null) {
2294 throw new NullPointerException();
2296 ensureAdditionalSolutionsIsMutable();
2297 additionalSolutions_.add(index, value);
2300 additionalSolutionsBuilder_.addMessage(index, value);
2317 com.google.ortools.sat.CpSolverSolution.Builder builderForValue) {
2318 if (additionalSolutionsBuilder_ ==
null) {
2319 ensureAdditionalSolutionsIsMutable();
2320 additionalSolutions_.add(builderForValue.build());
2323 additionalSolutionsBuilder_.addMessage(builderForValue.build());
2340 int index, com.google.ortools.sat.CpSolverSolution.Builder builderForValue) {
2341 if (additionalSolutionsBuilder_ ==
null) {
2342 ensureAdditionalSolutionsIsMutable();
2343 additionalSolutions_.add(index, builderForValue.build());
2346 additionalSolutionsBuilder_.addMessage(index, builderForValue.build());
2363 java.lang.Iterable<? extends com.google.ortools.sat.CpSolverSolution> values) {
2364 if (additionalSolutionsBuilder_ ==
null) {
2365 ensureAdditionalSolutionsIsMutable();
2366 com.google.protobuf.AbstractMessageLite.Builder.addAll(
2367 values, additionalSolutions_);
2370 additionalSolutionsBuilder_.addAllMessages(values);
2387 if (additionalSolutionsBuilder_ ==
null) {
2388 additionalSolutions_ = java.util.Collections.emptyList();
2389 bitField0_ = (bitField0_ & ~0x00000010);
2392 additionalSolutionsBuilder_.clear();
2409 if (additionalSolutionsBuilder_ ==
null) {
2410 ensureAdditionalSolutionsIsMutable();
2411 additionalSolutions_.remove(index);
2414 additionalSolutionsBuilder_.remove(index);
2432 return getAdditionalSolutionsFieldBuilder().getBuilder(index);
2448 if (additionalSolutionsBuilder_ ==
null) {
2449 return additionalSolutions_.get(index); }
else {
2450 return additionalSolutionsBuilder_.getMessageOrBuilder(index);
2465 public java.util.List<? extends com.google.ortools.sat.CpSolverSolutionOrBuilder>
2467 if (additionalSolutionsBuilder_ !=
null) {
2468 return additionalSolutionsBuilder_.getMessageOrBuilderList();
2470 return java.util.Collections.unmodifiableList(additionalSolutions_);
2486 return getAdditionalSolutionsFieldBuilder().addBuilder(
2487 com.google.ortools.sat.CpSolverSolution.getDefaultInstance());
2503 return getAdditionalSolutionsFieldBuilder().addBuilder(
2504 index, com.google.ortools.sat.CpSolverSolution.getDefaultInstance());
2518 public java.util.List<com.google.ortools.sat.CpSolverSolution.Builder>
2520 return getAdditionalSolutionsFieldBuilder().getBuilderList();
2522 private com.google.protobuf.RepeatedFieldBuilderV3<
2523 com.google.ortools.sat.CpSolverSolution, com.google.ortools.sat.CpSolverSolution.Builder, com.google.ortools.sat.CpSolverSolutionOrBuilder>
2524 getAdditionalSolutionsFieldBuilder() {
2525 if (additionalSolutionsBuilder_ ==
null) {
2526 additionalSolutionsBuilder_ =
new com.google.protobuf.RepeatedFieldBuilderV3<
2527 com.google.ortools.sat.CpSolverSolution, com.google.ortools.sat.CpSolverSolution.Builder, com.google.ortools.sat.CpSolverSolutionOrBuilder>(
2528 additionalSolutions_,
2529 ((bitField0_ & 0x00000010) != 0),
2530 getParentForChildren(),
2532 additionalSolutions_ =
null;
2534 return additionalSolutionsBuilder_;
2537 private java.util.List<com.google.ortools.sat.IntegerVariableProto> tightenedVariables_ =
2538 java.util.Collections.emptyList();
2539 private void ensureTightenedVariablesIsMutable() {
2540 if (!((bitField0_ & 0x00000020) != 0)) {
2541 tightenedVariables_ =
new java.util.ArrayList<com.google.ortools.sat.IntegerVariableProto>(tightenedVariables_);
2542 bitField0_ |= 0x00000020;
2546 private com.google.protobuf.RepeatedFieldBuilderV3<
2547 com.google.ortools.sat.IntegerVariableProto, com.google.ortools.sat.IntegerVariableProto.Builder, com.google.ortools.sat.IntegerVariableProtoOrBuilder> tightenedVariablesBuilder_;
2568 if (tightenedVariablesBuilder_ ==
null) {
2569 return java.util.Collections.unmodifiableList(tightenedVariables_);
2571 return tightenedVariablesBuilder_.getMessageList();
2593 if (tightenedVariablesBuilder_ ==
null) {
2594 return tightenedVariables_.size();
2596 return tightenedVariablesBuilder_.getCount();
2618 if (tightenedVariablesBuilder_ ==
null) {
2619 return tightenedVariables_.get(index);
2621 return tightenedVariablesBuilder_.getMessage(index);
2643 int index, com.google.ortools.sat.IntegerVariableProto value) {
2644 if (tightenedVariablesBuilder_ ==
null) {
2645 if (value ==
null) {
2646 throw new NullPointerException();
2648 ensureTightenedVariablesIsMutable();
2649 tightenedVariables_.set(index, value);
2652 tightenedVariablesBuilder_.setMessage(index, value);
2675 int index, com.google.ortools.sat.IntegerVariableProto.Builder builderForValue) {
2676 if (tightenedVariablesBuilder_ ==
null) {
2677 ensureTightenedVariablesIsMutable();
2678 tightenedVariables_.set(index, builderForValue.build());
2681 tightenedVariablesBuilder_.setMessage(index, builderForValue.build());
2704 if (tightenedVariablesBuilder_ ==
null) {
2705 if (value ==
null) {
2706 throw new NullPointerException();
2708 ensureTightenedVariablesIsMutable();
2709 tightenedVariables_.add(value);
2712 tightenedVariablesBuilder_.addMessage(value);
2735 int index, com.google.ortools.sat.IntegerVariableProto value) {
2736 if (tightenedVariablesBuilder_ ==
null) {
2737 if (value ==
null) {
2738 throw new NullPointerException();
2740 ensureTightenedVariablesIsMutable();
2741 tightenedVariables_.add(index, value);
2744 tightenedVariablesBuilder_.addMessage(index, value);
2767 com.google.ortools.sat.IntegerVariableProto.Builder builderForValue) {
2768 if (tightenedVariablesBuilder_ ==
null) {
2769 ensureTightenedVariablesIsMutable();
2770 tightenedVariables_.add(builderForValue.build());
2773 tightenedVariablesBuilder_.addMessage(builderForValue.build());
2796 int index, com.google.ortools.sat.IntegerVariableProto.Builder builderForValue) {
2797 if (tightenedVariablesBuilder_ ==
null) {
2798 ensureTightenedVariablesIsMutable();
2799 tightenedVariables_.add(index, builderForValue.build());
2802 tightenedVariablesBuilder_.addMessage(index, builderForValue.build());
2825 java.lang.Iterable<? extends com.google.ortools.sat.IntegerVariableProto> values) {
2826 if (tightenedVariablesBuilder_ ==
null) {
2827 ensureTightenedVariablesIsMutable();
2828 com.google.protobuf.AbstractMessageLite.Builder.addAll(
2829 values, tightenedVariables_);
2832 tightenedVariablesBuilder_.addAllMessages(values);
2855 if (tightenedVariablesBuilder_ ==
null) {
2856 tightenedVariables_ = java.util.Collections.emptyList();
2857 bitField0_ = (bitField0_ & ~0x00000020);
2860 tightenedVariablesBuilder_.clear();
2883 if (tightenedVariablesBuilder_ ==
null) {
2884 ensureTightenedVariablesIsMutable();
2885 tightenedVariables_.remove(index);
2888 tightenedVariablesBuilder_.remove(index);
2912 return getTightenedVariablesFieldBuilder().getBuilder(index);
2934 if (tightenedVariablesBuilder_ ==
null) {
2935 return tightenedVariables_.get(index); }
else {
2936 return tightenedVariablesBuilder_.getMessageOrBuilder(index);
2957 public java.util.List<? extends com.google.ortools.sat.IntegerVariableProtoOrBuilder>
2959 if (tightenedVariablesBuilder_ !=
null) {
2960 return tightenedVariablesBuilder_.getMessageOrBuilderList();
2962 return java.util.Collections.unmodifiableList(tightenedVariables_);
2984 return getTightenedVariablesFieldBuilder().addBuilder(
2985 com.google.ortools.sat.IntegerVariableProto.getDefaultInstance());
3007 return getTightenedVariablesFieldBuilder().addBuilder(
3008 index, com.google.ortools.sat.IntegerVariableProto.getDefaultInstance());
3028 public java.util.List<com.google.ortools.sat.IntegerVariableProto.Builder>
3030 return getTightenedVariablesFieldBuilder().getBuilderList();
3032 private com.google.protobuf.RepeatedFieldBuilderV3<
3033 com.google.ortools.sat.IntegerVariableProto, com.google.ortools.sat.IntegerVariableProto.Builder, com.google.ortools.sat.IntegerVariableProtoOrBuilder>
3034 getTightenedVariablesFieldBuilder() {
3035 if (tightenedVariablesBuilder_ ==
null) {
3036 tightenedVariablesBuilder_ =
new com.google.protobuf.RepeatedFieldBuilderV3<
3037 com.google.ortools.sat.IntegerVariableProto, com.google.ortools.sat.IntegerVariableProto.Builder, com.google.ortools.sat.IntegerVariableProtoOrBuilder>(
3038 tightenedVariables_,
3039 ((bitField0_ & 0x00000020) != 0),
3040 getParentForChildren(),
3042 tightenedVariables_ =
null;
3044 return tightenedVariablesBuilder_;
3047 private com.google.protobuf.Internal.IntList sufficientAssumptionsForInfeasibility_ = emptyIntList();
3048 private void ensureSufficientAssumptionsForInfeasibilityIsMutable() {
3049 if (!sufficientAssumptionsForInfeasibility_.isModifiable()) {
3050 sufficientAssumptionsForInfeasibility_ = makeMutableCopy(sufficientAssumptionsForInfeasibility_);
3052 bitField0_ |= 0x00000040;
3080 public java.util.List<java.lang.Integer>
3082 sufficientAssumptionsForInfeasibility_.makeImmutable();
3083 return sufficientAssumptionsForInfeasibility_;
3112 return sufficientAssumptionsForInfeasibility_.size();
3142 return sufficientAssumptionsForInfeasibility_.getInt(index);
3173 int index,
int value) {
3175 ensureSufficientAssumptionsForInfeasibilityIsMutable();
3176 sufficientAssumptionsForInfeasibility_.setInt(index, value);
3177 bitField0_ |= 0x00000040;
3210 ensureSufficientAssumptionsForInfeasibilityIsMutable();
3211 sufficientAssumptionsForInfeasibility_.addInt(value);
3212 bitField0_ |= 0x00000040;
3244 java.lang.Iterable<? extends java.lang.Integer> values) {
3245 ensureSufficientAssumptionsForInfeasibilityIsMutable();
3246 com.google.protobuf.AbstractMessageLite.Builder.addAll(
3247 values, sufficientAssumptionsForInfeasibility_);
3248 bitField0_ |= 0x00000040;
3279 sufficientAssumptionsForInfeasibility_ = emptyIntList();
3280 bitField0_ = (bitField0_ & ~0x00000040);
3286 private com.google.protobuf.SingleFieldBuilderV3<
3287 com.google.ortools.sat.CpObjectiveProto, com.google.ortools.sat.CpObjectiveProto.Builder, com.google.ortools.sat.CpObjectiveProtoOrBuilder> integerObjectiveBuilder_;
3299 return ((bitField0_ & 0x00000080) != 0);
3312 if (integerObjectiveBuilder_ ==
null) {
3313 return integerObjective_ ==
null ? com.google.ortools.sat.CpObjectiveProto.getDefaultInstance() : integerObjective_;
3315 return integerObjectiveBuilder_.getMessage();
3328 if (integerObjectiveBuilder_ ==
null) {
3329 if (value ==
null) {
3330 throw new NullPointerException();
3332 integerObjective_ = value;
3334 integerObjectiveBuilder_.setMessage(value);
3336 bitField0_ |= 0x00000080;
3350 com.google.ortools.sat.CpObjectiveProto.Builder builderForValue) {
3351 if (integerObjectiveBuilder_ ==
null) {
3352 integerObjective_ = builderForValue.build();
3354 integerObjectiveBuilder_.setMessage(builderForValue.build());
3356 bitField0_ |= 0x00000080;
3370 if (integerObjectiveBuilder_ ==
null) {
3371 if (((bitField0_ & 0x00000080) != 0) &&
3372 integerObjective_ !=
null &&
3373 integerObjective_ != com.google.ortools.sat.CpObjectiveProto.getDefaultInstance()) {
3376 integerObjective_ = value;
3379 integerObjectiveBuilder_.mergeFrom(value);
3381 if (integerObjective_ !=
null) {
3382 bitField0_ |= 0x00000080;
3397 bitField0_ = (bitField0_ & ~0x00000080);
3398 integerObjective_ =
null;
3399 if (integerObjectiveBuilder_ !=
null) {
3400 integerObjectiveBuilder_.dispose();
3401 integerObjectiveBuilder_ =
null;
3416 bitField0_ |= 0x00000080;
3418 return getIntegerObjectiveFieldBuilder().getBuilder();
3430 if (integerObjectiveBuilder_ !=
null) {
3431 return integerObjectiveBuilder_.getMessageOrBuilder();
3433 return integerObjective_ ==
null ?
3434 com.google.ortools.sat.CpObjectiveProto.getDefaultInstance() : integerObjective_;
3446 private com.google.protobuf.SingleFieldBuilderV3<
3447 com.google.ortools.sat.CpObjectiveProto, com.google.ortools.sat.CpObjectiveProto.Builder, com.google.ortools.sat.CpObjectiveProtoOrBuilder>
3448 getIntegerObjectiveFieldBuilder() {
3449 if (integerObjectiveBuilder_ ==
null) {
3450 integerObjectiveBuilder_ =
new com.google.protobuf.SingleFieldBuilderV3<
3451 com.google.ortools.sat.CpObjectiveProto, com.google.ortools.sat.CpObjectiveProto.Builder, com.google.ortools.sat.CpObjectiveProtoOrBuilder>(
3453 getParentForChildren(),
3455 integerObjective_ =
null;
3457 return integerObjectiveBuilder_;
3460 private long innerObjectiveLowerBound_ ;
3476 return innerObjectiveLowerBound_;
3494 innerObjectiveLowerBound_ = value;
3495 bitField0_ |= 0x00000100;
3513 bitField0_ = (bitField0_ & ~0x00000100);
3514 innerObjectiveLowerBound_ = 0L;
3519 private long numIntegers_ ;
3534 return numIntegers_;
3551 numIntegers_ = value;
3552 bitField0_ |= 0x00000200;
3569 bitField0_ = (bitField0_ & ~0x00000200);
3575 private long numBooleans_ ;
3582 return numBooleans_;
3591 numBooleans_ = value;
3592 bitField0_ |= 0x00000400;
3601 bitField0_ = (bitField0_ & ~0x00000400);
3607 private long numConflicts_ ;
3614 return numConflicts_;
3623 numConflicts_ = value;
3624 bitField0_ |= 0x00000800;
3633 bitField0_ = (bitField0_ & ~0x00000800);
3639 private long numBranches_ ;
3646 return numBranches_;
3655 numBranches_ = value;
3656 bitField0_ |= 0x00001000;
3665 bitField0_ = (bitField0_ & ~0x00001000);
3671 private long numBinaryPropagations_ ;
3678 return numBinaryPropagations_;
3687 numBinaryPropagations_ = value;
3688 bitField0_ |= 0x00002000;
3697 bitField0_ = (bitField0_ & ~0x00002000);
3698 numBinaryPropagations_ = 0L;
3703 private long numIntegerPropagations_ ;
3710 return numIntegerPropagations_;
3719 numIntegerPropagations_ = value;
3720 bitField0_ |= 0x00004000;
3729 bitField0_ = (bitField0_ & ~0x00004000);
3730 numIntegerPropagations_ = 0L;
3735 private long numRestarts_ ;
3742 return numRestarts_;
3751 numRestarts_ = value;
3752 bitField0_ |= 0x00008000;
3761 bitField0_ = (bitField0_ & ~0x00008000);
3767 private long numLpIterations_ ;
3774 return numLpIterations_;
3783 numLpIterations_ = value;
3784 bitField0_ |= 0x00010000;
3793 bitField0_ = (bitField0_ & ~0x00010000);
3794 numLpIterations_ = 0L;
3799 private double wallTime_ ;
3824 bitField0_ |= 0x00020000;
3837 bitField0_ = (bitField0_ & ~0x00020000);
3843 private double userTime_ ;
3860 bitField0_ |= 0x00040000;
3869 bitField0_ = (bitField0_ & ~0x00040000);
3875 private double deterministicTime_ ;
3882 return deterministicTime_;
3891 deterministicTime_ = value;
3892 bitField0_ |= 0x00080000;
3901 bitField0_ = (bitField0_ & ~0x00080000);
3902 deterministicTime_ = 0D;
3907 private double gapIntegral_ ;
3918 return gapIntegral_;
3931 gapIntegral_ = value;
3932 bitField0_ |= 0x00100000;
3945 bitField0_ = (bitField0_ & ~0x00100000);
3951 private java.lang.Object solutionInfo_ =
"";
3962 java.lang.Object ref = solutionInfo_;
3963 if (!(ref instanceof java.lang.String)) {
3964 com.google.protobuf.ByteString bs =
3965 (com.google.protobuf.ByteString) ref;
3966 java.lang.String s = bs.toStringUtf8();
3970 return (java.lang.String) ref;
3982 public com.google.protobuf.ByteString
3984 java.lang.Object ref = solutionInfo_;
3985 if (ref instanceof String) {
3986 com.google.protobuf.ByteString b =
3987 com.google.protobuf.ByteString.copyFromUtf8(
3988 (java.lang.String) ref);
3992 return (com.google.protobuf.ByteString) ref;
4006 java.lang.String value) {
4007 if (value ==
null) {
throw new NullPointerException(); }
4008 solutionInfo_ = value;
4009 bitField0_ |= 0x00200000;
4024 bitField0_ = (bitField0_ & ~0x00200000);
4039 com.google.protobuf.ByteString value) {
4040 if (value ==
null) {
throw new NullPointerException(); }
4041 checkByteStringIsUtf8(value);
4042 solutionInfo_ = value;
4043 bitField0_ |= 0x00200000;
4048 private java.lang.Object solveLog_ =
"";
4059 java.lang.Object ref = solveLog_;
4060 if (!(ref instanceof java.lang.String)) {
4061 com.google.protobuf.ByteString bs =
4062 (com.google.protobuf.ByteString) ref;
4063 java.lang.String s = bs.toStringUtf8();
4067 return (java.lang.String) ref;
4079 public com.google.protobuf.ByteString
4081 java.lang.Object ref = solveLog_;
4082 if (ref instanceof String) {
4083 com.google.protobuf.ByteString b =
4084 com.google.protobuf.ByteString.copyFromUtf8(
4085 (java.lang.String) ref);
4089 return (com.google.protobuf.ByteString) ref;
4103 java.lang.String value) {
4104 if (value ==
null) {
throw new NullPointerException(); }
4106 bitField0_ |= 0x00400000;
4121 bitField0_ = (bitField0_ & ~0x00400000);
4136 com.google.protobuf.ByteString value) {
4137 if (value ==
null) {
throw new NullPointerException(); }
4138 checkByteStringIsUtf8(value);
4140 bitField0_ |= 0x00400000;
4146 final com.google.protobuf.UnknownFieldSet unknownFields) {
4152 final com.google.protobuf.UnknownFieldSet unknownFields) {
4163 DEFAULT_INSTANCE =
new com.google.ortools.sat.CpSolverResponse();
4167 return DEFAULT_INSTANCE;
4174 com.google.protobuf.CodedInputStream input,
4175 com.google.protobuf.ExtensionRegistryLite extensionRegistry)
4176 throws com.google.protobuf.InvalidProtocolBufferException {
4179 builder.mergeFrom(input, extensionRegistry);
4180 }
catch (com.google.protobuf.InvalidProtocolBufferException e) {
4181 throw e.setUnfinishedMessage(builder.buildPartial());
4182 }
catch (com.google.protobuf.UninitializedMessageException e) {
4183 throw e.asInvalidProtocolBufferException().setUnfinishedMessage(builder.buildPartial());
4184 }
catch (java.io.IOException e) {
4185 throw new com.google.protobuf.InvalidProtocolBufferException(e)
4186 .setUnfinishedMessage(builder.buildPartial());
4188 return builder.buildPartial();
4203 return DEFAULT_INSTANCE;