BooleanProblem.pb.cs

Go to the documentation of this file.

// <auto-generated>
//     Generated by the protocol buffer compiler.  DO NOT EDIT!
//     source: ortools/sat/boolean_problem.proto
// </auto-generated>
#pragma warning disable 1591, 0612, 3021, 8981
#region Designer generated code
 
using pb = global::Google.Protobuf;
using pbc = global::Google.Protobuf.Collections;
using pbr = global::Google.Protobuf.Reflection;
using scg = global::System.Collections.Generic;
namespace Google.OrTools.Sat {

  public static partial class BooleanProblemReflection {
 
    #region Descriptor
    public static pbr::FileDescriptor Descriptor {
      get { return descriptor; }
    }
    private static pbr::FileDescriptor descriptor;
 
    static BooleanProblemReflection() {
      byte[] descriptorData = global::System.Convert.FromBase64String(
          string.Concat(
            "CiFvcnRvb2xzL3NhdC9ib29sZWFuX3Byb2JsZW0ucHJvdG8SF29wZXJhdGlv",
            "bnNfcmVzZWFyY2guc2F0InsKF0xpbmVhckJvb2xlYW5Db25zdHJhaW50EhAK",
            "CGxpdGVyYWxzGAEgAygFEhQKDGNvZWZmaWNpZW50cxgCIAMoAxITCgtsb3dl",
            "cl9ib3VuZBgDIAEoAxITCgt1cHBlcl9ib3VuZBgEIAEoAxIOCgRuYW1lGAUg",
            "ASgJOgAiZwoPTGluZWFyT2JqZWN0aXZlEhAKCGxpdGVyYWxzGAEgAygFEhQK",
            "DGNvZWZmaWNpZW50cxgCIAMoAxIRCgZvZmZzZXQYAyABKAE6ATASGQoOc2Nh",
            "bGluZ19mYWN0b3IYBCABKAE6ATEiJQoRQm9vbGVhbkFzc2lnbm1lbnQSEAoI",
            "bGl0ZXJhbHMYASADKAUitAIKFExpbmVhckJvb2xlYW5Qcm9ibGVtEg4KBG5h",
            "bWUYASABKAk6ABIVCg1udW1fdmFyaWFibGVzGAMgASgFEkUKC2NvbnN0cmFp",
            "bnRzGAQgAygLMjAub3BlcmF0aW9uc19yZXNlYXJjaC5zYXQuTGluZWFyQm9v",
            "bGVhbkNvbnN0cmFpbnQSOwoJb2JqZWN0aXZlGAUgASgLMigub3BlcmF0aW9u",
            "c19yZXNlYXJjaC5zYXQuTGluZWFyT2JqZWN0aXZlEhEKCXZhcl9uYW1lcxgG",
            "IAMoCRI+Cgphc3NpZ25tZW50GAcgASgLMioub3BlcmF0aW9uc19yZXNlYXJj",
            "aC5zYXQuQm9vbGVhbkFzc2lnbm1lbnQSHgoWb3JpZ2luYWxfbnVtX3Zhcmlh",
            "YmxlcxgIIAEoBUIvChZjb20uZ29vZ2xlLm9ydG9vbHMuc2F0UAGqAhJHb29n",
            "bGUuT3JUb29scy5TYXQ="));
      descriptor = pbr::FileDescriptor.FromGeneratedCode(descriptorData,
          new pbr::FileDescriptor[] { },
          new pbr::GeneratedClrTypeInfo(null, null, new pbr::GeneratedClrTypeInfo[] {
            new pbr::GeneratedClrTypeInfo(typeof(global::Google.OrTools.Sat.LinearBooleanConstraint), global::Google.OrTools.Sat.LinearBooleanConstraint.Parser, new[]{ "Literals", "Coefficients", "LowerBound", "UpperBound", "Name" }, null, null, null, null),
            new pbr::GeneratedClrTypeInfo(typeof(global::Google.OrTools.Sat.LinearObjective), global::Google.OrTools.Sat.LinearObjective.Parser, new[]{ "Literals", "Coefficients", "Offset", "ScalingFactor" }, null, null, null, null),
            new pbr::GeneratedClrTypeInfo(typeof(global::Google.OrTools.Sat.BooleanAssignment), global::Google.OrTools.Sat.BooleanAssignment.Parser, new[]{ "Literals" }, null, null, null, null),
            new pbr::GeneratedClrTypeInfo(typeof(global::Google.OrTools.Sat.LinearBooleanProblem), global::Google.OrTools.Sat.LinearBooleanProblem.Parser, new[]{ "Name", "NumVariables", "Constraints", "Objective", "VarNames", "Assignment", "OriginalNumVariables" }, null, null, null, null)
          }));
    }
    #endregion
 
  }
  #region Messages
  [global::System.Diagnostics.DebuggerDisplayAttribute("{ToString(),nq}")]
  public sealed partial class LinearBooleanConstraint : pb::IMessage<LinearBooleanConstraint>
  #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
      , pb::IBufferMessage
  #endif
  {
    private static readonly pb::MessageParser<LinearBooleanConstraint> _parser = new pb::MessageParser<LinearBooleanConstraint>(() => new LinearBooleanConstraint());
    private pb::UnknownFieldSet _unknownFields;
    private int _hasBits0;
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public static pb::MessageParser<LinearBooleanConstraint> Parser { get { return _parser; } }
 
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public static pbr::MessageDescriptor Descriptor {
      get { return global::Google.OrTools.Sat.BooleanProblemReflection.Descriptor.MessageTypes[0]; }
    }
 
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    pbr::MessageDescriptor pb::IMessage.Descriptor {
      get { return Descriptor; }
    }
 
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public LinearBooleanConstraint() {
      OnConstruction();
    }
 
    partial void OnConstruction();
 
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public LinearBooleanConstraint(LinearBooleanConstraint other) : this() {
      _hasBits0 = other._hasBits0;
      literals_ = other.literals_.Clone();
      coefficients_ = other.coefficients_.Clone();
      lowerBound_ = other.lowerBound_;
      upperBound_ = other.upperBound_;
      name_ = other.name_;
      _unknownFields = pb::UnknownFieldSet.Clone(other._unknownFields);
    }
 
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public LinearBooleanConstraint Clone() {
      return new LinearBooleanConstraint(this);
    }

    public const int LiteralsFieldNumber = 1;
    private static readonly pb::FieldCodec<int> _repeated_literals_codec
        = pb::FieldCodec.ForInt32(8);
    private readonly pbc::RepeatedField<int> literals_ = new pbc::RepeatedField<int>();
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public pbc::RepeatedField<int> Literals {
      get { return literals_; }
    }

    public const int CoefficientsFieldNumber = 2;
    private static readonly pb::FieldCodec<long> _repeated_coefficients_codec
        = pb::FieldCodec.ForInt64(16);
    private readonly pbc::RepeatedField<long> coefficients_ = new pbc::RepeatedField<long>();
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public pbc::RepeatedField<long> Coefficients {
      get { return coefficients_; }
    }

    public const int LowerBoundFieldNumber = 3;
    private readonly static long LowerBoundDefaultValue = 0L;
 
    private long lowerBound_;
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public long LowerBound {
      get { if ((_hasBits0 & 1) != 0) { return lowerBound_; } else { return LowerBoundDefaultValue; } }
      set {
        _hasBits0 |= 1;
        lowerBound_ = value;
      }
    }
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public bool HasLowerBound {
      get { return (_hasBits0 & 1) != 0; }
    }
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public void ClearLowerBound() {
      _hasBits0 &= ~1;
    }

    public const int UpperBoundFieldNumber = 4;
    private readonly static long UpperBoundDefaultValue = 0L;
 
    private long upperBound_;
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public long UpperBound {
      get { if ((_hasBits0 & 2) != 0) { return upperBound_; } else { return UpperBoundDefaultValue; } }
      set {
        _hasBits0 |= 2;
        upperBound_ = value;
      }
    }
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public bool HasUpperBound {
      get { return (_hasBits0 & 2) != 0; }
    }
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public void ClearUpperBound() {
      _hasBits0 &= ~2;
    }

    public const int NameFieldNumber = 5;
    private readonly static string NameDefaultValue = "";
 
    private string name_;
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public string Name {
      get { return name_ ?? NameDefaultValue; }
      set {
        name_ = pb::ProtoPreconditions.CheckNotNull(value, "value");
      }
    }
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public bool HasName {
      get { return name_ != null; }
    }
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public void ClearName() {
      name_ = null;
    }
 
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public override bool Equals(object other) {
      return Equals(other as LinearBooleanConstraint);
    }
 
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public bool Equals(LinearBooleanConstraint other) {
      if (ReferenceEquals(other, null)) {
        return false;
      }
      if (ReferenceEquals(other, this)) {
        return true;
      }
      if(!literals_.Equals(other.literals_)) return false;
      if(!coefficients_.Equals(other.coefficients_)) return false;
      if (LowerBound != other.LowerBound) return false;
      if (UpperBound != other.UpperBound) return false;
      if (Name != other.Name) return false;
      return Equals(_unknownFields, other._unknownFields);
    }
 
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public override int GetHashCode() {
      int hash = 1;
      hash ^= literals_.GetHashCode();
      hash ^= coefficients_.GetHashCode();
      if (HasLowerBound) hash ^= LowerBound.GetHashCode();
      if (HasUpperBound) hash ^= UpperBound.GetHashCode();
      if (HasName) hash ^= Name.GetHashCode();
      if (_unknownFields != null) {
        hash ^= _unknownFields.GetHashCode();
      }
      return hash;
    }
 
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public override string ToString() {
      return pb::JsonFormatter.ToDiagnosticString(this);
    }
 
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public void WriteTo(pb::CodedOutputStream output) {
    #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
      output.WriteRawMessage(this);
    #else
      literals_.WriteTo(output, _repeated_literals_codec);
      coefficients_.WriteTo(output, _repeated_coefficients_codec);
      if (HasLowerBound) {
        output.WriteRawTag(24);
        output.WriteInt64(LowerBound);
      }
      if (HasUpperBound) {
        output.WriteRawTag(32);
        output.WriteInt64(UpperBound);
      }
      if (HasName) {
        output.WriteRawTag(42);
        output.WriteString(Name);
      }
      if (_unknownFields != null) {
        _unknownFields.WriteTo(output);
      }
    #endif
    }
 
    #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    void pb::IBufferMessage.InternalWriteTo(ref pb::WriteContext output) {
      literals_.WriteTo(ref output, _repeated_literals_codec);
      coefficients_.WriteTo(ref output, _repeated_coefficients_codec);
      if (HasLowerBound) {
        output.WriteRawTag(24);
        output.WriteInt64(LowerBound);
      }
      if (HasUpperBound) {
        output.WriteRawTag(32);
        output.WriteInt64(UpperBound);
      }
      if (HasName) {
        output.WriteRawTag(42);
        output.WriteString(Name);
      }
      if (_unknownFields != null) {
        _unknownFields.WriteTo(ref output);
      }
    }
    #endif
 
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public int CalculateSize() {
      int size = 0;
      size += literals_.CalculateSize(_repeated_literals_codec);
      size += coefficients_.CalculateSize(_repeated_coefficients_codec);
      if (HasLowerBound) {
        size += 1 + pb::CodedOutputStream.ComputeInt64Size(LowerBound);
      }
      if (HasUpperBound) {
        size += 1 + pb::CodedOutputStream.ComputeInt64Size(UpperBound);
      }
      if (HasName) {
        size += 1 + pb::CodedOutputStream.ComputeStringSize(Name);
      }
      if (_unknownFields != null) {
        size += _unknownFields.CalculateSize();
      }
      return size;
    }
 
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public void MergeFrom(LinearBooleanConstraint other) {
      if (other == null) {
        return;
      }
      literals_.Add(other.literals_);
      coefficients_.Add(other.coefficients_);
      if (other.HasLowerBound) {
        LowerBound = other.LowerBound;
      }
      if (other.HasUpperBound) {
        UpperBound = other.UpperBound;
      }
      if (other.HasName) {
        Name = other.Name;
      }
      _unknownFields = pb::UnknownFieldSet.MergeFrom(_unknownFields, other._unknownFields);
    }
 
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public void MergeFrom(pb::CodedInputStream input) {
    #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
      input.ReadRawMessage(this);
    #else
      uint tag;
      while ((tag = input.ReadTag()) != 0) {
      if ((tag & 7) == 4) {
        // Abort on any end group tag.
        return;
      }
      switch(tag) {
          default:
            _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, input);
            break;
          case 10:
          case 8: {
            literals_.AddEntriesFrom(input, _repeated_literals_codec);
            break;
          }
          case 18:
          case 16: {
            coefficients_.AddEntriesFrom(input, _repeated_coefficients_codec);
            break;
          }
          case 24: {
            LowerBound = input.ReadInt64();
            break;
          }
          case 32: {
            UpperBound = input.ReadInt64();
            break;
          }
          case 42: {
            Name = input.ReadString();
            break;
          }
        }
      }
    #endif
    }
 
    #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    void pb::IBufferMessage.InternalMergeFrom(ref pb::ParseContext input) {
      uint tag;
      while ((tag = input.ReadTag()) != 0) {
      if ((tag & 7) == 4) {
        // Abort on any end group tag.
        return;
      }
      switch(tag) {
          default:
            _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, ref input);
            break;
          case 10:
          case 8: {
            literals_.AddEntriesFrom(ref input, _repeated_literals_codec);
            break;
          }
          case 18:
          case 16: {
            coefficients_.AddEntriesFrom(ref input, _repeated_coefficients_codec);
            break;
          }
          case 24: {
            LowerBound = input.ReadInt64();
            break;
          }
          case 32: {
            UpperBound = input.ReadInt64();
            break;
          }
          case 42: {
            Name = input.ReadString();
            break;
          }
        }
      }
    }
    #endif
 
  }


  [global::System.Diagnostics.DebuggerDisplayAttribute("{ToString(),nq}")]
  public sealed partial class LinearObjective : pb::IMessage<LinearObjective>
  #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
      , pb::IBufferMessage
  #endif
  {
    private static readonly pb::MessageParser<LinearObjective> _parser = new pb::MessageParser<LinearObjective>(() => new LinearObjective());
    private pb::UnknownFieldSet _unknownFields;
    private int _hasBits0;
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public static pb::MessageParser<LinearObjective> Parser { get { return _parser; } }
 
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public static pbr::MessageDescriptor Descriptor {
      get { return global::Google.OrTools.Sat.BooleanProblemReflection.Descriptor.MessageTypes[1]; }
    }
 
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    pbr::MessageDescriptor pb::IMessage.Descriptor {
      get { return Descriptor; }
    }
 
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public LinearObjective() {
      OnConstruction();
    }
 
    partial void OnConstruction();
 
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public LinearObjective(LinearObjective other) : this() {
      _hasBits0 = other._hasBits0;
      literals_ = other.literals_.Clone();
      coefficients_ = other.coefficients_.Clone();
      offset_ = other.offset_;
      scalingFactor_ = other.scalingFactor_;
      _unknownFields = pb::UnknownFieldSet.Clone(other._unknownFields);
    }
 
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public LinearObjective Clone() {
      return new LinearObjective(this);
    }

    public const int LiteralsFieldNumber = 1;
    private static readonly pb::FieldCodec<int> _repeated_literals_codec
        = pb::FieldCodec.ForInt32(8);
    private readonly pbc::RepeatedField<int> literals_ = new pbc::RepeatedField<int>();
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public pbc::RepeatedField<int> Literals {
      get { return literals_; }
    }

    public const int CoefficientsFieldNumber = 2;
    private static readonly pb::FieldCodec<long> _repeated_coefficients_codec
        = pb::FieldCodec.ForInt64(16);
    private readonly pbc::RepeatedField<long> coefficients_ = new pbc::RepeatedField<long>();
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public pbc::RepeatedField<long> Coefficients {
      get { return coefficients_; }
    }

    public const int OffsetFieldNumber = 3;
    private readonly static double OffsetDefaultValue = 0D;
 
    private double offset_;
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public double Offset {
      get { if ((_hasBits0 & 1) != 0) { return offset_; } else { return OffsetDefaultValue; } }
      set {
        _hasBits0 |= 1;
        offset_ = value;
      }
    }
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public bool HasOffset {
      get { return (_hasBits0 & 1) != 0; }
    }
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public void ClearOffset() {
      _hasBits0 &= ~1;
    }

    /// <summary>Field number for the "scaling_factor" field.</summary>
    public const int ScalingFactorFieldNumber = 4;
    private readonly static double ScalingFactorDefaultValue = 1D;
 
    private double scalingFactor_;
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public double ScalingFactor {
      get { if ((_hasBits0 & 2) != 0) { return scalingFactor_; } else { return ScalingFactorDefaultValue; } }
      set {
        _hasBits0 |= 2;
        scalingFactor_ = value;
      }
    }
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public bool HasScalingFactor {
      get { return (_hasBits0 & 2) != 0; }
    }
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public void ClearScalingFactor() {
      _hasBits0 &= ~2;
    }
 
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public override bool Equals(object other) {
      return Equals(other as LinearObjective);
    }
 
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public bool Equals(LinearObjective other) {
      if (ReferenceEquals(other, null)) {
        return false;
      }
      if (ReferenceEquals(other, this)) {
        return true;
      }
      if(!literals_.Equals(other.literals_)) return false;
      if(!coefficients_.Equals(other.coefficients_)) return false;
      if (!pbc::ProtobufEqualityComparers.BitwiseDoubleEqualityComparer.Equals(Offset, other.Offset)) return false;
      if (!pbc::ProtobufEqualityComparers.BitwiseDoubleEqualityComparer.Equals(ScalingFactor, other.ScalingFactor)) return false;
      return Equals(_unknownFields, other._unknownFields);
    }
 
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public override int GetHashCode() {
      int hash = 1;
      hash ^= literals_.GetHashCode();
      hash ^= coefficients_.GetHashCode();
      if (HasOffset) hash ^= pbc::ProtobufEqualityComparers.BitwiseDoubleEqualityComparer.GetHashCode(Offset);
      if (HasScalingFactor) hash ^= pbc::ProtobufEqualityComparers.BitwiseDoubleEqualityComparer.GetHashCode(ScalingFactor);
      if (_unknownFields != null) {
        hash ^= _unknownFields.GetHashCode();
      }
      return hash;
    }
 
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public override string ToString() {
      return pb::JsonFormatter.ToDiagnosticString(this);
    }
 
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public void WriteTo(pb::CodedOutputStream output) {
    #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
      output.WriteRawMessage(this);
    #else
      literals_.WriteTo(output, _repeated_literals_codec);
      coefficients_.WriteTo(output, _repeated_coefficients_codec);
      if (HasOffset) {
        output.WriteRawTag(25);
        output.WriteDouble(Offset);
      }
      if (HasScalingFactor) {
        output.WriteRawTag(33);
        output.WriteDouble(ScalingFactor);
      }
      if (_unknownFields != null) {
        _unknownFields.WriteTo(output);
      }
    #endif
    }
 
    #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    void pb::IBufferMessage.InternalWriteTo(ref pb::WriteContext output) {
      literals_.WriteTo(ref output, _repeated_literals_codec);
      coefficients_.WriteTo(ref output, _repeated_coefficients_codec);
      if (HasOffset) {
        output.WriteRawTag(25);
        output.WriteDouble(Offset);
      }
      if (HasScalingFactor) {
        output.WriteRawTag(33);
        output.WriteDouble(ScalingFactor);
      }
      if (_unknownFields != null) {
        _unknownFields.WriteTo(ref output);
      }
    }
    #endif
 
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public int CalculateSize() {
      int size = 0;
      size += literals_.CalculateSize(_repeated_literals_codec);
      size += coefficients_.CalculateSize(_repeated_coefficients_codec);
      if (HasOffset) {
        size += 1 + 8;
      }
      if (HasScalingFactor) {
        size += 1 + 8;
      }
      if (_unknownFields != null) {
        size += _unknownFields.CalculateSize();
      }
      return size;
    }
 
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public void MergeFrom(LinearObjective other) {
      if (other == null) {
        return;
      }
      literals_.Add(other.literals_);
      coefficients_.Add(other.coefficients_);
      if (other.HasOffset) {
        Offset = other.Offset;
      }
      if (other.HasScalingFactor) {
        ScalingFactor = other.ScalingFactor;
      }
      _unknownFields = pb::UnknownFieldSet.MergeFrom(_unknownFields, other._unknownFields);
    }
 
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public void MergeFrom(pb::CodedInputStream input) {
    #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
      input.ReadRawMessage(this);
    #else
      uint tag;
      while ((tag = input.ReadTag()) != 0) {
      if ((tag & 7) == 4) {
        // Abort on any end group tag.
        return;
      }
      switch(tag) {
          default:
            _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, input);
            break;
          case 10:
          case 8: {
            literals_.AddEntriesFrom(input, _repeated_literals_codec);
            break;
          }
          case 18:
          case 16: {
            coefficients_.AddEntriesFrom(input, _repeated_coefficients_codec);
            break;
          }
          case 25: {
            Offset = input.ReadDouble();
            break;
          }
          case 33: {
            ScalingFactor = input.ReadDouble();
            break;
          }
        }
      }
    #endif
    }
 
    #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    void pb::IBufferMessage.InternalMergeFrom(ref pb::ParseContext input) {
      uint tag;
      while ((tag = input.ReadTag()) != 0) {
      if ((tag & 7) == 4) {
        // Abort on any end group tag.
        return;
      }
      switch(tag) {
          default:
            _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, ref input);
            break;
          case 10:
          case 8: {
            literals_.AddEntriesFrom(ref input, _repeated_literals_codec);
            break;
          }
          case 18:
          case 16: {
            coefficients_.AddEntriesFrom(ref input, _repeated_coefficients_codec);
            break;
          }
          case 25: {
            Offset = input.ReadDouble();
            break;
          }
          case 33: {
            ScalingFactor = input.ReadDouble();
            break;
          }
        }
      }
    }
    #endif
 
  }


  [global::System.Diagnostics.DebuggerDisplayAttribute("{ToString(),nq}")]
  public sealed partial class BooleanAssignment : pb::IMessage<BooleanAssignment>
  #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
      , pb::IBufferMessage
  #endif
  {
    private static readonly pb::MessageParser<BooleanAssignment> _parser = new pb::MessageParser<BooleanAssignment>(() => new BooleanAssignment());
    private pb::UnknownFieldSet _unknownFields;
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public static pb::MessageParser<BooleanAssignment> Parser { get { return _parser; } }
 
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public static pbr::MessageDescriptor Descriptor {
      get { return global::Google.OrTools.Sat.BooleanProblemReflection.Descriptor.MessageTypes[2]; }
    }
 
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    pbr::MessageDescriptor pb::IMessage.Descriptor {
      get { return Descriptor; }
    }
 
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public BooleanAssignment() {
      OnConstruction();
    }
 
    partial void OnConstruction();
 
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public BooleanAssignment(BooleanAssignment other) : this() {
      literals_ = other.literals_.Clone();
      _unknownFields = pb::UnknownFieldSet.Clone(other._unknownFields);
    }
 
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public BooleanAssignment Clone() {
      return new BooleanAssignment(this);
    }

    /// <summary>Field number for the "literals" field.</summary>
    public const int LiteralsFieldNumber = 1;
    private static readonly pb::FieldCodec<int> _repeated_literals_codec
        = pb::FieldCodec.ForInt32(8);
    private readonly pbc::RepeatedField<int> literals_ = new pbc::RepeatedField<int>();
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public pbc::RepeatedField<int> Literals {
      get { return literals_; }
    }
 
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public override bool Equals(object other) {
      return Equals(other as BooleanAssignment);
    }
 
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public bool Equals(BooleanAssignment other) {
      if (ReferenceEquals(other, null)) {
        return false;
      }
      if (ReferenceEquals(other, this)) {
        return true;
      }
      if(!literals_.Equals(other.literals_)) return false;
      return Equals(_unknownFields, other._unknownFields);
    }
 
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public override int GetHashCode() {
      int hash = 1;
      hash ^= literals_.GetHashCode();
      if (_unknownFields != null) {
        hash ^= _unknownFields.GetHashCode();
      }
      return hash;
    }
 
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public override string ToString() {
      return pb::JsonFormatter.ToDiagnosticString(this);
    }
 
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public void WriteTo(pb::CodedOutputStream output) {
    #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
      output.WriteRawMessage(this);
    #else
      literals_.WriteTo(output, _repeated_literals_codec);
      if (_unknownFields != null) {
        _unknownFields.WriteTo(output);
      }
    #endif
    }
 
    #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    void pb::IBufferMessage.InternalWriteTo(ref pb::WriteContext output) {
      literals_.WriteTo(ref output, _repeated_literals_codec);
      if (_unknownFields != null) {
        _unknownFields.WriteTo(ref output);
      }
    }
    #endif
 
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public int CalculateSize() {
      int size = 0;
      size += literals_.CalculateSize(_repeated_literals_codec);
      if (_unknownFields != null) {
        size += _unknownFields.CalculateSize();
      }
      return size;
    }
 
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public void MergeFrom(BooleanAssignment other) {
      if (other == null) {
        return;
      }
      literals_.Add(other.literals_);
      _unknownFields = pb::UnknownFieldSet.MergeFrom(_unknownFields, other._unknownFields);
    }
 
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public void MergeFrom(pb::CodedInputStream input) {
    #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
      input.ReadRawMessage(this);
    #else
      uint tag;
      while ((tag = input.ReadTag()) != 0) {
      if ((tag & 7) == 4) {
        // Abort on any end group tag.
        return;
      }
      switch(tag) {
          default:
            _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, input);
            break;
          case 10:
          case 8: {
            literals_.AddEntriesFrom(input, _repeated_literals_codec);
            break;
          }
        }
      }
    #endif
    }
 
    #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    void pb::IBufferMessage.InternalMergeFrom(ref pb::ParseContext input) {
      uint tag;
      while ((tag = input.ReadTag()) != 0) {
      if ((tag & 7) == 4) {
        // Abort on any end group tag.
        return;
      }
      switch(tag) {
          default:
            _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, ref input);
            break;
          case 10:
          case 8: {
            literals_.AddEntriesFrom(ref input, _repeated_literals_codec);
            break;
          }
        }
      }
    }
    #endif
 
  }

  [global::System.Diagnostics.DebuggerDisplayAttribute("{ToString(),nq}")]
  public sealed partial class LinearBooleanProblem : pb::IMessage<LinearBooleanProblem>
  #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
      , pb::IBufferMessage
  #endif
  {
    private static readonly pb::MessageParser<LinearBooleanProblem> _parser = new pb::MessageParser<LinearBooleanProblem>(() => new LinearBooleanProblem());
    private pb::UnknownFieldSet _unknownFields;
    private int _hasBits0;
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public static pb::MessageParser<LinearBooleanProblem> Parser { get { return _parser; } }
 
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public static pbr::MessageDescriptor Descriptor {
      get { return global::Google.OrTools.Sat.BooleanProblemReflection.Descriptor.MessageTypes[3]; }
    }
 
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    pbr::MessageDescriptor pb::IMessage.Descriptor {
      get { return Descriptor; }
    }
 
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public LinearBooleanProblem() {
      OnConstruction();
    }
 
    partial void OnConstruction();
 
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public LinearBooleanProblem(LinearBooleanProblem other) : this() {
      _hasBits0 = other._hasBits0;
      name_ = other.name_;
      numVariables_ = other.numVariables_;
      constraints_ = other.constraints_.Clone();
      objective_ = other.objective_ != null ? other.objective_.Clone() : null;
      varNames_ = other.varNames_.Clone();
      assignment_ = other.assignment_ != null ? other.assignment_.Clone() : null;
      originalNumVariables_ = other.originalNumVariables_;
      _unknownFields = pb::UnknownFieldSet.Clone(other._unknownFields);
    }
 
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public LinearBooleanProblem Clone() {
      return new LinearBooleanProblem(this);
    }

    /// <summary>Field number for the "name" field.</summary>
    public const int NameFieldNumber = 1;
    private readonly static string NameDefaultValue = "";
 
    private string name_;
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public string Name {
      get { return name_ ?? NameDefaultValue; }
      set {
        name_ = pb::ProtoPreconditions.CheckNotNull(value, "value");
      }
    }
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public bool HasName {
      get { return name_ != null; }
    }
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public void ClearName() {
      name_ = null;
    }

    /// <summary>Field number for the "num_variables" field.</summary>
    public const int NumVariablesFieldNumber = 3;
    private readonly static int NumVariablesDefaultValue = 0;
 
    private int numVariables_;
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public int NumVariables {
      get { if ((_hasBits0 & 1) != 0) { return numVariables_; } else { return NumVariablesDefaultValue; } }
      set {
        _hasBits0 |= 1;
        numVariables_ = value;
      }
    }
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public bool HasNumVariables {
      get { return (_hasBits0 & 1) != 0; }
    }
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public void ClearNumVariables() {
      _hasBits0 &= ~1;
    }

    /// <summary>Field number for the "constraints" field.</summary>
    public const int ConstraintsFieldNumber = 4;
    private static readonly pb::FieldCodec<global::Google.OrTools.Sat.LinearBooleanConstraint> _repeated_constraints_codec
        = pb::FieldCodec.ForMessage(34, global::Google.OrTools.Sat.LinearBooleanConstraint.Parser);
    private readonly pbc::RepeatedField<global::Google.OrTools.Sat.LinearBooleanConstraint> constraints_ = new pbc::RepeatedField<global::Google.OrTools.Sat.LinearBooleanConstraint>();
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public pbc::RepeatedField<global::Google.OrTools.Sat.LinearBooleanConstraint> Constraints {
      get { return constraints_; }
    }

    /// <summary>Field number for the "objective" field.</summary>
    public const int ObjectiveFieldNumber = 5;
    private global::Google.OrTools.Sat.LinearObjective objective_;

    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public global::Google.OrTools.Sat.LinearObjective Objective {
      get { return objective_; }
      set {
        objective_ = value;
      }
    }

    public const int VarNamesFieldNumber = 6;
    private static readonly pb::FieldCodec<string> _repeated_varNames_codec
        = pb::FieldCodec.ForString(50);
    private readonly pbc::RepeatedField<string> varNames_ = new pbc::RepeatedField<string>();
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public pbc::RepeatedField<string> VarNames {
      get { return varNames_; }
    }

    /// <summary>Field number for the "assignment" field.</summary>
    public const int AssignmentFieldNumber = 7;
    private global::Google.OrTools.Sat.BooleanAssignment assignment_;

    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public global::Google.OrTools.Sat.BooleanAssignment Assignment {
      get { return assignment_; }
      set {
        assignment_ = value;
      }
    }

    public const int OriginalNumVariablesFieldNumber = 8;
    private readonly static int OriginalNumVariablesDefaultValue = 0;
 
    private int originalNumVariables_;
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public int OriginalNumVariables {
      get { if ((_hasBits0 & 2) != 0) { return originalNumVariables_; } else { return OriginalNumVariablesDefaultValue; } }
      set {
        _hasBits0 |= 2;
        originalNumVariables_ = value;
      }
    }
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public bool HasOriginalNumVariables {
      get { return (_hasBits0 & 2) != 0; }
    }
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public void ClearOriginalNumVariables() {
      _hasBits0 &= ~2;
    }
 
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public override bool Equals(object other) {
      return Equals(other as LinearBooleanProblem);
    }
 
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public bool Equals(LinearBooleanProblem other) {
      if (ReferenceEquals(other, null)) {
        return false;
      }
      if (ReferenceEquals(other, this)) {
        return true;
      }
      if (Name != other.Name) return false;
      if (NumVariables != other.NumVariables) return false;
      if(!constraints_.Equals(other.constraints_)) return false;
      if (!object.Equals(Objective, other.Objective)) return false;
      if(!varNames_.Equals(other.varNames_)) return false;
      if (!object.Equals(Assignment, other.Assignment)) return false;
      if (OriginalNumVariables != other.OriginalNumVariables) return false;
      return Equals(_unknownFields, other._unknownFields);
    }
 
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public override int GetHashCode() {
      int hash = 1;
      if (HasName) hash ^= Name.GetHashCode();
      if (HasNumVariables) hash ^= NumVariables.GetHashCode();
      hash ^= constraints_.GetHashCode();
      if (objective_ != null) hash ^= Objective.GetHashCode();
      hash ^= varNames_.GetHashCode();
      if (assignment_ != null) hash ^= Assignment.GetHashCode();
      if (HasOriginalNumVariables) hash ^= OriginalNumVariables.GetHashCode();
      if (_unknownFields != null) {
        hash ^= _unknownFields.GetHashCode();
      }
      return hash;
    }
 
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public override string ToString() {
      return pb::JsonFormatter.ToDiagnosticString(this);
    }
 
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public void WriteTo(pb::CodedOutputStream output) {
    #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
      output.WriteRawMessage(this);
    #else
      if (HasName) {
        output.WriteRawTag(10);
        output.WriteString(Name);
      }
      if (HasNumVariables) {
        output.WriteRawTag(24);
        output.WriteInt32(NumVariables);
      }
      constraints_.WriteTo(output, _repeated_constraints_codec);
      if (objective_ != null) {
        output.WriteRawTag(42);
        output.WriteMessage(Objective);
      }
      varNames_.WriteTo(output, _repeated_varNames_codec);
      if (assignment_ != null) {
        output.WriteRawTag(58);
        output.WriteMessage(Assignment);
      }
      if (HasOriginalNumVariables) {
        output.WriteRawTag(64);
        output.WriteInt32(OriginalNumVariables);
      }
      if (_unknownFields != null) {
        _unknownFields.WriteTo(output);
      }
    #endif
    }
 
    #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    void pb::IBufferMessage.InternalWriteTo(ref pb::WriteContext output) {
      if (HasName) {
        output.WriteRawTag(10);
        output.WriteString(Name);
      }
      if (HasNumVariables) {
        output.WriteRawTag(24);
        output.WriteInt32(NumVariables);
      }
      constraints_.WriteTo(ref output, _repeated_constraints_codec);
      if (objective_ != null) {
        output.WriteRawTag(42);
        output.WriteMessage(Objective);
      }
      varNames_.WriteTo(ref output, _repeated_varNames_codec);
      if (assignment_ != null) {
        output.WriteRawTag(58);
        output.WriteMessage(Assignment);
      }
      if (HasOriginalNumVariables) {
        output.WriteRawTag(64);
        output.WriteInt32(OriginalNumVariables);
      }
      if (_unknownFields != null) {
        _unknownFields.WriteTo(ref output);
      }
    }
    #endif
 
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public int CalculateSize() {
      int size = 0;
      if (HasName) {
        size += 1 + pb::CodedOutputStream.ComputeStringSize(Name);
      }
      if (HasNumVariables) {
        size += 1 + pb::CodedOutputStream.ComputeInt32Size(NumVariables);
      }
      size += constraints_.CalculateSize(_repeated_constraints_codec);
      if (objective_ != null) {
        size += 1 + pb::CodedOutputStream.ComputeMessageSize(Objective);
      }
      size += varNames_.CalculateSize(_repeated_varNames_codec);
      if (assignment_ != null) {
        size += 1 + pb::CodedOutputStream.ComputeMessageSize(Assignment);
      }
      if (HasOriginalNumVariables) {
        size += 1 + pb::CodedOutputStream.ComputeInt32Size(OriginalNumVariables);
      }
      if (_unknownFields != null) {
        size += _unknownFields.CalculateSize();
      }
      return size;
    }
 
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public void MergeFrom(LinearBooleanProblem other) {
      if (other == null) {
        return;
      }
      if (other.HasName) {
        Name = other.Name;
      }
      if (other.HasNumVariables) {
        NumVariables = other.NumVariables;
      }
      constraints_.Add(other.constraints_);
      if (other.objective_ != null) {
        if (objective_ == null) {
          Objective = new global::Google.OrTools.Sat.LinearObjective();
        }
        Objective.MergeFrom(other.Objective);
      }
      varNames_.Add(other.varNames_);
      if (other.assignment_ != null) {
        if (assignment_ == null) {
          Assignment = new global::Google.OrTools.Sat.BooleanAssignment();
        }
        Assignment.MergeFrom(other.Assignment);
      }
      if (other.HasOriginalNumVariables) {
        OriginalNumVariables = other.OriginalNumVariables;
      }
      _unknownFields = pb::UnknownFieldSet.MergeFrom(_unknownFields, other._unknownFields);
    }
 
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    public void MergeFrom(pb::CodedInputStream input) {
    #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
      input.ReadRawMessage(this);
    #else
      uint tag;
      while ((tag = input.ReadTag()) != 0) {
      if ((tag & 7) == 4) {
        // Abort on any end group tag.
        return;
      }
      switch(tag) {
          default:
            _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, input);
            break;
          case 10: {
            Name = input.ReadString();
            break;
          }
          case 24: {
            NumVariables = input.ReadInt32();
            break;
          }
          case 34: {
            constraints_.AddEntriesFrom(input, _repeated_constraints_codec);
            break;
          }
          case 42: {
            if (objective_ == null) {
              Objective = new global::Google.OrTools.Sat.LinearObjective();
            }
            input.ReadMessage(Objective);
            break;
          }
          case 50: {
            varNames_.AddEntriesFrom(input, _repeated_varNames_codec);
            break;
          }
          case 58: {
            if (assignment_ == null) {
              Assignment = new global::Google.OrTools.Sat.BooleanAssignment();
            }
            input.ReadMessage(Assignment);
            break;
          }
          case 64: {
            OriginalNumVariables = input.ReadInt32();
            break;
          }
        }
      }
    #endif
    }
 
    #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
    [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
    [global::System.CodeDom.Compiler.GeneratedCode("protoc", null)]
    void pb::IBufferMessage.InternalMergeFrom(ref pb::ParseContext input) {
      uint tag;
      while ((tag = input.ReadTag()) != 0) {
      if ((tag & 7) == 4) {
        // Abort on any end group tag.
        return;
      }
      switch(tag) {
          default:
            _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, ref input);
            break;
          case 10: {
            Name = input.ReadString();
            break;
          }
          case 24: {
            NumVariables = input.ReadInt32();
            break;
          }
          case 34: {
            constraints_.AddEntriesFrom(ref input, _repeated_constraints_codec);
            break;
          }
          case 42: {
            if (objective_ == null) {
              Objective = new global::Google.OrTools.Sat.LinearObjective();
            }
            input.ReadMessage(Objective);
            break;
          }
          case 50: {
            varNames_.AddEntriesFrom(ref input, _repeated_varNames_codec);
            break;
          }
          case 58: {
            if (assignment_ == null) {
              Assignment = new global::Google.OrTools.Sat.BooleanAssignment();
            }
            input.ReadMessage(Assignment);
            break;
          }
          case 64: {
            OriginalNumVariables = input.ReadInt32();
            break;
          }
        }
      }
    }
    #endif
 
  }
 
  #endregion
 
}
 
#endregion Designer generated code