AutomatonConstraintProto.java

Go to the documentation of this file.

// Generated by the protocol buffer compiler.  DO NOT EDIT!
// NO CHECKED-IN PROTOBUF GENCODE
// source: ortools/sat/cp_model.proto
// Protobuf Java Version: 4.33.1
 
package com.google.ortools.sat;

@com.google.protobuf.Generated
public final class AutomatonConstraintProto extends
    com.google.protobuf.GeneratedMessage implements
    // @@protoc_insertion_point(message_implements:operations_research.sat.AutomatonConstraintProto)
    AutomatonConstraintProtoOrBuilder {
private static final long serialVersionUID = 0L;
  static {
    com.google.protobuf.RuntimeVersion.validateProtobufGencodeVersion(
      com.google.protobuf.RuntimeVersion.RuntimeDomain.PUBLIC,
      /* major= */ 4,
      /* minor= */ 33,
      /* patch= */ 1,
      /* suffix= */ "",
      "AutomatonConstraintProto");
  }
  // Use AutomatonConstraintProto.newBuilder() to construct.
  private AutomatonConstraintProto(com.google.protobuf.GeneratedMessage.Builder<?> builder) {
    super(builder);
  }
  private AutomatonConstraintProto() {
    finalStates_ = emptyLongList();
    transitionTail_ = emptyLongList();
    transitionHead_ = emptyLongList();
    transitionLabel_ = emptyLongList();
    vars_ = emptyIntList();
    exprs_ = java.util.Collections.emptyList();
  }
 
  public static final com.google.protobuf.Descriptors.Descriptor
      getDescriptor() {
    return com.google.ortools.sat.CpModelProtobuf.internal_static_operations_research_sat_AutomatonConstraintProto_descriptor;
  }
 
  @java.lang.Override
  protected com.google.protobuf.GeneratedMessage.FieldAccessorTable
      internalGetFieldAccessorTable() {
    return com.google.ortools.sat.CpModelProtobuf.internal_static_operations_research_sat_AutomatonConstraintProto_fieldAccessorTable
        .ensureFieldAccessorsInitialized(
            com.google.ortools.sat.AutomatonConstraintProto.class, com.google.ortools.sat.AutomatonConstraintProto.Builder.class);
  }
 
  public static final int STARTING_STATE_FIELD_NUMBER = 2;
  private long startingState_ = 0L;
  @java.lang.Override
  public long getStartingState() {
    return startingState_;
  }
 
  public static final int FINAL_STATES_FIELD_NUMBER = 3;
  @SuppressWarnings("serial")
  private com.google.protobuf.Internal.LongList finalStates_ =
      emptyLongList();
  @java.lang.Override
  public java.util.List<java.lang.Long>
      getFinalStatesList() {
    return finalStates_;
  }

  public int getFinalStatesCount() {
    return finalStates_.size();
  }

  public long getFinalStates(int index) {
    return finalStates_.getLong(index);
  }
  private int finalStatesMemoizedSerializedSize = -1;
 
  public static final int TRANSITION_TAIL_FIELD_NUMBER = 4;
  @SuppressWarnings("serial")
  private com.google.protobuf.Internal.LongList transitionTail_ =
      emptyLongList();
  @java.lang.Override
  public java.util.List<java.lang.Long>
      getTransitionTailList() {
    return transitionTail_;
  }

  public int getTransitionTailCount() {
    return transitionTail_.size();
  }

  public long getTransitionTail(int index) {
    return transitionTail_.getLong(index);
  }
  private int transitionTailMemoizedSerializedSize = -1;
 
  public static final int TRANSITION_HEAD_FIELD_NUMBER = 5;
  @SuppressWarnings("serial")
  private com.google.protobuf.Internal.LongList transitionHead_ =
      emptyLongList();
  @java.lang.Override
  public java.util.List<java.lang.Long>
      getTransitionHeadList() {
    return transitionHead_;
  }

  public int getTransitionHeadCount() {
    return transitionHead_.size();
  }

  public long getTransitionHead(int index) {
    return transitionHead_.getLong(index);
  }
  private int transitionHeadMemoizedSerializedSize = -1;
 
  public static final int TRANSITION_LABEL_FIELD_NUMBER = 6;
  @SuppressWarnings("serial")
  private com.google.protobuf.Internal.LongList transitionLabel_ =
      emptyLongList();
  @java.lang.Override
  public java.util.List<java.lang.Long>
      getTransitionLabelList() {
    return transitionLabel_;
  }

  public int getTransitionLabelCount() {
    return transitionLabel_.size();
  }

  public long getTransitionLabel(int index) {
    return transitionLabel_.getLong(index);
  }
  private int transitionLabelMemoizedSerializedSize = -1;
 
  public static final int VARS_FIELD_NUMBER = 7;
  @SuppressWarnings("serial")
  private com.google.protobuf.Internal.IntList vars_ =
      emptyIntList();
  @java.lang.Override
  public java.util.List<java.lang.Integer>
      getVarsList() {
    return vars_;
  }

  public int getVarsCount() {
    return vars_.size();
  }

  public int getVars(int index) {
    return vars_.getInt(index);
  }
  private int varsMemoizedSerializedSize = -1;
 
  public static final int EXPRS_FIELD_NUMBER = 8;
  @SuppressWarnings("serial")
  private java.util.List<com.google.ortools.sat.LinearExpressionProto> exprs_;
  @java.lang.Override
  public java.util.List<com.google.ortools.sat.LinearExpressionProto> getExprsList() {
    return exprs_;
  }

  @java.lang.Override
  public java.util.List<? extends com.google.ortools.sat.LinearExpressionProtoOrBuilder> 
      getExprsOrBuilderList() {
    return exprs_;
  }

  @java.lang.Override
  public int getExprsCount() {
    return exprs_.size();
  }

  @java.lang.Override
  public com.google.ortools.sat.LinearExpressionProto getExprs(int index) {
    return exprs_.get(index);
  }

  @java.lang.Override
  public com.google.ortools.sat.LinearExpressionProtoOrBuilder getExprsOrBuilder(
      int index) {
    return exprs_.get(index);
  }
 
  private byte memoizedIsInitialized = -1;
  @java.lang.Override
  public final boolean isInitialized() {
    byte isInitialized = memoizedIsInitialized;
    if (isInitialized == 1) return true;
    if (isInitialized == 0) return false;
 
    memoizedIsInitialized = 1;
    return true;
  }
 
  @java.lang.Override
  public void writeTo(com.google.protobuf.CodedOutputStream output)
                      throws java.io.IOException {
    getSerializedSize();
    if (startingState_ != 0L) {
      output.writeInt64(2, startingState_);
    }
    if (getFinalStatesList().size() > 0) {
      output.writeUInt32NoTag(26);
      output.writeUInt32NoTag(finalStatesMemoizedSerializedSize);
    }
    for (int i = 0; i < finalStates_.size(); i++) {
      output.writeInt64NoTag(finalStates_.getLong(i));
    }
    if (getTransitionTailList().size() > 0) {
      output.writeUInt32NoTag(34);
      output.writeUInt32NoTag(transitionTailMemoizedSerializedSize);
    }
    for (int i = 0; i < transitionTail_.size(); i++) {
      output.writeInt64NoTag(transitionTail_.getLong(i));
    }
    if (getTransitionHeadList().size() > 0) {
      output.writeUInt32NoTag(42);
      output.writeUInt32NoTag(transitionHeadMemoizedSerializedSize);
    }
    for (int i = 0; i < transitionHead_.size(); i++) {
      output.writeInt64NoTag(transitionHead_.getLong(i));
    }
    if (getTransitionLabelList().size() > 0) {
      output.writeUInt32NoTag(50);
      output.writeUInt32NoTag(transitionLabelMemoizedSerializedSize);
    }
    for (int i = 0; i < transitionLabel_.size(); i++) {
      output.writeInt64NoTag(transitionLabel_.getLong(i));
    }
    if (getVarsList().size() > 0) {
      output.writeUInt32NoTag(58);
      output.writeUInt32NoTag(varsMemoizedSerializedSize);
    }
    for (int i = 0; i < vars_.size(); i++) {
      output.writeInt32NoTag(vars_.getInt(i));
    }
    for (int i = 0; i < exprs_.size(); i++) {
      output.writeMessage(8, exprs_.get(i));
    }
    getUnknownFields().writeTo(output);
  }
 
  @java.lang.Override
  public int getSerializedSize() {
    int size = memoizedSize;
    if (size != -1) return size;
 
    size = 0;
    if (startingState_ != 0L) {
      size += com.google.protobuf.CodedOutputStream
        .computeInt64Size(2, startingState_);
    }
    {
      int dataSize = 0;
      for (int i = 0; i < finalStates_.size(); i++) {
        dataSize += com.google.protobuf.CodedOutputStream
          .computeInt64SizeNoTag(finalStates_.getLong(i));
      }
      size += dataSize;
      if (!getFinalStatesList().isEmpty()) {
        size += 1;
        size += com.google.protobuf.CodedOutputStream
            .computeInt32SizeNoTag(dataSize);
      }
      finalStatesMemoizedSerializedSize = dataSize;
    }
    {
      int dataSize = 0;
      for (int i = 0; i < transitionTail_.size(); i++) {
        dataSize += com.google.protobuf.CodedOutputStream
          .computeInt64SizeNoTag(transitionTail_.getLong(i));
      }
      size += dataSize;
      if (!getTransitionTailList().isEmpty()) {
        size += 1;
        size += com.google.protobuf.CodedOutputStream
            .computeInt32SizeNoTag(dataSize);
      }
      transitionTailMemoizedSerializedSize = dataSize;
    }
    {
      int dataSize = 0;
      for (int i = 0; i < transitionHead_.size(); i++) {
        dataSize += com.google.protobuf.CodedOutputStream
          .computeInt64SizeNoTag(transitionHead_.getLong(i));
      }
      size += dataSize;
      if (!getTransitionHeadList().isEmpty()) {
        size += 1;
        size += com.google.protobuf.CodedOutputStream
            .computeInt32SizeNoTag(dataSize);
      }
      transitionHeadMemoizedSerializedSize = dataSize;
    }
    {
      int dataSize = 0;
      for (int i = 0; i < transitionLabel_.size(); i++) {
        dataSize += com.google.protobuf.CodedOutputStream
          .computeInt64SizeNoTag(transitionLabel_.getLong(i));
      }
      size += dataSize;
      if (!getTransitionLabelList().isEmpty()) {
        size += 1;
        size += com.google.protobuf.CodedOutputStream
            .computeInt32SizeNoTag(dataSize);
      }
      transitionLabelMemoizedSerializedSize = dataSize;
    }
    {
      int dataSize = 0;
      for (int i = 0; i < vars_.size(); i++) {
        dataSize += com.google.protobuf.CodedOutputStream
          .computeInt32SizeNoTag(vars_.getInt(i));
      }
      size += dataSize;
      if (!getVarsList().isEmpty()) {
        size += 1;
        size += com.google.protobuf.CodedOutputStream
            .computeInt32SizeNoTag(dataSize);
      }
      varsMemoizedSerializedSize = dataSize;
    }
    for (int i = 0; i < exprs_.size(); i++) {
      size += com.google.protobuf.CodedOutputStream
        .computeMessageSize(8, exprs_.get(i));
    }
    size += getUnknownFields().getSerializedSize();
    memoizedSize = size;
    return size;
  }
 
  @java.lang.Override
  public boolean equals(final java.lang.Object obj) {
    if (obj == this) {
     return true;
    }
    if (!(obj instanceof com.google.ortools.sat.AutomatonConstraintProto)) {
      return super.equals(obj);
    }
    com.google.ortools.sat.AutomatonConstraintProto other = (com.google.ortools.sat.AutomatonConstraintProto) obj;
 
    if (getStartingState()
        != other.getStartingState()) return false;
    if (!getFinalStatesList()
        .equals(other.getFinalStatesList())) return false;
    if (!getTransitionTailList()
        .equals(other.getTransitionTailList())) return false;
    if (!getTransitionHeadList()
        .equals(other.getTransitionHeadList())) return false;
    if (!getTransitionLabelList()
        .equals(other.getTransitionLabelList())) return false;
    if (!getVarsList()
        .equals(other.getVarsList())) return false;
    if (!getExprsList()
        .equals(other.getExprsList())) return false;
    if (!getUnknownFields().equals(other.getUnknownFields())) return false;
    return true;
  }
 
  @java.lang.Override
  public int hashCode() {
    if (memoizedHashCode != 0) {
      return memoizedHashCode;
    }
    int hash = 41;
    hash = (19 * hash) + getDescriptor().hashCode();
    hash = (37 * hash) + STARTING_STATE_FIELD_NUMBER;
    hash = (53 * hash) + com.google.protobuf.Internal.hashLong(
        getStartingState());
    if (getFinalStatesCount() > 0) {
      hash = (37 * hash) + FINAL_STATES_FIELD_NUMBER;
      hash = (53 * hash) + getFinalStatesList().hashCode();
    }
    if (getTransitionTailCount() > 0) {
      hash = (37 * hash) + TRANSITION_TAIL_FIELD_NUMBER;
      hash = (53 * hash) + getTransitionTailList().hashCode();
    }
    if (getTransitionHeadCount() > 0) {
      hash = (37 * hash) + TRANSITION_HEAD_FIELD_NUMBER;
      hash = (53 * hash) + getTransitionHeadList().hashCode();
    }
    if (getTransitionLabelCount() > 0) {
      hash = (37 * hash) + TRANSITION_LABEL_FIELD_NUMBER;
      hash = (53 * hash) + getTransitionLabelList().hashCode();
    }
    if (getVarsCount() > 0) {
      hash = (37 * hash) + VARS_FIELD_NUMBER;
      hash = (53 * hash) + getVarsList().hashCode();
    }
    if (getExprsCount() > 0) {
      hash = (37 * hash) + EXPRS_FIELD_NUMBER;
      hash = (53 * hash) + getExprsList().hashCode();
    }
    hash = (29 * hash) + getUnknownFields().hashCode();
    memoizedHashCode = hash;
    return hash;
  }
 
  public static com.google.ortools.sat.AutomatonConstraintProto parseFrom(
      java.nio.ByteBuffer data)
      throws com.google.protobuf.InvalidProtocolBufferException {
    return PARSER.parseFrom(data);
  }
  public static com.google.ortools.sat.AutomatonConstraintProto parseFrom(
      java.nio.ByteBuffer data,
      com.google.protobuf.ExtensionRegistryLite extensionRegistry)
      throws com.google.protobuf.InvalidProtocolBufferException {
    return PARSER.parseFrom(data, extensionRegistry);
  }
  public static com.google.ortools.sat.AutomatonConstraintProto parseFrom(
      com.google.protobuf.ByteString data)
      throws com.google.protobuf.InvalidProtocolBufferException {
    return PARSER.parseFrom(data);
  }
  public static com.google.ortools.sat.AutomatonConstraintProto parseFrom(
      com.google.protobuf.ByteString data,
      com.google.protobuf.ExtensionRegistryLite extensionRegistry)
      throws com.google.protobuf.InvalidProtocolBufferException {
    return PARSER.parseFrom(data, extensionRegistry);
  }
  public static com.google.ortools.sat.AutomatonConstraintProto parseFrom(byte[] data)
      throws com.google.protobuf.InvalidProtocolBufferException {
    return PARSER.parseFrom(data);
  }
  public static com.google.ortools.sat.AutomatonConstraintProto parseFrom(
      byte[] data,
      com.google.protobuf.ExtensionRegistryLite extensionRegistry)
      throws com.google.protobuf.InvalidProtocolBufferException {
    return PARSER.parseFrom(data, extensionRegistry);
  }
  public static com.google.ortools.sat.AutomatonConstraintProto parseFrom(java.io.InputStream input)
      throws java.io.IOException {
    return com.google.protobuf.GeneratedMessage
        .parseWithIOException(PARSER, input);
  }
  public static com.google.ortools.sat.AutomatonConstraintProto parseFrom(
      java.io.InputStream input,
      com.google.protobuf.ExtensionRegistryLite extensionRegistry)
      throws java.io.IOException {
    return com.google.protobuf.GeneratedMessage
        .parseWithIOException(PARSER, input, extensionRegistry);
  }
 
  public static com.google.ortools.sat.AutomatonConstraintProto parseDelimitedFrom(java.io.InputStream input)
      throws java.io.IOException {
    return com.google.protobuf.GeneratedMessage
        .parseDelimitedWithIOException(PARSER, input);
  }
 
  public static com.google.ortools.sat.AutomatonConstraintProto parseDelimitedFrom(
      java.io.InputStream input,
      com.google.protobuf.ExtensionRegistryLite extensionRegistry)
      throws java.io.IOException {
    return com.google.protobuf.GeneratedMessage
        .parseDelimitedWithIOException(PARSER, input, extensionRegistry);
  }
  public static com.google.ortools.sat.AutomatonConstraintProto parseFrom(
      com.google.protobuf.CodedInputStream input)
      throws java.io.IOException {
    return com.google.protobuf.GeneratedMessage
        .parseWithIOException(PARSER, input);
  }
  public static com.google.ortools.sat.AutomatonConstraintProto parseFrom(
      com.google.protobuf.CodedInputStream input,
      com.google.protobuf.ExtensionRegistryLite extensionRegistry)
      throws java.io.IOException {
    return com.google.protobuf.GeneratedMessage
        .parseWithIOException(PARSER, input, extensionRegistry);
  }
 
  @java.lang.Override
  public Builder newBuilderForType() { return newBuilder(); }
  public static Builder newBuilder() {
    return DEFAULT_INSTANCE.toBuilder();
  }
  public static Builder newBuilder(com.google.ortools.sat.AutomatonConstraintProto prototype) {
    return DEFAULT_INSTANCE.toBuilder().mergeFrom(prototype);
  }
  @java.lang.Override
  public Builder toBuilder() {
    return this == DEFAULT_INSTANCE
        ? new Builder() : new Builder().mergeFrom(this);
  }
 
  @java.lang.Override
  protected Builder newBuilderForType(
      com.google.protobuf.GeneratedMessage.BuilderParent parent) {
    Builder builder = new Builder(parent);
    return builder;
  }

  public static final class Builder extends
      com.google.protobuf.GeneratedMessage.Builder<Builder> implements
      // @@protoc_insertion_point(builder_implements:operations_research.sat.AutomatonConstraintProto)
      com.google.ortools.sat.AutomatonConstraintProtoOrBuilder {
    public static final com.google.protobuf.Descriptors.Descriptor
        getDescriptor() {
      return com.google.ortools.sat.CpModelProtobuf.internal_static_operations_research_sat_AutomatonConstraintProto_descriptor;
    }
 
    @java.lang.Override
    protected com.google.protobuf.GeneratedMessage.FieldAccessorTable
        internalGetFieldAccessorTable() {
      return com.google.ortools.sat.CpModelProtobuf.internal_static_operations_research_sat_AutomatonConstraintProto_fieldAccessorTable
          .ensureFieldAccessorsInitialized(
              com.google.ortools.sat.AutomatonConstraintProto.class, com.google.ortools.sat.AutomatonConstraintProto.Builder.class);
    }
 
    // Construct using com.google.ortools.sat.AutomatonConstraintProto.newBuilder()
    private Builder() {
 
    }
 
    private Builder(
        com.google.protobuf.GeneratedMessage.BuilderParent parent) {
      super(parent);
 
    }
    @java.lang.Override
    public Builder clear() {
      super.clear();
      bitField0_ = 0;
      startingState_ = 0L;
      finalStates_ = emptyLongList();
      transitionTail_ = emptyLongList();
      transitionHead_ = emptyLongList();
      transitionLabel_ = emptyLongList();
      vars_ = emptyIntList();
      if (exprsBuilder_ == null) {
        exprs_ = java.util.Collections.emptyList();
      } else {
        exprs_ = null;
        exprsBuilder_.clear();
      }
      bitField0_ = (bitField0_ & ~0x00000040);
      return this;
    }
 
    @java.lang.Override
    public com.google.protobuf.Descriptors.Descriptor
        getDescriptorForType() {
      return com.google.ortools.sat.CpModelProtobuf.internal_static_operations_research_sat_AutomatonConstraintProto_descriptor;
    }
 
    @java.lang.Override
    public com.google.ortools.sat.AutomatonConstraintProto getDefaultInstanceForType() {
      return com.google.ortools.sat.AutomatonConstraintProto.getDefaultInstance();
    }
 
    @java.lang.Override
    public com.google.ortools.sat.AutomatonConstraintProto build() {
      com.google.ortools.sat.AutomatonConstraintProto result = buildPartial();
      if (!result.isInitialized()) {
        throw newUninitializedMessageException(result);
      }
      return result;
    }
 
    @java.lang.Override
    public com.google.ortools.sat.AutomatonConstraintProto buildPartial() {
      com.google.ortools.sat.AutomatonConstraintProto result = new com.google.ortools.sat.AutomatonConstraintProto(this);
      buildPartialRepeatedFields(result);
      if (bitField0_ != 0) { buildPartial0(result); }
      onBuilt();
      return result;
    }
 
    private void buildPartialRepeatedFields(com.google.ortools.sat.AutomatonConstraintProto result) {
      if (exprsBuilder_ == null) {
        if (((bitField0_ & 0x00000040) != 0)) {
          exprs_ = java.util.Collections.unmodifiableList(exprs_);
          bitField0_ = (bitField0_ & ~0x00000040);
        }
        result.exprs_ = exprs_;
      } else {
        result.exprs_ = exprsBuilder_.build();
      }
    }
 
    private void buildPartial0(com.google.ortools.sat.AutomatonConstraintProto result) {
      int from_bitField0_ = bitField0_;
      if (((from_bitField0_ & 0x00000001) != 0)) {
        result.startingState_ = startingState_;
      }
      if (((from_bitField0_ & 0x00000002) != 0)) {
        finalStates_.makeImmutable();
        result.finalStates_ = finalStates_;
      }
      if (((from_bitField0_ & 0x00000004) != 0)) {
        transitionTail_.makeImmutable();
        result.transitionTail_ = transitionTail_;
      }
      if (((from_bitField0_ & 0x00000008) != 0)) {
        transitionHead_.makeImmutable();
        result.transitionHead_ = transitionHead_;
      }
      if (((from_bitField0_ & 0x00000010) != 0)) {
        transitionLabel_.makeImmutable();
        result.transitionLabel_ = transitionLabel_;
      }
      if (((from_bitField0_ & 0x00000020) != 0)) {
        vars_.makeImmutable();
        result.vars_ = vars_;
      }
    }
 
    @java.lang.Override
    public Builder mergeFrom(com.google.protobuf.Message other) {
      if (other instanceof com.google.ortools.sat.AutomatonConstraintProto) {
        return mergeFrom((com.google.ortools.sat.AutomatonConstraintProto)other);
      } else {
        super.mergeFrom(other);
        return this;
      }
    }
 
    public Builder mergeFrom(com.google.ortools.sat.AutomatonConstraintProto other) {
      if (other == com.google.ortools.sat.AutomatonConstraintProto.getDefaultInstance()) return this;
      if (other.getStartingState() != 0L) {
        setStartingState(other.getStartingState());
      }
      if (!other.finalStates_.isEmpty()) {
        if (finalStates_.isEmpty()) {
          finalStates_ = other.finalStates_;
          finalStates_.makeImmutable();
          bitField0_ |= 0x00000002;
        } else {
          ensureFinalStatesIsMutable();
          finalStates_.addAll(other.finalStates_);
        }
        onChanged();
      }
      if (!other.transitionTail_.isEmpty()) {
        if (transitionTail_.isEmpty()) {
          transitionTail_ = other.transitionTail_;
          transitionTail_.makeImmutable();
          bitField0_ |= 0x00000004;
        } else {
          ensureTransitionTailIsMutable();
          transitionTail_.addAll(other.transitionTail_);
        }
        onChanged();
      }
      if (!other.transitionHead_.isEmpty()) {
        if (transitionHead_.isEmpty()) {
          transitionHead_ = other.transitionHead_;
          transitionHead_.makeImmutable();
          bitField0_ |= 0x00000008;
        } else {
          ensureTransitionHeadIsMutable();
          transitionHead_.addAll(other.transitionHead_);
        }
        onChanged();
      }
      if (!other.transitionLabel_.isEmpty()) {
        if (transitionLabel_.isEmpty()) {
          transitionLabel_ = other.transitionLabel_;
          transitionLabel_.makeImmutable();
          bitField0_ |= 0x00000010;
        } else {
          ensureTransitionLabelIsMutable();
          transitionLabel_.addAll(other.transitionLabel_);
        }
        onChanged();
      }
      if (!other.vars_.isEmpty()) {
        if (vars_.isEmpty()) {
          vars_ = other.vars_;
          vars_.makeImmutable();
          bitField0_ |= 0x00000020;
        } else {
          ensureVarsIsMutable();
          vars_.addAll(other.vars_);
        }
        onChanged();
      }
      if (exprsBuilder_ == null) {
        if (!other.exprs_.isEmpty()) {
          if (exprs_.isEmpty()) {
            exprs_ = other.exprs_;
            bitField0_ = (bitField0_ & ~0x00000040);
          } else {
            ensureExprsIsMutable();
            exprs_.addAll(other.exprs_);
          }
          onChanged();
        }
      } else {
        if (!other.exprs_.isEmpty()) {
          if (exprsBuilder_.isEmpty()) {
            exprsBuilder_.dispose();
            exprsBuilder_ = null;
            exprs_ = other.exprs_;
            bitField0_ = (bitField0_ & ~0x00000040);
            exprsBuilder_ = 
              com.google.protobuf.GeneratedMessage.alwaysUseFieldBuilders ?
                 internalGetExprsFieldBuilder() : null;
          } else {
            exprsBuilder_.addAllMessages(other.exprs_);
          }
        }
      }
      this.mergeUnknownFields(other.getUnknownFields());
      onChanged();
      return this;
    }
 
    @java.lang.Override
    public final boolean isInitialized() {
      return true;
    }
 
    @java.lang.Override
    public Builder mergeFrom(
        com.google.protobuf.CodedInputStream input,
        com.google.protobuf.ExtensionRegistryLite extensionRegistry)
        throws java.io.IOException {
      if (extensionRegistry == null) {
        throw new java.lang.NullPointerException();
      }
      try {
        boolean done = false;
        while (!done) {
          int tag = input.readTag();
          switch (tag) {
            case 0:
              done = true;
              break;
            case 16: {
              startingState_ = input.readInt64();
              bitField0_ |= 0x00000001;
              break;
            } // case 16
            case 24: {
              long v = input.readInt64();
              ensureFinalStatesIsMutable();
              finalStates_.addLong(v);
              break;
            } // case 24
            case 26: {
              int length = input.readRawVarint32();
              int limit = input.pushLimit(length);
              ensureFinalStatesIsMutable();
              while (input.getBytesUntilLimit() > 0) {
                finalStates_.addLong(input.readInt64());
              }
              input.popLimit(limit);
              break;
            } // case 26
            case 32: {
              long v = input.readInt64();
              ensureTransitionTailIsMutable();
              transitionTail_.addLong(v);
              break;
            } // case 32
            case 34: {
              int length = input.readRawVarint32();
              int limit = input.pushLimit(length);
              ensureTransitionTailIsMutable();
              while (input.getBytesUntilLimit() > 0) {
                transitionTail_.addLong(input.readInt64());
              }
              input.popLimit(limit);
              break;
            } // case 34
            case 40: {
              long v = input.readInt64();
              ensureTransitionHeadIsMutable();
              transitionHead_.addLong(v);
              break;
            } // case 40
            case 42: {
              int length = input.readRawVarint32();
              int limit = input.pushLimit(length);
              ensureTransitionHeadIsMutable();
              while (input.getBytesUntilLimit() > 0) {
                transitionHead_.addLong(input.readInt64());
              }
              input.popLimit(limit);
              break;
            } // case 42
            case 48: {
              long v = input.readInt64();
              ensureTransitionLabelIsMutable();
              transitionLabel_.addLong(v);
              break;
            } // case 48
            case 50: {
              int length = input.readRawVarint32();
              int limit = input.pushLimit(length);
              ensureTransitionLabelIsMutable();
              while (input.getBytesUntilLimit() > 0) {
                transitionLabel_.addLong(input.readInt64());
              }
              input.popLimit(limit);
              break;
            } // case 50
            case 56: {
              int v = input.readInt32();
              ensureVarsIsMutable();
              vars_.addInt(v);
              break;
            } // case 56
            case 58: {
              int length = input.readRawVarint32();
              int limit = input.pushLimit(length);
              ensureVarsIsMutable();
              while (input.getBytesUntilLimit() > 0) {
                vars_.addInt(input.readInt32());
              }
              input.popLimit(limit);
              break;
            } // case 58
            case 66: {
              com.google.ortools.sat.LinearExpressionProto m =
                  input.readMessage(
                      com.google.ortools.sat.LinearExpressionProto.parser(),
                      extensionRegistry);
              if (exprsBuilder_ == null) {
                ensureExprsIsMutable();
                exprs_.add(m);
              } else {
                exprsBuilder_.addMessage(m);
              }
              break;
            } // case 66
            default: {
              if (!super.parseUnknownField(input, extensionRegistry, tag)) {
                done = true; // was an endgroup tag
              }
              break;
            } // default:
          } // switch (tag)
        } // while (!done)
      } catch (com.google.protobuf.InvalidProtocolBufferException e) {
        throw e.unwrapIOException();
      } finally {
        onChanged();
      } // finally
      return this;
    }
    private int bitField0_;
 
    private long startingState_ ;
    @java.lang.Override
    public long getStartingState() {
      return startingState_;
    }

    public Builder setStartingState(long value) {
 
      startingState_ = value;
      bitField0_ |= 0x00000001;
      onChanged();
      return this;
    }

    public Builder clearStartingState() {
      bitField0_ = (bitField0_ & ~0x00000001);
      startingState_ = 0L;
      onChanged();
      return this;
    }
 
    private com.google.protobuf.Internal.LongList finalStates_ = emptyLongList();
    private void ensureFinalStatesIsMutable() {
      if (!finalStates_.isModifiable()) {
        finalStates_ = makeMutableCopy(finalStates_);
      }
      bitField0_ |= 0x00000002;
    }
    public java.util.List<java.lang.Long>
        getFinalStatesList() {
      finalStates_.makeImmutable();
      return finalStates_;
    }

    public int getFinalStatesCount() {
      return finalStates_.size();
    }

    public long getFinalStates(int index) {
      return finalStates_.getLong(index);
    }

    public Builder setFinalStates(
        int index, long value) {
 
      ensureFinalStatesIsMutable();
      finalStates_.setLong(index, value);
      bitField0_ |= 0x00000002;
      onChanged();
      return this;
    }

    public Builder addFinalStates(long value) {
 
      ensureFinalStatesIsMutable();
      finalStates_.addLong(value);
      bitField0_ |= 0x00000002;
      onChanged();
      return this;
    }

    public Builder addAllFinalStates(
        java.lang.Iterable<? extends java.lang.Long> values) {
      ensureFinalStatesIsMutable();
      com.google.protobuf.AbstractMessageLite.Builder.addAll(
          values, finalStates_);
      bitField0_ |= 0x00000002;
      onChanged();
      return this;
    }

    public Builder clearFinalStates() {
      finalStates_ = emptyLongList();
      bitField0_ = (bitField0_ & ~0x00000002);
      onChanged();
      return this;
    }
 
    private com.google.protobuf.Internal.LongList transitionTail_ = emptyLongList();
    private void ensureTransitionTailIsMutable() {
      if (!transitionTail_.isModifiable()) {
        transitionTail_ = makeMutableCopy(transitionTail_);
      }
      bitField0_ |= 0x00000004;
    }
    public java.util.List<java.lang.Long>
        getTransitionTailList() {
      transitionTail_.makeImmutable();
      return transitionTail_;
    }

    public int getTransitionTailCount() {
      return transitionTail_.size();
    }

    public long getTransitionTail(int index) {
      return transitionTail_.getLong(index);
    }

    public Builder setTransitionTail(
        int index, long value) {
 
      ensureTransitionTailIsMutable();
      transitionTail_.setLong(index, value);
      bitField0_ |= 0x00000004;
      onChanged();
      return this;
    }

    public Builder addTransitionTail(long value) {
 
      ensureTransitionTailIsMutable();
      transitionTail_.addLong(value);
      bitField0_ |= 0x00000004;
      onChanged();
      return this;
    }

    public Builder addAllTransitionTail(
        java.lang.Iterable<? extends java.lang.Long> values) {
      ensureTransitionTailIsMutable();
      com.google.protobuf.AbstractMessageLite.Builder.addAll(
          values, transitionTail_);
      bitField0_ |= 0x00000004;
      onChanged();
      return this;
    }

    public Builder clearTransitionTail() {
      transitionTail_ = emptyLongList();
      bitField0_ = (bitField0_ & ~0x00000004);
      onChanged();
      return this;
    }
 
    private com.google.protobuf.Internal.LongList transitionHead_ = emptyLongList();
    private void ensureTransitionHeadIsMutable() {
      if (!transitionHead_.isModifiable()) {
        transitionHead_ = makeMutableCopy(transitionHead_);
      }
      bitField0_ |= 0x00000008;
    }
    public java.util.List<java.lang.Long>
        getTransitionHeadList() {
      transitionHead_.makeImmutable();
      return transitionHead_;
    }

    public int getTransitionHeadCount() {
      return transitionHead_.size();
    }

    public long getTransitionHead(int index) {
      return transitionHead_.getLong(index);
    }

    public Builder setTransitionHead(
        int index, long value) {
 
      ensureTransitionHeadIsMutable();
      transitionHead_.setLong(index, value);
      bitField0_ |= 0x00000008;
      onChanged();
      return this;
    }

    public Builder addTransitionHead(long value) {
 
      ensureTransitionHeadIsMutable();
      transitionHead_.addLong(value);
      bitField0_ |= 0x00000008;
      onChanged();
      return this;
    }

    public Builder addAllTransitionHead(
        java.lang.Iterable<? extends java.lang.Long> values) {
      ensureTransitionHeadIsMutable();
      com.google.protobuf.AbstractMessageLite.Builder.addAll(
          values, transitionHead_);
      bitField0_ |= 0x00000008;
      onChanged();
      return this;
    }

    public Builder clearTransitionHead() {
      transitionHead_ = emptyLongList();
      bitField0_ = (bitField0_ & ~0x00000008);
      onChanged();
      return this;
    }
 
    private com.google.protobuf.Internal.LongList transitionLabel_ = emptyLongList();
    private void ensureTransitionLabelIsMutable() {
      if (!transitionLabel_.isModifiable()) {
        transitionLabel_ = makeMutableCopy(transitionLabel_);
      }
      bitField0_ |= 0x00000010;
    }
    public java.util.List<java.lang.Long>
        getTransitionLabelList() {
      transitionLabel_.makeImmutable();
      return transitionLabel_;
    }

    public int getTransitionLabelCount() {
      return transitionLabel_.size();
    }

    public long getTransitionLabel(int index) {
      return transitionLabel_.getLong(index);
    }

    public Builder setTransitionLabel(
        int index, long value) {
 
      ensureTransitionLabelIsMutable();
      transitionLabel_.setLong(index, value);
      bitField0_ |= 0x00000010;
      onChanged();
      return this;
    }

    public Builder addTransitionLabel(long value) {
 
      ensureTransitionLabelIsMutable();
      transitionLabel_.addLong(value);
      bitField0_ |= 0x00000010;
      onChanged();
      return this;
    }

    public Builder addAllTransitionLabel(
        java.lang.Iterable<? extends java.lang.Long> values) {
      ensureTransitionLabelIsMutable();
      com.google.protobuf.AbstractMessageLite.Builder.addAll(
          values, transitionLabel_);
      bitField0_ |= 0x00000010;
      onChanged();
      return this;
    }

    public Builder clearTransitionLabel() {
      transitionLabel_ = emptyLongList();
      bitField0_ = (bitField0_ & ~0x00000010);
      onChanged();
      return this;
    }
 
    private com.google.protobuf.Internal.IntList vars_ = emptyIntList();
    private void ensureVarsIsMutable() {
      if (!vars_.isModifiable()) {
        vars_ = makeMutableCopy(vars_);
      }
      bitField0_ |= 0x00000020;
    }
    public java.util.List<java.lang.Integer>
        getVarsList() {
      vars_.makeImmutable();
      return vars_;
    }

    public int getVarsCount() {
      return vars_.size();
    }

    public int getVars(int index) {
      return vars_.getInt(index);
    }

    public Builder setVars(
        int index, int value) {
 
      ensureVarsIsMutable();
      vars_.setInt(index, value);
      bitField0_ |= 0x00000020;
      onChanged();
      return this;
    }

    public Builder addVars(int value) {
 
      ensureVarsIsMutable();
      vars_.addInt(value);
      bitField0_ |= 0x00000020;
      onChanged();
      return this;
    }

    public Builder addAllVars(
        java.lang.Iterable<? extends java.lang.Integer> values) {
      ensureVarsIsMutable();
      com.google.protobuf.AbstractMessageLite.Builder.addAll(
          values, vars_);
      bitField0_ |= 0x00000020;
      onChanged();
      return this;
    }

    public Builder clearVars() {
      vars_ = emptyIntList();
      bitField0_ = (bitField0_ & ~0x00000020);
      onChanged();
      return this;
    }
 
    private java.util.List<com.google.ortools.sat.LinearExpressionProto> exprs_ =
      java.util.Collections.emptyList();
    private void ensureExprsIsMutable() {
      if (!((bitField0_ & 0x00000040) != 0)) {
        exprs_ = new java.util.ArrayList<com.google.ortools.sat.LinearExpressionProto>(exprs_);
        bitField0_ |= 0x00000040;
       }
    }
 
    private com.google.protobuf.RepeatedFieldBuilder<
        com.google.ortools.sat.LinearExpressionProto, com.google.ortools.sat.LinearExpressionProto.Builder, com.google.ortools.sat.LinearExpressionProtoOrBuilder> exprsBuilder_;

    public java.util.List<com.google.ortools.sat.LinearExpressionProto> getExprsList() {
      if (exprsBuilder_ == null) {
        return java.util.Collections.unmodifiableList(exprs_);
      } else {
        return exprsBuilder_.getMessageList();
      }
    }

    public int getExprsCount() {
      if (exprsBuilder_ == null) {
        return exprs_.size();
      } else {
        return exprsBuilder_.getCount();
      }
    }

    public com.google.ortools.sat.LinearExpressionProto getExprs(int index) {
      if (exprsBuilder_ == null) {
        return exprs_.get(index);
      } else {
        return exprsBuilder_.getMessage(index);
      }
    }

    public Builder setExprs(
        int index, com.google.ortools.sat.LinearExpressionProto value) {
      if (exprsBuilder_ == null) {
        if (value == null) {
          throw new NullPointerException();
        }
        ensureExprsIsMutable();
        exprs_.set(index, value);
        onChanged();
      } else {
        exprsBuilder_.setMessage(index, value);
      }
      return this;
    }

    public Builder setExprs(
        int index, com.google.ortools.sat.LinearExpressionProto.Builder builderForValue) {
      if (exprsBuilder_ == null) {
        ensureExprsIsMutable();
        exprs_.set(index, builderForValue.build());
        onChanged();
      } else {
        exprsBuilder_.setMessage(index, builderForValue.build());
      }
      return this;
    }

    public Builder addExprs(com.google.ortools.sat.LinearExpressionProto value) {
      if (exprsBuilder_ == null) {
        if (value == null) {
          throw new NullPointerException();
        }
        ensureExprsIsMutable();
        exprs_.add(value);
        onChanged();
      } else {
        exprsBuilder_.addMessage(value);
      }
      return this;
    }

    public Builder addExprs(
        int index, com.google.ortools.sat.LinearExpressionProto value) {
      if (exprsBuilder_ == null) {
        if (value == null) {
          throw new NullPointerException();
        }
        ensureExprsIsMutable();
        exprs_.add(index, value);
        onChanged();
      } else {
        exprsBuilder_.addMessage(index, value);
      }
      return this;
    }

    public Builder addExprs(
        com.google.ortools.sat.LinearExpressionProto.Builder builderForValue) {
      if (exprsBuilder_ == null) {
        ensureExprsIsMutable();
        exprs_.add(builderForValue.build());
        onChanged();
      } else {
        exprsBuilder_.addMessage(builderForValue.build());
      }
      return this;
    }

    public Builder addExprs(
        int index, com.google.ortools.sat.LinearExpressionProto.Builder builderForValue) {
      if (exprsBuilder_ == null) {
        ensureExprsIsMutable();
        exprs_.add(index, builderForValue.build());
        onChanged();
      } else {
        exprsBuilder_.addMessage(index, builderForValue.build());
      }
      return this;
    }

    public Builder addAllExprs(
        java.lang.Iterable<? extends com.google.ortools.sat.LinearExpressionProto> values) {
      if (exprsBuilder_ == null) {
        ensureExprsIsMutable();
        com.google.protobuf.AbstractMessageLite.Builder.addAll(
            values, exprs_);
        onChanged();
      } else {
        exprsBuilder_.addAllMessages(values);
      }
      return this;
    }

    public Builder clearExprs() {
      if (exprsBuilder_ == null) {
        exprs_ = java.util.Collections.emptyList();
        bitField0_ = (bitField0_ & ~0x00000040);
        onChanged();
      } else {
        exprsBuilder_.clear();
      }
      return this;
    }

    public Builder removeExprs(int index) {
      if (exprsBuilder_ == null) {
        ensureExprsIsMutable();
        exprs_.remove(index);
        onChanged();
      } else {
        exprsBuilder_.remove(index);
      }
      return this;
    }

    public com.google.ortools.sat.LinearExpressionProto.Builder getExprsBuilder(
        int index) {
      return internalGetExprsFieldBuilder().getBuilder(index);
    }

    public com.google.ortools.sat.LinearExpressionProtoOrBuilder getExprsOrBuilder(
        int index) {
      if (exprsBuilder_ == null) {
        return exprs_.get(index);  } else {
        return exprsBuilder_.getMessageOrBuilder(index);
      }
    }

    public java.util.List<? extends com.google.ortools.sat.LinearExpressionProtoOrBuilder> 
         getExprsOrBuilderList() {
      if (exprsBuilder_ != null) {
        return exprsBuilder_.getMessageOrBuilderList();
      } else {
        return java.util.Collections.unmodifiableList(exprs_);
      }
    }

    public com.google.ortools.sat.LinearExpressionProto.Builder addExprsBuilder() {
      return internalGetExprsFieldBuilder().addBuilder(
          com.google.ortools.sat.LinearExpressionProto.getDefaultInstance());
    }

    public com.google.ortools.sat.LinearExpressionProto.Builder addExprsBuilder(
        int index) {
      return internalGetExprsFieldBuilder().addBuilder(
          index, com.google.ortools.sat.LinearExpressionProto.getDefaultInstance());
    }

    public java.util.List<com.google.ortools.sat.LinearExpressionProto.Builder> 
         getExprsBuilderList() {
      return internalGetExprsFieldBuilder().getBuilderList();
    }
    private com.google.protobuf.RepeatedFieldBuilder<
        com.google.ortools.sat.LinearExpressionProto, com.google.ortools.sat.LinearExpressionProto.Builder, com.google.ortools.sat.LinearExpressionProtoOrBuilder> 
        internalGetExprsFieldBuilder() {
      if (exprsBuilder_ == null) {
        exprsBuilder_ = new com.google.protobuf.RepeatedFieldBuilder<
            com.google.ortools.sat.LinearExpressionProto, com.google.ortools.sat.LinearExpressionProto.Builder, com.google.ortools.sat.LinearExpressionProtoOrBuilder>(
                exprs_,
                ((bitField0_ & 0x00000040) != 0),
                getParentForChildren(),
                isClean());
        exprs_ = null;
      }
      return exprsBuilder_;
    }
 
    // @@protoc_insertion_point(builder_scope:operations_research.sat.AutomatonConstraintProto)
  }
 
  // @@protoc_insertion_point(class_scope:operations_research.sat.AutomatonConstraintProto)
  private static final com.google.ortools.sat.AutomatonConstraintProto DEFAULT_INSTANCE;
  static {
    DEFAULT_INSTANCE = new com.google.ortools.sat.AutomatonConstraintProto();
  }
 
  public static com.google.ortools.sat.AutomatonConstraintProto getDefaultInstance() {
    return DEFAULT_INSTANCE;
  }
 
  private static final com.google.protobuf.Parser<AutomatonConstraintProto>
      PARSER = new com.google.protobuf.AbstractParser<AutomatonConstraintProto>() {
    @java.lang.Override
    public AutomatonConstraintProto parsePartialFrom(
        com.google.protobuf.CodedInputStream input,
        com.google.protobuf.ExtensionRegistryLite extensionRegistry)
        throws com.google.protobuf.InvalidProtocolBufferException {
      Builder builder = newBuilder();
      try {
        builder.mergeFrom(input, extensionRegistry);
      } catch (com.google.protobuf.InvalidProtocolBufferException e) {
        throw e.setUnfinishedMessage(builder.buildPartial());
      } catch (com.google.protobuf.UninitializedMessageException e) {
        throw e.asInvalidProtocolBufferException().setUnfinishedMessage(builder.buildPartial());
      } catch (java.io.IOException e) {
        throw new com.google.protobuf.InvalidProtocolBufferException(e)
            .setUnfinishedMessage(builder.buildPartial());
      }
      return builder.buildPartial();
    }
  };
 
  public static com.google.protobuf.Parser<AutomatonConstraintProto> parser() {
    return PARSER;
  }
 
  @java.lang.Override
  public com.google.protobuf.Parser<AutomatonConstraintProto> getParserForType() {
    return PARSER;
  }
 
  @java.lang.Override
  public com.google.ortools.sat.AutomatonConstraintProto getDefaultInstanceForType() {
    return DEFAULT_INSTANCE;
  }
 
}