CpModelProto.java

Go to the documentation of this file.

// Generated by the protocol buffer compiler.  DO NOT EDIT!
// source: ortools/sat/cp_model.proto
 
// Protobuf Java Version: 3.25.3
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();
  }
 
  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);
  }
 
  private int bitField0_;
  public static final int NAME_FIELD_NUMBER = 1;
  @SuppressWarnings("serial")
  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;
  @SuppressWarnings("serial")
  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;
  @SuppressWarnings("serial")
  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 ((bitField0_ & 0x00000001) != 0);
  }
  @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 objective_ == null ? com.google.ortools.sat.CpObjectiveProto.getDefaultInstance() : objective_;
  }
 
  public static final int FLOATING_POINT_OBJECTIVE_FIELD_NUMBER = 9;
  private com.google.ortools.sat.FloatObjectiveProto floatingPointObjective_;
  @java.lang.Override
  public boolean hasFloatingPointObjective() {
    return ((bitField0_ & 0x00000002) != 0);
  }
  @java.lang.Override
  public com.google.ortools.sat.FloatObjectiveProto getFloatingPointObjective() {
    return floatingPointObjective_ == null ? com.google.ortools.sat.FloatObjectiveProto.getDefaultInstance() : floatingPointObjective_;
  }
  @java.lang.Override
  public com.google.ortools.sat.FloatObjectiveProtoOrBuilder getFloatingPointObjectiveOrBuilder() {
    return floatingPointObjective_ == null ? com.google.ortools.sat.FloatObjectiveProto.getDefaultInstance() : floatingPointObjective_;
  }
 
  public static final int SEARCH_STRATEGY_FIELD_NUMBER = 5;
  @SuppressWarnings("serial")
  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 ((bitField0_ & 0x00000004) != 0);
  }
  @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 solutionHint_ == null ? com.google.ortools.sat.PartialVariableAssignment.getDefaultInstance() : solutionHint_;
  }
 
  public static final int ASSUMPTIONS_FIELD_NUMBER = 7;
  @SuppressWarnings("serial")
  private com.google.protobuf.Internal.IntList assumptions_ =
      emptyIntList();
  @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 ((bitField0_ & 0x00000008) != 0);
  }
  @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 symmetry_ == null ? com.google.ortools.sat.SymmetryProto.getDefaultInstance() : symmetry_;
  }
 
  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 (((bitField0_ & 0x00000001) != 0)) {
      output.writeMessage(4, getObjective());
    }
    for (int i = 0; i < searchStrategy_.size(); i++) {
      output.writeMessage(5, searchStrategy_.get(i));
    }
    if (((bitField0_ & 0x00000004) != 0)) {
      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 (((bitField0_ & 0x00000008) != 0)) {
      output.writeMessage(8, getSymmetry());
    }
    if (((bitField0_ & 0x00000002) != 0)) {
      output.writeMessage(9, getFloatingPointObjective());
    }
    getUnknownFields().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 (((bitField0_ & 0x00000001) != 0)) {
      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 (((bitField0_ & 0x00000004) != 0)) {
      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 (((bitField0_ & 0x00000008) != 0)) {
      size += com.google.protobuf.CodedOutputStream
        .computeMessageSize(8, getSymmetry());
    }
    if (((bitField0_ & 0x00000002) != 0)) {
      size += com.google.protobuf.CodedOutputStream
        .computeMessageSize(9, getFloatingPointObjective());
    }
    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.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 (hasFloatingPointObjective() != other.hasFloatingPointObjective()) return false;
    if (hasFloatingPointObjective()) {
      if (!getFloatingPointObjective()
          .equals(other.getFloatingPointObjective())) 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 (!getUnknownFields().equals(other.getUnknownFields())) return false;
    return true;
  }
 
  @java.lang.Override
  public int hashCode() {
    if (memoizedHashCode != 0) {
      return memoizedHashCode;
    }
    int hash = 41;
    hash = (19 * hash) + getDescriptor().hashCode();
    hash = (37 * hash) + 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 (hasFloatingPointObjective()) {
      hash = (37 * hash) + FLOATING_POINT_OBJECTIVE_FIELD_NUMBER;
      hash = (53 * hash) + getFloatingPointObjective().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) + getUnknownFields().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();
        getObjectiveFieldBuilder();
        getFloatingPointObjectiveFieldBuilder();
        getSearchStrategyFieldBuilder();
        getSolutionHintFieldBuilder();
        getSymmetryFieldBuilder();
      }
    }
    @java.lang.Override
    public Builder clear() {
      super.clear();
      bitField0_ = 0;
      name_ = "";
      if (variablesBuilder_ == null) {
        variables_ = java.util.Collections.emptyList();
      } else {
        variables_ = null;
        variablesBuilder_.clear();
      }
      bitField0_ = (bitField0_ & ~0x00000002);
      if (constraintsBuilder_ == null) {
        constraints_ = java.util.Collections.emptyList();
      } else {
        constraints_ = null;
        constraintsBuilder_.clear();
      }
      bitField0_ = (bitField0_ & ~0x00000004);
      objective_ = null;
      if (objectiveBuilder_ != null) {
        objectiveBuilder_.dispose();
        objectiveBuilder_ = null;
      }
      floatingPointObjective_ = null;
      if (floatingPointObjectiveBuilder_ != null) {
        floatingPointObjectiveBuilder_.dispose();
        floatingPointObjectiveBuilder_ = null;
      }
      if (searchStrategyBuilder_ == null) {
        searchStrategy_ = java.util.Collections.emptyList();
      } else {
        searchStrategy_ = null;
        searchStrategyBuilder_.clear();
      }
      bitField0_ = (bitField0_ & ~0x00000020);
      solutionHint_ = null;
      if (solutionHintBuilder_ != null) {
        solutionHintBuilder_.dispose();
        solutionHintBuilder_ = null;
      }
      assumptions_ = emptyIntList();
      symmetry_ = null;
      if (symmetryBuilder_ != null) {
        symmetryBuilder_.dispose();
        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);
      buildPartialRepeatedFields(result);
      if (bitField0_ != 0) { buildPartial0(result); }
      onBuilt();
      return result;
    }
 
    private void buildPartialRepeatedFields(com.google.ortools.sat.CpModelProto result) {
      if (variablesBuilder_ == null) {
        if (((bitField0_ & 0x00000002) != 0)) {
          variables_ = java.util.Collections.unmodifiableList(variables_);
          bitField0_ = (bitField0_ & ~0x00000002);
        }
        result.variables_ = variables_;
      } else {
        result.variables_ = variablesBuilder_.build();
      }
      if (constraintsBuilder_ == null) {
        if (((bitField0_ & 0x00000004) != 0)) {
          constraints_ = java.util.Collections.unmodifiableList(constraints_);
          bitField0_ = (bitField0_ & ~0x00000004);
        }
        result.constraints_ = constraints_;
      } else {
        result.constraints_ = constraintsBuilder_.build();
      }
      if (searchStrategyBuilder_ == null) {
        if (((bitField0_ & 0x00000020) != 0)) {
          searchStrategy_ = java.util.Collections.unmodifiableList(searchStrategy_);
          bitField0_ = (bitField0_ & ~0x00000020);
        }
        result.searchStrategy_ = searchStrategy_;
      } else {
        result.searchStrategy_ = searchStrategyBuilder_.build();
      }
    }
 
    private void buildPartial0(com.google.ortools.sat.CpModelProto result) {
      int from_bitField0_ = bitField0_;
      if (((from_bitField0_ & 0x00000001) != 0)) {
        result.name_ = name_;
      }
      int to_bitField0_ = 0;
      if (((from_bitField0_ & 0x00000008) != 0)) {
        result.objective_ = objectiveBuilder_ == null
            ? objective_
            : objectiveBuilder_.build();
        to_bitField0_ |= 0x00000001;
      }
      if (((from_bitField0_ & 0x00000010) != 0)) {
        result.floatingPointObjective_ = floatingPointObjectiveBuilder_ == null
            ? floatingPointObjective_
            : floatingPointObjectiveBuilder_.build();
        to_bitField0_ |= 0x00000002;
      }
      if (((from_bitField0_ & 0x00000040) != 0)) {
        result.solutionHint_ = solutionHintBuilder_ == null
            ? solutionHint_
            : solutionHintBuilder_.build();
        to_bitField0_ |= 0x00000004;
      }
      if (((from_bitField0_ & 0x00000080) != 0)) {
        assumptions_.makeImmutable();
        result.assumptions_ = assumptions_;
      }
      if (((from_bitField0_ & 0x00000100) != 0)) {
        result.symmetry_ = symmetryBuilder_ == null
            ? symmetry_
            : symmetryBuilder_.build();
        to_bitField0_ |= 0x00000008;
      }
      result.bitField0_ |= to_bitField0_;
    }
 
    @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_;
        bitField0_ |= 0x00000001;
        onChanged();
      }
      if (variablesBuilder_ == null) {
        if (!other.variables_.isEmpty()) {
          if (variables_.isEmpty()) {
            variables_ = other.variables_;
            bitField0_ = (bitField0_ & ~0x00000002);
          } else {
            ensureVariablesIsMutable();
            variables_.addAll(other.variables_);
          }
          onChanged();
        }
      } else {
        if (!other.variables_.isEmpty()) {
          if (variablesBuilder_.isEmpty()) {
            variablesBuilder_.dispose();
            variablesBuilder_ = null;
            variables_ = other.variables_;
            bitField0_ = (bitField0_ & ~0x00000002);
            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_ & ~0x00000004);
          } else {
            ensureConstraintsIsMutable();
            constraints_.addAll(other.constraints_);
          }
          onChanged();
        }
      } else {
        if (!other.constraints_.isEmpty()) {
          if (constraintsBuilder_.isEmpty()) {
            constraintsBuilder_.dispose();
            constraintsBuilder_ = null;
            constraints_ = other.constraints_;
            bitField0_ = (bitField0_ & ~0x00000004);
            constraintsBuilder_ = 
              com.google.protobuf.GeneratedMessageV3.alwaysUseFieldBuilders ?
                 getConstraintsFieldBuilder() : null;
          } else {
            constraintsBuilder_.addAllMessages(other.constraints_);
          }
        }
      }
      if (other.hasObjective()) {
        mergeObjective(other.getObjective());
      }
      if (other.hasFloatingPointObjective()) {
        mergeFloatingPointObjective(other.getFloatingPointObjective());
      }
      if (searchStrategyBuilder_ == null) {
        if (!other.searchStrategy_.isEmpty()) {
          if (searchStrategy_.isEmpty()) {
            searchStrategy_ = other.searchStrategy_;
            bitField0_ = (bitField0_ & ~0x00000020);
          } else {
            ensureSearchStrategyIsMutable();
            searchStrategy_.addAll(other.searchStrategy_);
          }
          onChanged();
        }
      } else {
        if (!other.searchStrategy_.isEmpty()) {
          if (searchStrategyBuilder_.isEmpty()) {
            searchStrategyBuilder_.dispose();
            searchStrategyBuilder_ = null;
            searchStrategy_ = other.searchStrategy_;
            bitField0_ = (bitField0_ & ~0x00000020);
            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_;
          assumptions_.makeImmutable();
          bitField0_ |= 0x00000080;
        } else {
          ensureAssumptionsIsMutable();
          assumptions_.addAll(other.assumptions_);
        }
        onChanged();
      }
      if (other.hasSymmetry()) {
        mergeSymmetry(other.getSymmetry());
      }
      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 10: {
              name_ = input.readStringRequireUtf8();
              bitField0_ |= 0x00000001;
              break;
            } // case 10
            case 18: {
              com.google.ortools.sat.IntegerVariableProto m =
                  input.readMessage(
                      com.google.ortools.sat.IntegerVariableProto.parser(),
                      extensionRegistry);
              if (variablesBuilder_ == null) {
                ensureVariablesIsMutable();
                variables_.add(m);
              } else {
                variablesBuilder_.addMessage(m);
              }
              break;
            } // case 18
            case 26: {
              com.google.ortools.sat.ConstraintProto m =
                  input.readMessage(
                      com.google.ortools.sat.ConstraintProto.parser(),
                      extensionRegistry);
              if (constraintsBuilder_ == null) {
                ensureConstraintsIsMutable();
                constraints_.add(m);
              } else {
                constraintsBuilder_.addMessage(m);
              }
              break;
            } // case 26
            case 34: {
              input.readMessage(
                  getObjectiveFieldBuilder().getBuilder(),
                  extensionRegistry);
              bitField0_ |= 0x00000008;
              break;
            } // case 34
            case 42: {
              com.google.ortools.sat.DecisionStrategyProto m =
                  input.readMessage(
                      com.google.ortools.sat.DecisionStrategyProto.parser(),
                      extensionRegistry);
              if (searchStrategyBuilder_ == null) {
                ensureSearchStrategyIsMutable();
                searchStrategy_.add(m);
              } else {
                searchStrategyBuilder_.addMessage(m);
              }
              break;
            } // case 42
            case 50: {
              input.readMessage(
                  getSolutionHintFieldBuilder().getBuilder(),
                  extensionRegistry);
              bitField0_ |= 0x00000040;
              break;
            } // case 50
            case 56: {
              int v = input.readInt32();
              ensureAssumptionsIsMutable();
              assumptions_.addInt(v);
              break;
            } // case 56
            case 58: {
              int length = input.readRawVarint32();
              int limit = input.pushLimit(length);
              ensureAssumptionsIsMutable();
              while (input.getBytesUntilLimit() > 0) {
                assumptions_.addInt(input.readInt32());
              }
              input.popLimit(limit);
              break;
            } // case 58
            case 66: {
              input.readMessage(
                  getSymmetryFieldBuilder().getBuilder(),
                  extensionRegistry);
              bitField0_ |= 0x00000100;
              break;
            } // case 66
            case 74: {
              input.readMessage(
                  getFloatingPointObjectiveFieldBuilder().getBuilder(),
                  extensionRegistry);
              bitField0_ |= 0x00000010;
              break;
            } // case 74
            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 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;
      bitField0_ |= 0x00000001;
      onChanged();
      return this;
    }
    public Builder clearName() {
      name_ = getDefaultInstance().getName();
      bitField0_ = (bitField0_ & ~0x00000001);
      onChanged();
      return this;
    }
    public Builder setNameBytes(
        com.google.protobuf.ByteString value) {
      if (value == null) { throw new NullPointerException(); }
      checkByteStringIsUtf8(value);
      name_ = value;
      bitField0_ |= 0x00000001;
      onChanged();
      return this;
    }
 
    private java.util.List<com.google.ortools.sat.IntegerVariableProto> variables_ =
      java.util.Collections.emptyList();
    private void ensureVariablesIsMutable() {
      if (!((bitField0_ & 0x00000002) != 0)) {
        variables_ = new java.util.ArrayList<com.google.ortools.sat.IntegerVariableProto>(variables_);
        bitField0_ |= 0x00000002;
       }
    }
 
    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_ & ~0x00000002);
        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_ & 0x00000002) != 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_ & 0x00000004) != 0)) {
        constraints_ = new java.util.ArrayList<com.google.ortools.sat.ConstraintProto>(constraints_);
        bitField0_ |= 0x00000004;
       }
    }
 
    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_ & ~0x00000004);
        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_ & 0x00000004) != 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 ((bitField0_ & 0x00000008) != 0);
    }
    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;
      } else {
        objectiveBuilder_.setMessage(value);
      }
      bitField0_ |= 0x00000008;
      onChanged();
      return this;
    }
    public Builder setObjective(
        com.google.ortools.sat.CpObjectiveProto.Builder builderForValue) {
      if (objectiveBuilder_ == null) {
        objective_ = builderForValue.build();
      } else {
        objectiveBuilder_.setMessage(builderForValue.build());
      }
      bitField0_ |= 0x00000008;
      onChanged();
      return this;
    }
    public Builder mergeObjective(com.google.ortools.sat.CpObjectiveProto value) {
      if (objectiveBuilder_ == null) {
        if (((bitField0_ & 0x00000008) != 0) &&
          objective_ != null &&
          objective_ != com.google.ortools.sat.CpObjectiveProto.getDefaultInstance()) {
          getObjectiveBuilder().mergeFrom(value);
        } else {
          objective_ = value;
        }
      } else {
        objectiveBuilder_.mergeFrom(value);
      }
      if (objective_ != null) {
        bitField0_ |= 0x00000008;
        onChanged();
      }
      return this;
    }
    public Builder clearObjective() {
      bitField0_ = (bitField0_ & ~0x00000008);
      objective_ = null;
      if (objectiveBuilder_ != null) {
        objectiveBuilder_.dispose();
        objectiveBuilder_ = null;
      }
      onChanged();
      return this;
    }
    public com.google.ortools.sat.CpObjectiveProto.Builder getObjectiveBuilder() {
      bitField0_ |= 0x00000008;
      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 com.google.ortools.sat.FloatObjectiveProto floatingPointObjective_;
    private com.google.protobuf.SingleFieldBuilderV3<
        com.google.ortools.sat.FloatObjectiveProto, com.google.ortools.sat.FloatObjectiveProto.Builder, com.google.ortools.sat.FloatObjectiveProtoOrBuilder> floatingPointObjectiveBuilder_;
    public boolean hasFloatingPointObjective() {
      return ((bitField0_ & 0x00000010) != 0);
    }
    public com.google.ortools.sat.FloatObjectiveProto getFloatingPointObjective() {
      if (floatingPointObjectiveBuilder_ == null) {
        return floatingPointObjective_ == null ? com.google.ortools.sat.FloatObjectiveProto.getDefaultInstance() : floatingPointObjective_;
      } else {
        return floatingPointObjectiveBuilder_.getMessage();
      }
    }
    public Builder setFloatingPointObjective(com.google.ortools.sat.FloatObjectiveProto value) {
      if (floatingPointObjectiveBuilder_ == null) {
        if (value == null) {
          throw new NullPointerException();
        }
        floatingPointObjective_ = value;
      } else {
        floatingPointObjectiveBuilder_.setMessage(value);
      }
      bitField0_ |= 0x00000010;
      onChanged();
      return this;
    }
    public Builder setFloatingPointObjective(
        com.google.ortools.sat.FloatObjectiveProto.Builder builderForValue) {
      if (floatingPointObjectiveBuilder_ == null) {
        floatingPointObjective_ = builderForValue.build();
      } else {
        floatingPointObjectiveBuilder_.setMessage(builderForValue.build());
      }
      bitField0_ |= 0x00000010;
      onChanged();
      return this;
    }
    public Builder mergeFloatingPointObjective(com.google.ortools.sat.FloatObjectiveProto value) {
      if (floatingPointObjectiveBuilder_ == null) {
        if (((bitField0_ & 0x00000010) != 0) &&
          floatingPointObjective_ != null &&
          floatingPointObjective_ != com.google.ortools.sat.FloatObjectiveProto.getDefaultInstance()) {
          getFloatingPointObjectiveBuilder().mergeFrom(value);
        } else {
          floatingPointObjective_ = value;
        }
      } else {
        floatingPointObjectiveBuilder_.mergeFrom(value);
      }
      if (floatingPointObjective_ != null) {
        bitField0_ |= 0x00000010;
        onChanged();
      }
      return this;
    }
    public Builder clearFloatingPointObjective() {
      bitField0_ = (bitField0_ & ~0x00000010);
      floatingPointObjective_ = null;
      if (floatingPointObjectiveBuilder_ != null) {
        floatingPointObjectiveBuilder_.dispose();
        floatingPointObjectiveBuilder_ = null;
      }
      onChanged();
      return this;
    }
    public com.google.ortools.sat.FloatObjectiveProto.Builder getFloatingPointObjectiveBuilder() {
      bitField0_ |= 0x00000010;
      onChanged();
      return getFloatingPointObjectiveFieldBuilder().getBuilder();
    }
    public com.google.ortools.sat.FloatObjectiveProtoOrBuilder getFloatingPointObjectiveOrBuilder() {
      if (floatingPointObjectiveBuilder_ != null) {
        return floatingPointObjectiveBuilder_.getMessageOrBuilder();
      } else {
        return floatingPointObjective_ == null ?
            com.google.ortools.sat.FloatObjectiveProto.getDefaultInstance() : floatingPointObjective_;
      }
    }
    private com.google.protobuf.SingleFieldBuilderV3<
        com.google.ortools.sat.FloatObjectiveProto, com.google.ortools.sat.FloatObjectiveProto.Builder, com.google.ortools.sat.FloatObjectiveProtoOrBuilder> 
        getFloatingPointObjectiveFieldBuilder() {
      if (floatingPointObjectiveBuilder_ == null) {
        floatingPointObjectiveBuilder_ = new com.google.protobuf.SingleFieldBuilderV3<
            com.google.ortools.sat.FloatObjectiveProto, com.google.ortools.sat.FloatObjectiveProto.Builder, com.google.ortools.sat.FloatObjectiveProtoOrBuilder>(
                getFloatingPointObjective(),
                getParentForChildren(),
                isClean());
        floatingPointObjective_ = null;
      }
      return floatingPointObjectiveBuilder_;
    }
 
    private java.util.List<com.google.ortools.sat.DecisionStrategyProto> searchStrategy_ =
      java.util.Collections.emptyList();
    private void ensureSearchStrategyIsMutable() {
      if (!((bitField0_ & 0x00000020) != 0)) {
        searchStrategy_ = new java.util.ArrayList<com.google.ortools.sat.DecisionStrategyProto>(searchStrategy_);
        bitField0_ |= 0x00000020;
       }
    }
 
    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_ & ~0x00000020);
        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_ & 0x00000020) != 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 ((bitField0_ & 0x00000040) != 0);
    }
    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;
      } else {
        solutionHintBuilder_.setMessage(value);
      }
      bitField0_ |= 0x00000040;
      onChanged();
      return this;
    }
    public Builder setSolutionHint(
        com.google.ortools.sat.PartialVariableAssignment.Builder builderForValue) {
      if (solutionHintBuilder_ == null) {
        solutionHint_ = builderForValue.build();
      } else {
        solutionHintBuilder_.setMessage(builderForValue.build());
      }
      bitField0_ |= 0x00000040;
      onChanged();
      return this;
    }
    public Builder mergeSolutionHint(com.google.ortools.sat.PartialVariableAssignment value) {
      if (solutionHintBuilder_ == null) {
        if (((bitField0_ & 0x00000040) != 0) &&
          solutionHint_ != null &&
          solutionHint_ != com.google.ortools.sat.PartialVariableAssignment.getDefaultInstance()) {
          getSolutionHintBuilder().mergeFrom(value);
        } else {
          solutionHint_ = value;
        }
      } else {
        solutionHintBuilder_.mergeFrom(value);
      }
      if (solutionHint_ != null) {
        bitField0_ |= 0x00000040;
        onChanged();
      }
      return this;
    }
    public Builder clearSolutionHint() {
      bitField0_ = (bitField0_ & ~0x00000040);
      solutionHint_ = null;
      if (solutionHintBuilder_ != null) {
        solutionHintBuilder_.dispose();
        solutionHintBuilder_ = null;
      }
      onChanged();
      return this;
    }
    public com.google.ortools.sat.PartialVariableAssignment.Builder getSolutionHintBuilder() {
      bitField0_ |= 0x00000040;
      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 (!assumptions_.isModifiable()) {
        assumptions_ = makeMutableCopy(assumptions_);
      }
      bitField0_ |= 0x00000080;
    }
    public java.util.List<java.lang.Integer>
        getAssumptionsList() {
      assumptions_.makeImmutable();
      return 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);
      bitField0_ |= 0x00000080;
      onChanged();
      return this;
    }
    public Builder addAssumptions(int value) {
 
      ensureAssumptionsIsMutable();
      assumptions_.addInt(value);
      bitField0_ |= 0x00000080;
      onChanged();
      return this;
    }
    public Builder addAllAssumptions(
        java.lang.Iterable<? extends java.lang.Integer> values) {
      ensureAssumptionsIsMutable();
      com.google.protobuf.AbstractMessageLite.Builder.addAll(
          values, assumptions_);
      bitField0_ |= 0x00000080;
      onChanged();
      return this;
    }
    public Builder clearAssumptions() {
      assumptions_ = emptyIntList();
      bitField0_ = (bitField0_ & ~0x00000080);
      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 ((bitField0_ & 0x00000100) != 0);
    }
    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;
      } else {
        symmetryBuilder_.setMessage(value);
      }
      bitField0_ |= 0x00000100;
      onChanged();
      return this;
    }
    public Builder setSymmetry(
        com.google.ortools.sat.SymmetryProto.Builder builderForValue) {
      if (symmetryBuilder_ == null) {
        symmetry_ = builderForValue.build();
      } else {
        symmetryBuilder_.setMessage(builderForValue.build());
      }
      bitField0_ |= 0x00000100;
      onChanged();
      return this;
    }
    public Builder mergeSymmetry(com.google.ortools.sat.SymmetryProto value) {
      if (symmetryBuilder_ == null) {
        if (((bitField0_ & 0x00000100) != 0) &&
          symmetry_ != null &&
          symmetry_ != com.google.ortools.sat.SymmetryProto.getDefaultInstance()) {
          getSymmetryBuilder().mergeFrom(value);
        } else {
          symmetry_ = value;
        }
      } else {
        symmetryBuilder_.mergeFrom(value);
      }
      if (symmetry_ != null) {
        bitField0_ |= 0x00000100;
        onChanged();
      }
      return this;
    }
    public Builder clearSymmetry() {
      bitField0_ = (bitField0_ & ~0x00000100);
      symmetry_ = null;
      if (symmetryBuilder_ != null) {
        symmetryBuilder_.dispose();
        symmetryBuilder_ = null;
      }
      onChanged();
      return this;
    }
    public com.google.ortools.sat.SymmetryProto.Builder getSymmetryBuilder() {
      bitField0_ |= 0x00000100;
      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 {
      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<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;
  }
 
}