5package com.google.ortools.sat;
16 com.google.protobuf.GeneratedMessageV3 implements
19private static final long serialVersionUID = 0L;
25 finalStates_ = emptyLongList();
26 transitionTail_ = emptyLongList();
27 transitionHead_ = emptyLongList();
28 transitionLabel_ = emptyLongList();
29 vars_ = emptyIntList();
33 @SuppressWarnings({
"unused"})
35 UnusedPrivateParameter unused) {
39 public static final com.google.protobuf.Descriptors.Descriptor
41 return com.google.ortools.sat.CpModelProtobuf.internal_static_operations_research_sat_AutomatonConstraintProto_descriptor;
45 protected com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
47 return com.google.ortools.sat.CpModelProtobuf.internal_static_operations_research_sat_AutomatonConstraintProto_fieldAccessorTable
48 .ensureFieldAccessorsInitialized(
49 com.google.ortools.sat.AutomatonConstraintProto.class, com.google.ortools.sat.AutomatonConstraintProto.Builder.class);
53 private long startingState_ = 0L;
66 return startingState_;
70 @SuppressWarnings(
"serial")
71 private com.google.protobuf.Internal.LongList finalStates_ =
78 public java.util.List<java.lang.Long>
87 return finalStates_.size();
95 return finalStates_.getLong(index);
97 private int finalStatesMemoizedSerializedSize = -1;
100 @SuppressWarnings(
"serial")
101 private com.google.protobuf.Internal.LongList transitionTail_ =
114 public java.util.List<java.lang.Long>
116 return transitionTail_;
129 return transitionTail_.size();
143 return transitionTail_.getLong(index);
145 private int transitionTailMemoizedSerializedSize = -1;
148 @SuppressWarnings(
"serial")
149 private com.google.protobuf.Internal.LongList transitionHead_ =
156 public java.util.List<java.lang.Long>
158 return transitionHead_;
165 return transitionHead_.size();
173 return transitionHead_.getLong(index);
175 private int transitionHeadMemoizedSerializedSize = -1;
178 @SuppressWarnings(
"serial")
179 private com.google.protobuf.Internal.LongList transitionLabel_ =
186 public java.util.List<java.lang.Long>
188 return transitionLabel_;
195 return transitionLabel_.size();
203 return transitionLabel_.getLong(index);
205 private int transitionLabelMemoizedSerializedSize = -1;
208 @SuppressWarnings(
"serial")
209 private com.google.protobuf.Internal.IntList vars_ =
221 public java.util.List<java.lang.Integer>
248 return vars_.getInt(index);
250 private int varsMemoizedSerializedSize = -1;
252 private byte memoizedIsInitialized = -1;
259 memoizedIsInitialized = 1;
264 public void writeTo(com.google.protobuf.CodedOutputStream output)
265 throws java.io.IOException {
267 if (startingState_ != 0L) {
268 output.writeInt64(2, startingState_);
271 output.writeUInt32NoTag(26);
272 output.writeUInt32NoTag(finalStatesMemoizedSerializedSize);
274 for (
int i = 0; i < finalStates_.size(); i++) {
275 output.writeInt64NoTag(finalStates_.getLong(i));
278 output.writeUInt32NoTag(34);
279 output.writeUInt32NoTag(transitionTailMemoizedSerializedSize);
281 for (
int i = 0; i < transitionTail_.size(); i++) {
282 output.writeInt64NoTag(transitionTail_.getLong(i));
285 output.writeUInt32NoTag(42);
286 output.writeUInt32NoTag(transitionHeadMemoizedSerializedSize);
288 for (
int i = 0; i < transitionHead_.size(); i++) {
289 output.writeInt64NoTag(transitionHead_.getLong(i));
292 output.writeUInt32NoTag(50);
293 output.writeUInt32NoTag(transitionLabelMemoizedSerializedSize);
295 for (
int i = 0; i < transitionLabel_.size(); i++) {
296 output.writeInt64NoTag(transitionLabel_.getLong(i));
299 output.writeUInt32NoTag(58);
300 output.writeUInt32NoTag(varsMemoizedSerializedSize);
302 for (
int i = 0; i < vars_.size(); i++) {
303 output.writeInt32NoTag(vars_.getInt(i));
305 getUnknownFields().writeTo(output);
310 int size = memoizedSize;
311 if (size != -1)
return size;
314 if (startingState_ != 0L) {
315 size += com.google.protobuf.CodedOutputStream
316 .computeInt64Size(2, startingState_);
320 for (
int i = 0; i < finalStates_.size(); i++) {
321 dataSize += com.google.protobuf.CodedOutputStream
322 .computeInt64SizeNoTag(finalStates_.getLong(i));
327 size += com.google.protobuf.CodedOutputStream
328 .computeInt32SizeNoTag(dataSize);
330 finalStatesMemoizedSerializedSize = dataSize;
334 for (
int i = 0; i < transitionTail_.size(); i++) {
335 dataSize += com.google.protobuf.CodedOutputStream
336 .computeInt64SizeNoTag(transitionTail_.getLong(i));
341 size += com.google.protobuf.CodedOutputStream
342 .computeInt32SizeNoTag(dataSize);
344 transitionTailMemoizedSerializedSize = dataSize;
348 for (
int i = 0; i < transitionHead_.size(); i++) {
349 dataSize += com.google.protobuf.CodedOutputStream
350 .computeInt64SizeNoTag(transitionHead_.getLong(i));
355 size += com.google.protobuf.CodedOutputStream
356 .computeInt32SizeNoTag(dataSize);
358 transitionHeadMemoizedSerializedSize = dataSize;
362 for (
int i = 0; i < transitionLabel_.size(); i++) {
363 dataSize += com.google.protobuf.CodedOutputStream
364 .computeInt64SizeNoTag(transitionLabel_.getLong(i));
369 size += com.google.protobuf.CodedOutputStream
370 .computeInt32SizeNoTag(dataSize);
372 transitionLabelMemoizedSerializedSize = dataSize;
376 for (
int i = 0; i < vars_.size(); i++) {
377 dataSize += com.google.protobuf.CodedOutputStream
378 .computeInt32SizeNoTag(vars_.getInt(i));
383 size += com.google.protobuf.CodedOutputStream
384 .computeInt32SizeNoTag(dataSize);
386 varsMemoizedSerializedSize = dataSize;
388 size += getUnknownFields().getSerializedSize();
394 public boolean equals(
final java.lang.Object obj) {
398 if (!(obj instanceof com.google.ortools.sat.AutomatonConstraintProto)) {
399 return super.equals(obj);
415 if (!getUnknownFields().equals(other.getUnknownFields()))
return false;
421 if (memoizedHashCode != 0) {
422 return memoizedHashCode;
427 hash = (53 * hash) + com.google.protobuf.Internal.hashLong(
449 hash = (29 * hash) + getUnknownFields().hashCode();
450 memoizedHashCode = hash;
455 java.nio.ByteBuffer data)
456 throws com.google.protobuf.InvalidProtocolBufferException {
457 return PARSER.parseFrom(data);
460 java.nio.ByteBuffer data,
461 com.google.protobuf.ExtensionRegistryLite extensionRegistry)
462 throws com.google.protobuf.InvalidProtocolBufferException {
463 return PARSER.parseFrom(data, extensionRegistry);
466 com.google.protobuf.ByteString data)
467 throws com.google.protobuf.InvalidProtocolBufferException {
468 return PARSER.parseFrom(data);
471 com.google.protobuf.ByteString data,
472 com.google.protobuf.ExtensionRegistryLite extensionRegistry)
473 throws com.google.protobuf.InvalidProtocolBufferException {
474 return PARSER.parseFrom(data, extensionRegistry);
477 throws com.google.protobuf.InvalidProtocolBufferException {
478 return PARSER.parseFrom(data);
482 com.google.protobuf.ExtensionRegistryLite extensionRegistry)
483 throws com.google.protobuf.InvalidProtocolBufferException {
484 return PARSER.parseFrom(data, extensionRegistry);
487 throws java.io.IOException {
488 return com.google.protobuf.GeneratedMessageV3
489 .parseWithIOException(PARSER, input);
492 java.io.InputStream input,
493 com.google.protobuf.ExtensionRegistryLite extensionRegistry)
494 throws java.io.IOException {
495 return com.google.protobuf.GeneratedMessageV3
496 .parseWithIOException(PARSER, input, extensionRegistry);
500 throws java.io.IOException {
501 return com.google.protobuf.GeneratedMessageV3
502 .parseDelimitedWithIOException(PARSER, input);
506 java.io.InputStream input,
507 com.google.protobuf.ExtensionRegistryLite extensionRegistry)
508 throws java.io.IOException {
509 return com.google.protobuf.GeneratedMessageV3
510 .parseDelimitedWithIOException(PARSER, input, extensionRegistry);
513 com.google.protobuf.CodedInputStream input)
514 throws java.io.IOException {
515 return com.google.protobuf.GeneratedMessageV3
516 .parseWithIOException(PARSER, input);
519 com.google.protobuf.CodedInputStream input,
520 com.google.protobuf.ExtensionRegistryLite extensionRegistry)
521 throws java.io.IOException {
522 return com.google.protobuf.GeneratedMessageV3
523 .parseWithIOException(PARSER, input, extensionRegistry);
536 return this == DEFAULT_INSTANCE
542 com.google.protobuf.GeneratedMessageV3.BuilderParent parent) {
555 com.google.protobuf.GeneratedMessageV3.
Builder<Builder> implements
558 public static final com.google.protobuf.Descriptors.Descriptor
560 return com.google.ortools.sat.CpModelProtobuf.internal_static_operations_research_sat_AutomatonConstraintProto_descriptor;
564 protected com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
566 return com.google.ortools.sat.CpModelProtobuf.internal_static_operations_research_sat_AutomatonConstraintProto_fieldAccessorTable
567 .ensureFieldAccessorsInitialized(
568 com.google.ortools.sat.AutomatonConstraintProto.class, com.google.ortools.sat.AutomatonConstraintProto.Builder.class);
577 com.google.protobuf.GeneratedMessageV3.BuilderParent parent) {
586 finalStates_ = emptyLongList();
587 transitionTail_ = emptyLongList();
588 transitionHead_ = emptyLongList();
589 transitionLabel_ = emptyLongList();
590 vars_ = emptyIntList();
595 public com.google.protobuf.Descriptors.Descriptor
597 return com.google.ortools.sat.CpModelProtobuf.internal_static_operations_research_sat_AutomatonConstraintProto_descriptor;
602 return com.google.ortools.sat.AutomatonConstraintProto.getDefaultInstance();
609 throw newUninitializedMessageException(result);
617 if (bitField0_ != 0) { buildPartial0(result); }
622 private void buildPartial0(com.google.ortools.sat.AutomatonConstraintProto result) {
623 int from_bitField0_ = bitField0_;
624 if (((from_bitField0_ & 0x00000001) != 0)) {
625 result.startingState_ = startingState_;
627 if (((from_bitField0_ & 0x00000002) != 0)) {
628 finalStates_.makeImmutable();
629 result.finalStates_ = finalStates_;
631 if (((from_bitField0_ & 0x00000004) != 0)) {
632 transitionTail_.makeImmutable();
633 result.transitionTail_ = transitionTail_;
635 if (((from_bitField0_ & 0x00000008) != 0)) {
636 transitionHead_.makeImmutable();
637 result.transitionHead_ = transitionHead_;
639 if (((from_bitField0_ & 0x00000010) != 0)) {
640 transitionLabel_.makeImmutable();
641 result.transitionLabel_ = transitionLabel_;
643 if (((from_bitField0_ & 0x00000020) != 0)) {
644 vars_.makeImmutable();
645 result.vars_ = vars_;
651 return super.
clone();
655 com.google.protobuf.Descriptors.FieldDescriptor field,
656 java.lang.Object value) {
657 return super.
setField(field, value);
661 com.google.protobuf.Descriptors.FieldDescriptor field) {
666 com.google.protobuf.Descriptors.OneofDescriptor oneof) {
671 com.google.protobuf.Descriptors.FieldDescriptor field,
672 int index, java.lang.Object value) {
677 com.google.protobuf.Descriptors.FieldDescriptor field,
678 java.lang.Object value) {
683 if (other instanceof com.google.ortools.sat.AutomatonConstraintProto) {
684 return mergeFrom((com.google.ortools.sat.AutomatonConstraintProto)other);
686 super.mergeFrom(other);
692 if (other == com.google.ortools.sat.AutomatonConstraintProto.getDefaultInstance())
return this;
693 if (other.getStartingState() != 0L) {
696 if (!other.finalStates_.isEmpty()) {
697 if (finalStates_.isEmpty()) {
698 finalStates_ = other.finalStates_;
699 finalStates_.makeImmutable();
700 bitField0_ |= 0x00000002;
702 ensureFinalStatesIsMutable();
703 finalStates_.addAll(other.finalStates_);
707 if (!other.transitionTail_.isEmpty()) {
708 if (transitionTail_.isEmpty()) {
709 transitionTail_ = other.transitionTail_;
710 transitionTail_.makeImmutable();
711 bitField0_ |= 0x00000004;
713 ensureTransitionTailIsMutable();
714 transitionTail_.addAll(other.transitionTail_);
718 if (!other.transitionHead_.isEmpty()) {
719 if (transitionHead_.isEmpty()) {
720 transitionHead_ = other.transitionHead_;
721 transitionHead_.makeImmutable();
722 bitField0_ |= 0x00000008;
724 ensureTransitionHeadIsMutable();
725 transitionHead_.addAll(other.transitionHead_);
729 if (!other.transitionLabel_.isEmpty()) {
730 if (transitionLabel_.isEmpty()) {
731 transitionLabel_ = other.transitionLabel_;
732 transitionLabel_.makeImmutable();
733 bitField0_ |= 0x00000010;
735 ensureTransitionLabelIsMutable();
736 transitionLabel_.addAll(other.transitionLabel_);
740 if (!other.vars_.isEmpty()) {
741 if (vars_.isEmpty()) {
743 vars_.makeImmutable();
744 bitField0_ |= 0x00000020;
746 ensureVarsIsMutable();
747 vars_.addAll(other.vars_);
763 com.google.protobuf.CodedInputStream input,
764 com.google.protobuf.ExtensionRegistryLite extensionRegistry)
765 throws java.io.IOException {
766 if (extensionRegistry ==
null) {
767 throw new java.lang.NullPointerException();
770 boolean done =
false;
772 int tag = input.readTag();
778 startingState_ = input.readInt64();
779 bitField0_ |= 0x00000001;
783 long v = input.readInt64();
784 ensureFinalStatesIsMutable();
785 finalStates_.addLong(v);
789 int length = input.readRawVarint32();
790 int limit = input.pushLimit(length);
791 ensureFinalStatesIsMutable();
792 while (input.getBytesUntilLimit() > 0) {
793 finalStates_.addLong(input.readInt64());
795 input.popLimit(limit);
799 long v = input.readInt64();
800 ensureTransitionTailIsMutable();
801 transitionTail_.addLong(v);
805 int length = input.readRawVarint32();
806 int limit = input.pushLimit(length);
807 ensureTransitionTailIsMutable();
808 while (input.getBytesUntilLimit() > 0) {
809 transitionTail_.addLong(input.readInt64());
811 input.popLimit(limit);
815 long v = input.readInt64();
816 ensureTransitionHeadIsMutable();
817 transitionHead_.addLong(v);
821 int length = input.readRawVarint32();
822 int limit = input.pushLimit(length);
823 ensureTransitionHeadIsMutable();
824 while (input.getBytesUntilLimit() > 0) {
825 transitionHead_.addLong(input.readInt64());
827 input.popLimit(limit);
831 long v = input.readInt64();
832 ensureTransitionLabelIsMutable();
833 transitionLabel_.addLong(v);
837 int length = input.readRawVarint32();
838 int limit = input.pushLimit(length);
839 ensureTransitionLabelIsMutable();
840 while (input.getBytesUntilLimit() > 0) {
841 transitionLabel_.addLong(input.readInt64());
843 input.popLimit(limit);
847 int v = input.readInt32();
848 ensureVarsIsMutable();
853 int length = input.readRawVarint32();
854 int limit = input.pushLimit(length);
855 ensureVarsIsMutable();
856 while (input.getBytesUntilLimit() > 0) {
857 vars_.addInt(input.readInt32());
859 input.popLimit(limit);
863 if (!super.parseUnknownField(input, extensionRegistry, tag)) {
870 }
catch (com.google.protobuf.InvalidProtocolBufferException e) {
871 throw e.unwrapIOException();
877 private int bitField0_;
879 private long startingState_ ;
892 return startingState_;
907 startingState_ = value;
908 bitField0_ |= 0x00000001;
923 bitField0_ = (bitField0_ & ~0x00000001);
929 private com.google.protobuf.Internal.LongList finalStates_ = emptyLongList();
930 private void ensureFinalStatesIsMutable() {
931 if (!finalStates_.isModifiable()) {
932 finalStates_ = makeMutableCopy(finalStates_);
934 bitField0_ |= 0x00000002;
940 public java.util.List<java.lang.Long>
942 finalStates_.makeImmutable();
950 return finalStates_.size();
958 return finalStates_.getLong(index);
967 int index,
long value) {
969 ensureFinalStatesIsMutable();
970 finalStates_.setLong(index, value);
971 bitField0_ |= 0x00000002;
982 ensureFinalStatesIsMutable();
983 finalStates_.addLong(value);
984 bitField0_ |= 0x00000002;
994 java.lang.Iterable<? extends java.lang.Long> values) {
995 ensureFinalStatesIsMutable();
996 com.google.protobuf.AbstractMessageLite.Builder.addAll(
997 values, finalStates_);
998 bitField0_ |= 0x00000002;
1007 finalStates_ = emptyLongList();
1008 bitField0_ = (bitField0_ & ~0x00000002);
1013 private com.google.protobuf.Internal.LongList transitionTail_ = emptyLongList();
1014 private void ensureTransitionTailIsMutable() {
1015 if (!transitionTail_.isModifiable()) {
1016 transitionTail_ = makeMutableCopy(transitionTail_);
1018 bitField0_ |= 0x00000004;
1030 public java.util.List<java.lang.Long>
1032 transitionTail_.makeImmutable();
1033 return transitionTail_;
1046 return transitionTail_.size();
1060 return transitionTail_.getLong(index);
1075 int index,
long value) {
1077 ensureTransitionTailIsMutable();
1078 transitionTail_.setLong(index, value);
1079 bitField0_ |= 0x00000004;
1096 ensureTransitionTailIsMutable();
1097 transitionTail_.addLong(value);
1098 bitField0_ |= 0x00000004;
1114 java.lang.Iterable<? extends java.lang.Long> values) {
1115 ensureTransitionTailIsMutable();
1116 com.google.protobuf.AbstractMessageLite.Builder.addAll(
1117 values, transitionTail_);
1118 bitField0_ |= 0x00000004;
1133 transitionTail_ = emptyLongList();
1134 bitField0_ = (bitField0_ & ~0x00000004);
1139 private com.google.protobuf.Internal.LongList transitionHead_ = emptyLongList();
1140 private void ensureTransitionHeadIsMutable() {
1141 if (!transitionHead_.isModifiable()) {
1142 transitionHead_ = makeMutableCopy(transitionHead_);
1144 bitField0_ |= 0x00000008;
1150 public java.util.List<java.lang.Long>
1152 transitionHead_.makeImmutable();
1153 return transitionHead_;
1160 return transitionHead_.size();
1168 return transitionHead_.getLong(index);
1177 int index,
long value) {
1179 ensureTransitionHeadIsMutable();
1180 transitionHead_.setLong(index, value);
1181 bitField0_ |= 0x00000008;
1192 ensureTransitionHeadIsMutable();
1193 transitionHead_.addLong(value);
1194 bitField0_ |= 0x00000008;
1204 java.lang.Iterable<? extends java.lang.Long> values) {
1205 ensureTransitionHeadIsMutable();
1206 com.google.protobuf.AbstractMessageLite.Builder.addAll(
1207 values, transitionHead_);
1208 bitField0_ |= 0x00000008;
1217 transitionHead_ = emptyLongList();
1218 bitField0_ = (bitField0_ & ~0x00000008);
1223 private com.google.protobuf.Internal.LongList transitionLabel_ = emptyLongList();
1224 private void ensureTransitionLabelIsMutable() {
1225 if (!transitionLabel_.isModifiable()) {
1226 transitionLabel_ = makeMutableCopy(transitionLabel_);
1228 bitField0_ |= 0x00000010;
1234 public java.util.List<java.lang.Long>
1236 transitionLabel_.makeImmutable();
1237 return transitionLabel_;
1244 return transitionLabel_.size();
1252 return transitionLabel_.getLong(index);
1261 int index,
long value) {
1263 ensureTransitionLabelIsMutable();
1264 transitionLabel_.setLong(index, value);
1265 bitField0_ |= 0x00000010;
1276 ensureTransitionLabelIsMutable();
1277 transitionLabel_.addLong(value);
1278 bitField0_ |= 0x00000010;
1288 java.lang.Iterable<? extends java.lang.Long> values) {
1289 ensureTransitionLabelIsMutable();
1290 com.google.protobuf.AbstractMessageLite.Builder.addAll(
1291 values, transitionLabel_);
1292 bitField0_ |= 0x00000010;
1301 transitionLabel_ = emptyLongList();
1302 bitField0_ = (bitField0_ & ~0x00000010);
1307 private com.google.protobuf.Internal.IntList vars_ = emptyIntList();
1308 private void ensureVarsIsMutable() {
1309 if (!vars_.isModifiable()) {
1310 vars_ = makeMutableCopy(vars_);
1312 bitField0_ |= 0x00000020;
1323 public java.util.List<java.lang.Integer>
1325 vars_.makeImmutable();
1338 return vars_.size();
1351 return vars_.getInt(index);
1365 int index,
int value) {
1367 ensureVarsIsMutable();
1368 vars_.setInt(index, value);
1369 bitField0_ |= 0x00000020;
1385 ensureVarsIsMutable();
1386 vars_.addInt(value);
1387 bitField0_ |= 0x00000020;
1402 java.lang.Iterable<? extends java.lang.Integer> values) {
1403 ensureVarsIsMutable();
1404 com.google.protobuf.AbstractMessageLite.Builder.addAll(
1406 bitField0_ |= 0x00000020;
1420 vars_ = emptyIntList();
1421 bitField0_ = (bitField0_ & ~0x00000020);
1427 final com.google.protobuf.UnknownFieldSet unknownFields) {
1433 final com.google.protobuf.UnknownFieldSet unknownFields) {
1444 DEFAULT_INSTANCE =
new com.google.ortools.sat.AutomatonConstraintProto();
1448 return DEFAULT_INSTANCE;
1455 com.google.protobuf.CodedInputStream input,
1456 com.google.protobuf.ExtensionRegistryLite extensionRegistry)
1457 throws com.google.protobuf.InvalidProtocolBufferException {
1460 builder.mergeFrom(input, extensionRegistry);
1461 }
catch (com.google.protobuf.InvalidProtocolBufferException e) {
1462 throw e.setUnfinishedMessage(builder.buildPartial());
1463 }
catch (com.google.protobuf.UninitializedMessageException e) {
1464 throw e.asInvalidProtocolBufferException().setUnfinishedMessage(builder.buildPartial());
1465 }
catch (java.io.IOException e) {
1466 throw new com.google.protobuf.InvalidProtocolBufferException(e)
1467 .setUnfinishedMessage(builder.buildPartial());
1469 return builder.buildPartial();
1484 return DEFAULT_INSTANCE;