CircuitConstraintProto.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.29.3
 
package com.google.ortools.sat;

public final class CircuitConstraintProto extends
    com.google.protobuf.GeneratedMessage implements
    // @@protoc_insertion_point(message_implements:operations_research.sat.CircuitConstraintProto)
    CircuitConstraintProtoOrBuilder {
private static final long serialVersionUID = 0L;
  static {
    com.google.protobuf.RuntimeVersion.validateProtobufGencodeVersion(
      com.google.protobuf.RuntimeVersion.RuntimeDomain.PUBLIC,
      /* major= */ 4,
      /* minor= */ 29,
      /* patch= */ 3,
      /* suffix= */ "",
      CircuitConstraintProto.class.getName());
  }
  // Use CircuitConstraintProto.newBuilder() to construct.
  private CircuitConstraintProto(com.google.protobuf.GeneratedMessage.Builder<?> builder) {
    super(builder);
  }
  private CircuitConstraintProto() {
    tails_ = emptyIntList();
    heads_ = emptyIntList();
    literals_ = emptyIntList();
  }
 
  public static final com.google.protobuf.Descriptors.Descriptor
      getDescriptor() {
    return com.google.ortools.sat.CpModelProtobuf.internal_static_operations_research_sat_CircuitConstraintProto_descriptor;
  }
 
  @java.lang.Override
  protected com.google.protobuf.GeneratedMessage.FieldAccessorTable
      internalGetFieldAccessorTable() {
    return com.google.ortools.sat.CpModelProtobuf.internal_static_operations_research_sat_CircuitConstraintProto_fieldAccessorTable
        .ensureFieldAccessorsInitialized(
            com.google.ortools.sat.CircuitConstraintProto.class, com.google.ortools.sat.CircuitConstraintProto.Builder.class);
  }
 
  public static final int TAILS_FIELD_NUMBER = 3;
  @SuppressWarnings("serial")
  private com.google.protobuf.Internal.IntList tails_ =
      emptyIntList();
  @java.lang.Override
  public java.util.List<java.lang.Integer>
      getTailsList() {
    return tails_;
  }

  public int getTailsCount() {
    return tails_.size();
  }

  public int getTails(int index) {
    return tails_.getInt(index);
  }
  private int tailsMemoizedSerializedSize = -1;
 
  public static final int HEADS_FIELD_NUMBER = 4;
  @SuppressWarnings("serial")
  private com.google.protobuf.Internal.IntList heads_ =
      emptyIntList();
  @java.lang.Override
  public java.util.List<java.lang.Integer>
      getHeadsList() {
    return heads_;
  }

  public int getHeadsCount() {
    return heads_.size();
  }

  public int getHeads(int index) {
    return heads_.getInt(index);
  }
  private int headsMemoizedSerializedSize = -1;
 
  public static final int LITERALS_FIELD_NUMBER = 5;
  @SuppressWarnings("serial")
  private com.google.protobuf.Internal.IntList literals_ =
      emptyIntList();
  @java.lang.Override
  public java.util.List<java.lang.Integer>
      getLiteralsList() {
    return literals_;
  }

  public int getLiteralsCount() {
    return literals_.size();
  }

  public int getLiterals(int index) {
    return literals_.getInt(index);
  }
  private int literalsMemoizedSerializedSize = -1;
 
  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 (getTailsList().size() > 0) {
      output.writeUInt32NoTag(26);
      output.writeUInt32NoTag(tailsMemoizedSerializedSize);
    }
    for (int i = 0; i < tails_.size(); i++) {
      output.writeInt32NoTag(tails_.getInt(i));
    }
    if (getHeadsList().size() > 0) {
      output.writeUInt32NoTag(34);
      output.writeUInt32NoTag(headsMemoizedSerializedSize);
    }
    for (int i = 0; i < heads_.size(); i++) {
      output.writeInt32NoTag(heads_.getInt(i));
    }
    if (getLiteralsList().size() > 0) {
      output.writeUInt32NoTag(42);
      output.writeUInt32NoTag(literalsMemoizedSerializedSize);
    }
    for (int i = 0; i < literals_.size(); i++) {
      output.writeInt32NoTag(literals_.getInt(i));
    }
    getUnknownFields().writeTo(output);
  }
 
  @java.lang.Override
  public int getSerializedSize() {
    int size = memoizedSize;
    if (size != -1) return size;
 
    size = 0;
    {
      int dataSize = 0;
      for (int i = 0; i < tails_.size(); i++) {
        dataSize += com.google.protobuf.CodedOutputStream
          .computeInt32SizeNoTag(tails_.getInt(i));
      }
      size += dataSize;
      if (!getTailsList().isEmpty()) {
        size += 1;
        size += com.google.protobuf.CodedOutputStream
            .computeInt32SizeNoTag(dataSize);
      }
      tailsMemoizedSerializedSize = dataSize;
    }
    {
      int dataSize = 0;
      for (int i = 0; i < heads_.size(); i++) {
        dataSize += com.google.protobuf.CodedOutputStream
          .computeInt32SizeNoTag(heads_.getInt(i));
      }
      size += dataSize;
      if (!getHeadsList().isEmpty()) {
        size += 1;
        size += com.google.protobuf.CodedOutputStream
            .computeInt32SizeNoTag(dataSize);
      }
      headsMemoizedSerializedSize = dataSize;
    }
    {
      int dataSize = 0;
      for (int i = 0; i < literals_.size(); i++) {
        dataSize += com.google.protobuf.CodedOutputStream
          .computeInt32SizeNoTag(literals_.getInt(i));
      }
      size += dataSize;
      if (!getLiteralsList().isEmpty()) {
        size += 1;
        size += com.google.protobuf.CodedOutputStream
            .computeInt32SizeNoTag(dataSize);
      }
      literalsMemoizedSerializedSize = dataSize;
    }
    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.CircuitConstraintProto)) {
      return super.equals(obj);
    }
    com.google.ortools.sat.CircuitConstraintProto other = (com.google.ortools.sat.CircuitConstraintProto) obj;
 
    if (!getTailsList()
        .equals(other.getTailsList())) return false;
    if (!getHeadsList()
        .equals(other.getHeadsList())) return false;
    if (!getLiteralsList()
        .equals(other.getLiteralsList())) 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();
    if (getTailsCount() > 0) {
      hash = (37 * hash) + TAILS_FIELD_NUMBER;
      hash = (53 * hash) + getTailsList().hashCode();
    }
    if (getHeadsCount() > 0) {
      hash = (37 * hash) + HEADS_FIELD_NUMBER;
      hash = (53 * hash) + getHeadsList().hashCode();
    }
    if (getLiteralsCount() > 0) {
      hash = (37 * hash) + LITERALS_FIELD_NUMBER;
      hash = (53 * hash) + getLiteralsList().hashCode();
    }
    hash = (29 * hash) + getUnknownFields().hashCode();
    memoizedHashCode = hash;
    return hash;
  }
 
  public static com.google.ortools.sat.CircuitConstraintProto parseFrom(
      java.nio.ByteBuffer data)
      throws com.google.protobuf.InvalidProtocolBufferException {
    return PARSER.parseFrom(data);
  }
  public static com.google.ortools.sat.CircuitConstraintProto 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.CircuitConstraintProto parseFrom(
      com.google.protobuf.ByteString data)
      throws com.google.protobuf.InvalidProtocolBufferException {
    return PARSER.parseFrom(data);
  }
  public static com.google.ortools.sat.CircuitConstraintProto 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.CircuitConstraintProto parseFrom(byte[] data)
      throws com.google.protobuf.InvalidProtocolBufferException {
    return PARSER.parseFrom(data);
  }
  public static com.google.ortools.sat.CircuitConstraintProto parseFrom(
      byte[] data,
      com.google.protobuf.ExtensionRegistryLite extensionRegistry)
      throws com.google.protobuf.InvalidProtocolBufferException {
    return PARSER.parseFrom(data, extensionRegistry);
  }
  public static com.google.ortools.sat.CircuitConstraintProto parseFrom(java.io.InputStream input)
      throws java.io.IOException {
    return com.google.protobuf.GeneratedMessage
        .parseWithIOException(PARSER, input);
  }
  public static com.google.ortools.sat.CircuitConstraintProto 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.CircuitConstraintProto parseDelimitedFrom(java.io.InputStream input)
      throws java.io.IOException {
    return com.google.protobuf.GeneratedMessage
        .parseDelimitedWithIOException(PARSER, input);
  }
 
  public static com.google.ortools.sat.CircuitConstraintProto 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.CircuitConstraintProto parseFrom(
      com.google.protobuf.CodedInputStream input)
      throws java.io.IOException {
    return com.google.protobuf.GeneratedMessage
        .parseWithIOException(PARSER, input);
  }
  public static com.google.ortools.sat.CircuitConstraintProto 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.CircuitConstraintProto 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.CircuitConstraintProto)
      com.google.ortools.sat.CircuitConstraintProtoOrBuilder {
    public static final com.google.protobuf.Descriptors.Descriptor
        getDescriptor() {
      return com.google.ortools.sat.CpModelProtobuf.internal_static_operations_research_sat_CircuitConstraintProto_descriptor;
    }
 
    @java.lang.Override
    protected com.google.protobuf.GeneratedMessage.FieldAccessorTable
        internalGetFieldAccessorTable() {
      return com.google.ortools.sat.CpModelProtobuf.internal_static_operations_research_sat_CircuitConstraintProto_fieldAccessorTable
          .ensureFieldAccessorsInitialized(
              com.google.ortools.sat.CircuitConstraintProto.class, com.google.ortools.sat.CircuitConstraintProto.Builder.class);
    }
 
    // Construct using com.google.ortools.sat.CircuitConstraintProto.newBuilder()
    private Builder() {
 
    }
 
    private Builder(
        com.google.protobuf.GeneratedMessage.BuilderParent parent) {
      super(parent);
 
    }
    @java.lang.Override
    public Builder clear() {
      super.clear();
      bitField0_ = 0;
      tails_ = emptyIntList();
      heads_ = emptyIntList();
      literals_ = emptyIntList();
      return this;
    }
 
    @java.lang.Override
    public com.google.protobuf.Descriptors.Descriptor
        getDescriptorForType() {
      return com.google.ortools.sat.CpModelProtobuf.internal_static_operations_research_sat_CircuitConstraintProto_descriptor;
    }
 
    @java.lang.Override
    public com.google.ortools.sat.CircuitConstraintProto getDefaultInstanceForType() {
      return com.google.ortools.sat.CircuitConstraintProto.getDefaultInstance();
    }
 
    @java.lang.Override
    public com.google.ortools.sat.CircuitConstraintProto build() {
      com.google.ortools.sat.CircuitConstraintProto result = buildPartial();
      if (!result.isInitialized()) {
        throw newUninitializedMessageException(result);
      }
      return result;
    }
 
    @java.lang.Override
    public com.google.ortools.sat.CircuitConstraintProto buildPartial() {
      com.google.ortools.sat.CircuitConstraintProto result = new com.google.ortools.sat.CircuitConstraintProto(this);
      if (bitField0_ != 0) { buildPartial0(result); }
      onBuilt();
      return result;
    }
 
    private void buildPartial0(com.google.ortools.sat.CircuitConstraintProto result) {
      int from_bitField0_ = bitField0_;
      if (((from_bitField0_ & 0x00000001) != 0)) {
        tails_.makeImmutable();
        result.tails_ = tails_;
      }
      if (((from_bitField0_ & 0x00000002) != 0)) {
        heads_.makeImmutable();
        result.heads_ = heads_;
      }
      if (((from_bitField0_ & 0x00000004) != 0)) {
        literals_.makeImmutable();
        result.literals_ = literals_;
      }
    }
 
    @java.lang.Override
    public Builder mergeFrom(com.google.protobuf.Message other) {
      if (other instanceof com.google.ortools.sat.CircuitConstraintProto) {
        return mergeFrom((com.google.ortools.sat.CircuitConstraintProto)other);
      } else {
        super.mergeFrom(other);
        return this;
      }
    }
 
    public Builder mergeFrom(com.google.ortools.sat.CircuitConstraintProto other) {
      if (other == com.google.ortools.sat.CircuitConstraintProto.getDefaultInstance()) return this;
      if (!other.tails_.isEmpty()) {
        if (tails_.isEmpty()) {
          tails_ = other.tails_;
          tails_.makeImmutable();
          bitField0_ |= 0x00000001;
        } else {
          ensureTailsIsMutable();
          tails_.addAll(other.tails_);
        }
        onChanged();
      }
      if (!other.heads_.isEmpty()) {
        if (heads_.isEmpty()) {
          heads_ = other.heads_;
          heads_.makeImmutable();
          bitField0_ |= 0x00000002;
        } else {
          ensureHeadsIsMutable();
          heads_.addAll(other.heads_);
        }
        onChanged();
      }
      if (!other.literals_.isEmpty()) {
        if (literals_.isEmpty()) {
          literals_ = other.literals_;
          literals_.makeImmutable();
          bitField0_ |= 0x00000004;
        } else {
          ensureLiteralsIsMutable();
          literals_.addAll(other.literals_);
        }
        onChanged();
      }
      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 24: {
              int v = input.readInt32();
              ensureTailsIsMutable();
              tails_.addInt(v);
              break;
            } // case 24
            case 26: {
              int length = input.readRawVarint32();
              int limit = input.pushLimit(length);
              ensureTailsIsMutable();
              while (input.getBytesUntilLimit() > 0) {
                tails_.addInt(input.readInt32());
              }
              input.popLimit(limit);
              break;
            } // case 26
            case 32: {
              int v = input.readInt32();
              ensureHeadsIsMutable();
              heads_.addInt(v);
              break;
            } // case 32
            case 34: {
              int length = input.readRawVarint32();
              int limit = input.pushLimit(length);
              ensureHeadsIsMutable();
              while (input.getBytesUntilLimit() > 0) {
                heads_.addInt(input.readInt32());
              }
              input.popLimit(limit);
              break;
            } // case 34
            case 40: {
              int v = input.readInt32();
              ensureLiteralsIsMutable();
              literals_.addInt(v);
              break;
            } // case 40
            case 42: {
              int length = input.readRawVarint32();
              int limit = input.pushLimit(length);
              ensureLiteralsIsMutable();
              while (input.getBytesUntilLimit() > 0) {
                literals_.addInt(input.readInt32());
              }
              input.popLimit(limit);
              break;
            } // case 42
            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 com.google.protobuf.Internal.IntList tails_ = emptyIntList();
    private void ensureTailsIsMutable() {
      if (!tails_.isModifiable()) {
        tails_ = makeMutableCopy(tails_);
      }
      bitField0_ |= 0x00000001;
    }
    public java.util.List<java.lang.Integer>
        getTailsList() {
      tails_.makeImmutable();
      return tails_;
    }

    public int getTailsCount() {
      return tails_.size();
    }

    public int getTails(int index) {
      return tails_.getInt(index);
    }

    public Builder setTails(
        int index, int value) {
 
      ensureTailsIsMutable();
      tails_.setInt(index, value);
      bitField0_ |= 0x00000001;
      onChanged();
      return this;
    }

    public Builder addTails(int value) {
 
      ensureTailsIsMutable();
      tails_.addInt(value);
      bitField0_ |= 0x00000001;
      onChanged();
      return this;
    }

    public Builder addAllTails(
        java.lang.Iterable<? extends java.lang.Integer> values) {
      ensureTailsIsMutable();
      com.google.protobuf.AbstractMessageLite.Builder.addAll(
          values, tails_);
      bitField0_ |= 0x00000001;
      onChanged();
      return this;
    }

    public Builder clearTails() {
      tails_ = emptyIntList();
      bitField0_ = (bitField0_ & ~0x00000001);
      onChanged();
      return this;
    }
 
    private com.google.protobuf.Internal.IntList heads_ = emptyIntList();
    private void ensureHeadsIsMutable() {
      if (!heads_.isModifiable()) {
        heads_ = makeMutableCopy(heads_);
      }
      bitField0_ |= 0x00000002;
    }
    public java.util.List<java.lang.Integer>
        getHeadsList() {
      heads_.makeImmutable();
      return heads_;
    }

    public int getHeadsCount() {
      return heads_.size();
    }

    public int getHeads(int index) {
      return heads_.getInt(index);
    }

    public Builder setHeads(
        int index, int value) {
 
      ensureHeadsIsMutable();
      heads_.setInt(index, value);
      bitField0_ |= 0x00000002;
      onChanged();
      return this;
    }

    public Builder addHeads(int value) {
 
      ensureHeadsIsMutable();
      heads_.addInt(value);
      bitField0_ |= 0x00000002;
      onChanged();
      return this;
    }

    public Builder addAllHeads(
        java.lang.Iterable<? extends java.lang.Integer> values) {
      ensureHeadsIsMutable();
      com.google.protobuf.AbstractMessageLite.Builder.addAll(
          values, heads_);
      bitField0_ |= 0x00000002;
      onChanged();
      return this;
    }

    public Builder clearHeads() {
      heads_ = emptyIntList();
      bitField0_ = (bitField0_ & ~0x00000002);
      onChanged();
      return this;
    }
 
    private com.google.protobuf.Internal.IntList literals_ = emptyIntList();
    private void ensureLiteralsIsMutable() {
      if (!literals_.isModifiable()) {
        literals_ = makeMutableCopy(literals_);
      }
      bitField0_ |= 0x00000004;
    }
    public java.util.List<java.lang.Integer>
        getLiteralsList() {
      literals_.makeImmutable();
      return literals_;
    }

    public int getLiteralsCount() {
      return literals_.size();
    }

    public int getLiterals(int index) {
      return literals_.getInt(index);
    }

    public Builder setLiterals(
        int index, int value) {
 
      ensureLiteralsIsMutable();
      literals_.setInt(index, value);
      bitField0_ |= 0x00000004;
      onChanged();
      return this;
    }

    public Builder addLiterals(int value) {
 
      ensureLiteralsIsMutable();
      literals_.addInt(value);
      bitField0_ |= 0x00000004;
      onChanged();
      return this;
    }

    public Builder addAllLiterals(
        java.lang.Iterable<? extends java.lang.Integer> values) {
      ensureLiteralsIsMutable();
      com.google.protobuf.AbstractMessageLite.Builder.addAll(
          values, literals_);
      bitField0_ |= 0x00000004;
      onChanged();
      return this;
    }

    public Builder clearLiterals() {
      literals_ = emptyIntList();
      bitField0_ = (bitField0_ & ~0x00000004);
      onChanged();
      return this;
    }
 
    // @@protoc_insertion_point(builder_scope:operations_research.sat.CircuitConstraintProto)
  }
 
  // @@protoc_insertion_point(class_scope:operations_research.sat.CircuitConstraintProto)
  private static final com.google.ortools.sat.CircuitConstraintProto DEFAULT_INSTANCE;
  static {
    DEFAULT_INSTANCE = new com.google.ortools.sat.CircuitConstraintProto();
  }
 
  public static com.google.ortools.sat.CircuitConstraintProto getDefaultInstance() {
    return DEFAULT_INSTANCE;
  }
 
  private static final com.google.protobuf.Parser<CircuitConstraintProto>
      PARSER = new com.google.protobuf.AbstractParser<CircuitConstraintProto>() {
    @java.lang.Override
    public CircuitConstraintProto 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<CircuitConstraintProto> parser() {
    return PARSER;
  }
 
  @java.lang.Override
  public com.google.protobuf.Parser<CircuitConstraintProto> getParserForType() {
    return PARSER;
  }
 
  @java.lang.Override
  public com.google.ortools.sat.CircuitConstraintProto getDefaultInstanceForType() {
    return DEFAULT_INSTANCE;
  }
 
}