CpModelProto.java

Go to the documentation of this file.

// Generated by the protocol buffer compiler.  DO NOT EDIT!
// source: ortools/sat/cp_model.proto
 
package com.google.ortools.sat;
 
public final class CpModelProto extends
    com.google.protobuf.GeneratedMessageV3 implements
    // @@protoc_insertion_point(message_implements:operations_research.sat.CpModelProto)
    CpModelProtoOrBuilder {
private static final long serialVersionUID = 0L;
  // Use CpModelProto.newBuilder() to construct.
  private CpModelProto(com.google.protobuf.GeneratedMessageV3.Builder<?> builder) {
    super(builder);
  }
  private CpModelProto() {
    name_ = "";
    variables_ = java.util.Collections.emptyList();
    constraints_ = java.util.Collections.emptyList();
    searchStrategy_ = java.util.Collections.emptyList();
    assumptions_ = emptyIntList();
  }
 
  @java.lang.Override
  @SuppressWarnings({"unused"})
  protected java.lang.Object newInstance(
      UnusedPrivateParameter unused) {
    return new CpModelProto();
  }
 
  @java.lang.Override
  public final com.google.protobuf.UnknownFieldSet
  getUnknownFields() {
    return this.unknownFields;
  }
  private CpModelProto(
      com.google.protobuf.CodedInputStream input,
      com.google.protobuf.ExtensionRegistryLite extensionRegistry)
      throws com.google.protobuf.InvalidProtocolBufferException {
    this();
    if (extensionRegistry == null) {
      throw new java.lang.NullPointerException();
    }
    int mutable_bitField0_ = 0;
    com.google.protobuf.UnknownFieldSet.Builder unknownFields =
        com.google.protobuf.UnknownFieldSet.newBuilder();
    try {
      boolean done = false;
      while (!done) {
        int tag = input.readTag();
        switch (tag) {
          case 0:
            done = true;
            break;
          case 10: {
            java.lang.String s = input.readStringRequireUtf8();
 
            name_ = s;
            break;
          }
          case 18: {
            if (!((mutable_bitField0_ & 0x00000001) != 0)) {
              variables_ = new java.util.ArrayList<com.google.ortools.sat.IntegerVariableProto>();
              mutable_bitField0_ |= 0x00000001;
            }
            variables_.add(
                input.readMessage(com.google.ortools.sat.IntegerVariableProto.parser(), extensionRegistry));
            break;
          }
          case 26: {
            if (!((mutable_bitField0_ & 0x00000002) != 0)) {
              constraints_ = new java.util.ArrayList<com.google.ortools.sat.ConstraintProto>();
              mutable_bitField0_ |= 0x00000002;
            }
            constraints_.add(
                input.readMessage(com.google.ortools.sat.ConstraintProto.parser(), extensionRegistry));
            break;
          }
          case 34: {
            com.google.ortools.sat.CpObjectiveProto.Builder subBuilder = null;
            if (objective_ != null) {
              subBuilder = objective_.toBuilder();
            }
            objective_ = input.readMessage(com.google.ortools.sat.CpObjectiveProto.parser(), extensionRegistry);
            if (subBuilder != null) {
              subBuilder.mergeFrom(objective_);
              objective_ = subBuilder.buildPartial();
            }
 
            break;
          }
          case 42: {
            if (!((mutable_bitField0_ & 0x00000004) != 0)) {
              searchStrategy_ = new java.util.ArrayList<com.google.ortools.sat.DecisionStrategyProto>();
              mutable_bitField0_ |= 0x00000004;
            }
            searchStrategy_.add(
                input.readMessage(com.google.ortools.sat.DecisionStrategyProto.parser(), extensionRegistry));
            break;
          }
          case 50: {
            com.google.ortools.sat.PartialVariableAssignment.Builder subBuilder = null;
            if (solutionHint_ != null) {
              subBuilder = solutionHint_.toBuilder();
            }
            solutionHint_ = input.readMessage(com.google.ortools.sat.PartialVariableAssignment.parser(), extensionRegistry);
            if (subBuilder != null) {
              subBuilder.mergeFrom(solutionHint_);
              solutionHint_ = subBuilder.buildPartial();
            }
 
            break;
          }
          case 56: {
            if (!((mutable_bitField0_ & 0x00000008) != 0)) {
              assumptions_ = newIntList();
              mutable_bitField0_ |= 0x00000008;
            }
            assumptions_.addInt(input.readInt32());
            break;
          }
          case 58: {
            int length = input.readRawVarint32();
            int limit = input.pushLimit(length);
            if (!((mutable_bitField0_ & 0x00000008) != 0) && input.getBytesUntilLimit() > 0) {
              assumptions_ = newIntList();
              mutable_bitField0_ |= 0x00000008;
            }
            while (input.getBytesUntilLimit() > 0) {
              assumptions_.addInt(input.readInt32());
            }
            input.popLimit(limit);
            break;
          }
          case 66: {
            com.google.ortools.sat.SymmetryProto.Builder subBuilder = null;
            if (symmetry_ != null) {
              subBuilder = symmetry_.toBuilder();
            }
            symmetry_ = input.readMessage(com.google.ortools.sat.SymmetryProto.parser(), extensionRegistry);
            if (subBuilder != null) {
              subBuilder.mergeFrom(symmetry_);
              symmetry_ = subBuilder.buildPartial();
            }
 
            break;
          }
          default: {
            if (!parseUnknownField(
                input, unknownFields, extensionRegistry, tag)) {
              done = true;
            }
            break;
          }
        }
      }
    } catch (com.google.protobuf.InvalidProtocolBufferException e) {
      throw e.setUnfinishedMessage(this);
    } catch (java.io.IOException e) {
      throw new com.google.protobuf.InvalidProtocolBufferException(
          e).setUnfinishedMessage(this);
    } finally {
      if (((mutable_bitField0_ & 0x00000001) != 0)) {
        variables_ = java.util.Collections.unmodifiableList(variables_);
      }
      if (((mutable_bitField0_ & 0x00000002) != 0)) {
        constraints_ = java.util.Collections.unmodifiableList(constraints_);
      }
      if (((mutable_bitField0_ & 0x00000004) != 0)) {
        searchStrategy_ = java.util.Collections.unmodifiableList(searchStrategy_);
      }
      if (((mutable_bitField0_ & 0x00000008) != 0)) {
        assumptions_.makeImmutable(); // C
      }
      this.unknownFields = unknownFields.build();
      makeExtensionsImmutable();
    }
  }
  public static final com.google.protobuf.Descriptors.Descriptor
      getDescriptor() {
    return com.google.ortools.sat.CpModelProtobuf.internal_static_operations_research_sat_CpModelProto_descriptor;
  }
 
  @java.lang.Override
  protected com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
      internalGetFieldAccessorTable() {
    return com.google.ortools.sat.CpModelProtobuf.internal_static_operations_research_sat_CpModelProto_fieldAccessorTable
        .ensureFieldAccessorsInitialized(
            com.google.ortools.sat.CpModelProto.class, com.google.ortools.sat.CpModelProto.Builder.class);
  }
 
  public static final int NAME_FIELD_NUMBER = 1;
  private volatile java.lang.Object name_;
  @java.lang.Override
  public java.lang.String getName() {
    java.lang.Object ref = name_;
    if (ref instanceof java.lang.String) {
      return (java.lang.String) ref;
    } else {
      com.google.protobuf.ByteString bs = 
          (com.google.protobuf.ByteString) ref;
      java.lang.String s = bs.toStringUtf8();
      name_ = s;
      return s;
    }
  }
  @java.lang.Override
  public com.google.protobuf.ByteString
      getNameBytes() {
    java.lang.Object ref = name_;
    if (ref instanceof java.lang.String) {
      com.google.protobuf.ByteString b = 
          com.google.protobuf.ByteString.copyFromUtf8(
              (java.lang.String) ref);
      name_ = b;
      return b;
    } else {
      return (com.google.protobuf.ByteString) ref;
    }
  }
 
  public static final int VARIABLES_FIELD_NUMBER = 2;
  private java.util.List<com.google.ortools.sat.IntegerVariableProto> variables_;
  @java.lang.Override
  public java.util.List<com.google.ortools.sat.IntegerVariableProto> getVariablesList() {
    return variables_;
  }
  @java.lang.Override
  public java.util.List<? extends com.google.ortools.sat.IntegerVariableProtoOrBuilder> 
      getVariablesOrBuilderList() {
    return variables_;
  }
  @java.lang.Override
  public int getVariablesCount() {
    return variables_.size();
  }
  @java.lang.Override
  public com.google.ortools.sat.IntegerVariableProto getVariables(int index) {
    return variables_.get(index);
  }
  @java.lang.Override
  public com.google.ortools.sat.IntegerVariableProtoOrBuilder getVariablesOrBuilder(
      int index) {
    return variables_.get(index);
  }
 
  public static final int CONSTRAINTS_FIELD_NUMBER = 3;
  private java.util.List<com.google.ortools.sat.ConstraintProto> constraints_;
  @java.lang.Override
  public java.util.List<com.google.ortools.sat.ConstraintProto> getConstraintsList() {
    return constraints_;
  }
  @java.lang.Override
  public java.util.List<? extends com.google.ortools.sat.ConstraintProtoOrBuilder> 
      getConstraintsOrBuilderList() {
    return constraints_;
  }
  @java.lang.Override
  public int getConstraintsCount() {
    return constraints_.size();
  }
  @java.lang.Override
  public com.google.ortools.sat.ConstraintProto getConstraints(int index) {
    return constraints_.get(index);
  }
  @java.lang.Override
  public com.google.ortools.sat.ConstraintProtoOrBuilder getConstraintsOrBuilder(
      int index) {
    return constraints_.get(index);
  }
 
  public static final int OBJECTIVE_FIELD_NUMBER = 4;
  private com.google.ortools.sat.CpObjectiveProto objective_;
  @java.lang.Override
  public boolean hasObjective() {
    return objective_ != null;
  }
  @java.lang.Override
  public com.google.ortools.sat.CpObjectiveProto getObjective() {
    return objective_ == null ? com.google.ortools.sat.CpObjectiveProto.getDefaultInstance() : objective_;
  }
  @java.lang.Override
  public com.google.ortools.sat.CpObjectiveProtoOrBuilder getObjectiveOrBuilder() {
    return getObjective();
  }
 
  public static final int SEARCH_STRATEGY_FIELD_NUMBER = 5;
  private java.util.List<com.google.ortools.sat.DecisionStrategyProto> searchStrategy_;
  @java.lang.Override
  public java.util.List<com.google.ortools.sat.DecisionStrategyProto> getSearchStrategyList() {
    return searchStrategy_;
  }
  @java.lang.Override
  public java.util.List<? extends com.google.ortools.sat.DecisionStrategyProtoOrBuilder> 
      getSearchStrategyOrBuilderList() {
    return searchStrategy_;
  }
  @java.lang.Override
  public int getSearchStrategyCount() {
    return searchStrategy_.size();
  }
  @java.lang.Override
  public com.google.ortools.sat.DecisionStrategyProto getSearchStrategy(int index) {
    return searchStrategy_.get(index);
  }
  @java.lang.Override
  public com.google.ortools.sat.DecisionStrategyProtoOrBuilder getSearchStrategyOrBuilder(
      int index) {
    return searchStrategy_.get(index);
  }
 
  public static final int SOLUTION_HINT_FIELD_NUMBER = 6;
  private com.google.ortools.sat.PartialVariableAssignment solutionHint_;
  @java.lang.Override
  public boolean hasSolutionHint() {
    return solutionHint_ != null;
  }
  @java.lang.Override
  public com.google.ortools.sat.PartialVariableAssignment getSolutionHint() {
    return solutionHint_ == null ? com.google.ortools.sat.PartialVariableAssignment.getDefaultInstance() : solutionHint_;
  }
  @java.lang.Override
  public com.google.ortools.sat.PartialVariableAssignmentOrBuilder getSolutionHintOrBuilder() {
    return getSolutionHint();
  }
 
  public static final int ASSUMPTIONS_FIELD_NUMBER = 7;
  private com.google.protobuf.Internal.IntList assumptions_;
  @java.lang.Override
  public java.util.List<java.lang.Integer>
      getAssumptionsList() {
    return assumptions_;
  }
  public int getAssumptionsCount() {
    return assumptions_.size();
  }
  public int getAssumptions(int index) {
    return assumptions_.getInt(index);
  }
  private int assumptionsMemoizedSerializedSize = -1;
 
  public static final int SYMMETRY_FIELD_NUMBER = 8;
  private com.google.ortools.sat.SymmetryProto symmetry_;
  @java.lang.Override
  public boolean hasSymmetry() {
    return symmetry_ != null;
  }
  @java.lang.Override
  public com.google.ortools.sat.SymmetryProto getSymmetry() {
    return symmetry_ == null ? com.google.ortools.sat.SymmetryProto.getDefaultInstance() : symmetry_;
  }
  @java.lang.Override
  public com.google.ortools.sat.SymmetryProtoOrBuilder getSymmetryOrBuilder() {
    return getSymmetry();
  }
 
  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 (!com.google.protobuf.GeneratedMessageV3.isStringEmpty(name_)) {
      com.google.protobuf.GeneratedMessageV3.writeString(output, 1, name_);
    }
    for (int i = 0; i < variables_.size(); i++) {
      output.writeMessage(2, variables_.get(i));
    }
    for (int i = 0; i < constraints_.size(); i++) {
      output.writeMessage(3, constraints_.get(i));
    }
    if (objective_ != null) {
      output.writeMessage(4, getObjective());
    }
    for (int i = 0; i < searchStrategy_.size(); i++) {
      output.writeMessage(5, searchStrategy_.get(i));
    }
    if (solutionHint_ != null) {
      output.writeMessage(6, getSolutionHint());
    }
    if (getAssumptionsList().size() > 0) {
      output.writeUInt32NoTag(58);
      output.writeUInt32NoTag(assumptionsMemoizedSerializedSize);
    }
    for (int i = 0; i < assumptions_.size(); i++) {
      output.writeInt32NoTag(assumptions_.getInt(i));
    }
    if (symmetry_ != null) {
      output.writeMessage(8, getSymmetry());
    }
    unknownFields.writeTo(output);
  }
 
  @java.lang.Override
  public int getSerializedSize() {
    int size = memoizedSize;
    if (size != -1) return size;
 
    size = 0;
    if (!com.google.protobuf.GeneratedMessageV3.isStringEmpty(name_)) {
      size += com.google.protobuf.GeneratedMessageV3.computeStringSize(1, name_);
    }
    for (int i = 0; i < variables_.size(); i++) {
      size += com.google.protobuf.CodedOutputStream
        .computeMessageSize(2, variables_.get(i));
    }
    for (int i = 0; i < constraints_.size(); i++) {
      size += com.google.protobuf.CodedOutputStream
        .computeMessageSize(3, constraints_.get(i));
    }
    if (objective_ != null) {
      size += com.google.protobuf.CodedOutputStream
        .computeMessageSize(4, getObjective());
    }
    for (int i = 0; i < searchStrategy_.size(); i++) {
      size += com.google.protobuf.CodedOutputStream
        .computeMessageSize(5, searchStrategy_.get(i));
    }
    if (solutionHint_ != null) {
      size += com.google.protobuf.CodedOutputStream
        .computeMessageSize(6, getSolutionHint());
    }
    {
      int dataSize = 0;
      for (int i = 0; i < assumptions_.size(); i++) {
        dataSize += com.google.protobuf.CodedOutputStream
          .computeInt32SizeNoTag(assumptions_.getInt(i));
      }
      size += dataSize;
      if (!getAssumptionsList().isEmpty()) {
        size += 1;
        size += com.google.protobuf.CodedOutputStream
            .computeInt32SizeNoTag(dataSize);
      }
      assumptionsMemoizedSerializedSize = dataSize;
    }
    if (symmetry_ != null) {
      size += com.google.protobuf.CodedOutputStream
        .computeMessageSize(8, getSymmetry());
    }
    size += unknownFields.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.CpModelProto)) {
      return super.equals(obj);
    }
    com.google.ortools.sat.CpModelProto other = (com.google.ortools.sat.CpModelProto) obj;
 
    if (!getName()
        .equals(other.getName())) return false;
    if (!getVariablesList()
        .equals(other.getVariablesList())) return false;
    if (!getConstraintsList()
        .equals(other.getConstraintsList())) return false;
    if (hasObjective() != other.hasObjective()) return false;
    if (hasObjective()) {
      if (!getObjective()
          .equals(other.getObjective())) return false;
    }
    if (!getSearchStrategyList()
        .equals(other.getSearchStrategyList())) return false;
    if (hasSolutionHint() != other.hasSolutionHint()) return false;
    if (hasSolutionHint()) {
      if (!getSolutionHint()
          .equals(other.getSolutionHint())) return false;
    }
    if (!getAssumptionsList()
        .equals(other.getAssumptionsList())) return false;
    if (hasSymmetry() != other.hasSymmetry()) return false;
    if (hasSymmetry()) {
      if (!getSymmetry()
          .equals(other.getSymmetry())) return false;
    }
    if (!unknownFields.equals(other.unknownFields)) 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) + NAME_FIELD_NUMBER;
    hash = (53 * hash) + getName().hashCode();
    if (getVariablesCount() > 0) {
      hash = (37 * hash) + VARIABLES_FIELD_NUMBER;
      hash = (53 * hash) + getVariablesList().hashCode();
    }
    if (getConstraintsCount() > 0) {
      hash = (37 * hash) + CONSTRAINTS_FIELD_NUMBER;
      hash = (53 * hash) + getConstraintsList().hashCode();
    }
    if (hasObjective()) {
      hash = (37 * hash) + OBJECTIVE_FIELD_NUMBER;
      hash = (53 * hash) + getObjective().hashCode();
    }
    if (getSearchStrategyCount() > 0) {
      hash = (37 * hash) + SEARCH_STRATEGY_FIELD_NUMBER;
      hash = (53 * hash) + getSearchStrategyList().hashCode();
    }
    if (hasSolutionHint()) {
      hash = (37 * hash) + SOLUTION_HINT_FIELD_NUMBER;
      hash = (53 * hash) + getSolutionHint().hashCode();
    }
    if (getAssumptionsCount() > 0) {
      hash = (37 * hash) + ASSUMPTIONS_FIELD_NUMBER;
      hash = (53 * hash) + getAssumptionsList().hashCode();
    }
    if (hasSymmetry()) {
      hash = (37 * hash) + SYMMETRY_FIELD_NUMBER;
      hash = (53 * hash) + getSymmetry().hashCode();
    }
    hash = (29 * hash) + unknownFields.hashCode();
    memoizedHashCode = hash;
    return hash;
  }
 
  public static com.google.ortools.sat.CpModelProto parseFrom(
      java.nio.ByteBuffer data)
      throws com.google.protobuf.InvalidProtocolBufferException {
    return PARSER.parseFrom(data);
  }
  public static com.google.ortools.sat.CpModelProto 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.CpModelProto parseFrom(
      com.google.protobuf.ByteString data)
      throws com.google.protobuf.InvalidProtocolBufferException {
    return PARSER.parseFrom(data);
  }
  public static com.google.ortools.sat.CpModelProto 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.CpModelProto parseFrom(byte[] data)
      throws com.google.protobuf.InvalidProtocolBufferException {
    return PARSER.parseFrom(data);
  }
  public static com.google.ortools.sat.CpModelProto parseFrom(
      byte[] data,
      com.google.protobuf.ExtensionRegistryLite extensionRegistry)
      throws com.google.protobuf.InvalidProtocolBufferException {
    return PARSER.parseFrom(data, extensionRegistry);
  }
  public static com.google.ortools.sat.CpModelProto parseFrom(java.io.InputStream input)
      throws java.io.IOException {
    return com.google.protobuf.GeneratedMessageV3
        .parseWithIOException(PARSER, input);
  }
  public static com.google.ortools.sat.CpModelProto parseFrom(
      java.io.InputStream input,
      com.google.protobuf.ExtensionRegistryLite extensionRegistry)
      throws java.io.IOException {
    return com.google.protobuf.GeneratedMessageV3
        .parseWithIOException(PARSER, input, extensionRegistry);
  }
  public static com.google.ortools.sat.CpModelProto parseDelimitedFrom(java.io.InputStream input)
      throws java.io.IOException {
    return com.google.protobuf.GeneratedMessageV3
        .parseDelimitedWithIOException(PARSER, input);
  }
  public static com.google.ortools.sat.CpModelProto parseDelimitedFrom(
      java.io.InputStream input,
      com.google.protobuf.ExtensionRegistryLite extensionRegistry)
      throws java.io.IOException {
    return com.google.protobuf.GeneratedMessageV3
        .parseDelimitedWithIOException(PARSER, input, extensionRegistry);
  }
  public static com.google.ortools.sat.CpModelProto parseFrom(
      com.google.protobuf.CodedInputStream input)
      throws java.io.IOException {
    return com.google.protobuf.GeneratedMessageV3
        .parseWithIOException(PARSER, input);
  }
  public static com.google.ortools.sat.CpModelProto parseFrom(
      com.google.protobuf.CodedInputStream input,
      com.google.protobuf.ExtensionRegistryLite extensionRegistry)
      throws java.io.IOException {
    return com.google.protobuf.GeneratedMessageV3
        .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.CpModelProto 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.GeneratedMessageV3.BuilderParent parent) {
    Builder builder = new Builder(parent);
    return builder;
  }
  public static final class Builder extends
      com.google.protobuf.GeneratedMessageV3.Builder<Builder> implements
      // @@protoc_insertion_point(builder_implements:operations_research.sat.CpModelProto)
      com.google.ortools.sat.CpModelProtoOrBuilder {
    public static final com.google.protobuf.Descriptors.Descriptor
        getDescriptor() {
      return com.google.ortools.sat.CpModelProtobuf.internal_static_operations_research_sat_CpModelProto_descriptor;
    }
 
    @java.lang.Override
    protected com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
        internalGetFieldAccessorTable() {
      return com.google.ortools.sat.CpModelProtobuf.internal_static_operations_research_sat_CpModelProto_fieldAccessorTable
          .ensureFieldAccessorsInitialized(
              com.google.ortools.sat.CpModelProto.class, com.google.ortools.sat.CpModelProto.Builder.class);
    }
 
    // Construct using com.google.ortools.sat.CpModelProto.newBuilder()
    private Builder() {
      maybeForceBuilderInitialization();
    }
 
    private Builder(
        com.google.protobuf.GeneratedMessageV3.BuilderParent parent) {
      super(parent);
      maybeForceBuilderInitialization();
    }
    private void maybeForceBuilderInitialization() {
      if (com.google.protobuf.GeneratedMessageV3
              .alwaysUseFieldBuilders) {
        getVariablesFieldBuilder();
        getConstraintsFieldBuilder();
        getSearchStrategyFieldBuilder();
      }
    }
    @java.lang.Override
    public Builder clear() {
      super.clear();
      name_ = "";
 
      if (variablesBuilder_ == null) {
        variables_ = java.util.Collections.emptyList();
        bitField0_ = (bitField0_ & ~0x00000001);
      } else {
        variablesBuilder_.clear();
      }
      if (constraintsBuilder_ == null) {
        constraints_ = java.util.Collections.emptyList();
        bitField0_ = (bitField0_ & ~0x00000002);
      } else {
        constraintsBuilder_.clear();
      }
      if (objectiveBuilder_ == null) {
        objective_ = null;
      } else {
        objective_ = null;
        objectiveBuilder_ = null;
      }
      if (searchStrategyBuilder_ == null) {
        searchStrategy_ = java.util.Collections.emptyList();
        bitField0_ = (bitField0_ & ~0x00000004);
      } else {
        searchStrategyBuilder_.clear();
      }
      if (solutionHintBuilder_ == null) {
        solutionHint_ = null;
      } else {
        solutionHint_ = null;
        solutionHintBuilder_ = null;
      }
      assumptions_ = emptyIntList();
      bitField0_ = (bitField0_ & ~0x00000008);
      if (symmetryBuilder_ == null) {
        symmetry_ = null;
      } else {
        symmetry_ = null;
        symmetryBuilder_ = null;
      }
      return this;
    }
 
    @java.lang.Override
    public com.google.protobuf.Descriptors.Descriptor
        getDescriptorForType() {
      return com.google.ortools.sat.CpModelProtobuf.internal_static_operations_research_sat_CpModelProto_descriptor;
    }
 
    @java.lang.Override
    public com.google.ortools.sat.CpModelProto getDefaultInstanceForType() {
      return com.google.ortools.sat.CpModelProto.getDefaultInstance();
    }
 
    @java.lang.Override
    public com.google.ortools.sat.CpModelProto build() {
      com.google.ortools.sat.CpModelProto result = buildPartial();
      if (!result.isInitialized()) {
        throw newUninitializedMessageException(result);
      }
      return result;
    }
 
    @java.lang.Override
    public com.google.ortools.sat.CpModelProto buildPartial() {
      com.google.ortools.sat.CpModelProto result = new com.google.ortools.sat.CpModelProto(this);
      int from_bitField0_ = bitField0_;
      result.name_ = name_;
      if (variablesBuilder_ == null) {
        if (((bitField0_ & 0x00000001) != 0)) {
          variables_ = java.util.Collections.unmodifiableList(variables_);
          bitField0_ = (bitField0_ & ~0x00000001);
        }
        result.variables_ = variables_;
      } else {
        result.variables_ = variablesBuilder_.build();
      }
      if (constraintsBuilder_ == null) {
        if (((bitField0_ & 0x00000002) != 0)) {
          constraints_ = java.util.Collections.unmodifiableList(constraints_);
          bitField0_ = (bitField0_ & ~0x00000002);
        }
        result.constraints_ = constraints_;
      } else {
        result.constraints_ = constraintsBuilder_.build();
      }
      if (objectiveBuilder_ == null) {
        result.objective_ = objective_;
      } else {
        result.objective_ = objectiveBuilder_.build();
      }
      if (searchStrategyBuilder_ == null) {
        if (((bitField0_ & 0x00000004) != 0)) {
          searchStrategy_ = java.util.Collections.unmodifiableList(searchStrategy_);
          bitField0_ = (bitField0_ & ~0x00000004);
        }
        result.searchStrategy_ = searchStrategy_;
      } else {
        result.searchStrategy_ = searchStrategyBuilder_.build();
      }
      if (solutionHintBuilder_ == null) {
        result.solutionHint_ = solutionHint_;
      } else {
        result.solutionHint_ = solutionHintBuilder_.build();
      }
      if (((bitField0_ & 0x00000008) != 0)) {
        assumptions_.makeImmutable();
        bitField0_ = (bitField0_ & ~0x00000008);
      }
      result.assumptions_ = assumptions_;
      if (symmetryBuilder_ == null) {
        result.symmetry_ = symmetry_;
      } else {
        result.symmetry_ = symmetryBuilder_.build();
      }
      onBuilt();
      return result;
    }
 
    @java.lang.Override
    public Builder clone() {
      return super.clone();
    }
    @java.lang.Override
    public Builder setField(
        com.google.protobuf.Descriptors.FieldDescriptor field,
        java.lang.Object value) {
      return super.setField(field, value);
    }
    @java.lang.Override
    public Builder clearField(
        com.google.protobuf.Descriptors.FieldDescriptor field) {
      return super.clearField(field);
    }
    @java.lang.Override
    public Builder clearOneof(
        com.google.protobuf.Descriptors.OneofDescriptor oneof) {
      return super.clearOneof(oneof);
    }
    @java.lang.Override
    public Builder setRepeatedField(
        com.google.protobuf.Descriptors.FieldDescriptor field,
        int index, java.lang.Object value) {
      return super.setRepeatedField(field, index, value);
    }
    @java.lang.Override
    public Builder addRepeatedField(
        com.google.protobuf.Descriptors.FieldDescriptor field,
        java.lang.Object value) {
      return super.addRepeatedField(field, value);
    }
    @java.lang.Override
    public Builder mergeFrom(com.google.protobuf.Message other) {
      if (other instanceof com.google.ortools.sat.CpModelProto) {
        return mergeFrom((com.google.ortools.sat.CpModelProto)other);
      } else {
        super.mergeFrom(other);
        return this;
      }
    }
 
    public Builder mergeFrom(com.google.ortools.sat.CpModelProto other) {
      if (other == com.google.ortools.sat.CpModelProto.getDefaultInstance()) return this;
      if (!other.getName().isEmpty()) {
        name_ = other.name_;
        onChanged();
      }
      if (variablesBuilder_ == null) {
        if (!other.variables_.isEmpty()) {
          if (variables_.isEmpty()) {
            variables_ = other.variables_;
            bitField0_ = (bitField0_ & ~0x00000001);
          } else {
            ensureVariablesIsMutable();
            variables_.addAll(other.variables_);
          }
          onChanged();
        }
      } else {
        if (!other.variables_.isEmpty()) {
          if (variablesBuilder_.isEmpty()) {
            variablesBuilder_.dispose();
            variablesBuilder_ = null;
            variables_ = other.variables_;
            bitField0_ = (bitField0_ & ~0x00000001);
            variablesBuilder_ = 
              com.google.protobuf.GeneratedMessageV3.alwaysUseFieldBuilders ?
                 getVariablesFieldBuilder() : null;
          } else {
            variablesBuilder_.addAllMessages(other.variables_);
          }
        }
      }
      if (constraintsBuilder_ == null) {
        if (!other.constraints_.isEmpty()) {
          if (constraints_.isEmpty()) {
            constraints_ = other.constraints_;
            bitField0_ = (bitField0_ & ~0x00000002);
          } else {
            ensureConstraintsIsMutable();
            constraints_.addAll(other.constraints_);
          }
          onChanged();
        }
      } else {
        if (!other.constraints_.isEmpty()) {
          if (constraintsBuilder_.isEmpty()) {
            constraintsBuilder_.dispose();
            constraintsBuilder_ = null;
            constraints_ = other.constraints_;
            bitField0_ = (bitField0_ & ~0x00000002);
            constraintsBuilder_ = 
              com.google.protobuf.GeneratedMessageV3.alwaysUseFieldBuilders ?
                 getConstraintsFieldBuilder() : null;
          } else {
            constraintsBuilder_.addAllMessages(other.constraints_);
          }
        }
      }
      if (other.hasObjective()) {
        mergeObjective(other.getObjective());
      }
      if (searchStrategyBuilder_ == null) {
        if (!other.searchStrategy_.isEmpty()) {
          if (searchStrategy_.isEmpty()) {
            searchStrategy_ = other.searchStrategy_;
            bitField0_ = (bitField0_ & ~0x00000004);
          } else {
            ensureSearchStrategyIsMutable();
            searchStrategy_.addAll(other.searchStrategy_);
          }
          onChanged();
        }
      } else {
        if (!other.searchStrategy_.isEmpty()) {
          if (searchStrategyBuilder_.isEmpty()) {
            searchStrategyBuilder_.dispose();
            searchStrategyBuilder_ = null;
            searchStrategy_ = other.searchStrategy_;
            bitField0_ = (bitField0_ & ~0x00000004);
            searchStrategyBuilder_ = 
              com.google.protobuf.GeneratedMessageV3.alwaysUseFieldBuilders ?
                 getSearchStrategyFieldBuilder() : null;
          } else {
            searchStrategyBuilder_.addAllMessages(other.searchStrategy_);
          }
        }
      }
      if (other.hasSolutionHint()) {
        mergeSolutionHint(other.getSolutionHint());
      }
      if (!other.assumptions_.isEmpty()) {
        if (assumptions_.isEmpty()) {
          assumptions_ = other.assumptions_;
          bitField0_ = (bitField0_ & ~0x00000008);
        } else {
          ensureAssumptionsIsMutable();
          assumptions_.addAll(other.assumptions_);
        }
        onChanged();
      }
      if (other.hasSymmetry()) {
        mergeSymmetry(other.getSymmetry());
      }
      this.mergeUnknownFields(other.unknownFields);
      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 {
      com.google.ortools.sat.CpModelProto parsedMessage = null;
      try {
        parsedMessage = PARSER.parsePartialFrom(input, extensionRegistry);
      } catch (com.google.protobuf.InvalidProtocolBufferException e) {
        parsedMessage = (com.google.ortools.sat.CpModelProto) e.getUnfinishedMessage();
        throw e.unwrapIOException();
      } finally {
        if (parsedMessage != null) {
          mergeFrom(parsedMessage);
        }
      }
      return this;
    }
    private int bitField0_;
 
    private java.lang.Object name_ = "";
    public java.lang.String getName() {
      java.lang.Object ref = name_;
      if (!(ref instanceof java.lang.String)) {
        com.google.protobuf.ByteString bs =
            (com.google.protobuf.ByteString) ref;
        java.lang.String s = bs.toStringUtf8();
        name_ = s;
        return s;
      } else {
        return (java.lang.String) ref;
      }
    }
    public com.google.protobuf.ByteString
        getNameBytes() {
      java.lang.Object ref = name_;
      if (ref instanceof String) {
        com.google.protobuf.ByteString b = 
            com.google.protobuf.ByteString.copyFromUtf8(
                (java.lang.String) ref);
        name_ = b;
        return b;
      } else {
        return (com.google.protobuf.ByteString) ref;
      }
    }
    public Builder setName(
        java.lang.String value) {
      if (value == null) {
    throw new NullPointerException();
  }
  
      name_ = value;
      onChanged();
      return this;
    }
    public Builder clearName() {
      
      name_ = getDefaultInstance().getName();
      onChanged();
      return this;
    }
    public Builder setNameBytes(
        com.google.protobuf.ByteString value) {
      if (value == null) {
    throw new NullPointerException();
  }
  checkByteStringIsUtf8(value);
      
      name_ = value;
      onChanged();
      return this;
    }
 
    private java.util.List<com.google.ortools.sat.IntegerVariableProto> variables_ =
      java.util.Collections.emptyList();
    private void ensureVariablesIsMutable() {
      if (!((bitField0_ & 0x00000001) != 0)) {
        variables_ = new java.util.ArrayList<com.google.ortools.sat.IntegerVariableProto>(variables_);
        bitField0_ |= 0x00000001;
       }
    }
 
    private com.google.protobuf.RepeatedFieldBuilderV3<
        com.google.ortools.sat.IntegerVariableProto, com.google.ortools.sat.IntegerVariableProto.Builder, com.google.ortools.sat.IntegerVariableProtoOrBuilder> variablesBuilder_;
 
    public java.util.List<com.google.ortools.sat.IntegerVariableProto> getVariablesList() {
      if (variablesBuilder_ == null) {
        return java.util.Collections.unmodifiableList(variables_);
      } else {
        return variablesBuilder_.getMessageList();
      }
    }
    public int getVariablesCount() {
      if (variablesBuilder_ == null) {
        return variables_.size();
      } else {
        return variablesBuilder_.getCount();
      }
    }
    public com.google.ortools.sat.IntegerVariableProto getVariables(int index) {
      if (variablesBuilder_ == null) {
        return variables_.get(index);
      } else {
        return variablesBuilder_.getMessage(index);
      }
    }
    public Builder setVariables(
        int index, com.google.ortools.sat.IntegerVariableProto value) {
      if (variablesBuilder_ == null) {
        if (value == null) {
          throw new NullPointerException();
        }
        ensureVariablesIsMutable();
        variables_.set(index, value);
        onChanged();
      } else {
        variablesBuilder_.setMessage(index, value);
      }
      return this;
    }
    public Builder setVariables(
        int index, com.google.ortools.sat.IntegerVariableProto.Builder builderForValue) {
      if (variablesBuilder_ == null) {
        ensureVariablesIsMutable();
        variables_.set(index, builderForValue.build());
        onChanged();
      } else {
        variablesBuilder_.setMessage(index, builderForValue.build());
      }
      return this;
    }
    public Builder addVariables(com.google.ortools.sat.IntegerVariableProto value) {
      if (variablesBuilder_ == null) {
        if (value == null) {
          throw new NullPointerException();
        }
        ensureVariablesIsMutable();
        variables_.add(value);
        onChanged();
      } else {
        variablesBuilder_.addMessage(value);
      }
      return this;
    }
    public Builder addVariables(
        int index, com.google.ortools.sat.IntegerVariableProto value) {
      if (variablesBuilder_ == null) {
        if (value == null) {
          throw new NullPointerException();
        }
        ensureVariablesIsMutable();
        variables_.add(index, value);
        onChanged();
      } else {
        variablesBuilder_.addMessage(index, value);
      }
      return this;
    }
    public Builder addVariables(
        com.google.ortools.sat.IntegerVariableProto.Builder builderForValue) {
      if (variablesBuilder_ == null) {
        ensureVariablesIsMutable();
        variables_.add(builderForValue.build());
        onChanged();
      } else {
        variablesBuilder_.addMessage(builderForValue.build());
      }
      return this;
    }
    public Builder addVariables(
        int index, com.google.ortools.sat.IntegerVariableProto.Builder builderForValue) {
      if (variablesBuilder_ == null) {
        ensureVariablesIsMutable();
        variables_.add(index, builderForValue.build());
        onChanged();
      } else {
        variablesBuilder_.addMessage(index, builderForValue.build());
      }
      return this;
    }
    public Builder addAllVariables(
        java.lang.Iterable<? extends com.google.ortools.sat.IntegerVariableProto> values) {
      if (variablesBuilder_ == null) {
        ensureVariablesIsMutable();
        com.google.protobuf.AbstractMessageLite.Builder.addAll(
            values, variables_);
        onChanged();
      } else {
        variablesBuilder_.addAllMessages(values);
      }
      return this;
    }
    public Builder clearVariables() {
      if (variablesBuilder_ == null) {
        variables_ = java.util.Collections.emptyList();
        bitField0_ = (bitField0_ & ~0x00000001);
        onChanged();
      } else {
        variablesBuilder_.clear();
      }
      return this;
    }
    public Builder removeVariables(int index) {
      if (variablesBuilder_ == null) {
        ensureVariablesIsMutable();
        variables_.remove(index);
        onChanged();
      } else {
        variablesBuilder_.remove(index);
      }
      return this;
    }
    public com.google.ortools.sat.IntegerVariableProto.Builder getVariablesBuilder(
        int index) {
      return getVariablesFieldBuilder().getBuilder(index);
    }
    public com.google.ortools.sat.IntegerVariableProtoOrBuilder getVariablesOrBuilder(
        int index) {
      if (variablesBuilder_ == null) {
        return variables_.get(index);  } else {
        return variablesBuilder_.getMessageOrBuilder(index);
      }
    }
    public java.util.List<? extends com.google.ortools.sat.IntegerVariableProtoOrBuilder> 
         getVariablesOrBuilderList() {
      if (variablesBuilder_ != null) {
        return variablesBuilder_.getMessageOrBuilderList();
      } else {
        return java.util.Collections.unmodifiableList(variables_);
      }
    }
    public com.google.ortools.sat.IntegerVariableProto.Builder addVariablesBuilder() {
      return getVariablesFieldBuilder().addBuilder(
          com.google.ortools.sat.IntegerVariableProto.getDefaultInstance());
    }
    public com.google.ortools.sat.IntegerVariableProto.Builder addVariablesBuilder(
        int index) {
      return getVariablesFieldBuilder().addBuilder(
          index, com.google.ortools.sat.IntegerVariableProto.getDefaultInstance());
    }
    public java.util.List<com.google.ortools.sat.IntegerVariableProto.Builder> 
         getVariablesBuilderList() {
      return getVariablesFieldBuilder().getBuilderList();
    }
    private com.google.protobuf.RepeatedFieldBuilderV3<
        com.google.ortools.sat.IntegerVariableProto, com.google.ortools.sat.IntegerVariableProto.Builder, com.google.ortools.sat.IntegerVariableProtoOrBuilder> 
        getVariablesFieldBuilder() {
      if (variablesBuilder_ == null) {
        variablesBuilder_ = new com.google.protobuf.RepeatedFieldBuilderV3<
            com.google.ortools.sat.IntegerVariableProto, com.google.ortools.sat.IntegerVariableProto.Builder, com.google.ortools.sat.IntegerVariableProtoOrBuilder>(
                variables_,
                ((bitField0_ & 0x00000001) != 0),
                getParentForChildren(),
                isClean());
        variables_ = null;
      }
      return variablesBuilder_;
    }
 
    private java.util.List<com.google.ortools.sat.ConstraintProto> constraints_ =
      java.util.Collections.emptyList();
    private void ensureConstraintsIsMutable() {
      if (!((bitField0_ & 0x00000002) != 0)) {
        constraints_ = new java.util.ArrayList<com.google.ortools.sat.ConstraintProto>(constraints_);
        bitField0_ |= 0x00000002;
       }
    }
 
    private com.google.protobuf.RepeatedFieldBuilderV3<
        com.google.ortools.sat.ConstraintProto, com.google.ortools.sat.ConstraintProto.Builder, com.google.ortools.sat.ConstraintProtoOrBuilder> constraintsBuilder_;
 
    public java.util.List<com.google.ortools.sat.ConstraintProto> getConstraintsList() {
      if (constraintsBuilder_ == null) {
        return java.util.Collections.unmodifiableList(constraints_);
      } else {
        return constraintsBuilder_.getMessageList();
      }
    }
    public int getConstraintsCount() {
      if (constraintsBuilder_ == null) {
        return constraints_.size();
      } else {
        return constraintsBuilder_.getCount();
      }
    }
    public com.google.ortools.sat.ConstraintProto getConstraints(int index) {
      if (constraintsBuilder_ == null) {
        return constraints_.get(index);
      } else {
        return constraintsBuilder_.getMessage(index);
      }
    }
    public Builder setConstraints(
        int index, com.google.ortools.sat.ConstraintProto value) {
      if (constraintsBuilder_ == null) {
        if (value == null) {
          throw new NullPointerException();
        }
        ensureConstraintsIsMutable();
        constraints_.set(index, value);
        onChanged();
      } else {
        constraintsBuilder_.setMessage(index, value);
      }
      return this;
    }
    public Builder setConstraints(
        int index, com.google.ortools.sat.ConstraintProto.Builder builderForValue) {
      if (constraintsBuilder_ == null) {
        ensureConstraintsIsMutable();
        constraints_.set(index, builderForValue.build());
        onChanged();
      } else {
        constraintsBuilder_.setMessage(index, builderForValue.build());
      }
      return this;
    }
    public Builder addConstraints(com.google.ortools.sat.ConstraintProto value) {
      if (constraintsBuilder_ == null) {
        if (value == null) {
          throw new NullPointerException();
        }
        ensureConstraintsIsMutable();
        constraints_.add(value);
        onChanged();
      } else {
        constraintsBuilder_.addMessage(value);
      }
      return this;
    }
    public Builder addConstraints(
        int index, com.google.ortools.sat.ConstraintProto value) {
      if (constraintsBuilder_ == null) {
        if (value == null) {
          throw new NullPointerException();
        }
        ensureConstraintsIsMutable();
        constraints_.add(index, value);
        onChanged();
      } else {
        constraintsBuilder_.addMessage(index, value);
      }
      return this;
    }
    public Builder addConstraints(
        com.google.ortools.sat.ConstraintProto.Builder builderForValue) {
      if (constraintsBuilder_ == null) {
        ensureConstraintsIsMutable();
        constraints_.add(builderForValue.build());
        onChanged();
      } else {
        constraintsBuilder_.addMessage(builderForValue.build());
      }
      return this;
    }
    public Builder addConstraints(
        int index, com.google.ortools.sat.ConstraintProto.Builder builderForValue) {
      if (constraintsBuilder_ == null) {
        ensureConstraintsIsMutable();
        constraints_.add(index, builderForValue.build());
        onChanged();
      } else {
        constraintsBuilder_.addMessage(index, builderForValue.build());
      }
      return this;
    }
    public Builder addAllConstraints(
        java.lang.Iterable<? extends com.google.ortools.sat.ConstraintProto> values) {
      if (constraintsBuilder_ == null) {
        ensureConstraintsIsMutable();
        com.google.protobuf.AbstractMessageLite.Builder.addAll(
            values, constraints_);
        onChanged();
      } else {
        constraintsBuilder_.addAllMessages(values);
      }
      return this;
    }
    public Builder clearConstraints() {
      if (constraintsBuilder_ == null) {
        constraints_ = java.util.Collections.emptyList();
        bitField0_ = (bitField0_ & ~0x00000002);
        onChanged();
      } else {
        constraintsBuilder_.clear();
      }
      return this;
    }
    public Builder removeConstraints(int index) {
      if (constraintsBuilder_ == null) {
        ensureConstraintsIsMutable();
        constraints_.remove(index);
        onChanged();
      } else {
        constraintsBuilder_.remove(index);
      }
      return this;
    }
    public com.google.ortools.sat.ConstraintProto.Builder getConstraintsBuilder(
        int index) {
      return getConstraintsFieldBuilder().getBuilder(index);
    }
    public com.google.ortools.sat.ConstraintProtoOrBuilder getConstraintsOrBuilder(
        int index) {
      if (constraintsBuilder_ == null) {
        return constraints_.get(index);  } else {
        return constraintsBuilder_.getMessageOrBuilder(index);
      }
    }
    public java.util.List<? extends com.google.ortools.sat.ConstraintProtoOrBuilder> 
         getConstraintsOrBuilderList() {
      if (constraintsBuilder_ != null) {
        return constraintsBuilder_.getMessageOrBuilderList();
      } else {
        return java.util.Collections.unmodifiableList(constraints_);
      }
    }
    public com.google.ortools.sat.ConstraintProto.Builder addConstraintsBuilder() {
      return getConstraintsFieldBuilder().addBuilder(
          com.google.ortools.sat.ConstraintProto.getDefaultInstance());
    }
    public com.google.ortools.sat.ConstraintProto.Builder addConstraintsBuilder(
        int index) {
      return getConstraintsFieldBuilder().addBuilder(
          index, com.google.ortools.sat.ConstraintProto.getDefaultInstance());
    }
    public java.util.List<com.google.ortools.sat.ConstraintProto.Builder> 
         getConstraintsBuilderList() {
      return getConstraintsFieldBuilder().getBuilderList();
    }
    private com.google.protobuf.RepeatedFieldBuilderV3<
        com.google.ortools.sat.ConstraintProto, com.google.ortools.sat.ConstraintProto.Builder, com.google.ortools.sat.ConstraintProtoOrBuilder> 
        getConstraintsFieldBuilder() {
      if (constraintsBuilder_ == null) {
        constraintsBuilder_ = new com.google.protobuf.RepeatedFieldBuilderV3<
            com.google.ortools.sat.ConstraintProto, com.google.ortools.sat.ConstraintProto.Builder, com.google.ortools.sat.ConstraintProtoOrBuilder>(
                constraints_,
                ((bitField0_ & 0x00000002) != 0),
                getParentForChildren(),
                isClean());
        constraints_ = null;
      }
      return constraintsBuilder_;
    }
 
    private com.google.ortools.sat.CpObjectiveProto objective_;
    private com.google.protobuf.SingleFieldBuilderV3<
        com.google.ortools.sat.CpObjectiveProto, com.google.ortools.sat.CpObjectiveProto.Builder, com.google.ortools.sat.CpObjectiveProtoOrBuilder> objectiveBuilder_;
    public boolean hasObjective() {
      return objectiveBuilder_ != null || objective_ != null;
    }
    public com.google.ortools.sat.CpObjectiveProto getObjective() {
      if (objectiveBuilder_ == null) {
        return objective_ == null ? com.google.ortools.sat.CpObjectiveProto.getDefaultInstance() : objective_;
      } else {
        return objectiveBuilder_.getMessage();
      }
    }
    public Builder setObjective(com.google.ortools.sat.CpObjectiveProto value) {
      if (objectiveBuilder_ == null) {
        if (value == null) {
          throw new NullPointerException();
        }
        objective_ = value;
        onChanged();
      } else {
        objectiveBuilder_.setMessage(value);
      }
 
      return this;
    }
    public Builder setObjective(
        com.google.ortools.sat.CpObjectiveProto.Builder builderForValue) {
      if (objectiveBuilder_ == null) {
        objective_ = builderForValue.build();
        onChanged();
      } else {
        objectiveBuilder_.setMessage(builderForValue.build());
      }
 
      return this;
    }
    public Builder mergeObjective(com.google.ortools.sat.CpObjectiveProto value) {
      if (objectiveBuilder_ == null) {
        if (objective_ != null) {
          objective_ =
            com.google.ortools.sat.CpObjectiveProto.newBuilder(objective_).mergeFrom(value).buildPartial();
        } else {
          objective_ = value;
        }
        onChanged();
      } else {
        objectiveBuilder_.mergeFrom(value);
      }
 
      return this;
    }
    public Builder clearObjective() {
      if (objectiveBuilder_ == null) {
        objective_ = null;
        onChanged();
      } else {
        objective_ = null;
        objectiveBuilder_ = null;
      }
 
      return this;
    }
    public com.google.ortools.sat.CpObjectiveProto.Builder getObjectiveBuilder() {
      
      onChanged();
      return getObjectiveFieldBuilder().getBuilder();
    }
    public com.google.ortools.sat.CpObjectiveProtoOrBuilder getObjectiveOrBuilder() {
      if (objectiveBuilder_ != null) {
        return objectiveBuilder_.getMessageOrBuilder();
      } else {
        return objective_ == null ?
            com.google.ortools.sat.CpObjectiveProto.getDefaultInstance() : objective_;
      }
    }
    private com.google.protobuf.SingleFieldBuilderV3<
        com.google.ortools.sat.CpObjectiveProto, com.google.ortools.sat.CpObjectiveProto.Builder, com.google.ortools.sat.CpObjectiveProtoOrBuilder> 
        getObjectiveFieldBuilder() {
      if (objectiveBuilder_ == null) {
        objectiveBuilder_ = new com.google.protobuf.SingleFieldBuilderV3<
            com.google.ortools.sat.CpObjectiveProto, com.google.ortools.sat.CpObjectiveProto.Builder, com.google.ortools.sat.CpObjectiveProtoOrBuilder>(
                getObjective(),
                getParentForChildren(),
                isClean());
        objective_ = null;
      }
      return objectiveBuilder_;
    }
 
    private java.util.List<com.google.ortools.sat.DecisionStrategyProto> searchStrategy_ =
      java.util.Collections.emptyList();
    private void ensureSearchStrategyIsMutable() {
      if (!((bitField0_ & 0x00000004) != 0)) {
        searchStrategy_ = new java.util.ArrayList<com.google.ortools.sat.DecisionStrategyProto>(searchStrategy_);
        bitField0_ |= 0x00000004;
       }
    }
 
    private com.google.protobuf.RepeatedFieldBuilderV3<
        com.google.ortools.sat.DecisionStrategyProto, com.google.ortools.sat.DecisionStrategyProto.Builder, com.google.ortools.sat.DecisionStrategyProtoOrBuilder> searchStrategyBuilder_;
 
    public java.util.List<com.google.ortools.sat.DecisionStrategyProto> getSearchStrategyList() {
      if (searchStrategyBuilder_ == null) {
        return java.util.Collections.unmodifiableList(searchStrategy_);
      } else {
        return searchStrategyBuilder_.getMessageList();
      }
    }
    public int getSearchStrategyCount() {
      if (searchStrategyBuilder_ == null) {
        return searchStrategy_.size();
      } else {
        return searchStrategyBuilder_.getCount();
      }
    }
    public com.google.ortools.sat.DecisionStrategyProto getSearchStrategy(int index) {
      if (searchStrategyBuilder_ == null) {
        return searchStrategy_.get(index);
      } else {
        return searchStrategyBuilder_.getMessage(index);
      }
    }
    public Builder setSearchStrategy(
        int index, com.google.ortools.sat.DecisionStrategyProto value) {
      if (searchStrategyBuilder_ == null) {
        if (value == null) {
          throw new NullPointerException();
        }
        ensureSearchStrategyIsMutable();
        searchStrategy_.set(index, value);
        onChanged();
      } else {
        searchStrategyBuilder_.setMessage(index, value);
      }
      return this;
    }
    public Builder setSearchStrategy(
        int index, com.google.ortools.sat.DecisionStrategyProto.Builder builderForValue) {
      if (searchStrategyBuilder_ == null) {
        ensureSearchStrategyIsMutable();
        searchStrategy_.set(index, builderForValue.build());
        onChanged();
      } else {
        searchStrategyBuilder_.setMessage(index, builderForValue.build());
      }
      return this;
    }
    public Builder addSearchStrategy(com.google.ortools.sat.DecisionStrategyProto value) {
      if (searchStrategyBuilder_ == null) {
        if (value == null) {
          throw new NullPointerException();
        }
        ensureSearchStrategyIsMutable();
        searchStrategy_.add(value);
        onChanged();
      } else {
        searchStrategyBuilder_.addMessage(value);
      }
      return this;
    }
    public Builder addSearchStrategy(
        int index, com.google.ortools.sat.DecisionStrategyProto value) {
      if (searchStrategyBuilder_ == null) {
        if (value == null) {
          throw new NullPointerException();
        }
        ensureSearchStrategyIsMutable();
        searchStrategy_.add(index, value);
        onChanged();
      } else {
        searchStrategyBuilder_.addMessage(index, value);
      }
      return this;
    }
    public Builder addSearchStrategy(
        com.google.ortools.sat.DecisionStrategyProto.Builder builderForValue) {
      if (searchStrategyBuilder_ == null) {
        ensureSearchStrategyIsMutable();
        searchStrategy_.add(builderForValue.build());
        onChanged();
      } else {
        searchStrategyBuilder_.addMessage(builderForValue.build());
      }
      return this;
    }
    public Builder addSearchStrategy(
        int index, com.google.ortools.sat.DecisionStrategyProto.Builder builderForValue) {
      if (searchStrategyBuilder_ == null) {
        ensureSearchStrategyIsMutable();
        searchStrategy_.add(index, builderForValue.build());
        onChanged();
      } else {
        searchStrategyBuilder_.addMessage(index, builderForValue.build());
      }
      return this;
    }
    public Builder addAllSearchStrategy(
        java.lang.Iterable<? extends com.google.ortools.sat.DecisionStrategyProto> values) {
      if (searchStrategyBuilder_ == null) {
        ensureSearchStrategyIsMutable();
        com.google.protobuf.AbstractMessageLite.Builder.addAll(
            values, searchStrategy_);
        onChanged();
      } else {
        searchStrategyBuilder_.addAllMessages(values);
      }
      return this;
    }
    public Builder clearSearchStrategy() {
      if (searchStrategyBuilder_ == null) {
        searchStrategy_ = java.util.Collections.emptyList();
        bitField0_ = (bitField0_ & ~0x00000004);
        onChanged();
      } else {
        searchStrategyBuilder_.clear();
      }
      return this;
    }
    public Builder removeSearchStrategy(int index) {
      if (searchStrategyBuilder_ == null) {
        ensureSearchStrategyIsMutable();
        searchStrategy_.remove(index);
        onChanged();
      } else {
        searchStrategyBuilder_.remove(index);
      }
      return this;
    }
    public com.google.ortools.sat.DecisionStrategyProto.Builder getSearchStrategyBuilder(
        int index) {
      return getSearchStrategyFieldBuilder().getBuilder(index);
    }
    public com.google.ortools.sat.DecisionStrategyProtoOrBuilder getSearchStrategyOrBuilder(
        int index) {
      if (searchStrategyBuilder_ == null) {
        return searchStrategy_.get(index);  } else {
        return searchStrategyBuilder_.getMessageOrBuilder(index);
      }
    }
    public java.util.List<? extends com.google.ortools.sat.DecisionStrategyProtoOrBuilder> 
         getSearchStrategyOrBuilderList() {
      if (searchStrategyBuilder_ != null) {
        return searchStrategyBuilder_.getMessageOrBuilderList();
      } else {
        return java.util.Collections.unmodifiableList(searchStrategy_);
      }
    }
    public com.google.ortools.sat.DecisionStrategyProto.Builder addSearchStrategyBuilder() {
      return getSearchStrategyFieldBuilder().addBuilder(
          com.google.ortools.sat.DecisionStrategyProto.getDefaultInstance());
    }
    public com.google.ortools.sat.DecisionStrategyProto.Builder addSearchStrategyBuilder(
        int index) {
      return getSearchStrategyFieldBuilder().addBuilder(
          index, com.google.ortools.sat.DecisionStrategyProto.getDefaultInstance());
    }
    public java.util.List<com.google.ortools.sat.DecisionStrategyProto.Builder> 
         getSearchStrategyBuilderList() {
      return getSearchStrategyFieldBuilder().getBuilderList();
    }
    private com.google.protobuf.RepeatedFieldBuilderV3<
        com.google.ortools.sat.DecisionStrategyProto, com.google.ortools.sat.DecisionStrategyProto.Builder, com.google.ortools.sat.DecisionStrategyProtoOrBuilder> 
        getSearchStrategyFieldBuilder() {
      if (searchStrategyBuilder_ == null) {
        searchStrategyBuilder_ = new com.google.protobuf.RepeatedFieldBuilderV3<
            com.google.ortools.sat.DecisionStrategyProto, com.google.ortools.sat.DecisionStrategyProto.Builder, com.google.ortools.sat.DecisionStrategyProtoOrBuilder>(
                searchStrategy_,
                ((bitField0_ & 0x00000004) != 0),
                getParentForChildren(),
                isClean());
        searchStrategy_ = null;
      }
      return searchStrategyBuilder_;
    }
 
    private com.google.ortools.sat.PartialVariableAssignment solutionHint_;
    private com.google.protobuf.SingleFieldBuilderV3<
        com.google.ortools.sat.PartialVariableAssignment, com.google.ortools.sat.PartialVariableAssignment.Builder, com.google.ortools.sat.PartialVariableAssignmentOrBuilder> solutionHintBuilder_;
    public boolean hasSolutionHint() {
      return solutionHintBuilder_ != null || solutionHint_ != null;
    }
    public com.google.ortools.sat.PartialVariableAssignment getSolutionHint() {
      if (solutionHintBuilder_ == null) {
        return solutionHint_ == null ? com.google.ortools.sat.PartialVariableAssignment.getDefaultInstance() : solutionHint_;
      } else {
        return solutionHintBuilder_.getMessage();
      }
    }
    public Builder setSolutionHint(com.google.ortools.sat.PartialVariableAssignment value) {
      if (solutionHintBuilder_ == null) {
        if (value == null) {
          throw new NullPointerException();
        }
        solutionHint_ = value;
        onChanged();
      } else {
        solutionHintBuilder_.setMessage(value);
      }
 
      return this;
    }
    public Builder setSolutionHint(
        com.google.ortools.sat.PartialVariableAssignment.Builder builderForValue) {
      if (solutionHintBuilder_ == null) {
        solutionHint_ = builderForValue.build();
        onChanged();
      } else {
        solutionHintBuilder_.setMessage(builderForValue.build());
      }
 
      return this;
    }
    public Builder mergeSolutionHint(com.google.ortools.sat.PartialVariableAssignment value) {
      if (solutionHintBuilder_ == null) {
        if (solutionHint_ != null) {
          solutionHint_ =
            com.google.ortools.sat.PartialVariableAssignment.newBuilder(solutionHint_).mergeFrom(value).buildPartial();
        } else {
          solutionHint_ = value;
        }
        onChanged();
      } else {
        solutionHintBuilder_.mergeFrom(value);
      }
 
      return this;
    }
    public Builder clearSolutionHint() {
      if (solutionHintBuilder_ == null) {
        solutionHint_ = null;
        onChanged();
      } else {
        solutionHint_ = null;
        solutionHintBuilder_ = null;
      }
 
      return this;
    }
    public com.google.ortools.sat.PartialVariableAssignment.Builder getSolutionHintBuilder() {
      
      onChanged();
      return getSolutionHintFieldBuilder().getBuilder();
    }
    public com.google.ortools.sat.PartialVariableAssignmentOrBuilder getSolutionHintOrBuilder() {
      if (solutionHintBuilder_ != null) {
        return solutionHintBuilder_.getMessageOrBuilder();
      } else {
        return solutionHint_ == null ?
            com.google.ortools.sat.PartialVariableAssignment.getDefaultInstance() : solutionHint_;
      }
    }
    private com.google.protobuf.SingleFieldBuilderV3<
        com.google.ortools.sat.PartialVariableAssignment, com.google.ortools.sat.PartialVariableAssignment.Builder, com.google.ortools.sat.PartialVariableAssignmentOrBuilder> 
        getSolutionHintFieldBuilder() {
      if (solutionHintBuilder_ == null) {
        solutionHintBuilder_ = new com.google.protobuf.SingleFieldBuilderV3<
            com.google.ortools.sat.PartialVariableAssignment, com.google.ortools.sat.PartialVariableAssignment.Builder, com.google.ortools.sat.PartialVariableAssignmentOrBuilder>(
                getSolutionHint(),
                getParentForChildren(),
                isClean());
        solutionHint_ = null;
      }
      return solutionHintBuilder_;
    }
 
    private com.google.protobuf.Internal.IntList assumptions_ = emptyIntList();
    private void ensureAssumptionsIsMutable() {
      if (!((bitField0_ & 0x00000008) != 0)) {
        assumptions_ = mutableCopy(assumptions_);
        bitField0_ |= 0x00000008;
       }
    }
    public java.util.List<java.lang.Integer>
        getAssumptionsList() {
      return ((bitField0_ & 0x00000008) != 0) ?
               java.util.Collections.unmodifiableList(assumptions_) : assumptions_;
    }
    public int getAssumptionsCount() {
      return assumptions_.size();
    }
    public int getAssumptions(int index) {
      return assumptions_.getInt(index);
    }
    public Builder setAssumptions(
        int index, int value) {
      ensureAssumptionsIsMutable();
      assumptions_.setInt(index, value);
      onChanged();
      return this;
    }
    public Builder addAssumptions(int value) {
      ensureAssumptionsIsMutable();
      assumptions_.addInt(value);
      onChanged();
      return this;
    }
    public Builder addAllAssumptions(
        java.lang.Iterable<? extends java.lang.Integer> values) {
      ensureAssumptionsIsMutable();
      com.google.protobuf.AbstractMessageLite.Builder.addAll(
          values, assumptions_);
      onChanged();
      return this;
    }
    public Builder clearAssumptions() {
      assumptions_ = emptyIntList();
      bitField0_ = (bitField0_ & ~0x00000008);
      onChanged();
      return this;
    }
 
    private com.google.ortools.sat.SymmetryProto symmetry_;
    private com.google.protobuf.SingleFieldBuilderV3<
        com.google.ortools.sat.SymmetryProto, com.google.ortools.sat.SymmetryProto.Builder, com.google.ortools.sat.SymmetryProtoOrBuilder> symmetryBuilder_;
    public boolean hasSymmetry() {
      return symmetryBuilder_ != null || symmetry_ != null;
    }
    public com.google.ortools.sat.SymmetryProto getSymmetry() {
      if (symmetryBuilder_ == null) {
        return symmetry_ == null ? com.google.ortools.sat.SymmetryProto.getDefaultInstance() : symmetry_;
      } else {
        return symmetryBuilder_.getMessage();
      }
    }
    public Builder setSymmetry(com.google.ortools.sat.SymmetryProto value) {
      if (symmetryBuilder_ == null) {
        if (value == null) {
          throw new NullPointerException();
        }
        symmetry_ = value;
        onChanged();
      } else {
        symmetryBuilder_.setMessage(value);
      }
 
      return this;
    }
    public Builder setSymmetry(
        com.google.ortools.sat.SymmetryProto.Builder builderForValue) {
      if (symmetryBuilder_ == null) {
        symmetry_ = builderForValue.build();
        onChanged();
      } else {
        symmetryBuilder_.setMessage(builderForValue.build());
      }
 
      return this;
    }
    public Builder mergeSymmetry(com.google.ortools.sat.SymmetryProto value) {
      if (symmetryBuilder_ == null) {
        if (symmetry_ != null) {
          symmetry_ =
            com.google.ortools.sat.SymmetryProto.newBuilder(symmetry_).mergeFrom(value).buildPartial();
        } else {
          symmetry_ = value;
        }
        onChanged();
      } else {
        symmetryBuilder_.mergeFrom(value);
      }
 
      return this;
    }
    public Builder clearSymmetry() {
      if (symmetryBuilder_ == null) {
        symmetry_ = null;
        onChanged();
      } else {
        symmetry_ = null;
        symmetryBuilder_ = null;
      }
 
      return this;
    }
    public com.google.ortools.sat.SymmetryProto.Builder getSymmetryBuilder() {
      
      onChanged();
      return getSymmetryFieldBuilder().getBuilder();
    }
    public com.google.ortools.sat.SymmetryProtoOrBuilder getSymmetryOrBuilder() {
      if (symmetryBuilder_ != null) {
        return symmetryBuilder_.getMessageOrBuilder();
      } else {
        return symmetry_ == null ?
            com.google.ortools.sat.SymmetryProto.getDefaultInstance() : symmetry_;
      }
    }
    private com.google.protobuf.SingleFieldBuilderV3<
        com.google.ortools.sat.SymmetryProto, com.google.ortools.sat.SymmetryProto.Builder, com.google.ortools.sat.SymmetryProtoOrBuilder> 
        getSymmetryFieldBuilder() {
      if (symmetryBuilder_ == null) {
        symmetryBuilder_ = new com.google.protobuf.SingleFieldBuilderV3<
            com.google.ortools.sat.SymmetryProto, com.google.ortools.sat.SymmetryProto.Builder, com.google.ortools.sat.SymmetryProtoOrBuilder>(
                getSymmetry(),
                getParentForChildren(),
                isClean());
        symmetry_ = null;
      }
      return symmetryBuilder_;
    }
    @java.lang.Override
    public final Builder setUnknownFields(
        final com.google.protobuf.UnknownFieldSet unknownFields) {
      return super.setUnknownFields(unknownFields);
    }
 
    @java.lang.Override
    public final Builder mergeUnknownFields(
        final com.google.protobuf.UnknownFieldSet unknownFields) {
      return super.mergeUnknownFields(unknownFields);
    }
 
 
    // @@protoc_insertion_point(builder_scope:operations_research.sat.CpModelProto)
  }
 
  // @@protoc_insertion_point(class_scope:operations_research.sat.CpModelProto)
  private static final com.google.ortools.sat.CpModelProto DEFAULT_INSTANCE;
  static {
    DEFAULT_INSTANCE = new com.google.ortools.sat.CpModelProto();
  }
 
  public static com.google.ortools.sat.CpModelProto getDefaultInstance() {
    return DEFAULT_INSTANCE;
  }
 
  private static final com.google.protobuf.Parser<CpModelProto>
      PARSER = new com.google.protobuf.AbstractParser<CpModelProto>() {
    @java.lang.Override
    public CpModelProto parsePartialFrom(
        com.google.protobuf.CodedInputStream input,
        com.google.protobuf.ExtensionRegistryLite extensionRegistry)
        throws com.google.protobuf.InvalidProtocolBufferException {
      return new CpModelProto(input, extensionRegistry);
    }
  };
 
  public static com.google.protobuf.Parser<CpModelProto> parser() {
    return PARSER;
  }
 
  @java.lang.Override
  public com.google.protobuf.Parser<CpModelProto> getParserForType() {
    return PARSER;
  }
 
  @java.lang.Override
  public com.google.ortools.sat.CpModelProto getDefaultInstanceForType() {
    return DEFAULT_INSTANCE;
  }
 
}