5 #pragma warning disable 1591, 0612, 3021
6 #region Designer generated code
8 using pb = global::Google.Protobuf;
9 using pbc = global::Google.Protobuf.Collections;
10 using pbr = global::Google.Protobuf.Reflection;
20 get {
return descriptor; }
22 private static pbr::FileDescriptor descriptor;
27 "ChpvcnRvb2xzL3NhdC9jcF9tb2RlbC5wcm90bxIXb3BlcmF0aW9uc19yZXNl",
28 "YXJjaC5zYXQiNAoUSW50ZWdlclZhcmlhYmxlUHJvdG8SDAoEbmFtZRgBIAEo",
29 "CRIOCgZkb21haW4YAiADKAMiJQoRQm9vbEFyZ3VtZW50UHJvdG8SEAoIbGl0",
30 "ZXJhbHMYASADKAUiNAoUSW50ZWdlckFyZ3VtZW50UHJvdG8SDgoGdGFyZ2V0",
31 "GAEgASgFEgwKBHZhcnMYAiADKAUiRQoVTGluZWFyRXhwcmVzc2lvblByb3Rv",
32 "EgwKBHZhcnMYASADKAUSDgoGY29lZmZzGAIgAygDEg4KBm9mZnNldBgDIAEo",
33 "AyKUAQoTTGluZWFyQXJndW1lbnRQcm90bxI+CgZ0YXJnZXQYASABKAsyLi5v",
34 "cGVyYXRpb25zX3Jlc2VhcmNoLnNhdC5MaW5lYXJFeHByZXNzaW9uUHJvdG8S",
35 "PQoFZXhwcnMYAiADKAsyLi5vcGVyYXRpb25zX3Jlc2VhcmNoLnNhdC5MaW5l",
36 "YXJFeHByZXNzaW9uUHJvdG8iKwobQWxsRGlmZmVyZW50Q29uc3RyYWludFBy",
37 "b3RvEgwKBHZhcnMYASADKAUiRQoVTGluZWFyQ29uc3RyYWludFByb3RvEgwK",
38 "BHZhcnMYASADKAUSDgoGY29lZmZzGAIgAygDEg4KBmRvbWFpbhgDIAMoAyJF",
39 "ChZFbGVtZW50Q29uc3RyYWludFByb3RvEg0KBWluZGV4GAEgASgFEg4KBnRh",
40 "cmdldBgCIAEoBRIMCgR2YXJzGAMgAygFIkMKF0ludGVydmFsQ29uc3RyYWlu",
41 "dFByb3RvEg0KBXN0YXJ0GAEgASgFEgsKA2VuZBgCIAEoBRIMCgRzaXplGAMg",
42 "ASgFIi0KGE5vT3ZlcmxhcENvbnN0cmFpbnRQcm90bxIRCglpbnRlcnZhbHMY",
43 "ASADKAUicAoaTm9PdmVybGFwMkRDb25zdHJhaW50UHJvdG8SEwoLeF9pbnRl",
44 "cnZhbHMYASADKAUSEwoLeV9pbnRlcnZhbHMYAiADKAUSKAogYm94ZXNfd2l0",
45 "aF9udWxsX2FyZWFfY2FuX292ZXJsYXAYAyABKAgiUQoZQ3VtdWxhdGl2ZUNv",
46 "bnN0cmFpbnRQcm90bxIQCghjYXBhY2l0eRgBIAEoBRIRCglpbnRlcnZhbHMY",
47 "AiADKAUSDwoHZGVtYW5kcxgDIAMoBSJxChhSZXNlcnZvaXJDb25zdHJhaW50",
48 "UHJvdG8SEQoJbWluX2xldmVsGAEgASgDEhEKCW1heF9sZXZlbBgCIAEoAxIN",
49 "CgV0aW1lcxgDIAMoBRIPCgdkZW1hbmRzGAQgAygDEg8KB2FjdGl2ZXMYBSAD",
50 "KAUiSAoWQ2lyY3VpdENvbnN0cmFpbnRQcm90bxINCgV0YWlscxgDIAMoBRIN",
51 "CgVoZWFkcxgEIAMoBRIQCghsaXRlcmFscxgFIAMoBSJqChVSb3V0ZXNDb25z",
52 "dHJhaW50UHJvdG8SDQoFdGFpbHMYASADKAUSDQoFaGVhZHMYAiADKAUSEAoI",
53 "bGl0ZXJhbHMYAyADKAUSDwoHZGVtYW5kcxgEIAMoBRIQCghjYXBhY2l0eRgF",
54 "IAEoAyJFChRUYWJsZUNvbnN0cmFpbnRQcm90bxIMCgR2YXJzGAEgAygFEg4K",
55 "BnZhbHVlcxgCIAMoAxIPCgduZWdhdGVkGAMgASgIIj0KFkludmVyc2VDb25z",
56 "dHJhaW50UHJvdG8SEAoIZl9kaXJlY3QYASADKAUSEQoJZl9pbnZlcnNlGAIg",
57 "AygFIqIBChhBdXRvbWF0b25Db25zdHJhaW50UHJvdG8SFgoOc3RhcnRpbmdf",
58 "c3RhdGUYAiABKAMSFAoMZmluYWxfc3RhdGVzGAMgAygDEhcKD3RyYW5zaXRp",
59 "b25fdGFpbBgEIAMoAxIXCg90cmFuc2l0aW9uX2hlYWQYBSADKAMSGAoQdHJh",
60 "bnNpdGlvbl9sYWJlbBgGIAMoAxIMCgR2YXJzGAcgAygFIqoNCg9Db25zdHJh",
61 "aW50UHJvdG8SDAoEbmFtZRgBIAEoCRIbChNlbmZvcmNlbWVudF9saXRlcmFs",
62 "GAIgAygFEj0KB2Jvb2xfb3IYAyABKAsyKi5vcGVyYXRpb25zX3Jlc2VhcmNo",
63 "LnNhdC5Cb29sQXJndW1lbnRQcm90b0gAEj4KCGJvb2xfYW5kGAQgASgLMiou",
64 "b3BlcmF0aW9uc19yZXNlYXJjaC5zYXQuQm9vbEFyZ3VtZW50UHJvdG9IABJB",
65 "CgthdF9tb3N0X29uZRgaIAEoCzIqLm9wZXJhdGlvbnNfcmVzZWFyY2guc2F0",
66 "LkJvb2xBcmd1bWVudFByb3RvSAASPgoIYm9vbF94b3IYBSABKAsyKi5vcGVy",
67 "YXRpb25zX3Jlc2VhcmNoLnNhdC5Cb29sQXJndW1lbnRQcm90b0gAEkAKB2lu",
68 "dF9kaXYYByABKAsyLS5vcGVyYXRpb25zX3Jlc2VhcmNoLnNhdC5JbnRlZ2Vy",
69 "QXJndW1lbnRQcm90b0gAEkAKB2ludF9tb2QYCCABKAsyLS5vcGVyYXRpb25z",
70 "X3Jlc2VhcmNoLnNhdC5JbnRlZ2VyQXJndW1lbnRQcm90b0gAEkAKB2ludF9t",
71 "YXgYCSABKAsyLS5vcGVyYXRpb25zX3Jlc2VhcmNoLnNhdC5JbnRlZ2VyQXJn",
72 "dW1lbnRQcm90b0gAEj8KB2xpbl9tYXgYGyABKAsyLC5vcGVyYXRpb25zX3Jl",
73 "c2VhcmNoLnNhdC5MaW5lYXJBcmd1bWVudFByb3RvSAASQAoHaW50X21pbhgK",
74 "IAEoCzItLm9wZXJhdGlvbnNfcmVzZWFyY2guc2F0LkludGVnZXJBcmd1bWVu",
75 "dFByb3RvSAASPwoHbGluX21pbhgcIAEoCzIsLm9wZXJhdGlvbnNfcmVzZWFy",
76 "Y2guc2F0LkxpbmVhckFyZ3VtZW50UHJvdG9IABJBCghpbnRfcHJvZBgLIAEo",
77 "CzItLm9wZXJhdGlvbnNfcmVzZWFyY2guc2F0LkludGVnZXJBcmd1bWVudFBy",
78 "b3RvSAASQAoGbGluZWFyGAwgASgLMi4ub3BlcmF0aW9uc19yZXNlYXJjaC5z",
79 "YXQuTGluZWFyQ29uc3RyYWludFByb3RvSAASSAoIYWxsX2RpZmYYDSABKAsy",
80 "NC5vcGVyYXRpb25zX3Jlc2VhcmNoLnNhdC5BbGxEaWZmZXJlbnRDb25zdHJh",
81 "aW50UHJvdG9IABJCCgdlbGVtZW50GA4gASgLMi8ub3BlcmF0aW9uc19yZXNl",
82 "YXJjaC5zYXQuRWxlbWVudENvbnN0cmFpbnRQcm90b0gAEkIKB2NpcmN1aXQY",
83 "DyABKAsyLy5vcGVyYXRpb25zX3Jlc2VhcmNoLnNhdC5DaXJjdWl0Q29uc3Ry",
84 "YWludFByb3RvSAASQAoGcm91dGVzGBcgASgLMi4ub3BlcmF0aW9uc19yZXNl",
85 "YXJjaC5zYXQuUm91dGVzQ29uc3RyYWludFByb3RvSAASPgoFdGFibGUYECAB",
86 "KAsyLS5vcGVyYXRpb25zX3Jlc2VhcmNoLnNhdC5UYWJsZUNvbnN0cmFpbnRQ",
87 "cm90b0gAEkYKCWF1dG9tYXRvbhgRIAEoCzIxLm9wZXJhdGlvbnNfcmVzZWFy",
88 "Y2guc2F0LkF1dG9tYXRvbkNvbnN0cmFpbnRQcm90b0gAEkIKB2ludmVyc2UY",
89 "EiABKAsyLy5vcGVyYXRpb25zX3Jlc2VhcmNoLnNhdC5JbnZlcnNlQ29uc3Ry",
90 "YWludFByb3RvSAASRgoJcmVzZXJ2b2lyGBggASgLMjEub3BlcmF0aW9uc19y",
91 "ZXNlYXJjaC5zYXQuUmVzZXJ2b2lyQ29uc3RyYWludFByb3RvSAASRAoIaW50",
92 "ZXJ2YWwYEyABKAsyMC5vcGVyYXRpb25zX3Jlc2VhcmNoLnNhdC5JbnRlcnZh",
93 "bENvbnN0cmFpbnRQcm90b0gAEkcKCm5vX292ZXJsYXAYFCABKAsyMS5vcGVy",
94 "YXRpb25zX3Jlc2VhcmNoLnNhdC5Ob092ZXJsYXBDb25zdHJhaW50UHJvdG9I",
95 "ABJMCg1ub19vdmVybGFwXzJkGBUgASgLMjMub3BlcmF0aW9uc19yZXNlYXJj",
96 "aC5zYXQuTm9PdmVybGFwMkRDb25zdHJhaW50UHJvdG9IABJICgpjdW11bGF0",
97 "aXZlGBYgASgLMjIub3BlcmF0aW9uc19yZXNlYXJjaC5zYXQuQ3VtdWxhdGl2",
98 "ZUNvbnN0cmFpbnRQcm90b0gAQgwKCmNvbnN0cmFpbnQiaAoQQ3BPYmplY3Rp",
99 "dmVQcm90bxIMCgR2YXJzGAEgAygFEg4KBmNvZWZmcxgEIAMoAxIOCgZvZmZz",
100 "ZXQYAiABKAESFgoOc2NhbGluZ19mYWN0b3IYAyABKAESDgoGZG9tYWluGAUg",
101 "AygDItUFChVEZWNpc2lvblN0cmF0ZWd5UHJvdG8SEQoJdmFyaWFibGVzGAEg",
102 "AygFEm0KG3ZhcmlhYmxlX3NlbGVjdGlvbl9zdHJhdGVneRgCIAEoDjJILm9w",
103 "ZXJhdGlvbnNfcmVzZWFyY2guc2F0LkRlY2lzaW9uU3RyYXRlZ3lQcm90by5W",
104 "YXJpYWJsZVNlbGVjdGlvblN0cmF0ZWd5EmkKGWRvbWFpbl9yZWR1Y3Rpb25f",
105 "c3RyYXRlZ3kYAyABKA4yRi5vcGVyYXRpb25zX3Jlc2VhcmNoLnNhdC5EZWNp",
106 "c2lvblN0cmF0ZWd5UHJvdG8uRG9tYWluUmVkdWN0aW9uU3RyYXRlZ3kSXAoP",
107 "dHJhbnNmb3JtYXRpb25zGAQgAygLMkMub3BlcmF0aW9uc19yZXNlYXJjaC5z",
108 "YXQuRGVjaXNpb25TdHJhdGVneVByb3RvLkFmZmluZVRyYW5zZm9ybWF0aW9u",
109 "GksKFEFmZmluZVRyYW5zZm9ybWF0aW9uEgsKA3ZhchgBIAEoBRIOCgZvZmZz",
110 "ZXQYAiABKAMSFgoOcG9zaXRpdmVfY29lZmYYAyABKAMilAEKGVZhcmlhYmxl",
111 "U2VsZWN0aW9uU3RyYXRlZ3kSEAoMQ0hPT1NFX0ZJUlNUEAASFQoRQ0hPT1NF",
112 "X0xPV0VTVF9NSU4QARIWChJDSE9PU0VfSElHSEVTVF9NQVgQAhIaChZDSE9P",
113 "U0VfTUlOX0RPTUFJTl9TSVpFEAMSGgoWQ0hPT1NFX01BWF9ET01BSU5fU0la",
114 "RRAEIowBChdEb21haW5SZWR1Y3Rpb25TdHJhdGVneRIUChBTRUxFQ1RfTUlO",
115 "X1ZBTFVFEAASFAoQU0VMRUNUX01BWF9WQUxVRRABEhUKEVNFTEVDVF9MT1dF",
116 "Ul9IQUxGEAISFQoRU0VMRUNUX1VQUEVSX0hBTEYQAxIXChNTRUxFQ1RfTUVE",
117 "SUFOX1ZBTFVFEAQiOQoZUGFydGlhbFZhcmlhYmxlQXNzaWdubWVudBIMCgR2",
118 "YXJzGAEgAygFEg4KBnZhbHVlcxgCIAMoAyKEAwoMQ3BNb2RlbFByb3RvEgwK",
119 "BG5hbWUYASABKAkSQAoJdmFyaWFibGVzGAIgAygLMi0ub3BlcmF0aW9uc19y",
120 "ZXNlYXJjaC5zYXQuSW50ZWdlclZhcmlhYmxlUHJvdG8SPQoLY29uc3RyYWlu",
121 "dHMYAyADKAsyKC5vcGVyYXRpb25zX3Jlc2VhcmNoLnNhdC5Db25zdHJhaW50",
122 "UHJvdG8SPAoJb2JqZWN0aXZlGAQgASgLMikub3BlcmF0aW9uc19yZXNlYXJj",
123 "aC5zYXQuQ3BPYmplY3RpdmVQcm90bxJHCg9zZWFyY2hfc3RyYXRlZ3kYBSAD",
124 "KAsyLi5vcGVyYXRpb25zX3Jlc2VhcmNoLnNhdC5EZWNpc2lvblN0cmF0ZWd5",
125 "UHJvdG8SSQoNc29sdXRpb25faGludBgGIAEoCzIyLm9wZXJhdGlvbnNfcmVz",
126 "ZWFyY2guc2F0LlBhcnRpYWxWYXJpYWJsZUFzc2lnbm1lbnQSEwoLYXNzdW1w",
127 "dGlvbnMYByADKAUimwUKEENwU29sdmVyUmVzcG9uc2USNwoGc3RhdHVzGAEg",
128 "ASgOMicub3BlcmF0aW9uc19yZXNlYXJjaC5zYXQuQ3BTb2x2ZXJTdGF0dXMS",
129 "EAoIc29sdXRpb24YAiADKAMSFwoPb2JqZWN0aXZlX3ZhbHVlGAMgASgBEhwK",
130 "FGJlc3Rfb2JqZWN0aXZlX2JvdW5kGAQgASgBEh0KFXNvbHV0aW9uX2xvd2Vy",
131 "X2JvdW5kcxgSIAMoAxIdChVzb2x1dGlvbl91cHBlcl9ib3VuZHMYEyADKAMS",
132 "SgoTdGlnaHRlbmVkX3ZhcmlhYmxlcxgVIAMoCzItLm9wZXJhdGlvbnNfcmVz",
133 "ZWFyY2guc2F0LkludGVnZXJWYXJpYWJsZVByb3RvEjAKKHN1ZmZpY2llbnRf",
134 "YXNzdW1wdGlvbnNfZm9yX2luZmVhc2liaWxpdHkYFyADKAUSIAoYYWxsX3Nv",
135 "bHV0aW9uc193ZXJlX2ZvdW5kGAUgASgIEhQKDG51bV9ib29sZWFucxgKIAEo",
136 "AxIVCg1udW1fY29uZmxpY3RzGAsgASgDEhQKDG51bV9icmFuY2hlcxgMIAEo",
137 "AxIfChdudW1fYmluYXJ5X3Byb3BhZ2F0aW9ucxgNIAEoAxIgChhudW1faW50",
138 "ZWdlcl9wcm9wYWdhdGlvbnMYDiABKAMSFAoMbnVtX3Jlc3RhcnRzGBggASgD",
139 "EhkKEW51bV9scF9pdGVyYXRpb25zGBkgASgDEhEKCXdhbGxfdGltZRgPIAEo",
140 "ARIRCgl1c2VyX3RpbWUYECABKAESGgoSZGV0ZXJtaW5pc3RpY190aW1lGBEg",
141 "ASgBEhcKD3ByaW1hbF9pbnRlZ3JhbBgWIAEoARIVCg1zb2x1dGlvbl9pbmZv",
142 "GBQgASgJKlsKDkNwU29sdmVyU3RhdHVzEgsKB1VOS05PV04QABIRCg1NT0RF",
143 "TF9JTlZBTElEEAESDAoIRkVBU0lCTEUQAhIOCgpJTkZFQVNJQkxFEAMSCwoH",
144 "T1BUSU1BTBAEQkAKFmNvbS5nb29nbGUub3J0b29scy5zYXRCD0NwTW9kZWxQ",
145 "cm90b2J1ZlABqgISR29vZ2xlLk9yVG9vbHMuU2F0YgZwcm90bzM="));
146 descriptor = pbr::FileDescriptor.FromGeneratedCode(descriptorData,
147 new pbr::FileDescriptor[] { },
148 new pbr::GeneratedClrTypeInfo(
new[] {typeof(global::Google.OrTools.Sat.CpSolverStatus), },
null,
new pbr::GeneratedClrTypeInfo[] {
149 new pbr::GeneratedClrTypeInfo(typeof(global::Google.OrTools.Sat.IntegerVariableProto), global::Google.OrTools.Sat.IntegerVariableProto.Parser,
new[]{
"Name",
"Domain" },
null,
null,
null,
null),
150 new pbr::GeneratedClrTypeInfo(typeof(global::Google.OrTools.Sat.BoolArgumentProto), global::Google.OrTools.Sat.BoolArgumentProto.Parser,
new[]{
"Literals" },
null,
null,
null,
null),
151 new pbr::GeneratedClrTypeInfo(typeof(global::Google.OrTools.Sat.IntegerArgumentProto), global::Google.OrTools.Sat.IntegerArgumentProto.Parser,
new[]{
"Target",
"Vars" },
null,
null,
null,
null),
152 new pbr::GeneratedClrTypeInfo(typeof(global::Google.OrTools.Sat.LinearExpressionProto), global::Google.OrTools.Sat.LinearExpressionProto.Parser,
new[]{
"Vars",
"Coeffs",
"Offset" },
null,
null,
null,
null),
153 new pbr::GeneratedClrTypeInfo(typeof(global::Google.OrTools.Sat.LinearArgumentProto), global::Google.OrTools.Sat.LinearArgumentProto.Parser,
new[]{
"Target",
"Exprs" },
null,
null,
null,
null),
154 new pbr::GeneratedClrTypeInfo(typeof(global::Google.OrTools.Sat.AllDifferentConstraintProto), global::Google.OrTools.Sat.AllDifferentConstraintProto.Parser,
new[]{
"Vars" },
null,
null,
null,
null),
155 new pbr::GeneratedClrTypeInfo(typeof(global::Google.OrTools.Sat.LinearConstraintProto), global::Google.OrTools.Sat.LinearConstraintProto.Parser,
new[]{
"Vars",
"Coeffs",
"Domain" },
null,
null,
null,
null),
156 new pbr::GeneratedClrTypeInfo(typeof(global::Google.OrTools.Sat.ElementConstraintProto), global::Google.OrTools.Sat.ElementConstraintProto.Parser,
new[]{
"Index",
"Target",
"Vars" },
null,
null,
null,
null),
157 new pbr::GeneratedClrTypeInfo(typeof(global::Google.OrTools.Sat.IntervalConstraintProto), global::Google.OrTools.Sat.IntervalConstraintProto.Parser,
new[]{
"Start",
"End",
"Size" },
null,
null,
null,
null),
158 new pbr::GeneratedClrTypeInfo(typeof(global::Google.OrTools.Sat.NoOverlapConstraintProto), global::Google.OrTools.Sat.NoOverlapConstraintProto.Parser,
new[]{
"Intervals" },
null,
null,
null,
null),
159 new pbr::GeneratedClrTypeInfo(typeof(global::Google.OrTools.Sat.NoOverlap2DConstraintProto), global::Google.OrTools.Sat.NoOverlap2DConstraintProto.Parser,
new[]{
"XIntervals",
"YIntervals",
"BoxesWithNullAreaCanOverlap" },
null,
null,
null,
null),
160 new pbr::GeneratedClrTypeInfo(typeof(global::Google.OrTools.Sat.CumulativeConstraintProto), global::Google.OrTools.Sat.CumulativeConstraintProto.Parser,
new[]{
"Capacity",
"Intervals",
"Demands" },
null,
null,
null,
null),
161 new pbr::GeneratedClrTypeInfo(typeof(global::Google.OrTools.Sat.ReservoirConstraintProto), global::Google.OrTools.Sat.ReservoirConstraintProto.Parser,
new[]{
"MinLevel",
"MaxLevel",
"Times",
"Demands",
"Actives" },
null,
null,
null,
null),
162 new pbr::GeneratedClrTypeInfo(typeof(global::Google.OrTools.Sat.CircuitConstraintProto), global::Google.OrTools.Sat.CircuitConstraintProto.Parser,
new[]{
"Tails",
"Heads",
"Literals" },
null,
null,
null,
null),
163 new pbr::GeneratedClrTypeInfo(typeof(global::Google.OrTools.Sat.RoutesConstraintProto), global::Google.OrTools.Sat.RoutesConstraintProto.Parser,
new[]{
"Tails",
"Heads",
"Literals",
"Demands",
"Capacity" },
null,
null,
null,
null),
164 new pbr::GeneratedClrTypeInfo(typeof(global::Google.OrTools.Sat.TableConstraintProto), global::Google.OrTools.Sat.TableConstraintProto.Parser,
new[]{
"Vars",
"Values",
"Negated" },
null,
null,
null,
null),
165 new pbr::GeneratedClrTypeInfo(typeof(global::Google.OrTools.Sat.InverseConstraintProto), global::Google.OrTools.Sat.InverseConstraintProto.Parser,
new[]{
"FDirect",
"FInverse" },
null,
null,
null,
null),
166 new pbr::GeneratedClrTypeInfo(typeof(global::Google.OrTools.Sat.AutomatonConstraintProto), global::Google.OrTools.Sat.AutomatonConstraintProto.Parser,
new[]{
"StartingState",
"FinalStates",
"TransitionTail",
"TransitionHead",
"TransitionLabel",
"Vars" },
null,
null,
null,
null),
167 new pbr::GeneratedClrTypeInfo(typeof(global::Google.OrTools.Sat.ConstraintProto), global::Google.OrTools.Sat.ConstraintProto.Parser,
new[]{
"Name",
"EnforcementLiteral",
"BoolOr",
"BoolAnd",
"AtMostOne",
"BoolXor",
"IntDiv",
"IntMod",
"IntMax",
"LinMax",
"IntMin",
"LinMin",
"IntProd",
"Linear",
"AllDiff",
"Element",
"Circuit",
"Routes",
"Table",
"Automaton",
"Inverse",
"Reservoir",
"Interval",
"NoOverlap",
"NoOverlap2D",
"Cumulative" },
new[]{
"Constraint" },
null,
null,
null),
168 new pbr::GeneratedClrTypeInfo(typeof(global::Google.OrTools.Sat.CpObjectiveProto), global::Google.OrTools.Sat.CpObjectiveProto.Parser,
new[]{
"Vars",
"Coeffs",
"Offset",
"ScalingFactor",
"Domain" },
null,
null,
null,
null),
169 new pbr::GeneratedClrTypeInfo(typeof(global::Google.OrTools.Sat.DecisionStrategyProto), global::Google.OrTools.Sat.DecisionStrategyProto.Parser,
new[]{
"Variables",
"VariableSelectionStrategy",
"DomainReductionStrategy",
"Transformations" },
null,
new[]{ typeof(global::Google.OrTools.Sat.DecisionStrategyProto.Types.VariableSelectionStrategy), typeof(global::Google.OrTools.Sat.DecisionStrategyProto.Types.DomainReductionStrategy) },
null,
new pbr::GeneratedClrTypeInfo[] { new pbr::GeneratedClrTypeInfo(typeof(global::Google.OrTools.Sat.DecisionStrategyProto.Types.AffineTransformation), global::Google.OrTools.Sat.DecisionStrategyProto.Types.AffineTransformation.Parser, new[]{
"Var",
"Offset",
"PositiveCoeff" },
null,
null,
null,
null)}),
170 new pbr::GeneratedClrTypeInfo(typeof(global::Google.OrTools.Sat.PartialVariableAssignment), global::Google.OrTools.Sat.PartialVariableAssignment.Parser,
new[]{
"Vars",
"Values" },
null,
null,
null,
null),
171 new pbr::GeneratedClrTypeInfo(typeof(global::Google.OrTools.Sat.CpModelProto), global::Google.OrTools.Sat.CpModelProto.Parser,
new[]{
"Name",
"Variables",
"Constraints",
"Objective",
"SearchStrategy",
"SolutionHint",
"Assumptions" },
null,
null,
null,
null),
172 new pbr::GeneratedClrTypeInfo(typeof(global::Google.OrTools.Sat.CpSolverResponse), global::Google.OrTools.Sat.CpSolverResponse.Parser,
new[]{
"Status",
"Solution",
"ObjectiveValue",
"BestObjectiveBound",
"SolutionLowerBounds",
"SolutionUpperBounds",
"TightenedVariables",
"SufficientAssumptionsForInfeasibility",
"AllSolutionsWereFound",
"NumBooleans",
"NumConflicts",
"NumBranches",
"NumBinaryPropagations",
"NumIntegerPropagations",
"NumRestarts",
"NumLpIterations",
"WallTime",
"UserTime",
"DeterministicTime",
"PrimalIntegral",
"SolutionInfo" },
null,
null,
null,
null)
187 [pbr::OriginalName(
"UNKNOWN")] Unknown = 0,
192 [pbr::OriginalName(
"MODEL_INVALID")] ModelInvalid = 1,
198 [pbr::OriginalName(
"FEASIBLE")] Feasible = 2,
202 [pbr::OriginalName(
"INFEASIBLE")] Infeasible = 3,
213 [pbr::OriginalName(
"OPTIMAL")] Optimal = 4,
219 public sealed
partial class IntegerVariableProto : pb::IMessage<IntegerVariableProto>
241 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
245 private static readonly pb::MessageParser<IntegerVariableProto> _parser =
new pb::MessageParser<IntegerVariableProto>(() =>
new IntegerVariableProto());
246 private pb::UnknownFieldSet _unknownFields;
248 public static pb::MessageParser<IntegerVariableProto> Parser {
get {
return _parser; } }
251 public static pbr::MessageDescriptor Descriptor {
252 get {
return global::Google.OrTools.Sat.CpModelReflection.Descriptor.MessageTypes[0]; }
256 pbr::MessageDescriptor pb::IMessage.Descriptor {
257 get {
return Descriptor; }
265 partial
void OnConstruction();
270 domain_ = other.domain_.Clone();
271 _unknownFields = pb::UnknownFieldSet.Clone(other._unknownFields);
280 public const int NameFieldNumber = 1;
281 private string name_ =
"";
287 get {
return name_; }
289 name_ = pb::ProtoPreconditions.CheckNotNull(value,
"value");
294 public const int DomainFieldNumber = 2;
295 private static readonly pb::FieldCodec<long> _repeated_domain_codec
296 = pb::FieldCodec.ForInt64(18);
297 private readonly pbc::RepeatedField<long> domain_ =
new pbc::RepeatedField<long>();
319 get {
return domain_; }
323 public override bool Equals(
object other) {
329 if (ReferenceEquals(other,
null)) {
332 if (ReferenceEquals(other,
this)) {
335 if (Name != other.Name)
return false;
336 if(!domain_.Equals(other.domain_))
return false;
337 return Equals(_unknownFields, other._unknownFields);
343 if (Name.Length != 0) hash ^= Name.GetHashCode();
344 hash ^= domain_.GetHashCode();
345 if (_unknownFields !=
null) {
346 hash ^= _unknownFields.GetHashCode();
353 return pb::JsonFormatter.ToDiagnosticString(
this);
357 public void WriteTo(pb::CodedOutputStream output) {
358 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
359 output.WriteRawMessage(
this);
361 if (Name.Length != 0) {
362 output.WriteRawTag(10);
363 output.WriteString(Name);
365 domain_.WriteTo(output, _repeated_domain_codec);
366 if (_unknownFields !=
null) {
367 _unknownFields.WriteTo(output);
372 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
374 void pb::IBufferMessage.InternalWriteTo(ref pb::WriteContext output) {
375 if (Name.Length != 0) {
376 output.WriteRawTag(10);
377 output.WriteString(Name);
379 domain_.WriteTo(ref output, _repeated_domain_codec);
380 if (_unknownFields !=
null) {
381 _unknownFields.WriteTo(ref output);
389 if (Name.Length != 0) {
390 size += 1 + pb::CodedOutputStream.ComputeStringSize(Name);
392 size += domain_.CalculateSize(_repeated_domain_codec);
393 if (_unknownFields !=
null) {
394 size += _unknownFields.CalculateSize();
404 if (other.Name.Length != 0) {
407 domain_.Add(other.domain_);
408 _unknownFields = pb::UnknownFieldSet.MergeFrom(_unknownFields, other._unknownFields);
413 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
414 input.ReadRawMessage(
this);
417 while ((tag = input.ReadTag()) != 0) {
420 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, input);
423 Name = input.ReadString();
428 domain_.AddEntriesFrom(input, _repeated_domain_codec);
436 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
438 void pb::IBufferMessage.InternalMergeFrom(ref pb::ParseContext input) {
440 while ((tag = input.ReadTag()) != 0) {
443 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, ref input);
446 Name = input.ReadString();
451 domain_.AddEntriesFrom(ref input, _repeated_domain_codec);
465 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
469 private static readonly pb::MessageParser<BoolArgumentProto> _parser =
new pb::MessageParser<BoolArgumentProto>(() =>
new BoolArgumentProto());
470 private pb::UnknownFieldSet _unknownFields;
472 public static pb::MessageParser<BoolArgumentProto> Parser {
get {
return _parser; } }
475 public static pbr::MessageDescriptor Descriptor {
476 get {
return global::Google.OrTools.Sat.CpModelReflection.Descriptor.MessageTypes[1]; }
480 pbr::MessageDescriptor pb::IMessage.Descriptor {
481 get {
return Descriptor; }
489 partial
void OnConstruction();
493 literals_ = other.literals_.Clone();
494 _unknownFields = pb::UnknownFieldSet.Clone(other._unknownFields);
503 public const int LiteralsFieldNumber = 1;
504 private static readonly pb::FieldCodec<int> _repeated_literals_codec
505 = pb::FieldCodec.ForInt32(10);
506 private readonly pbc::RepeatedField<int> literals_ =
new pbc::RepeatedField<int>();
508 public pbc::RepeatedField<int> Literals {
509 get {
return literals_; }
513 public override bool Equals(
object other) {
519 if (ReferenceEquals(other,
null)) {
522 if (ReferenceEquals(other,
this)) {
525 if(!literals_.Equals(other.literals_))
return false;
526 return Equals(_unknownFields, other._unknownFields);
532 hash ^= literals_.GetHashCode();
533 if (_unknownFields !=
null) {
534 hash ^= _unknownFields.GetHashCode();
541 return pb::JsonFormatter.ToDiagnosticString(
this);
545 public void WriteTo(pb::CodedOutputStream output) {
546 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
547 output.WriteRawMessage(
this);
549 literals_.WriteTo(output, _repeated_literals_codec);
550 if (_unknownFields !=
null) {
551 _unknownFields.WriteTo(output);
556 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
558 void pb::IBufferMessage.InternalWriteTo(ref pb::WriteContext output) {
559 literals_.WriteTo(ref output, _repeated_literals_codec);
560 if (_unknownFields !=
null) {
561 _unknownFields.WriteTo(ref output);
569 size += literals_.CalculateSize(_repeated_literals_codec);
570 if (_unknownFields !=
null) {
571 size += _unknownFields.CalculateSize();
581 literals_.Add(other.literals_);
582 _unknownFields = pb::UnknownFieldSet.MergeFrom(_unknownFields, other._unknownFields);
587 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
588 input.ReadRawMessage(
this);
591 while ((tag = input.ReadTag()) != 0) {
594 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, input);
598 literals_.AddEntriesFrom(input, _repeated_literals_codec);
606 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
608 void pb::IBufferMessage.InternalMergeFrom(ref pb::ParseContext input) {
610 while ((tag = input.ReadTag()) != 0) {
613 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, ref input);
617 literals_.AddEntriesFrom(ref input, _repeated_literals_codec);
631 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
635 private static readonly pb::MessageParser<IntegerArgumentProto> _parser =
new pb::MessageParser<IntegerArgumentProto>(() =>
new IntegerArgumentProto());
636 private pb::UnknownFieldSet _unknownFields;
638 public static pb::MessageParser<IntegerArgumentProto> Parser {
get {
return _parser; } }
641 public static pbr::MessageDescriptor Descriptor {
642 get {
return global::Google.OrTools.Sat.CpModelReflection.Descriptor.MessageTypes[2]; }
646 pbr::MessageDescriptor pb::IMessage.Descriptor {
647 get {
return Descriptor; }
655 partial
void OnConstruction();
659 target_ = other.target_;
660 vars_ = other.vars_.Clone();
661 _unknownFields = pb::UnknownFieldSet.Clone(other._unknownFields);
670 public const int TargetFieldNumber = 1;
674 get {
return target_; }
681 public const int VarsFieldNumber = 2;
682 private static readonly pb::FieldCodec<int> _repeated_vars_codec
683 = pb::FieldCodec.ForInt32(18);
684 private readonly pbc::RepeatedField<int> vars_ =
new pbc::RepeatedField<int>();
686 public pbc::RepeatedField<int> Vars {
687 get {
return vars_; }
691 public override bool Equals(
object other) {
697 if (ReferenceEquals(other,
null)) {
700 if (ReferenceEquals(other,
this)) {
703 if (Target != other.
Target)
return false;
704 if(!vars_.Equals(other.vars_))
return false;
705 return Equals(_unknownFields, other._unknownFields);
711 if (Target != 0) hash ^= Target.GetHashCode();
712 hash ^= vars_.GetHashCode();
713 if (_unknownFields !=
null) {
714 hash ^= _unknownFields.GetHashCode();
721 return pb::JsonFormatter.ToDiagnosticString(
this);
725 public void WriteTo(pb::CodedOutputStream output) {
726 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
727 output.WriteRawMessage(
this);
730 output.WriteRawTag(8);
731 output.WriteInt32(Target);
733 vars_.WriteTo(output, _repeated_vars_codec);
734 if (_unknownFields !=
null) {
735 _unknownFields.WriteTo(output);
740 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
742 void pb::IBufferMessage.InternalWriteTo(ref pb::WriteContext output) {
744 output.WriteRawTag(8);
745 output.WriteInt32(Target);
747 vars_.WriteTo(ref output, _repeated_vars_codec);
748 if (_unknownFields !=
null) {
749 _unknownFields.WriteTo(ref output);
758 size += 1 + pb::CodedOutputStream.ComputeInt32Size(Target);
760 size += vars_.CalculateSize(_repeated_vars_codec);
761 if (_unknownFields !=
null) {
762 size += _unknownFields.CalculateSize();
775 vars_.Add(other.vars_);
776 _unknownFields = pb::UnknownFieldSet.MergeFrom(_unknownFields, other._unknownFields);
781 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
782 input.ReadRawMessage(
this);
785 while ((tag = input.ReadTag()) != 0) {
788 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, input);
791 Target = input.ReadInt32();
796 vars_.AddEntriesFrom(input, _repeated_vars_codec);
804 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
806 void pb::IBufferMessage.InternalMergeFrom(ref pb::ParseContext input) {
808 while ((tag = input.ReadTag()) != 0) {
811 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, ref input);
814 Target = input.ReadInt32();
819 vars_.AddEntriesFrom(ref input, _repeated_vars_codec);
830 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
834 private static readonly pb::MessageParser<LinearExpressionProto> _parser =
new pb::MessageParser<LinearExpressionProto>(() =>
new LinearExpressionProto());
835 private pb::UnknownFieldSet _unknownFields;
837 public static pb::MessageParser<LinearExpressionProto> Parser {
get {
return _parser; } }
840 public static pbr::MessageDescriptor Descriptor {
841 get {
return global::Google.OrTools.Sat.CpModelReflection.Descriptor.MessageTypes[3]; }
845 pbr::MessageDescriptor pb::IMessage.Descriptor {
846 get {
return Descriptor; }
854 partial
void OnConstruction();
858 vars_ = other.vars_.Clone();
859 coeffs_ = other.coeffs_.Clone();
860 offset_ = other.offset_;
861 _unknownFields = pb::UnknownFieldSet.Clone(other._unknownFields);
870 public const int VarsFieldNumber = 1;
871 private static readonly pb::FieldCodec<int> _repeated_vars_codec
872 = pb::FieldCodec.ForInt32(10);
873 private readonly pbc::RepeatedField<int> vars_ =
new pbc::RepeatedField<int>();
875 public pbc::RepeatedField<int> Vars {
876 get {
return vars_; }
880 public const int CoeffsFieldNumber = 2;
881 private static readonly pb::FieldCodec<long> _repeated_coeffs_codec
882 = pb::FieldCodec.ForInt64(18);
883 private readonly pbc::RepeatedField<long> coeffs_ =
new pbc::RepeatedField<long>();
885 public pbc::RepeatedField<long> Coeffs {
886 get {
return coeffs_; }
890 public const int OffsetFieldNumber = 3;
891 private long offset_;
894 get {
return offset_; }
901 public override bool Equals(
object other) {
907 if (ReferenceEquals(other,
null)) {
910 if (ReferenceEquals(other,
this)) {
913 if(!vars_.Equals(other.vars_))
return false;
914 if(!coeffs_.Equals(other.coeffs_))
return false;
915 if (Offset != other.
Offset)
return false;
916 return Equals(_unknownFields, other._unknownFields);
922 hash ^= vars_.GetHashCode();
923 hash ^= coeffs_.GetHashCode();
924 if (Offset != 0L) hash ^= Offset.GetHashCode();
925 if (_unknownFields !=
null) {
926 hash ^= _unknownFields.GetHashCode();
933 return pb::JsonFormatter.ToDiagnosticString(
this);
937 public void WriteTo(pb::CodedOutputStream output) {
938 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
939 output.WriteRawMessage(
this);
941 vars_.WriteTo(output, _repeated_vars_codec);
942 coeffs_.WriteTo(output, _repeated_coeffs_codec);
944 output.WriteRawTag(24);
945 output.WriteInt64(Offset);
947 if (_unknownFields !=
null) {
948 _unknownFields.WriteTo(output);
953 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
955 void pb::IBufferMessage.InternalWriteTo(ref pb::WriteContext output) {
956 vars_.WriteTo(ref output, _repeated_vars_codec);
957 coeffs_.WriteTo(ref output, _repeated_coeffs_codec);
959 output.WriteRawTag(24);
960 output.WriteInt64(Offset);
962 if (_unknownFields !=
null) {
963 _unknownFields.WriteTo(ref output);
971 size += vars_.CalculateSize(_repeated_vars_codec);
972 size += coeffs_.CalculateSize(_repeated_coeffs_codec);
974 size += 1 + pb::CodedOutputStream.ComputeInt64Size(Offset);
976 if (_unknownFields !=
null) {
977 size += _unknownFields.CalculateSize();
987 vars_.Add(other.vars_);
988 coeffs_.Add(other.coeffs_);
992 _unknownFields = pb::UnknownFieldSet.MergeFrom(_unknownFields, other._unknownFields);
997 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
998 input.ReadRawMessage(
this);
1001 while ((tag = input.ReadTag()) != 0) {
1004 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, input);
1008 vars_.AddEntriesFrom(input, _repeated_vars_codec);
1013 coeffs_.AddEntriesFrom(input, _repeated_coeffs_codec);
1017 Offset = input.ReadInt64();
1025 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
1027 void pb::IBufferMessage.InternalMergeFrom(ref pb::ParseContext input) {
1029 while ((tag = input.ReadTag()) != 0) {
1032 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, ref input);
1036 vars_.AddEntriesFrom(ref input, _repeated_vars_codec);
1041 coeffs_.AddEntriesFrom(ref input, _repeated_coeffs_codec);
1045 Offset = input.ReadInt64();
1056 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
1057 , pb::IBufferMessage
1060 private static readonly pb::MessageParser<LinearArgumentProto> _parser =
new pb::MessageParser<LinearArgumentProto>(() =>
new LinearArgumentProto());
1061 private pb::UnknownFieldSet _unknownFields;
1063 public static pb::MessageParser<LinearArgumentProto> Parser {
get {
return _parser; } }
1066 public static pbr::MessageDescriptor Descriptor {
1067 get {
return global::Google.OrTools.Sat.CpModelReflection.Descriptor.MessageTypes[4]; }
1071 pbr::MessageDescriptor pb::IMessage.Descriptor {
1072 get {
return Descriptor; }
1080 partial
void OnConstruction();
1084 target_ = other.target_ !=
null ? other.target_.
Clone() :
null;
1085 exprs_ = other.exprs_.Clone();
1086 _unknownFields = pb::UnknownFieldSet.Clone(other._unknownFields);
1095 public const int TargetFieldNumber = 1;
1096 private global::Google.OrTools.Sat.LinearExpressionProto target_;
1098 public global::Google.OrTools.Sat.LinearExpressionProto Target {
1099 get {
return target_; }
1106 public const int ExprsFieldNumber = 2;
1107 private static readonly pb::FieldCodec<global::Google.OrTools.Sat.LinearExpressionProto> _repeated_exprs_codec
1108 = pb::FieldCodec.ForMessage(18, global::Google.OrTools.Sat.LinearExpressionProto.Parser);
1109 private readonly pbc::RepeatedField<global::Google.OrTools.Sat.LinearExpressionProto> exprs_ =
new pbc::RepeatedField<global::Google.OrTools.Sat.LinearExpressionProto>();
1111 public pbc::RepeatedField<global::Google.OrTools.Sat.LinearExpressionProto> Exprs {
1112 get {
return exprs_; }
1122 if (ReferenceEquals(other,
null)) {
1125 if (ReferenceEquals(other,
this)) {
1128 if (!
object.Equals(Target, other.
Target))
return false;
1129 if(!exprs_.Equals(other.exprs_))
return false;
1130 return Equals(_unknownFields, other._unknownFields);
1136 if (target_ !=
null) hash ^= Target.GetHashCode();
1137 hash ^= exprs_.GetHashCode();
1138 if (_unknownFields !=
null) {
1139 hash ^= _unknownFields.GetHashCode();
1146 return pb::JsonFormatter.ToDiagnosticString(
this);
1150 public void WriteTo(pb::CodedOutputStream output) {
1151 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
1152 output.WriteRawMessage(
this);
1154 if (target_ !=
null) {
1155 output.WriteRawTag(10);
1156 output.WriteMessage(Target);
1158 exprs_.WriteTo(output, _repeated_exprs_codec);
1159 if (_unknownFields !=
null) {
1160 _unknownFields.WriteTo(output);
1165 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
1167 void pb::IBufferMessage.InternalWriteTo(ref pb::WriteContext output) {
1168 if (target_ !=
null) {
1169 output.WriteRawTag(10);
1170 output.WriteMessage(Target);
1172 exprs_.WriteTo(ref output, _repeated_exprs_codec);
1173 if (_unknownFields !=
null) {
1174 _unknownFields.WriteTo(ref output);
1182 if (target_ !=
null) {
1183 size += 1 + pb::CodedOutputStream.ComputeMessageSize(Target);
1185 size += exprs_.CalculateSize(_repeated_exprs_codec);
1186 if (_unknownFields !=
null) {
1187 size += _unknownFields.CalculateSize();
1194 if (other ==
null) {
1197 if (other.target_ !=
null) {
1198 if (target_ ==
null) {
1199 Target =
new global::Google.OrTools.Sat.LinearExpressionProto();
1201 Target.MergeFrom(other.
Target);
1203 exprs_.Add(other.exprs_);
1204 _unknownFields = pb::UnknownFieldSet.MergeFrom(_unknownFields, other._unknownFields);
1209 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
1210 input.ReadRawMessage(
this);
1213 while ((tag = input.ReadTag()) != 0) {
1216 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, input);
1219 if (target_ ==
null) {
1220 Target =
new global::Google.OrTools.Sat.LinearExpressionProto();
1222 input.ReadMessage(Target);
1226 exprs_.AddEntriesFrom(input, _repeated_exprs_codec);
1234 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
1236 void pb::IBufferMessage.InternalMergeFrom(ref pb::ParseContext input) {
1238 while ((tag = input.ReadTag()) != 0) {
1241 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, ref input);
1244 if (target_ ==
null) {
1245 Target =
new global::Google.OrTools.Sat.LinearExpressionProto();
1247 input.ReadMessage(Target);
1251 exprs_.AddEntriesFrom(ref input, _repeated_exprs_codec);
1265 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
1266 , pb::IBufferMessage
1269 private static readonly pb::MessageParser<AllDifferentConstraintProto> _parser =
new pb::MessageParser<AllDifferentConstraintProto>(() =>
new AllDifferentConstraintProto());
1270 private pb::UnknownFieldSet _unknownFields;
1272 public static pb::MessageParser<AllDifferentConstraintProto> Parser {
get {
return _parser; } }
1275 public static pbr::MessageDescriptor Descriptor {
1276 get {
return global::Google.OrTools.Sat.CpModelReflection.Descriptor.MessageTypes[5]; }
1280 pbr::MessageDescriptor pb::IMessage.Descriptor {
1281 get {
return Descriptor; }
1289 partial
void OnConstruction();
1293 vars_ = other.vars_.Clone();
1294 _unknownFields = pb::UnknownFieldSet.Clone(other._unknownFields);
1303 public const int VarsFieldNumber = 1;
1304 private static readonly pb::FieldCodec<int> _repeated_vars_codec
1305 = pb::FieldCodec.ForInt32(10);
1306 private readonly pbc::RepeatedField<int> vars_ =
new pbc::RepeatedField<int>();
1308 public pbc::RepeatedField<int> Vars {
1309 get {
return vars_; }
1319 if (ReferenceEquals(other,
null)) {
1322 if (ReferenceEquals(other,
this)) {
1325 if(!vars_.Equals(other.vars_))
return false;
1326 return Equals(_unknownFields, other._unknownFields);
1332 hash ^= vars_.GetHashCode();
1333 if (_unknownFields !=
null) {
1334 hash ^= _unknownFields.GetHashCode();
1341 return pb::JsonFormatter.ToDiagnosticString(
this);
1345 public void WriteTo(pb::CodedOutputStream output) {
1346 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
1347 output.WriteRawMessage(
this);
1349 vars_.WriteTo(output, _repeated_vars_codec);
1350 if (_unknownFields !=
null) {
1351 _unknownFields.WriteTo(output);
1356 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
1358 void pb::IBufferMessage.InternalWriteTo(ref pb::WriteContext output) {
1359 vars_.WriteTo(ref output, _repeated_vars_codec);
1360 if (_unknownFields !=
null) {
1361 _unknownFields.WriteTo(ref output);
1369 size += vars_.CalculateSize(_repeated_vars_codec);
1370 if (_unknownFields !=
null) {
1371 size += _unknownFields.CalculateSize();
1378 if (other ==
null) {
1381 vars_.Add(other.vars_);
1382 _unknownFields = pb::UnknownFieldSet.MergeFrom(_unknownFields, other._unknownFields);
1387 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
1388 input.ReadRawMessage(
this);
1391 while ((tag = input.ReadTag()) != 0) {
1394 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, input);
1398 vars_.AddEntriesFrom(input, _repeated_vars_codec);
1406 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
1408 void pb::IBufferMessage.InternalMergeFrom(ref pb::ParseContext input) {
1410 while ((tag = input.ReadTag()) != 0) {
1413 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, ref input);
1417 vars_.AddEntriesFrom(ref input, _repeated_vars_codec);
1436 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
1437 , pb::IBufferMessage
1440 private static readonly pb::MessageParser<LinearConstraintProto> _parser =
new pb::MessageParser<LinearConstraintProto>(() =>
new LinearConstraintProto());
1441 private pb::UnknownFieldSet _unknownFields;
1443 public static pb::MessageParser<LinearConstraintProto> Parser {
get {
return _parser; } }
1446 public static pbr::MessageDescriptor Descriptor {
1447 get {
return global::Google.OrTools.Sat.CpModelReflection.Descriptor.MessageTypes[6]; }
1451 pbr::MessageDescriptor pb::IMessage.Descriptor {
1452 get {
return Descriptor; }
1460 partial
void OnConstruction();
1464 vars_ = other.vars_.Clone();
1465 coeffs_ = other.coeffs_.Clone();
1466 domain_ = other.domain_.Clone();
1467 _unknownFields = pb::UnknownFieldSet.Clone(other._unknownFields);
1476 public const int VarsFieldNumber = 1;
1477 private static readonly pb::FieldCodec<int> _repeated_vars_codec
1478 = pb::FieldCodec.ForInt32(10);
1479 private readonly pbc::RepeatedField<int> vars_ =
new pbc::RepeatedField<int>();
1481 public pbc::RepeatedField<int> Vars {
1482 get {
return vars_; }
1486 public const int CoeffsFieldNumber = 2;
1487 private static readonly pb::FieldCodec<long> _repeated_coeffs_codec
1488 = pb::FieldCodec.ForInt64(18);
1489 private readonly pbc::RepeatedField<long> coeffs_ =
new pbc::RepeatedField<long>();
1494 public pbc::RepeatedField<long> Coeffs {
1495 get {
return coeffs_; }
1499 public const int DomainFieldNumber = 3;
1500 private static readonly pb::FieldCodec<long> _repeated_domain_codec
1501 = pb::FieldCodec.ForInt64(26);
1502 private readonly pbc::RepeatedField<long> domain_ =
new pbc::RepeatedField<long>();
1505 get {
return domain_; }
1515 if (ReferenceEquals(other,
null)) {
1518 if (ReferenceEquals(other,
this)) {
1521 if(!vars_.Equals(other.vars_))
return false;
1522 if(!coeffs_.Equals(other.coeffs_))
return false;
1523 if(!domain_.Equals(other.domain_))
return false;
1524 return Equals(_unknownFields, other._unknownFields);
1530 hash ^= vars_.GetHashCode();
1531 hash ^= coeffs_.GetHashCode();
1532 hash ^= domain_.GetHashCode();
1533 if (_unknownFields !=
null) {
1534 hash ^= _unknownFields.GetHashCode();
1541 return pb::JsonFormatter.ToDiagnosticString(
this);
1545 public void WriteTo(pb::CodedOutputStream output) {
1546 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
1547 output.WriteRawMessage(
this);
1549 vars_.WriteTo(output, _repeated_vars_codec);
1550 coeffs_.WriteTo(output, _repeated_coeffs_codec);
1551 domain_.WriteTo(output, _repeated_domain_codec);
1552 if (_unknownFields !=
null) {
1553 _unknownFields.WriteTo(output);
1558 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
1560 void pb::IBufferMessage.InternalWriteTo(ref pb::WriteContext output) {
1561 vars_.WriteTo(ref output, _repeated_vars_codec);
1562 coeffs_.WriteTo(ref output, _repeated_coeffs_codec);
1563 domain_.WriteTo(ref output, _repeated_domain_codec);
1564 if (_unknownFields !=
null) {
1565 _unknownFields.WriteTo(ref output);
1573 size += vars_.CalculateSize(_repeated_vars_codec);
1574 size += coeffs_.CalculateSize(_repeated_coeffs_codec);
1575 size += domain_.CalculateSize(_repeated_domain_codec);
1576 if (_unknownFields !=
null) {
1577 size += _unknownFields.CalculateSize();
1584 if (other ==
null) {
1587 vars_.Add(other.vars_);
1588 coeffs_.Add(other.coeffs_);
1589 domain_.Add(other.domain_);
1590 _unknownFields = pb::UnknownFieldSet.MergeFrom(_unknownFields, other._unknownFields);
1595 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
1596 input.ReadRawMessage(
this);
1599 while ((tag = input.ReadTag()) != 0) {
1602 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, input);
1606 vars_.AddEntriesFrom(input, _repeated_vars_codec);
1611 coeffs_.AddEntriesFrom(input, _repeated_coeffs_codec);
1616 domain_.AddEntriesFrom(input, _repeated_domain_codec);
1624 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
1626 void pb::IBufferMessage.InternalMergeFrom(ref pb::ParseContext input) {
1628 while ((tag = input.ReadTag()) != 0) {
1631 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, ref input);
1635 vars_.AddEntriesFrom(ref input, _repeated_vars_codec);
1640 coeffs_.AddEntriesFrom(ref input, _repeated_coeffs_codec);
1645 domain_.AddEntriesFrom(ref input, _repeated_domain_codec);
1660 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
1661 , pb::IBufferMessage
1664 private static readonly pb::MessageParser<ElementConstraintProto> _parser =
new pb::MessageParser<ElementConstraintProto>(() =>
new ElementConstraintProto());
1665 private pb::UnknownFieldSet _unknownFields;
1667 public static pb::MessageParser<ElementConstraintProto> Parser {
get {
return _parser; } }
1670 public static pbr::MessageDescriptor Descriptor {
1671 get {
return global::Google.OrTools.Sat.CpModelReflection.Descriptor.MessageTypes[7]; }
1675 pbr::MessageDescriptor pb::IMessage.Descriptor {
1676 get {
return Descriptor; }
1684 partial
void OnConstruction();
1688 index_ = other.index_;
1689 target_ = other.target_;
1690 vars_ = other.vars_.Clone();
1691 _unknownFields = pb::UnknownFieldSet.Clone(other._unknownFields);
1700 public const int IndexFieldNumber = 1;
1704 get {
return index_; }
1711 public const int TargetFieldNumber = 2;
1712 private int target_;
1715 get {
return target_; }
1722 public const int VarsFieldNumber = 3;
1723 private static readonly pb::FieldCodec<int> _repeated_vars_codec
1724 = pb::FieldCodec.ForInt32(26);
1725 private readonly pbc::RepeatedField<int> vars_ =
new pbc::RepeatedField<int>();
1727 public pbc::RepeatedField<int> Vars {
1728 get {
return vars_; }
1738 if (ReferenceEquals(other,
null)) {
1741 if (ReferenceEquals(other,
this)) {
1744 if (Index != other.
Index)
return false;
1745 if (Target != other.
Target)
return false;
1746 if(!vars_.Equals(other.vars_))
return false;
1747 return Equals(_unknownFields, other._unknownFields);
1753 if (Index != 0) hash ^= Index.GetHashCode();
1754 if (Target != 0) hash ^= Target.GetHashCode();
1755 hash ^= vars_.GetHashCode();
1756 if (_unknownFields !=
null) {
1757 hash ^= _unknownFields.GetHashCode();
1764 return pb::JsonFormatter.ToDiagnosticString(
this);
1768 public void WriteTo(pb::CodedOutputStream output) {
1769 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
1770 output.WriteRawMessage(
this);
1773 output.WriteRawTag(8);
1774 output.WriteInt32(Index);
1777 output.WriteRawTag(16);
1778 output.WriteInt32(Target);
1780 vars_.WriteTo(output, _repeated_vars_codec);
1781 if (_unknownFields !=
null) {
1782 _unknownFields.WriteTo(output);
1787 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
1789 void pb::IBufferMessage.InternalWriteTo(ref pb::WriteContext output) {
1791 output.WriteRawTag(8);
1792 output.WriteInt32(Index);
1795 output.WriteRawTag(16);
1796 output.WriteInt32(Target);
1798 vars_.WriteTo(ref output, _repeated_vars_codec);
1799 if (_unknownFields !=
null) {
1800 _unknownFields.WriteTo(ref output);
1809 size += 1 + pb::CodedOutputStream.ComputeInt32Size(Index);
1812 size += 1 + pb::CodedOutputStream.ComputeInt32Size(Target);
1814 size += vars_.CalculateSize(_repeated_vars_codec);
1815 if (_unknownFields !=
null) {
1816 size += _unknownFields.CalculateSize();
1823 if (other ==
null) {
1826 if (other.
Index != 0) {
1827 Index = other.
Index;
1832 vars_.Add(other.vars_);
1833 _unknownFields = pb::UnknownFieldSet.MergeFrom(_unknownFields, other._unknownFields);
1838 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
1839 input.ReadRawMessage(
this);
1842 while ((tag = input.ReadTag()) != 0) {
1845 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, input);
1848 Index = input.ReadInt32();
1852 Target = input.ReadInt32();
1857 vars_.AddEntriesFrom(input, _repeated_vars_codec);
1865 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
1867 void pb::IBufferMessage.InternalMergeFrom(ref pb::ParseContext input) {
1869 while ((tag = input.ReadTag()) != 0) {
1872 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, ref input);
1875 Index = input.ReadInt32();
1879 Target = input.ReadInt32();
1884 vars_.AddEntriesFrom(ref input, _repeated_vars_codec);
1899 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
1900 , pb::IBufferMessage
1903 private static readonly pb::MessageParser<IntervalConstraintProto> _parser =
new pb::MessageParser<IntervalConstraintProto>(() =>
new IntervalConstraintProto());
1904 private pb::UnknownFieldSet _unknownFields;
1906 public static pb::MessageParser<IntervalConstraintProto> Parser {
get {
return _parser; } }
1909 public static pbr::MessageDescriptor Descriptor {
1910 get {
return global::Google.OrTools.Sat.CpModelReflection.Descriptor.MessageTypes[8]; }
1914 pbr::MessageDescriptor pb::IMessage.Descriptor {
1915 get {
return Descriptor; }
1923 partial
void OnConstruction();
1927 start_ = other.start_;
1929 size_ = other.size_;
1930 _unknownFields = pb::UnknownFieldSet.Clone(other._unknownFields);
1939 public const int StartFieldNumber = 1;
1943 get {
return start_; }
1950 public const int EndFieldNumber = 2;
1954 get {
return end_; }
1961 public const int SizeFieldNumber = 3;
1965 get {
return size_; }
1978 if (ReferenceEquals(other,
null)) {
1981 if (ReferenceEquals(other,
this)) {
1984 if (Start != other.
Start)
return false;
1985 if (End != other.
End)
return false;
1986 if (Size != other.
Size)
return false;
1987 return Equals(_unknownFields, other._unknownFields);
1993 if (Start != 0) hash ^= Start.GetHashCode();
1994 if (End != 0) hash ^= End.GetHashCode();
1995 if (Size != 0) hash ^= Size.GetHashCode();
1996 if (_unknownFields !=
null) {
1997 hash ^= _unknownFields.GetHashCode();
2004 return pb::JsonFormatter.ToDiagnosticString(
this);
2008 public void WriteTo(pb::CodedOutputStream output) {
2009 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
2010 output.WriteRawMessage(
this);
2013 output.WriteRawTag(8);
2014 output.WriteInt32(Start);
2017 output.WriteRawTag(16);
2018 output.WriteInt32(End);
2021 output.WriteRawTag(24);
2022 output.WriteInt32(Size);
2024 if (_unknownFields !=
null) {
2025 _unknownFields.WriteTo(output);
2030 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
2032 void pb::IBufferMessage.InternalWriteTo(ref pb::WriteContext output) {
2034 output.WriteRawTag(8);
2035 output.WriteInt32(Start);
2038 output.WriteRawTag(16);
2039 output.WriteInt32(End);
2042 output.WriteRawTag(24);
2043 output.WriteInt32(Size);
2045 if (_unknownFields !=
null) {
2046 _unknownFields.WriteTo(ref output);
2055 size += 1 + pb::CodedOutputStream.ComputeInt32Size(Start);
2058 size += 1 + pb::CodedOutputStream.ComputeInt32Size(End);
2061 size += 1 + pb::CodedOutputStream.ComputeInt32Size(Size);
2063 if (_unknownFields !=
null) {
2064 size += _unknownFields.CalculateSize();
2071 if (other ==
null) {
2074 if (other.
Start != 0) {
2075 Start = other.
Start;
2077 if (other.
End != 0) {
2080 if (other.
Size != 0) {
2083 _unknownFields = pb::UnknownFieldSet.MergeFrom(_unknownFields, other._unknownFields);
2088 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
2089 input.ReadRawMessage(
this);
2092 while ((tag = input.ReadTag()) != 0) {
2095 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, input);
2098 Start = input.ReadInt32();
2102 End = input.ReadInt32();
2106 Size = input.ReadInt32();
2114 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
2116 void pb::IBufferMessage.InternalMergeFrom(ref pb::ParseContext input) {
2118 while ((tag = input.ReadTag()) != 0) {
2121 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, ref input);
2124 Start = input.ReadInt32();
2128 End = input.ReadInt32();
2132 Size = input.ReadInt32();
2150 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
2151 , pb::IBufferMessage
2154 private static readonly pb::MessageParser<NoOverlapConstraintProto> _parser =
new pb::MessageParser<NoOverlapConstraintProto>(() =>
new NoOverlapConstraintProto());
2155 private pb::UnknownFieldSet _unknownFields;
2157 public static pb::MessageParser<NoOverlapConstraintProto> Parser {
get {
return _parser; } }
2160 public static pbr::MessageDescriptor Descriptor {
2161 get {
return global::Google.OrTools.Sat.CpModelReflection.Descriptor.MessageTypes[9]; }
2165 pbr::MessageDescriptor pb::IMessage.Descriptor {
2166 get {
return Descriptor; }
2174 partial
void OnConstruction();
2178 intervals_ = other.intervals_.Clone();
2179 _unknownFields = pb::UnknownFieldSet.Clone(other._unknownFields);
2188 public const int IntervalsFieldNumber = 1;
2189 private static readonly pb::FieldCodec<int> _repeated_intervals_codec
2190 = pb::FieldCodec.ForInt32(10);
2191 private readonly pbc::RepeatedField<int> intervals_ =
new pbc::RepeatedField<int>();
2193 public pbc::RepeatedField<int> Intervals {
2194 get {
return intervals_; }
2204 if (ReferenceEquals(other,
null)) {
2207 if (ReferenceEquals(other,
this)) {
2210 if(!intervals_.Equals(other.intervals_))
return false;
2211 return Equals(_unknownFields, other._unknownFields);
2217 hash ^= intervals_.GetHashCode();
2218 if (_unknownFields !=
null) {
2219 hash ^= _unknownFields.GetHashCode();
2226 return pb::JsonFormatter.ToDiagnosticString(
this);
2230 public void WriteTo(pb::CodedOutputStream output) {
2231 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
2232 output.WriteRawMessage(
this);
2234 intervals_.WriteTo(output, _repeated_intervals_codec);
2235 if (_unknownFields !=
null) {
2236 _unknownFields.WriteTo(output);
2241 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
2243 void pb::IBufferMessage.InternalWriteTo(ref pb::WriteContext output) {
2244 intervals_.WriteTo(ref output, _repeated_intervals_codec);
2245 if (_unknownFields !=
null) {
2246 _unknownFields.WriteTo(ref output);
2254 size += intervals_.CalculateSize(_repeated_intervals_codec);
2255 if (_unknownFields !=
null) {
2256 size += _unknownFields.CalculateSize();
2263 if (other ==
null) {
2266 intervals_.Add(other.intervals_);
2267 _unknownFields = pb::UnknownFieldSet.MergeFrom(_unknownFields, other._unknownFields);
2272 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
2273 input.ReadRawMessage(
this);
2276 while ((tag = input.ReadTag()) != 0) {
2279 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, input);
2283 intervals_.AddEntriesFrom(input, _repeated_intervals_codec);
2291 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
2293 void pb::IBufferMessage.InternalMergeFrom(ref pb::ParseContext input) {
2295 while ((tag = input.ReadTag()) != 0) {
2298 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, ref input);
2302 intervals_.AddEntriesFrom(ref input, _repeated_intervals_codec);
2316 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
2317 , pb::IBufferMessage
2320 private static readonly pb::MessageParser<NoOverlap2DConstraintProto> _parser =
new pb::MessageParser<NoOverlap2DConstraintProto>(() =>
new NoOverlap2DConstraintProto());
2321 private pb::UnknownFieldSet _unknownFields;
2323 public static pb::MessageParser<NoOverlap2DConstraintProto> Parser {
get {
return _parser; } }
2326 public static pbr::MessageDescriptor Descriptor {
2327 get {
return global::Google.OrTools.Sat.CpModelReflection.Descriptor.MessageTypes[10]; }
2331 pbr::MessageDescriptor pb::IMessage.Descriptor {
2332 get {
return Descriptor; }
2340 partial
void OnConstruction();
2344 xIntervals_ = other.xIntervals_.Clone();
2345 yIntervals_ = other.yIntervals_.Clone();
2346 boxesWithNullAreaCanOverlap_ = other.boxesWithNullAreaCanOverlap_;
2347 _unknownFields = pb::UnknownFieldSet.Clone(other._unknownFields);
2356 public const int XIntervalsFieldNumber = 1;
2357 private static readonly pb::FieldCodec<int> _repeated_xIntervals_codec
2358 = pb::FieldCodec.ForInt32(10);
2359 private readonly pbc::RepeatedField<int> xIntervals_ =
new pbc::RepeatedField<int>();
2361 public pbc::RepeatedField<int> XIntervals {
2362 get {
return xIntervals_; }
2366 public const int YIntervalsFieldNumber = 2;
2367 private static readonly pb::FieldCodec<int> _repeated_yIntervals_codec
2368 = pb::FieldCodec.ForInt32(18);
2369 private readonly pbc::RepeatedField<int> yIntervals_ =
new pbc::RepeatedField<int>();
2374 public pbc::RepeatedField<int> YIntervals {
2375 get {
return yIntervals_; }
2379 public const int BoxesWithNullAreaCanOverlapFieldNumber = 3;
2380 private bool boxesWithNullAreaCanOverlap_;
2382 public bool BoxesWithNullAreaCanOverlap {
2383 get {
return boxesWithNullAreaCanOverlap_; }
2385 boxesWithNullAreaCanOverlap_ = value;
2396 if (ReferenceEquals(other,
null)) {
2399 if (ReferenceEquals(other,
this)) {
2402 if(!xIntervals_.Equals(other.xIntervals_))
return false;
2403 if(!yIntervals_.Equals(other.yIntervals_))
return false;
2405 return Equals(_unknownFields, other._unknownFields);
2411 hash ^= xIntervals_.GetHashCode();
2412 hash ^= yIntervals_.GetHashCode();
2413 if (BoxesWithNullAreaCanOverlap !=
false) hash ^= BoxesWithNullAreaCanOverlap.GetHashCode();
2414 if (_unknownFields !=
null) {
2415 hash ^= _unknownFields.GetHashCode();
2422 return pb::JsonFormatter.ToDiagnosticString(
this);
2426 public void WriteTo(pb::CodedOutputStream output) {
2427 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
2428 output.WriteRawMessage(
this);
2430 xIntervals_.WriteTo(output, _repeated_xIntervals_codec);
2431 yIntervals_.WriteTo(output, _repeated_yIntervals_codec);
2432 if (BoxesWithNullAreaCanOverlap !=
false) {
2433 output.WriteRawTag(24);
2434 output.WriteBool(BoxesWithNullAreaCanOverlap);
2436 if (_unknownFields !=
null) {
2437 _unknownFields.WriteTo(output);
2442 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
2444 void pb::IBufferMessage.InternalWriteTo(ref pb::WriteContext output) {
2445 xIntervals_.WriteTo(ref output, _repeated_xIntervals_codec);
2446 yIntervals_.WriteTo(ref output, _repeated_yIntervals_codec);
2447 if (BoxesWithNullAreaCanOverlap !=
false) {
2448 output.WriteRawTag(24);
2449 output.WriteBool(BoxesWithNullAreaCanOverlap);
2451 if (_unknownFields !=
null) {
2452 _unknownFields.WriteTo(ref output);
2460 size += xIntervals_.CalculateSize(_repeated_xIntervals_codec);
2461 size += yIntervals_.CalculateSize(_repeated_yIntervals_codec);
2462 if (BoxesWithNullAreaCanOverlap !=
false) {
2465 if (_unknownFields !=
null) {
2466 size += _unknownFields.CalculateSize();
2473 if (other ==
null) {
2476 xIntervals_.Add(other.xIntervals_);
2477 yIntervals_.Add(other.yIntervals_);
2481 _unknownFields = pb::UnknownFieldSet.MergeFrom(_unknownFields, other._unknownFields);
2486 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
2487 input.ReadRawMessage(
this);
2490 while ((tag = input.ReadTag()) != 0) {
2493 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, input);
2497 xIntervals_.AddEntriesFrom(input, _repeated_xIntervals_codec);
2502 yIntervals_.AddEntriesFrom(input, _repeated_yIntervals_codec);
2506 BoxesWithNullAreaCanOverlap = input.ReadBool();
2514 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
2516 void pb::IBufferMessage.InternalMergeFrom(ref pb::ParseContext input) {
2518 while ((tag = input.ReadTag()) != 0) {
2521 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, ref input);
2525 xIntervals_.AddEntriesFrom(ref input, _repeated_xIntervals_codec);
2530 yIntervals_.AddEntriesFrom(ref input, _repeated_yIntervals_codec);
2534 BoxesWithNullAreaCanOverlap = input.ReadBool();
2551 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
2552 , pb::IBufferMessage
2555 private static readonly pb::MessageParser<CumulativeConstraintProto> _parser =
new pb::MessageParser<CumulativeConstraintProto>(() =>
new CumulativeConstraintProto());
2556 private pb::UnknownFieldSet _unknownFields;
2558 public static pb::MessageParser<CumulativeConstraintProto> Parser {
get {
return _parser; } }
2561 public static pbr::MessageDescriptor Descriptor {
2562 get {
return global::Google.OrTools.Sat.CpModelReflection.Descriptor.MessageTypes[11]; }
2566 pbr::MessageDescriptor pb::IMessage.Descriptor {
2567 get {
return Descriptor; }
2575 partial
void OnConstruction();
2579 capacity_ = other.capacity_;
2580 intervals_ = other.intervals_.Clone();
2581 demands_ = other.demands_.Clone();
2582 _unknownFields = pb::UnknownFieldSet.Clone(other._unknownFields);
2591 public const int CapacityFieldNumber = 1;
2592 private int capacity_;
2594 public int Capacity {
2595 get {
return capacity_; }
2602 public const int IntervalsFieldNumber = 2;
2603 private static readonly pb::FieldCodec<int> _repeated_intervals_codec
2604 = pb::FieldCodec.ForInt32(18);
2605 private readonly pbc::RepeatedField<int> intervals_ =
new pbc::RepeatedField<int>();
2607 public pbc::RepeatedField<int> Intervals {
2608 get {
return intervals_; }
2612 public const int DemandsFieldNumber = 3;
2613 private static readonly pb::FieldCodec<int> _repeated_demands_codec
2614 = pb::FieldCodec.ForInt32(26);
2615 private readonly pbc::RepeatedField<int> demands_ =
new pbc::RepeatedField<int>();
2620 public pbc::RepeatedField<int> Demands {
2621 get {
return demands_; }
2631 if (ReferenceEquals(other,
null)) {
2634 if (ReferenceEquals(other,
this)) {
2637 if (Capacity != other.
Capacity)
return false;
2638 if(!intervals_.Equals(other.intervals_))
return false;
2639 if(!demands_.Equals(other.demands_))
return false;
2640 return Equals(_unknownFields, other._unknownFields);
2646 if (Capacity != 0) hash ^= Capacity.GetHashCode();
2647 hash ^= intervals_.GetHashCode();
2648 hash ^= demands_.GetHashCode();
2649 if (_unknownFields !=
null) {
2650 hash ^= _unknownFields.GetHashCode();
2657 return pb::JsonFormatter.ToDiagnosticString(
this);
2661 public void WriteTo(pb::CodedOutputStream output) {
2662 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
2663 output.WriteRawMessage(
this);
2665 if (Capacity != 0) {
2666 output.WriteRawTag(8);
2667 output.WriteInt32(Capacity);
2669 intervals_.WriteTo(output, _repeated_intervals_codec);
2670 demands_.WriteTo(output, _repeated_demands_codec);
2671 if (_unknownFields !=
null) {
2672 _unknownFields.WriteTo(output);
2677 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
2679 void pb::IBufferMessage.InternalWriteTo(ref pb::WriteContext output) {
2680 if (Capacity != 0) {
2681 output.WriteRawTag(8);
2682 output.WriteInt32(Capacity);
2684 intervals_.WriteTo(ref output, _repeated_intervals_codec);
2685 demands_.WriteTo(ref output, _repeated_demands_codec);
2686 if (_unknownFields !=
null) {
2687 _unknownFields.WriteTo(ref output);
2695 if (Capacity != 0) {
2696 size += 1 + pb::CodedOutputStream.ComputeInt32Size(Capacity);
2698 size += intervals_.CalculateSize(_repeated_intervals_codec);
2699 size += demands_.CalculateSize(_repeated_demands_codec);
2700 if (_unknownFields !=
null) {
2701 size += _unknownFields.CalculateSize();
2708 if (other ==
null) {
2714 intervals_.Add(other.intervals_);
2715 demands_.Add(other.demands_);
2716 _unknownFields = pb::UnknownFieldSet.MergeFrom(_unknownFields, other._unknownFields);
2721 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
2722 input.ReadRawMessage(
this);
2725 while ((tag = input.ReadTag()) != 0) {
2728 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, input);
2731 Capacity = input.ReadInt32();
2736 intervals_.AddEntriesFrom(input, _repeated_intervals_codec);
2741 demands_.AddEntriesFrom(input, _repeated_demands_codec);
2749 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
2751 void pb::IBufferMessage.InternalMergeFrom(ref pb::ParseContext input) {
2753 while ((tag = input.ReadTag()) != 0) {
2756 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, ref input);
2759 Capacity = input.ReadInt32();
2764 intervals_.AddEntriesFrom(ref input, _repeated_intervals_codec);
2769 demands_.AddEntriesFrom(ref input, _repeated_demands_codec);
2796 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
2797 , pb::IBufferMessage
2800 private static readonly pb::MessageParser<ReservoirConstraintProto> _parser =
new pb::MessageParser<ReservoirConstraintProto>(() =>
new ReservoirConstraintProto());
2801 private pb::UnknownFieldSet _unknownFields;
2803 public static pb::MessageParser<ReservoirConstraintProto> Parser {
get {
return _parser; } }
2806 public static pbr::MessageDescriptor Descriptor {
2807 get {
return global::Google.OrTools.Sat.CpModelReflection.Descriptor.MessageTypes[12]; }
2811 pbr::MessageDescriptor pb::IMessage.Descriptor {
2812 get {
return Descriptor; }
2820 partial
void OnConstruction();
2824 minLevel_ = other.minLevel_;
2825 maxLevel_ = other.maxLevel_;
2826 times_ = other.times_.Clone();
2827 demands_ = other.demands_.Clone();
2828 actives_ = other.actives_.Clone();
2829 _unknownFields = pb::UnknownFieldSet.Clone(other._unknownFields);
2838 public const int MinLevelFieldNumber = 1;
2839 private long minLevel_;
2841 public long MinLevel {
2842 get {
return minLevel_; }
2849 public const int MaxLevelFieldNumber = 2;
2850 private long maxLevel_;
2852 public long MaxLevel {
2853 get {
return maxLevel_; }
2860 public const int TimesFieldNumber = 3;
2861 private static readonly pb::FieldCodec<int> _repeated_times_codec
2862 = pb::FieldCodec.ForInt32(26);
2863 private readonly pbc::RepeatedField<int> times_ =
new pbc::RepeatedField<int>();
2868 public pbc::RepeatedField<int> Times {
2869 get {
return times_; }
2873 public const int DemandsFieldNumber = 4;
2874 private static readonly pb::FieldCodec<long> _repeated_demands_codec
2875 = pb::FieldCodec.ForInt64(34);
2876 private readonly pbc::RepeatedField<long> demands_ =
new pbc::RepeatedField<long>();
2881 public pbc::RepeatedField<long> Demands {
2882 get {
return demands_; }
2886 public const int ActivesFieldNumber = 5;
2887 private static readonly pb::FieldCodec<int> _repeated_actives_codec
2888 = pb::FieldCodec.ForInt32(42);
2889 private readonly pbc::RepeatedField<int> actives_ =
new pbc::RepeatedField<int>();
2894 public pbc::RepeatedField<int> Actives {
2895 get {
return actives_; }
2905 if (ReferenceEquals(other,
null)) {
2908 if (ReferenceEquals(other,
this)) {
2911 if (MinLevel != other.
MinLevel)
return false;
2912 if (MaxLevel != other.
MaxLevel)
return false;
2913 if(!times_.Equals(other.times_))
return false;
2914 if(!demands_.Equals(other.demands_))
return false;
2915 if(!actives_.Equals(other.actives_))
return false;
2916 return Equals(_unknownFields, other._unknownFields);
2922 if (MinLevel != 0L) hash ^= MinLevel.GetHashCode();
2923 if (MaxLevel != 0L) hash ^= MaxLevel.GetHashCode();
2924 hash ^= times_.GetHashCode();
2925 hash ^= demands_.GetHashCode();
2926 hash ^= actives_.GetHashCode();
2927 if (_unknownFields !=
null) {
2928 hash ^= _unknownFields.GetHashCode();
2935 return pb::JsonFormatter.ToDiagnosticString(
this);
2939 public void WriteTo(pb::CodedOutputStream output) {
2940 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
2941 output.WriteRawMessage(
this);
2943 if (MinLevel != 0L) {
2944 output.WriteRawTag(8);
2945 output.WriteInt64(MinLevel);
2947 if (MaxLevel != 0L) {
2948 output.WriteRawTag(16);
2949 output.WriteInt64(MaxLevel);
2951 times_.WriteTo(output, _repeated_times_codec);
2952 demands_.WriteTo(output, _repeated_demands_codec);
2953 actives_.WriteTo(output, _repeated_actives_codec);
2954 if (_unknownFields !=
null) {
2955 _unknownFields.WriteTo(output);
2960 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
2962 void pb::IBufferMessage.InternalWriteTo(ref pb::WriteContext output) {
2963 if (MinLevel != 0L) {
2964 output.WriteRawTag(8);
2965 output.WriteInt64(MinLevel);
2967 if (MaxLevel != 0L) {
2968 output.WriteRawTag(16);
2969 output.WriteInt64(MaxLevel);
2971 times_.WriteTo(ref output, _repeated_times_codec);
2972 demands_.WriteTo(ref output, _repeated_demands_codec);
2973 actives_.WriteTo(ref output, _repeated_actives_codec);
2974 if (_unknownFields !=
null) {
2975 _unknownFields.WriteTo(ref output);
2983 if (MinLevel != 0L) {
2984 size += 1 + pb::CodedOutputStream.ComputeInt64Size(MinLevel);
2986 if (MaxLevel != 0L) {
2987 size += 1 + pb::CodedOutputStream.ComputeInt64Size(MaxLevel);
2989 size += times_.CalculateSize(_repeated_times_codec);
2990 size += demands_.CalculateSize(_repeated_demands_codec);
2991 size += actives_.CalculateSize(_repeated_actives_codec);
2992 if (_unknownFields !=
null) {
2993 size += _unknownFields.CalculateSize();
3000 if (other ==
null) {
3009 times_.Add(other.times_);
3010 demands_.Add(other.demands_);
3011 actives_.Add(other.actives_);
3012 _unknownFields = pb::UnknownFieldSet.MergeFrom(_unknownFields, other._unknownFields);
3017 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
3018 input.ReadRawMessage(
this);
3021 while ((tag = input.ReadTag()) != 0) {
3024 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, input);
3027 MinLevel = input.ReadInt64();
3031 MaxLevel = input.ReadInt64();
3036 times_.AddEntriesFrom(input, _repeated_times_codec);
3041 demands_.AddEntriesFrom(input, _repeated_demands_codec);
3046 actives_.AddEntriesFrom(input, _repeated_actives_codec);
3054 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
3056 void pb::IBufferMessage.InternalMergeFrom(ref pb::ParseContext input) {
3058 while ((tag = input.ReadTag()) != 0) {
3061 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, ref input);
3064 MinLevel = input.ReadInt64();
3068 MaxLevel = input.ReadInt64();
3073 times_.AddEntriesFrom(ref input, _repeated_times_codec);
3078 demands_.AddEntriesFrom(ref input, _repeated_demands_codec);
3083 actives_.AddEntriesFrom(ref input, _repeated_actives_codec);
3105 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
3106 , pb::IBufferMessage
3109 private static readonly pb::MessageParser<CircuitConstraintProto> _parser =
new pb::MessageParser<CircuitConstraintProto>(() =>
new CircuitConstraintProto());
3110 private pb::UnknownFieldSet _unknownFields;
3112 public static pb::MessageParser<CircuitConstraintProto> Parser {
get {
return _parser; } }
3115 public static pbr::MessageDescriptor Descriptor {
3116 get {
return global::Google.OrTools.Sat.CpModelReflection.Descriptor.MessageTypes[13]; }
3120 pbr::MessageDescriptor pb::IMessage.Descriptor {
3121 get {
return Descriptor; }
3129 partial
void OnConstruction();
3133 tails_ = other.tails_.Clone();
3134 heads_ = other.heads_.Clone();
3135 literals_ = other.literals_.Clone();
3136 _unknownFields = pb::UnknownFieldSet.Clone(other._unknownFields);
3145 public const int TailsFieldNumber = 3;
3146 private static readonly pb::FieldCodec<int> _repeated_tails_codec
3147 = pb::FieldCodec.ForInt32(26);
3148 private readonly pbc::RepeatedField<int> tails_ =
new pbc::RepeatedField<int>();
3150 public pbc::RepeatedField<int> Tails {
3151 get {
return tails_; }
3155 public const int HeadsFieldNumber = 4;
3156 private static readonly pb::FieldCodec<int> _repeated_heads_codec
3157 = pb::FieldCodec.ForInt32(34);
3158 private readonly pbc::RepeatedField<int> heads_ =
new pbc::RepeatedField<int>();
3160 public pbc::RepeatedField<int> Heads {
3161 get {
return heads_; }
3165 public const int LiteralsFieldNumber = 5;
3166 private static readonly pb::FieldCodec<int> _repeated_literals_codec
3167 = pb::FieldCodec.ForInt32(42);
3168 private readonly pbc::RepeatedField<int> literals_ =
new pbc::RepeatedField<int>();
3170 public pbc::RepeatedField<int> Literals {
3171 get {
return literals_; }
3181 if (ReferenceEquals(other,
null)) {
3184 if (ReferenceEquals(other,
this)) {
3187 if(!tails_.Equals(other.tails_))
return false;
3188 if(!heads_.Equals(other.heads_))
return false;
3189 if(!literals_.Equals(other.literals_))
return false;
3190 return Equals(_unknownFields, other._unknownFields);
3196 hash ^= tails_.GetHashCode();
3197 hash ^= heads_.GetHashCode();
3198 hash ^= literals_.GetHashCode();
3199 if (_unknownFields !=
null) {
3200 hash ^= _unknownFields.GetHashCode();
3207 return pb::JsonFormatter.ToDiagnosticString(
this);
3211 public void WriteTo(pb::CodedOutputStream output) {
3212 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
3213 output.WriteRawMessage(
this);
3215 tails_.WriteTo(output, _repeated_tails_codec);
3216 heads_.WriteTo(output, _repeated_heads_codec);
3217 literals_.WriteTo(output, _repeated_literals_codec);
3218 if (_unknownFields !=
null) {
3219 _unknownFields.WriteTo(output);
3224 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
3226 void pb::IBufferMessage.InternalWriteTo(ref pb::WriteContext output) {
3227 tails_.WriteTo(ref output, _repeated_tails_codec);
3228 heads_.WriteTo(ref output, _repeated_heads_codec);
3229 literals_.WriteTo(ref output, _repeated_literals_codec);
3230 if (_unknownFields !=
null) {
3231 _unknownFields.WriteTo(ref output);
3239 size += tails_.CalculateSize(_repeated_tails_codec);
3240 size += heads_.CalculateSize(_repeated_heads_codec);
3241 size += literals_.CalculateSize(_repeated_literals_codec);
3242 if (_unknownFields !=
null) {
3243 size += _unknownFields.CalculateSize();
3250 if (other ==
null) {
3253 tails_.Add(other.tails_);
3254 heads_.Add(other.heads_);
3255 literals_.Add(other.literals_);
3256 _unknownFields = pb::UnknownFieldSet.MergeFrom(_unknownFields, other._unknownFields);
3261 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
3262 input.ReadRawMessage(
this);
3265 while ((tag = input.ReadTag()) != 0) {
3268 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, input);
3272 tails_.AddEntriesFrom(input, _repeated_tails_codec);
3277 heads_.AddEntriesFrom(input, _repeated_heads_codec);
3282 literals_.AddEntriesFrom(input, _repeated_literals_codec);
3290 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
3292 void pb::IBufferMessage.InternalMergeFrom(ref pb::ParseContext input) {
3294 while ((tag = input.ReadTag()) != 0) {
3297 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, ref input);
3301 tails_.AddEntriesFrom(ref input, _repeated_tails_codec);
3306 heads_.AddEntriesFrom(ref input, _repeated_heads_codec);
3311 literals_.AddEntriesFrom(ref input, _repeated_literals_codec);
3339 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
3340 , pb::IBufferMessage
3343 private static readonly pb::MessageParser<RoutesConstraintProto> _parser =
new pb::MessageParser<RoutesConstraintProto>(() =>
new RoutesConstraintProto());
3344 private pb::UnknownFieldSet _unknownFields;
3346 public static pb::MessageParser<RoutesConstraintProto> Parser {
get {
return _parser; } }
3349 public static pbr::MessageDescriptor Descriptor {
3350 get {
return global::Google.OrTools.Sat.CpModelReflection.Descriptor.MessageTypes[14]; }
3354 pbr::MessageDescriptor pb::IMessage.Descriptor {
3355 get {
return Descriptor; }
3363 partial
void OnConstruction();
3367 tails_ = other.tails_.Clone();
3368 heads_ = other.heads_.Clone();
3369 literals_ = other.literals_.Clone();
3370 demands_ = other.demands_.Clone();
3371 capacity_ = other.capacity_;
3372 _unknownFields = pb::UnknownFieldSet.Clone(other._unknownFields);
3381 public const int TailsFieldNumber = 1;
3382 private static readonly pb::FieldCodec<int> _repeated_tails_codec
3383 = pb::FieldCodec.ForInt32(10);
3384 private readonly pbc::RepeatedField<int> tails_ =
new pbc::RepeatedField<int>();
3386 public pbc::RepeatedField<int> Tails {
3387 get {
return tails_; }
3391 public const int HeadsFieldNumber = 2;
3392 private static readonly pb::FieldCodec<int> _repeated_heads_codec
3393 = pb::FieldCodec.ForInt32(18);
3394 private readonly pbc::RepeatedField<int> heads_ =
new pbc::RepeatedField<int>();
3396 public pbc::RepeatedField<int> Heads {
3397 get {
return heads_; }
3401 public const int LiteralsFieldNumber = 3;
3402 private static readonly pb::FieldCodec<int> _repeated_literals_codec
3403 = pb::FieldCodec.ForInt32(26);
3404 private readonly pbc::RepeatedField<int> literals_ =
new pbc::RepeatedField<int>();
3406 public pbc::RepeatedField<int> Literals {
3407 get {
return literals_; }
3411 public const int DemandsFieldNumber = 4;
3412 private static readonly pb::FieldCodec<int> _repeated_demands_codec
3413 = pb::FieldCodec.ForInt32(34);
3414 private readonly pbc::RepeatedField<int> demands_ =
new pbc::RepeatedField<int>();
3421 public pbc::RepeatedField<int> Demands {
3422 get {
return demands_; }
3426 public const int CapacityFieldNumber = 5;
3427 private long capacity_;
3429 public long Capacity {
3430 get {
return capacity_; }
3443 if (ReferenceEquals(other,
null)) {
3446 if (ReferenceEquals(other,
this)) {
3449 if(!tails_.Equals(other.tails_))
return false;
3450 if(!heads_.Equals(other.heads_))
return false;
3451 if(!literals_.Equals(other.literals_))
return false;
3452 if(!demands_.Equals(other.demands_))
return false;
3453 if (Capacity != other.
Capacity)
return false;
3454 return Equals(_unknownFields, other._unknownFields);
3460 hash ^= tails_.GetHashCode();
3461 hash ^= heads_.GetHashCode();
3462 hash ^= literals_.GetHashCode();
3463 hash ^= demands_.GetHashCode();
3464 if (Capacity != 0L) hash ^= Capacity.GetHashCode();
3465 if (_unknownFields !=
null) {
3466 hash ^= _unknownFields.GetHashCode();
3473 return pb::JsonFormatter.ToDiagnosticString(
this);
3477 public void WriteTo(pb::CodedOutputStream output) {
3478 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
3479 output.WriteRawMessage(
this);
3481 tails_.WriteTo(output, _repeated_tails_codec);
3482 heads_.WriteTo(output, _repeated_heads_codec);
3483 literals_.WriteTo(output, _repeated_literals_codec);
3484 demands_.WriteTo(output, _repeated_demands_codec);
3485 if (Capacity != 0L) {
3486 output.WriteRawTag(40);
3487 output.WriteInt64(Capacity);
3489 if (_unknownFields !=
null) {
3490 _unknownFields.WriteTo(output);
3495 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
3497 void pb::IBufferMessage.InternalWriteTo(ref pb::WriteContext output) {
3498 tails_.WriteTo(ref output, _repeated_tails_codec);
3499 heads_.WriteTo(ref output, _repeated_heads_codec);
3500 literals_.WriteTo(ref output, _repeated_literals_codec);
3501 demands_.WriteTo(ref output, _repeated_demands_codec);
3502 if (Capacity != 0L) {
3503 output.WriteRawTag(40);
3504 output.WriteInt64(Capacity);
3506 if (_unknownFields !=
null) {
3507 _unknownFields.WriteTo(ref output);
3515 size += tails_.CalculateSize(_repeated_tails_codec);
3516 size += heads_.CalculateSize(_repeated_heads_codec);
3517 size += literals_.CalculateSize(_repeated_literals_codec);
3518 size += demands_.CalculateSize(_repeated_demands_codec);
3519 if (Capacity != 0L) {
3520 size += 1 + pb::CodedOutputStream.ComputeInt64Size(Capacity);
3522 if (_unknownFields !=
null) {
3523 size += _unknownFields.CalculateSize();
3530 if (other ==
null) {
3533 tails_.Add(other.tails_);
3534 heads_.Add(other.heads_);
3535 literals_.Add(other.literals_);
3536 demands_.Add(other.demands_);
3540 _unknownFields = pb::UnknownFieldSet.MergeFrom(_unknownFields, other._unknownFields);
3545 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
3546 input.ReadRawMessage(
this);
3549 while ((tag = input.ReadTag()) != 0) {
3552 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, input);
3556 tails_.AddEntriesFrom(input, _repeated_tails_codec);
3561 heads_.AddEntriesFrom(input, _repeated_heads_codec);
3566 literals_.AddEntriesFrom(input, _repeated_literals_codec);
3571 demands_.AddEntriesFrom(input, _repeated_demands_codec);
3575 Capacity = input.ReadInt64();
3583 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
3585 void pb::IBufferMessage.InternalMergeFrom(ref pb::ParseContext input) {
3587 while ((tag = input.ReadTag()) != 0) {
3590 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, ref input);
3594 tails_.AddEntriesFrom(ref input, _repeated_tails_codec);
3599 heads_.AddEntriesFrom(ref input, _repeated_heads_codec);
3604 literals_.AddEntriesFrom(ref input, _repeated_literals_codec);
3609 demands_.AddEntriesFrom(ref input, _repeated_demands_codec);
3613 Capacity = input.ReadInt64();
3629 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
3630 , pb::IBufferMessage
3633 private static readonly pb::MessageParser<TableConstraintProto> _parser =
new pb::MessageParser<TableConstraintProto>(() =>
new TableConstraintProto());
3634 private pb::UnknownFieldSet _unknownFields;
3636 public static pb::MessageParser<TableConstraintProto> Parser {
get {
return _parser; } }
3639 public static pbr::MessageDescriptor Descriptor {
3640 get {
return global::Google.OrTools.Sat.CpModelReflection.Descriptor.MessageTypes[15]; }
3644 pbr::MessageDescriptor pb::IMessage.Descriptor {
3645 get {
return Descriptor; }
3653 partial
void OnConstruction();
3657 vars_ = other.vars_.Clone();
3658 values_ = other.values_.Clone();
3659 negated_ = other.negated_;
3660 _unknownFields = pb::UnknownFieldSet.Clone(other._unknownFields);
3669 public const int VarsFieldNumber = 1;
3670 private static readonly pb::FieldCodec<int> _repeated_vars_codec
3671 = pb::FieldCodec.ForInt32(10);
3672 private readonly pbc::RepeatedField<int> vars_ =
new pbc::RepeatedField<int>();
3674 public pbc::RepeatedField<int> Vars {
3675 get {
return vars_; }
3679 public const int ValuesFieldNumber = 2;
3680 private static readonly pb::FieldCodec<long> _repeated_values_codec
3681 = pb::FieldCodec.ForInt64(18);
3682 private readonly pbc::RepeatedField<long> values_ =
new pbc::RepeatedField<long>();
3684 public pbc::RepeatedField<long> Values {
3685 get {
return values_; }
3689 public const int NegatedFieldNumber = 3;
3690 private bool negated_;
3696 public bool Negated {
3697 get {
return negated_; }
3710 if (ReferenceEquals(other,
null)) {
3713 if (ReferenceEquals(other,
this)) {
3716 if(!vars_.Equals(other.vars_))
return false;
3717 if(!values_.Equals(other.values_))
return false;
3718 if (Negated != other.
Negated)
return false;
3719 return Equals(_unknownFields, other._unknownFields);
3725 hash ^= vars_.GetHashCode();
3726 hash ^= values_.GetHashCode();
3727 if (Negated !=
false) hash ^= Negated.GetHashCode();
3728 if (_unknownFields !=
null) {
3729 hash ^= _unknownFields.GetHashCode();
3736 return pb::JsonFormatter.ToDiagnosticString(
this);
3740 public void WriteTo(pb::CodedOutputStream output) {
3741 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
3742 output.WriteRawMessage(
this);
3744 vars_.WriteTo(output, _repeated_vars_codec);
3745 values_.WriteTo(output, _repeated_values_codec);
3746 if (Negated !=
false) {
3747 output.WriteRawTag(24);
3748 output.WriteBool(Negated);
3750 if (_unknownFields !=
null) {
3751 _unknownFields.WriteTo(output);
3756 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
3758 void pb::IBufferMessage.InternalWriteTo(ref pb::WriteContext output) {
3759 vars_.WriteTo(ref output, _repeated_vars_codec);
3760 values_.WriteTo(ref output, _repeated_values_codec);
3761 if (Negated !=
false) {
3762 output.WriteRawTag(24);
3763 output.WriteBool(Negated);
3765 if (_unknownFields !=
null) {
3766 _unknownFields.WriteTo(ref output);
3774 size += vars_.CalculateSize(_repeated_vars_codec);
3775 size += values_.CalculateSize(_repeated_values_codec);
3776 if (Negated !=
false) {
3779 if (_unknownFields !=
null) {
3780 size += _unknownFields.CalculateSize();
3787 if (other ==
null) {
3790 vars_.Add(other.vars_);
3791 values_.Add(other.values_);
3795 _unknownFields = pb::UnknownFieldSet.MergeFrom(_unknownFields, other._unknownFields);
3800 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
3801 input.ReadRawMessage(
this);
3804 while ((tag = input.ReadTag()) != 0) {
3807 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, input);
3811 vars_.AddEntriesFrom(input, _repeated_vars_codec);
3816 values_.AddEntriesFrom(input, _repeated_values_codec);
3820 Negated = input.ReadBool();
3828 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
3830 void pb::IBufferMessage.InternalMergeFrom(ref pb::ParseContext input) {
3832 while ((tag = input.ReadTag()) != 0) {
3835 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, ref input);
3839 vars_.AddEntriesFrom(ref input, _repeated_vars_codec);
3844 values_.AddEntriesFrom(ref input, _repeated_values_codec);
3848 Negated = input.ReadBool();
3863 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
3864 , pb::IBufferMessage
3867 private static readonly pb::MessageParser<InverseConstraintProto> _parser =
new pb::MessageParser<InverseConstraintProto>(() =>
new InverseConstraintProto());
3868 private pb::UnknownFieldSet _unknownFields;
3870 public static pb::MessageParser<InverseConstraintProto> Parser {
get {
return _parser; } }
3873 public static pbr::MessageDescriptor Descriptor {
3874 get {
return global::Google.OrTools.Sat.CpModelReflection.Descriptor.MessageTypes[16]; }
3878 pbr::MessageDescriptor pb::IMessage.Descriptor {
3879 get {
return Descriptor; }
3887 partial
void OnConstruction();
3891 fDirect_ = other.fDirect_.Clone();
3892 fInverse_ = other.fInverse_.Clone();
3893 _unknownFields = pb::UnknownFieldSet.Clone(other._unknownFields);
3902 public const int FDirectFieldNumber = 1;
3903 private static readonly pb::FieldCodec<int> _repeated_fDirect_codec
3904 = pb::FieldCodec.ForInt32(10);
3905 private readonly pbc::RepeatedField<int> fDirect_ =
new pbc::RepeatedField<int>();
3907 public pbc::RepeatedField<int> FDirect {
3908 get {
return fDirect_; }
3912 public const int FInverseFieldNumber = 2;
3913 private static readonly pb::FieldCodec<int> _repeated_fInverse_codec
3914 = pb::FieldCodec.ForInt32(18);
3915 private readonly pbc::RepeatedField<int> fInverse_ =
new pbc::RepeatedField<int>();
3917 public pbc::RepeatedField<int> FInverse {
3918 get {
return fInverse_; }
3928 if (ReferenceEquals(other,
null)) {
3931 if (ReferenceEquals(other,
this)) {
3934 if(!fDirect_.Equals(other.fDirect_))
return false;
3935 if(!fInverse_.Equals(other.fInverse_))
return false;
3936 return Equals(_unknownFields, other._unknownFields);
3942 hash ^= fDirect_.GetHashCode();
3943 hash ^= fInverse_.GetHashCode();
3944 if (_unknownFields !=
null) {
3945 hash ^= _unknownFields.GetHashCode();
3952 return pb::JsonFormatter.ToDiagnosticString(
this);
3956 public void WriteTo(pb::CodedOutputStream output) {
3957 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
3958 output.WriteRawMessage(
this);
3960 fDirect_.WriteTo(output, _repeated_fDirect_codec);
3961 fInverse_.WriteTo(output, _repeated_fInverse_codec);
3962 if (_unknownFields !=
null) {
3963 _unknownFields.WriteTo(output);
3968 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
3970 void pb::IBufferMessage.InternalWriteTo(ref pb::WriteContext output) {
3971 fDirect_.WriteTo(ref output, _repeated_fDirect_codec);
3972 fInverse_.WriteTo(ref output, _repeated_fInverse_codec);
3973 if (_unknownFields !=
null) {
3974 _unknownFields.WriteTo(ref output);
3982 size += fDirect_.CalculateSize(_repeated_fDirect_codec);
3983 size += fInverse_.CalculateSize(_repeated_fInverse_codec);
3984 if (_unknownFields !=
null) {
3985 size += _unknownFields.CalculateSize();
3992 if (other ==
null) {
3995 fDirect_.Add(other.fDirect_);
3996 fInverse_.Add(other.fInverse_);
3997 _unknownFields = pb::UnknownFieldSet.MergeFrom(_unknownFields, other._unknownFields);
4002 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
4003 input.ReadRawMessage(
this);
4006 while ((tag = input.ReadTag()) != 0) {
4009 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, input);
4013 fDirect_.AddEntriesFrom(input, _repeated_fDirect_codec);
4018 fInverse_.AddEntriesFrom(input, _repeated_fInverse_codec);
4026 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
4028 void pb::IBufferMessage.InternalMergeFrom(ref pb::ParseContext input) {
4030 while ((tag = input.ReadTag()) != 0) {
4033 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, ref input);
4037 fDirect_.AddEntriesFrom(ref input, _repeated_fDirect_codec);
4042 fInverse_.AddEntriesFrom(ref input, _repeated_fInverse_codec);
4057 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
4058 , pb::IBufferMessage
4061 private static readonly pb::MessageParser<AutomatonConstraintProto> _parser =
new pb::MessageParser<AutomatonConstraintProto>(() =>
new AutomatonConstraintProto());
4062 private pb::UnknownFieldSet _unknownFields;
4064 public static pb::MessageParser<AutomatonConstraintProto> Parser {
get {
return _parser; } }
4067 public static pbr::MessageDescriptor Descriptor {
4068 get {
return global::Google.OrTools.Sat.CpModelReflection.Descriptor.MessageTypes[17]; }
4072 pbr::MessageDescriptor pb::IMessage.Descriptor {
4073 get {
return Descriptor; }
4081 partial
void OnConstruction();
4085 startingState_ = other.startingState_;
4086 finalStates_ = other.finalStates_.Clone();
4087 transitionTail_ = other.transitionTail_.Clone();
4088 transitionHead_ = other.transitionHead_.Clone();
4089 transitionLabel_ = other.transitionLabel_.Clone();
4090 vars_ = other.vars_.Clone();
4091 _unknownFields = pb::UnknownFieldSet.Clone(other._unknownFields);
4100 public const int StartingStateFieldNumber = 2;
4101 private long startingState_;
4108 public long StartingState {
4109 get {
return startingState_; }
4111 startingState_ = value;
4116 public const int FinalStatesFieldNumber = 3;
4117 private static readonly pb::FieldCodec<long> _repeated_finalStates_codec
4118 = pb::FieldCodec.ForInt64(26);
4119 private readonly pbc::RepeatedField<long> finalStates_ =
new pbc::RepeatedField<long>();
4121 public pbc::RepeatedField<long> FinalStates {
4122 get {
return finalStates_; }
4126 public const int TransitionTailFieldNumber = 4;
4127 private static readonly pb::FieldCodec<long> _repeated_transitionTail_codec
4128 = pb::FieldCodec.ForInt64(34);
4129 private readonly pbc::RepeatedField<long> transitionTail_ =
new pbc::RepeatedField<long>();
4136 public pbc::RepeatedField<long> TransitionTail {
4137 get {
return transitionTail_; }
4141 public const int TransitionHeadFieldNumber = 5;
4142 private static readonly pb::FieldCodec<long> _repeated_transitionHead_codec
4143 = pb::FieldCodec.ForInt64(42);
4144 private readonly pbc::RepeatedField<long> transitionHead_ =
new pbc::RepeatedField<long>();
4146 public pbc::RepeatedField<long> TransitionHead {
4147 get {
return transitionHead_; }
4151 public const int TransitionLabelFieldNumber = 6;
4152 private static readonly pb::FieldCodec<long> _repeated_transitionLabel_codec
4153 = pb::FieldCodec.ForInt64(50);
4154 private readonly pbc::RepeatedField<long> transitionLabel_ =
new pbc::RepeatedField<long>();
4156 public pbc::RepeatedField<long> TransitionLabel {
4157 get {
return transitionLabel_; }
4161 public const int VarsFieldNumber = 7;
4162 private static readonly pb::FieldCodec<int> _repeated_vars_codec
4163 = pb::FieldCodec.ForInt32(58);
4164 private readonly pbc::RepeatedField<int> vars_ =
new pbc::RepeatedField<int>();
4170 public pbc::RepeatedField<int> Vars {
4171 get {
return vars_; }
4181 if (ReferenceEquals(other,
null)) {
4184 if (ReferenceEquals(other,
this)) {
4188 if(!finalStates_.Equals(other.finalStates_))
return false;
4189 if(!transitionTail_.Equals(other.transitionTail_))
return false;
4190 if(!transitionHead_.Equals(other.transitionHead_))
return false;
4191 if(!transitionLabel_.Equals(other.transitionLabel_))
return false;
4192 if(!vars_.Equals(other.vars_))
return false;
4193 return Equals(_unknownFields, other._unknownFields);
4199 if (StartingState != 0L) hash ^= StartingState.GetHashCode();
4200 hash ^= finalStates_.GetHashCode();
4201 hash ^= transitionTail_.GetHashCode();
4202 hash ^= transitionHead_.GetHashCode();
4203 hash ^= transitionLabel_.GetHashCode();
4204 hash ^= vars_.GetHashCode();
4205 if (_unknownFields !=
null) {
4206 hash ^= _unknownFields.GetHashCode();
4213 return pb::JsonFormatter.ToDiagnosticString(
this);
4217 public void WriteTo(pb::CodedOutputStream output) {
4218 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
4219 output.WriteRawMessage(
this);
4221 if (StartingState != 0L) {
4222 output.WriteRawTag(16);
4223 output.WriteInt64(StartingState);
4225 finalStates_.WriteTo(output, _repeated_finalStates_codec);
4226 transitionTail_.WriteTo(output, _repeated_transitionTail_codec);
4227 transitionHead_.WriteTo(output, _repeated_transitionHead_codec);
4228 transitionLabel_.WriteTo(output, _repeated_transitionLabel_codec);
4229 vars_.WriteTo(output, _repeated_vars_codec);
4230 if (_unknownFields !=
null) {
4231 _unknownFields.WriteTo(output);
4236 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
4238 void pb::IBufferMessage.InternalWriteTo(ref pb::WriteContext output) {
4239 if (StartingState != 0L) {
4240 output.WriteRawTag(16);
4241 output.WriteInt64(StartingState);
4243 finalStates_.WriteTo(ref output, _repeated_finalStates_codec);
4244 transitionTail_.WriteTo(ref output, _repeated_transitionTail_codec);
4245 transitionHead_.WriteTo(ref output, _repeated_transitionHead_codec);
4246 transitionLabel_.WriteTo(ref output, _repeated_transitionLabel_codec);
4247 vars_.WriteTo(ref output, _repeated_vars_codec);
4248 if (_unknownFields !=
null) {
4249 _unknownFields.WriteTo(ref output);
4257 if (StartingState != 0L) {
4258 size += 1 + pb::CodedOutputStream.ComputeInt64Size(StartingState);
4260 size += finalStates_.CalculateSize(_repeated_finalStates_codec);
4261 size += transitionTail_.CalculateSize(_repeated_transitionTail_codec);
4262 size += transitionHead_.CalculateSize(_repeated_transitionHead_codec);
4263 size += transitionLabel_.CalculateSize(_repeated_transitionLabel_codec);
4264 size += vars_.CalculateSize(_repeated_vars_codec);
4265 if (_unknownFields !=
null) {
4266 size += _unknownFields.CalculateSize();
4273 if (other ==
null) {
4279 finalStates_.Add(other.finalStates_);
4280 transitionTail_.Add(other.transitionTail_);
4281 transitionHead_.Add(other.transitionHead_);
4282 transitionLabel_.Add(other.transitionLabel_);
4283 vars_.Add(other.vars_);
4284 _unknownFields = pb::UnknownFieldSet.MergeFrom(_unknownFields, other._unknownFields);
4289 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
4290 input.ReadRawMessage(
this);
4293 while ((tag = input.ReadTag()) != 0) {
4296 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, input);
4299 StartingState = input.ReadInt64();
4304 finalStates_.AddEntriesFrom(input, _repeated_finalStates_codec);
4309 transitionTail_.AddEntriesFrom(input, _repeated_transitionTail_codec);
4314 transitionHead_.AddEntriesFrom(input, _repeated_transitionHead_codec);
4319 transitionLabel_.AddEntriesFrom(input, _repeated_transitionLabel_codec);
4324 vars_.AddEntriesFrom(input, _repeated_vars_codec);
4332 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
4334 void pb::IBufferMessage.InternalMergeFrom(ref pb::ParseContext input) {
4336 while ((tag = input.ReadTag()) != 0) {
4339 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, ref input);
4342 StartingState = input.ReadInt64();
4347 finalStates_.AddEntriesFrom(ref input, _repeated_finalStates_codec);
4352 transitionTail_.AddEntriesFrom(ref input, _repeated_transitionTail_codec);
4357 transitionHead_.AddEntriesFrom(ref input, _repeated_transitionHead_codec);
4362 transitionLabel_.AddEntriesFrom(ref input, _repeated_transitionLabel_codec);
4367 vars_.AddEntriesFrom(ref input, _repeated_vars_codec);
4381 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
4382 , pb::IBufferMessage
4385 private static readonly pb::MessageParser<ConstraintProto> _parser =
new pb::MessageParser<ConstraintProto>(() =>
new ConstraintProto());
4386 private pb::UnknownFieldSet _unknownFields;
4388 public static pb::MessageParser<ConstraintProto> Parser {
get {
return _parser; } }
4391 public static pbr::MessageDescriptor Descriptor {
4392 get {
return global::Google.OrTools.Sat.CpModelReflection.Descriptor.MessageTypes[18]; }
4396 pbr::MessageDescriptor pb::IMessage.Descriptor {
4397 get {
return Descriptor; }
4405 partial
void OnConstruction();
4409 name_ = other.name_;
4410 enforcementLiteral_ = other.enforcementLiteral_.Clone();
4486 _unknownFields = pb::UnknownFieldSet.
Clone(other._unknownFields);
4495 public const int NameFieldNumber = 1;
4496 private string name_ =
"";
4501 public string Name {
4502 get {
return name_; }
4504 name_ = pb::ProtoPreconditions.CheckNotNull(value,
"value");
4509 public const int EnforcementLiteralFieldNumber = 2;
4510 private static readonly pb::FieldCodec<int> _repeated_enforcementLiteral_codec
4511 = pb::FieldCodec.ForInt32(18);
4512 private readonly pbc::RepeatedField<int> enforcementLiteral_ =
new pbc::RepeatedField<int>();
4530 public pbc::RepeatedField<int> EnforcementLiteral {
4531 get {
return enforcementLiteral_; }
4535 public const int BoolOrFieldNumber = 3;
4540 public global::Google.OrTools.Sat.BoolArgumentProto BoolOr {
4541 get {
return constraintCase_ ==
ConstraintOneofCase.BoolOr ? (global::Google.OrTools.Sat.BoolArgumentProto) constraint_ :
null; }
4543 constraint_ = value;
4549 public const int BoolAndFieldNumber = 4;
4558 public global::Google.OrTools.Sat.BoolArgumentProto BoolAnd {
4559 get {
return constraintCase_ ==
ConstraintOneofCase.BoolAnd ? (global::Google.OrTools.Sat.BoolArgumentProto) constraint_ :
null; }
4561 constraint_ = value;
4567 public const int AtMostOneFieldNumber = 26;
4576 public global::Google.OrTools.Sat.BoolArgumentProto AtMostOne {
4577 get {
return constraintCase_ ==
ConstraintOneofCase.AtMostOne ? (global::Google.OrTools.Sat.BoolArgumentProto) constraint_ :
null; }
4579 constraint_ = value;
4585 public const int BoolXorFieldNumber = 5;
4590 public global::Google.OrTools.Sat.BoolArgumentProto BoolXor {
4591 get {
return constraintCase_ ==
ConstraintOneofCase.BoolXor ? (global::Google.OrTools.Sat.BoolArgumentProto) constraint_ :
null; }
4593 constraint_ = value;
4599 public const int IntDivFieldNumber = 7;
4605 public global::Google.OrTools.Sat.IntegerArgumentProto IntDiv {
4606 get {
return constraintCase_ ==
ConstraintOneofCase.IntDiv ? (global::Google.OrTools.Sat.IntegerArgumentProto) constraint_ :
null; }
4608 constraint_ = value;
4614 public const int IntModFieldNumber = 8;
4620 public global::Google.OrTools.Sat.IntegerArgumentProto IntMod {
4621 get {
return constraintCase_ ==
ConstraintOneofCase.IntMod ? (global::Google.OrTools.Sat.IntegerArgumentProto) constraint_ :
null; }
4623 constraint_ = value;
4629 public const int IntMaxFieldNumber = 9;
4640 public global::Google.OrTools.Sat.IntegerArgumentProto IntMax {
4641 get {
return constraintCase_ ==
ConstraintOneofCase.IntMax ? (global::Google.OrTools.Sat.IntegerArgumentProto) constraint_ :
null; }
4643 constraint_ = value;
4649 public const int LinMaxFieldNumber = 27;
4651 public global::Google.OrTools.Sat.LinearArgumentProto LinMax {
4652 get {
return constraintCase_ ==
ConstraintOneofCase.LinMax ? (global::Google.OrTools.Sat.LinearArgumentProto) constraint_ :
null; }
4654 constraint_ = value;
4660 public const int IntMinFieldNumber = 10;
4671 public global::Google.OrTools.Sat.IntegerArgumentProto IntMin {
4672 get {
return constraintCase_ ==
ConstraintOneofCase.IntMin ? (global::Google.OrTools.Sat.IntegerArgumentProto) constraint_ :
null; }
4674 constraint_ = value;
4680 public const int LinMinFieldNumber = 28;
4682 public global::Google.OrTools.Sat.LinearArgumentProto LinMin {
4683 get {
return constraintCase_ ==
ConstraintOneofCase.LinMin ? (global::Google.OrTools.Sat.LinearArgumentProto) constraint_ :
null; }
4685 constraint_ = value;
4691 public const int IntProdFieldNumber = 11;
4699 public global::Google.OrTools.Sat.IntegerArgumentProto IntProd {
4700 get {
return constraintCase_ ==
ConstraintOneofCase.IntProd ? (global::Google.OrTools.Sat.IntegerArgumentProto) constraint_ :
null; }
4702 constraint_ = value;
4708 public const int LinearFieldNumber = 12;
4714 public global::Google.OrTools.Sat.LinearConstraintProto Linear {
4715 get {
return constraintCase_ ==
ConstraintOneofCase.Linear ? (global::Google.OrTools.Sat.LinearConstraintProto) constraint_ :
null; }
4717 constraint_ = value;
4723 public const int AllDiffFieldNumber = 13;
4728 public global::Google.OrTools.Sat.AllDifferentConstraintProto AllDiff {
4729 get {
return constraintCase_ ==
ConstraintOneofCase.AllDiff ? (global::Google.OrTools.Sat.AllDifferentConstraintProto) constraint_ :
null; }
4731 constraint_ = value;
4737 public const int ElementFieldNumber = 14;
4743 public global::Google.OrTools.Sat.ElementConstraintProto Element {
4744 get {
return constraintCase_ ==
ConstraintOneofCase.Element ? (global::Google.OrTools.Sat.ElementConstraintProto) constraint_ :
null; }
4746 constraint_ = value;
4752 public const int CircuitFieldNumber = 15;
4758 public global::Google.OrTools.Sat.CircuitConstraintProto Circuit {
4759 get {
return constraintCase_ ==
ConstraintOneofCase.Circuit ? (global::Google.OrTools.Sat.CircuitConstraintProto) constraint_ :
null; }
4761 constraint_ = value;
4767 public const int RoutesFieldNumber = 23;
4772 public global::Google.OrTools.Sat.RoutesConstraintProto Routes {
4773 get {
return constraintCase_ ==
ConstraintOneofCase.Routes ? (global::Google.OrTools.Sat.RoutesConstraintProto) constraint_ :
null; }
4775 constraint_ = value;
4781 public const int TableFieldNumber = 16;
4787 public global::Google.OrTools.Sat.TableConstraintProto Table {
4788 get {
return constraintCase_ ==
ConstraintOneofCase.Table ? (global::Google.OrTools.Sat.TableConstraintProto) constraint_ :
null; }
4790 constraint_ = value;
4796 public const int AutomatonFieldNumber = 17;
4802 public global::Google.OrTools.Sat.AutomatonConstraintProto Automaton {
4803 get {
return constraintCase_ ==
ConstraintOneofCase.Automaton ? (global::Google.OrTools.Sat.AutomatonConstraintProto) constraint_ :
null; }
4805 constraint_ = value;
4811 public const int InverseFieldNumber = 18;
4817 public global::Google.OrTools.Sat.InverseConstraintProto Inverse {
4818 get {
return constraintCase_ ==
ConstraintOneofCase.Inverse ? (global::Google.OrTools.Sat.InverseConstraintProto) constraint_ :
null; }
4820 constraint_ = value;
4826 public const int ReservoirFieldNumber = 24;
4833 public global::Google.OrTools.Sat.ReservoirConstraintProto Reservoir {
4834 get {
return constraintCase_ ==
ConstraintOneofCase.Reservoir ? (global::Google.OrTools.Sat.ReservoirConstraintProto) constraint_ :
null; }
4836 constraint_ = value;
4842 public const int IntervalFieldNumber = 19;
4848 public global::Google.OrTools.Sat.IntervalConstraintProto Interval {
4849 get {
return constraintCase_ ==
ConstraintOneofCase.Interval ? (global::Google.OrTools.Sat.IntervalConstraintProto) constraint_ :
null; }
4851 constraint_ = value;
4857 public const int NoOverlapFieldNumber = 20;
4864 public global::Google.OrTools.Sat.NoOverlapConstraintProto NoOverlap {
4865 get {
return constraintCase_ ==
ConstraintOneofCase.NoOverlap ? (global::Google.OrTools.Sat.NoOverlapConstraintProto) constraint_ :
null; }
4867 constraint_ = value;
4873 public const int NoOverlap2DFieldNumber = 21;
4878 public global::Google.OrTools.Sat.NoOverlap2DConstraintProto NoOverlap2D {
4879 get {
return constraintCase_ ==
ConstraintOneofCase.NoOverlap2D ? (global::Google.OrTools.Sat.NoOverlap2DConstraintProto) constraint_ :
null; }
4881 constraint_ = value;
4887 public const int CumulativeFieldNumber = 22;
4894 public global::Google.OrTools.Sat.CumulativeConstraintProto Cumulative {
4895 get {
return constraintCase_ ==
ConstraintOneofCase.Cumulative ? (global::Google.OrTools.Sat.CumulativeConstraintProto) constraint_ :
null; }
4897 constraint_ = value;
4902 private object constraint_;
4931 private ConstraintOneofCase constraintCase_ = ConstraintOneofCase.None;
4934 get {
return constraintCase_; }
4950 if (ReferenceEquals(other,
null)) {
4953 if (ReferenceEquals(other,
this)) {
4956 if (Name != other.
Name)
return false;
4957 if(!enforcementLiteral_.Equals(other.enforcementLiteral_))
return false;
4958 if (!
object.Equals(BoolOr, other.
BoolOr))
return false;
4959 if (!
object.Equals(BoolAnd, other.
BoolAnd))
return false;
4960 if (!
object.Equals(AtMostOne, other.
AtMostOne))
return false;
4961 if (!
object.Equals(BoolXor, other.
BoolXor))
return false;
4962 if (!
object.Equals(IntDiv, other.
IntDiv))
return false;
4963 if (!
object.Equals(IntMod, other.
IntMod))
return false;
4964 if (!
object.Equals(IntMax, other.
IntMax))
return false;
4965 if (!
object.Equals(LinMax, other.
LinMax))
return false;
4966 if (!
object.Equals(IntMin, other.
IntMin))
return false;
4967 if (!
object.Equals(LinMin, other.
LinMin))
return false;
4968 if (!
object.Equals(IntProd, other.
IntProd))
return false;
4969 if (!
object.Equals(Linear, other.
Linear))
return false;
4970 if (!
object.Equals(AllDiff, other.
AllDiff))
return false;
4971 if (!
object.Equals(Element, other.
Element))
return false;
4972 if (!
object.Equals(Circuit, other.
Circuit))
return false;
4973 if (!
object.Equals(Routes, other.
Routes))
return false;
4974 if (!
object.Equals(Table, other.
Table))
return false;
4975 if (!
object.Equals(Automaton, other.
Automaton))
return false;
4976 if (!
object.Equals(Inverse, other.
Inverse))
return false;
4977 if (!
object.Equals(Reservoir, other.
Reservoir))
return false;
4978 if (!
object.Equals(Interval, other.
Interval))
return false;
4979 if (!
object.Equals(NoOverlap, other.
NoOverlap))
return false;
4980 if (!
object.Equals(NoOverlap2D, other.
NoOverlap2D))
return false;
4981 if (!
object.Equals(Cumulative, other.
Cumulative))
return false;
4983 return Equals(_unknownFields, other._unknownFields);
4989 if (Name.Length != 0) hash ^= Name.GetHashCode();
4990 hash ^= enforcementLiteral_.GetHashCode();
5013 if (constraintCase_ ==
ConstraintOneofCase.NoOverlap2D) hash ^= NoOverlap2D.GetHashCode();
5015 hash ^= (int) constraintCase_;
5016 if (_unknownFields !=
null) {
5017 hash ^= _unknownFields.GetHashCode();
5024 return pb::JsonFormatter.ToDiagnosticString(
this);
5028 public void WriteTo(pb::CodedOutputStream output) {
5029 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
5030 output.WriteRawMessage(
this);
5032 if (Name.Length != 0) {
5033 output.WriteRawTag(10);
5034 output.WriteString(Name);
5036 enforcementLiteral_.WriteTo(output, _repeated_enforcementLiteral_codec);
5038 output.WriteRawTag(26);
5039 output.WriteMessage(BoolOr);
5042 output.WriteRawTag(34);
5043 output.WriteMessage(BoolAnd);
5046 output.WriteRawTag(42);
5047 output.WriteMessage(BoolXor);
5050 output.WriteRawTag(58);
5051 output.WriteMessage(IntDiv);
5054 output.WriteRawTag(66);
5055 output.WriteMessage(IntMod);
5058 output.WriteRawTag(74);
5059 output.WriteMessage(IntMax);
5062 output.WriteRawTag(82);
5063 output.WriteMessage(IntMin);
5066 output.WriteRawTag(90);
5067 output.WriteMessage(IntProd);
5070 output.WriteRawTag(98);
5071 output.WriteMessage(Linear);
5074 output.WriteRawTag(106);
5075 output.WriteMessage(AllDiff);
5078 output.WriteRawTag(114);
5079 output.WriteMessage(Element);
5082 output.WriteRawTag(122);
5083 output.WriteMessage(Circuit);
5086 output.WriteRawTag(130, 1);
5087 output.WriteMessage(Table);
5090 output.WriteRawTag(138, 1);
5091 output.WriteMessage(Automaton);
5094 output.WriteRawTag(146, 1);
5095 output.WriteMessage(Inverse);
5098 output.WriteRawTag(154, 1);
5099 output.WriteMessage(Interval);
5102 output.WriteRawTag(162, 1);
5103 output.WriteMessage(NoOverlap);
5106 output.WriteRawTag(170, 1);
5107 output.WriteMessage(NoOverlap2D);
5110 output.WriteRawTag(178, 1);
5111 output.WriteMessage(Cumulative);
5114 output.WriteRawTag(186, 1);
5115 output.WriteMessage(Routes);
5118 output.WriteRawTag(194, 1);
5119 output.WriteMessage(Reservoir);
5122 output.WriteRawTag(210, 1);
5123 output.WriteMessage(AtMostOne);
5126 output.WriteRawTag(218, 1);
5127 output.WriteMessage(LinMax);
5130 output.WriteRawTag(226, 1);
5131 output.WriteMessage(LinMin);
5133 if (_unknownFields !=
null) {
5134 _unknownFields.WriteTo(output);
5139 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
5141 void pb::IBufferMessage.InternalWriteTo(ref pb::WriteContext output) {
5142 if (Name.Length != 0) {
5143 output.WriteRawTag(10);
5144 output.WriteString(Name);
5146 enforcementLiteral_.WriteTo(ref output, _repeated_enforcementLiteral_codec);
5147 if (constraintCase_ == ConstraintOneofCase.BoolOr) {
5148 output.WriteRawTag(26);
5149 output.WriteMessage(BoolOr);
5151 if (constraintCase_ == ConstraintOneofCase.BoolAnd) {
5152 output.WriteRawTag(34);
5153 output.WriteMessage(BoolAnd);
5155 if (constraintCase_ == ConstraintOneofCase.BoolXor) {
5156 output.WriteRawTag(42);
5157 output.WriteMessage(BoolXor);
5159 if (constraintCase_ == ConstraintOneofCase.IntDiv) {
5160 output.WriteRawTag(58);
5161 output.WriteMessage(IntDiv);
5163 if (constraintCase_ == ConstraintOneofCase.IntMod) {
5164 output.WriteRawTag(66);
5165 output.WriteMessage(IntMod);
5167 if (constraintCase_ == ConstraintOneofCase.IntMax) {
5168 output.WriteRawTag(74);
5169 output.WriteMessage(IntMax);
5171 if (constraintCase_ == ConstraintOneofCase.IntMin) {
5172 output.WriteRawTag(82);
5173 output.WriteMessage(IntMin);
5175 if (constraintCase_ == ConstraintOneofCase.IntProd) {
5176 output.WriteRawTag(90);
5177 output.WriteMessage(IntProd);
5179 if (constraintCase_ == ConstraintOneofCase.Linear) {
5180 output.WriteRawTag(98);
5181 output.WriteMessage(Linear);
5183 if (constraintCase_ == ConstraintOneofCase.AllDiff) {
5184 output.WriteRawTag(106);
5185 output.WriteMessage(AllDiff);
5187 if (constraintCase_ == ConstraintOneofCase.Element) {
5188 output.WriteRawTag(114);
5189 output.WriteMessage(Element);
5191 if (constraintCase_ == ConstraintOneofCase.Circuit) {
5192 output.WriteRawTag(122);
5193 output.WriteMessage(Circuit);
5195 if (constraintCase_ == ConstraintOneofCase.Table) {
5196 output.WriteRawTag(130, 1);
5197 output.WriteMessage(Table);
5199 if (constraintCase_ == ConstraintOneofCase.Automaton) {
5200 output.WriteRawTag(138, 1);
5201 output.WriteMessage(Automaton);
5203 if (constraintCase_ == ConstraintOneofCase.Inverse) {
5204 output.WriteRawTag(146, 1);
5205 output.WriteMessage(Inverse);
5207 if (constraintCase_ == ConstraintOneofCase.Interval) {
5208 output.WriteRawTag(154, 1);
5209 output.WriteMessage(Interval);
5211 if (constraintCase_ == ConstraintOneofCase.NoOverlap) {
5212 output.WriteRawTag(162, 1);
5213 output.WriteMessage(NoOverlap);
5215 if (constraintCase_ == ConstraintOneofCase.NoOverlap2D) {
5216 output.WriteRawTag(170, 1);
5217 output.WriteMessage(NoOverlap2D);
5219 if (constraintCase_ == ConstraintOneofCase.Cumulative) {
5220 output.WriteRawTag(178, 1);
5221 output.WriteMessage(Cumulative);
5223 if (constraintCase_ == ConstraintOneofCase.Routes) {
5224 output.WriteRawTag(186, 1);
5225 output.WriteMessage(Routes);
5227 if (constraintCase_ == ConstraintOneofCase.Reservoir) {
5228 output.WriteRawTag(194, 1);
5229 output.WriteMessage(Reservoir);
5231 if (constraintCase_ == ConstraintOneofCase.AtMostOne) {
5232 output.WriteRawTag(210, 1);
5233 output.WriteMessage(AtMostOne);
5235 if (constraintCase_ == ConstraintOneofCase.LinMax) {
5236 output.WriteRawTag(218, 1);
5237 output.WriteMessage(LinMax);
5239 if (constraintCase_ == ConstraintOneofCase.LinMin) {
5240 output.WriteRawTag(226, 1);
5241 output.WriteMessage(LinMin);
5243 if (_unknownFields !=
null) {
5244 _unknownFields.WriteTo(ref output);
5252 if (Name.Length != 0) {
5253 size += 1 + pb::CodedOutputStream.ComputeStringSize(Name);
5255 size += enforcementLiteral_.CalculateSize(_repeated_enforcementLiteral_codec);
5257 size += 1 + pb::CodedOutputStream.ComputeMessageSize(BoolOr);
5260 size += 1 + pb::CodedOutputStream.ComputeMessageSize(BoolAnd);
5263 size += 2 + pb::CodedOutputStream.ComputeMessageSize(AtMostOne);
5266 size += 1 + pb::CodedOutputStream.ComputeMessageSize(BoolXor);
5269 size += 1 + pb::CodedOutputStream.ComputeMessageSize(IntDiv);
5272 size += 1 + pb::CodedOutputStream.ComputeMessageSize(IntMod);
5275 size += 1 + pb::CodedOutputStream.ComputeMessageSize(IntMax);
5278 size += 2 + pb::CodedOutputStream.ComputeMessageSize(LinMax);
5281 size += 1 + pb::CodedOutputStream.ComputeMessageSize(IntMin);
5284 size += 2 + pb::CodedOutputStream.ComputeMessageSize(LinMin);
5287 size += 1 + pb::CodedOutputStream.ComputeMessageSize(IntProd);
5290 size += 1 + pb::CodedOutputStream.ComputeMessageSize(Linear);
5293 size += 1 + pb::CodedOutputStream.ComputeMessageSize(AllDiff);
5296 size += 1 + pb::CodedOutputStream.ComputeMessageSize(Element);
5299 size += 1 + pb::CodedOutputStream.ComputeMessageSize(Circuit);
5302 size += 2 + pb::CodedOutputStream.ComputeMessageSize(Routes);
5305 size += 2 + pb::CodedOutputStream.ComputeMessageSize(Table);
5308 size += 2 + pb::CodedOutputStream.ComputeMessageSize(Automaton);
5311 size += 2 + pb::CodedOutputStream.ComputeMessageSize(Inverse);
5314 size += 2 + pb::CodedOutputStream.ComputeMessageSize(Reservoir);
5317 size += 2 + pb::CodedOutputStream.ComputeMessageSize(Interval);
5320 size += 2 + pb::CodedOutputStream.ComputeMessageSize(NoOverlap);
5323 size += 2 + pb::CodedOutputStream.ComputeMessageSize(NoOverlap2D);
5326 size += 2 + pb::CodedOutputStream.ComputeMessageSize(Cumulative);
5328 if (_unknownFields !=
null) {
5329 size += _unknownFields.CalculateSize();
5336 if (other ==
null) {
5339 if (other.
Name.Length != 0) {
5342 enforcementLiteral_.Add(other.enforcementLiteral_);
5345 if (BoolOr ==
null) {
5346 BoolOr =
new global::Google.OrTools.Sat.BoolArgumentProto();
5348 BoolOr.MergeFrom(other.
BoolOr);
5351 if (BoolAnd ==
null) {
5352 BoolAnd =
new global::Google.OrTools.Sat.BoolArgumentProto();
5354 BoolAnd.MergeFrom(other.
BoolAnd);
5357 if (AtMostOne ==
null) {
5358 AtMostOne =
new global::Google.OrTools.Sat.BoolArgumentProto();
5363 if (BoolXor ==
null) {
5364 BoolXor =
new global::Google.OrTools.Sat.BoolArgumentProto();
5366 BoolXor.MergeFrom(other.
BoolXor);
5369 if (IntDiv ==
null) {
5370 IntDiv =
new global::Google.OrTools.Sat.IntegerArgumentProto();
5372 IntDiv.MergeFrom(other.
IntDiv);
5375 if (IntMod ==
null) {
5376 IntMod =
new global::Google.OrTools.Sat.IntegerArgumentProto();
5378 IntMod.MergeFrom(other.
IntMod);
5381 if (IntMax ==
null) {
5382 IntMax =
new global::Google.OrTools.Sat.IntegerArgumentProto();
5384 IntMax.MergeFrom(other.
IntMax);
5387 if (LinMax ==
null) {
5388 LinMax =
new global::Google.OrTools.Sat.LinearArgumentProto();
5390 LinMax.MergeFrom(other.
LinMax);
5393 if (IntMin ==
null) {
5394 IntMin =
new global::Google.OrTools.Sat.IntegerArgumentProto();
5396 IntMin.MergeFrom(other.
IntMin);
5399 if (LinMin ==
null) {
5400 LinMin =
new global::Google.OrTools.Sat.LinearArgumentProto();
5402 LinMin.MergeFrom(other.
LinMin);
5405 if (IntProd ==
null) {
5406 IntProd =
new global::Google.OrTools.Sat.IntegerArgumentProto();
5408 IntProd.MergeFrom(other.
IntProd);
5411 if (Linear ==
null) {
5412 Linear =
new global::Google.OrTools.Sat.LinearConstraintProto();
5414 Linear.MergeFrom(other.
Linear);
5417 if (AllDiff ==
null) {
5418 AllDiff =
new global::Google.OrTools.Sat.AllDifferentConstraintProto();
5420 AllDiff.MergeFrom(other.
AllDiff);
5423 if (Element ==
null) {
5424 Element =
new global::Google.OrTools.Sat.ElementConstraintProto();
5426 Element.MergeFrom(other.
Element);
5429 if (Circuit ==
null) {
5430 Circuit =
new global::Google.OrTools.Sat.CircuitConstraintProto();
5432 Circuit.MergeFrom(other.
Circuit);
5435 if (Routes ==
null) {
5436 Routes =
new global::Google.OrTools.Sat.RoutesConstraintProto();
5438 Routes.MergeFrom(other.
Routes);
5441 if (Table ==
null) {
5442 Table =
new global::Google.OrTools.Sat.TableConstraintProto();
5444 Table.MergeFrom(other.
Table);
5447 if (Automaton ==
null) {
5448 Automaton =
new global::Google.OrTools.Sat.AutomatonConstraintProto();
5453 if (Inverse ==
null) {
5454 Inverse =
new global::Google.OrTools.Sat.InverseConstraintProto();
5456 Inverse.MergeFrom(other.
Inverse);
5459 if (Reservoir ==
null) {
5460 Reservoir =
new global::Google.OrTools.Sat.ReservoirConstraintProto();
5465 if (Interval ==
null) {
5466 Interval =
new global::Google.OrTools.Sat.IntervalConstraintProto();
5468 Interval.MergeFrom(other.
Interval);
5471 if (NoOverlap ==
null) {
5472 NoOverlap =
new global::Google.OrTools.Sat.NoOverlapConstraintProto();
5477 if (NoOverlap2D ==
null) {
5478 NoOverlap2D =
new global::Google.OrTools.Sat.NoOverlap2DConstraintProto();
5483 if (Cumulative ==
null) {
5484 Cumulative =
new global::Google.OrTools.Sat.CumulativeConstraintProto();
5490 _unknownFields = pb::UnknownFieldSet.MergeFrom(_unknownFields, other._unknownFields);
5495 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
5496 input.ReadRawMessage(
this);
5499 while ((tag = input.ReadTag()) != 0) {
5502 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, input);
5505 Name = input.ReadString();
5510 enforcementLiteral_.AddEntriesFrom(input, _repeated_enforcementLiteral_codec);
5514 global::Google.OrTools.Sat.BoolArgumentProto subBuilder =
new global::Google.OrTools.Sat.BoolArgumentProto();
5516 subBuilder.MergeFrom(BoolOr);
5518 input.ReadMessage(subBuilder);
5519 BoolOr = subBuilder;
5523 global::Google.OrTools.Sat.BoolArgumentProto subBuilder =
new global::Google.OrTools.Sat.BoolArgumentProto();
5525 subBuilder.MergeFrom(BoolAnd);
5527 input.ReadMessage(subBuilder);
5528 BoolAnd = subBuilder;
5532 global::Google.OrTools.Sat.BoolArgumentProto subBuilder =
new global::Google.OrTools.Sat.BoolArgumentProto();
5534 subBuilder.MergeFrom(BoolXor);
5536 input.ReadMessage(subBuilder);
5537 BoolXor = subBuilder;
5541 global::Google.OrTools.Sat.IntegerArgumentProto subBuilder =
new global::Google.OrTools.Sat.IntegerArgumentProto();
5543 subBuilder.MergeFrom(IntDiv);
5545 input.ReadMessage(subBuilder);
5546 IntDiv = subBuilder;
5550 global::Google.OrTools.Sat.IntegerArgumentProto subBuilder =
new global::Google.OrTools.Sat.IntegerArgumentProto();
5552 subBuilder.MergeFrom(IntMod);
5554 input.ReadMessage(subBuilder);
5555 IntMod = subBuilder;
5559 global::Google.OrTools.Sat.IntegerArgumentProto subBuilder =
new global::Google.OrTools.Sat.IntegerArgumentProto();
5561 subBuilder.MergeFrom(IntMax);
5563 input.ReadMessage(subBuilder);
5564 IntMax = subBuilder;
5568 global::Google.OrTools.Sat.IntegerArgumentProto subBuilder =
new global::Google.OrTools.Sat.IntegerArgumentProto();
5570 subBuilder.MergeFrom(IntMin);
5572 input.ReadMessage(subBuilder);
5573 IntMin = subBuilder;
5577 global::Google.OrTools.Sat.IntegerArgumentProto subBuilder =
new global::Google.OrTools.Sat.IntegerArgumentProto();
5579 subBuilder.MergeFrom(IntProd);
5581 input.ReadMessage(subBuilder);
5582 IntProd = subBuilder;
5586 global::Google.OrTools.Sat.LinearConstraintProto subBuilder =
new global::Google.OrTools.Sat.LinearConstraintProto();
5588 subBuilder.MergeFrom(Linear);
5590 input.ReadMessage(subBuilder);
5591 Linear = subBuilder;
5595 global::Google.OrTools.Sat.AllDifferentConstraintProto subBuilder =
new global::Google.OrTools.Sat.AllDifferentConstraintProto();
5597 subBuilder.MergeFrom(AllDiff);
5599 input.ReadMessage(subBuilder);
5600 AllDiff = subBuilder;
5604 global::Google.OrTools.Sat.ElementConstraintProto subBuilder =
new global::Google.OrTools.Sat.ElementConstraintProto();
5606 subBuilder.MergeFrom(Element);
5608 input.ReadMessage(subBuilder);
5609 Element = subBuilder;
5613 global::Google.OrTools.Sat.CircuitConstraintProto subBuilder =
new global::Google.OrTools.Sat.CircuitConstraintProto();
5615 subBuilder.MergeFrom(Circuit);
5617 input.ReadMessage(subBuilder);
5618 Circuit = subBuilder;
5622 global::Google.OrTools.Sat.TableConstraintProto subBuilder =
new global::Google.OrTools.Sat.TableConstraintProto();
5624 subBuilder.MergeFrom(Table);
5626 input.ReadMessage(subBuilder);
5631 global::Google.OrTools.Sat.AutomatonConstraintProto subBuilder =
new global::Google.OrTools.Sat.AutomatonConstraintProto();
5633 subBuilder.MergeFrom(Automaton);
5635 input.ReadMessage(subBuilder);
5636 Automaton = subBuilder;
5640 global::Google.OrTools.Sat.InverseConstraintProto subBuilder =
new global::Google.OrTools.Sat.InverseConstraintProto();
5642 subBuilder.MergeFrom(Inverse);
5644 input.ReadMessage(subBuilder);
5645 Inverse = subBuilder;
5649 global::Google.OrTools.Sat.IntervalConstraintProto subBuilder =
new global::Google.OrTools.Sat.IntervalConstraintProto();
5651 subBuilder.MergeFrom(Interval);
5653 input.ReadMessage(subBuilder);
5654 Interval = subBuilder;
5658 global::Google.OrTools.Sat.NoOverlapConstraintProto subBuilder =
new global::Google.OrTools.Sat.NoOverlapConstraintProto();
5660 subBuilder.MergeFrom(NoOverlap);
5662 input.ReadMessage(subBuilder);
5663 NoOverlap = subBuilder;
5667 global::Google.OrTools.Sat.NoOverlap2DConstraintProto subBuilder =
new global::Google.OrTools.Sat.NoOverlap2DConstraintProto();
5669 subBuilder.MergeFrom(NoOverlap2D);
5671 input.ReadMessage(subBuilder);
5672 NoOverlap2D = subBuilder;
5676 global::Google.OrTools.Sat.CumulativeConstraintProto subBuilder =
new global::Google.OrTools.Sat.CumulativeConstraintProto();
5678 subBuilder.MergeFrom(Cumulative);
5680 input.ReadMessage(subBuilder);
5681 Cumulative = subBuilder;
5685 global::Google.OrTools.Sat.RoutesConstraintProto subBuilder =
new global::Google.OrTools.Sat.RoutesConstraintProto();
5687 subBuilder.MergeFrom(Routes);
5689 input.ReadMessage(subBuilder);
5690 Routes = subBuilder;
5694 global::Google.OrTools.Sat.ReservoirConstraintProto subBuilder =
new global::Google.OrTools.Sat.ReservoirConstraintProto();
5696 subBuilder.MergeFrom(Reservoir);
5698 input.ReadMessage(subBuilder);
5699 Reservoir = subBuilder;
5703 global::Google.OrTools.Sat.BoolArgumentProto subBuilder =
new global::Google.OrTools.Sat.BoolArgumentProto();
5705 subBuilder.MergeFrom(AtMostOne);
5707 input.ReadMessage(subBuilder);
5708 AtMostOne = subBuilder;
5712 global::Google.OrTools.Sat.LinearArgumentProto subBuilder =
new global::Google.OrTools.Sat.LinearArgumentProto();
5714 subBuilder.MergeFrom(LinMax);
5716 input.ReadMessage(subBuilder);
5717 LinMax = subBuilder;
5721 global::Google.OrTools.Sat.LinearArgumentProto subBuilder =
new global::Google.OrTools.Sat.LinearArgumentProto();
5723 subBuilder.MergeFrom(LinMin);
5725 input.ReadMessage(subBuilder);
5726 LinMin = subBuilder;
5734 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
5736 void pb::IBufferMessage.InternalMergeFrom(ref pb::ParseContext input) {
5738 while ((tag = input.ReadTag()) != 0) {
5741 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, ref input);
5744 Name = input.ReadString();
5749 enforcementLiteral_.AddEntriesFrom(ref input, _repeated_enforcementLiteral_codec);
5753 global::Google.OrTools.Sat.BoolArgumentProto subBuilder =
new global::Google.OrTools.Sat.BoolArgumentProto();
5754 if (constraintCase_ == ConstraintOneofCase.BoolOr) {
5755 subBuilder.MergeFrom(BoolOr);
5757 input.ReadMessage(subBuilder);
5758 BoolOr = subBuilder;
5762 global::Google.OrTools.Sat.BoolArgumentProto subBuilder =
new global::Google.OrTools.Sat.BoolArgumentProto();
5763 if (constraintCase_ == ConstraintOneofCase.BoolAnd) {
5764 subBuilder.MergeFrom(BoolAnd);
5766 input.ReadMessage(subBuilder);
5767 BoolAnd = subBuilder;
5771 global::Google.OrTools.Sat.BoolArgumentProto subBuilder =
new global::Google.OrTools.Sat.BoolArgumentProto();
5772 if (constraintCase_ == ConstraintOneofCase.BoolXor) {
5773 subBuilder.MergeFrom(BoolXor);
5775 input.ReadMessage(subBuilder);
5776 BoolXor = subBuilder;
5780 global::Google.OrTools.Sat.IntegerArgumentProto subBuilder =
new global::Google.OrTools.Sat.IntegerArgumentProto();
5781 if (constraintCase_ == ConstraintOneofCase.IntDiv) {
5782 subBuilder.MergeFrom(IntDiv);
5784 input.ReadMessage(subBuilder);
5785 IntDiv = subBuilder;
5789 global::Google.OrTools.Sat.IntegerArgumentProto subBuilder =
new global::Google.OrTools.Sat.IntegerArgumentProto();
5790 if (constraintCase_ == ConstraintOneofCase.IntMod) {
5791 subBuilder.MergeFrom(IntMod);
5793 input.ReadMessage(subBuilder);
5794 IntMod = subBuilder;
5798 global::Google.OrTools.Sat.IntegerArgumentProto subBuilder =
new global::Google.OrTools.Sat.IntegerArgumentProto();
5799 if (constraintCase_ == ConstraintOneofCase.IntMax) {
5800 subBuilder.MergeFrom(IntMax);
5802 input.ReadMessage(subBuilder);
5803 IntMax = subBuilder;
5807 global::Google.OrTools.Sat.IntegerArgumentProto subBuilder =
new global::Google.OrTools.Sat.IntegerArgumentProto();
5808 if (constraintCase_ == ConstraintOneofCase.IntMin) {
5809 subBuilder.MergeFrom(IntMin);
5811 input.ReadMessage(subBuilder);
5812 IntMin = subBuilder;
5816 global::Google.OrTools.Sat.IntegerArgumentProto subBuilder =
new global::Google.OrTools.Sat.IntegerArgumentProto();
5817 if (constraintCase_ == ConstraintOneofCase.IntProd) {
5818 subBuilder.MergeFrom(IntProd);
5820 input.ReadMessage(subBuilder);
5821 IntProd = subBuilder;
5825 global::Google.OrTools.Sat.LinearConstraintProto subBuilder =
new global::Google.OrTools.Sat.LinearConstraintProto();
5826 if (constraintCase_ == ConstraintOneofCase.Linear) {
5827 subBuilder.MergeFrom(Linear);
5829 input.ReadMessage(subBuilder);
5830 Linear = subBuilder;
5834 global::Google.OrTools.Sat.AllDifferentConstraintProto subBuilder =
new global::Google.OrTools.Sat.AllDifferentConstraintProto();
5835 if (constraintCase_ == ConstraintOneofCase.AllDiff) {
5836 subBuilder.MergeFrom(AllDiff);
5838 input.ReadMessage(subBuilder);
5839 AllDiff = subBuilder;
5843 global::Google.OrTools.Sat.ElementConstraintProto subBuilder =
new global::Google.OrTools.Sat.ElementConstraintProto();
5844 if (constraintCase_ == ConstraintOneofCase.Element) {
5845 subBuilder.MergeFrom(Element);
5847 input.ReadMessage(subBuilder);
5848 Element = subBuilder;
5852 global::Google.OrTools.Sat.CircuitConstraintProto subBuilder =
new global::Google.OrTools.Sat.CircuitConstraintProto();
5853 if (constraintCase_ == ConstraintOneofCase.Circuit) {
5854 subBuilder.MergeFrom(Circuit);
5856 input.ReadMessage(subBuilder);
5857 Circuit = subBuilder;
5861 global::Google.OrTools.Sat.TableConstraintProto subBuilder =
new global::Google.OrTools.Sat.TableConstraintProto();
5862 if (constraintCase_ == ConstraintOneofCase.Table) {
5863 subBuilder.MergeFrom(Table);
5865 input.ReadMessage(subBuilder);
5870 global::Google.OrTools.Sat.AutomatonConstraintProto subBuilder =
new global::Google.OrTools.Sat.AutomatonConstraintProto();
5871 if (constraintCase_ == ConstraintOneofCase.Automaton) {
5872 subBuilder.MergeFrom(Automaton);
5874 input.ReadMessage(subBuilder);
5875 Automaton = subBuilder;
5879 global::Google.OrTools.Sat.InverseConstraintProto subBuilder =
new global::Google.OrTools.Sat.InverseConstraintProto();
5880 if (constraintCase_ == ConstraintOneofCase.Inverse) {
5881 subBuilder.MergeFrom(Inverse);
5883 input.ReadMessage(subBuilder);
5884 Inverse = subBuilder;
5888 global::Google.OrTools.Sat.IntervalConstraintProto subBuilder =
new global::Google.OrTools.Sat.IntervalConstraintProto();
5889 if (constraintCase_ == ConstraintOneofCase.Interval) {
5890 subBuilder.MergeFrom(Interval);
5892 input.ReadMessage(subBuilder);
5893 Interval = subBuilder;
5897 global::Google.OrTools.Sat.NoOverlapConstraintProto subBuilder =
new global::Google.OrTools.Sat.NoOverlapConstraintProto();
5898 if (constraintCase_ == ConstraintOneofCase.NoOverlap) {
5899 subBuilder.MergeFrom(NoOverlap);
5901 input.ReadMessage(subBuilder);
5902 NoOverlap = subBuilder;
5906 global::Google.OrTools.Sat.NoOverlap2DConstraintProto subBuilder =
new global::Google.OrTools.Sat.NoOverlap2DConstraintProto();
5907 if (constraintCase_ == ConstraintOneofCase.NoOverlap2D) {
5908 subBuilder.MergeFrom(NoOverlap2D);
5910 input.ReadMessage(subBuilder);
5911 NoOverlap2D = subBuilder;
5915 global::Google.OrTools.Sat.CumulativeConstraintProto subBuilder =
new global::Google.OrTools.Sat.CumulativeConstraintProto();
5916 if (constraintCase_ == ConstraintOneofCase.Cumulative) {
5917 subBuilder.MergeFrom(Cumulative);
5919 input.ReadMessage(subBuilder);
5920 Cumulative = subBuilder;
5924 global::Google.OrTools.Sat.RoutesConstraintProto subBuilder =
new global::Google.OrTools.Sat.RoutesConstraintProto();
5925 if (constraintCase_ == ConstraintOneofCase.Routes) {
5926 subBuilder.MergeFrom(Routes);
5928 input.ReadMessage(subBuilder);
5929 Routes = subBuilder;
5933 global::Google.OrTools.Sat.ReservoirConstraintProto subBuilder =
new global::Google.OrTools.Sat.ReservoirConstraintProto();
5934 if (constraintCase_ == ConstraintOneofCase.Reservoir) {
5935 subBuilder.MergeFrom(Reservoir);
5937 input.ReadMessage(subBuilder);
5938 Reservoir = subBuilder;
5942 global::Google.OrTools.Sat.BoolArgumentProto subBuilder =
new global::Google.OrTools.Sat.BoolArgumentProto();
5943 if (constraintCase_ == ConstraintOneofCase.AtMostOne) {
5944 subBuilder.MergeFrom(AtMostOne);
5946 input.ReadMessage(subBuilder);
5947 AtMostOne = subBuilder;
5951 global::Google.OrTools.Sat.LinearArgumentProto subBuilder =
new global::Google.OrTools.Sat.LinearArgumentProto();
5952 if (constraintCase_ == ConstraintOneofCase.LinMax) {
5953 subBuilder.MergeFrom(LinMax);
5955 input.ReadMessage(subBuilder);
5956 LinMax = subBuilder;
5960 global::Google.OrTools.Sat.LinearArgumentProto subBuilder =
new global::Google.OrTools.Sat.LinearArgumentProto();
5961 if (constraintCase_ == ConstraintOneofCase.LinMin) {
5962 subBuilder.MergeFrom(LinMin);
5964 input.ReadMessage(subBuilder);
5965 LinMin = subBuilder;
5981 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
5982 , pb::IBufferMessage
5985 private static readonly pb::MessageParser<CpObjectiveProto> _parser =
new pb::MessageParser<CpObjectiveProto>(() =>
new CpObjectiveProto());
5986 private pb::UnknownFieldSet _unknownFields;
5988 public static pb::MessageParser<CpObjectiveProto> Parser {
get {
return _parser; } }
5991 public static pbr::MessageDescriptor Descriptor {
5992 get {
return global::Google.OrTools.Sat.CpModelReflection.Descriptor.MessageTypes[19]; }
5996 pbr::MessageDescriptor pb::IMessage.Descriptor {
5997 get {
return Descriptor; }
6005 partial
void OnConstruction();
6009 vars_ = other.vars_.Clone();
6010 coeffs_ = other.coeffs_.Clone();
6011 offset_ = other.offset_;
6012 scalingFactor_ = other.scalingFactor_;
6013 domain_ = other.domain_.Clone();
6014 _unknownFields = pb::UnknownFieldSet.Clone(other._unknownFields);
6023 public const int VarsFieldNumber = 1;
6024 private static readonly pb::FieldCodec<int> _repeated_vars_codec
6025 = pb::FieldCodec.ForInt32(10);
6026 private readonly pbc::RepeatedField<int> vars_ =
new pbc::RepeatedField<int>();
6033 public pbc::RepeatedField<int> Vars {
6034 get {
return vars_; }
6038 public const int CoeffsFieldNumber = 4;
6039 private static readonly pb::FieldCodec<long> _repeated_coeffs_codec
6040 = pb::FieldCodec.ForInt64(34);
6041 private readonly pbc::RepeatedField<long> coeffs_ =
new pbc::RepeatedField<long>();
6043 public pbc::RepeatedField<long> Coeffs {
6044 get {
return coeffs_; }
6048 public const int OffsetFieldNumber = 2;
6049 private double offset_;
6060 public double Offset {
6061 get {
return offset_; }
6068 public const int ScalingFactorFieldNumber = 3;
6069 private double scalingFactor_;
6071 public double ScalingFactor {
6072 get {
return scalingFactor_; }
6074 scalingFactor_ = value;
6079 public const int DomainFieldNumber = 5;
6080 private static readonly pb::FieldCodec<long> _repeated_domain_codec
6081 = pb::FieldCodec.ForInt64(42);
6082 private readonly pbc::RepeatedField<long> domain_ =
new pbc::RepeatedField<long>();
6090 get {
return domain_; }
6100 if (ReferenceEquals(other,
null)) {
6103 if (ReferenceEquals(other,
this)) {
6106 if(!vars_.Equals(other.vars_))
return false;
6107 if(!coeffs_.Equals(other.coeffs_))
return false;
6108 if (!pbc::ProtobufEqualityComparers.BitwiseDoubleEqualityComparer.Equals(Offset, other.
Offset))
return false;
6109 if (!pbc::ProtobufEqualityComparers.BitwiseDoubleEqualityComparer.Equals(ScalingFactor, other.
ScalingFactor))
return false;
6110 if(!domain_.Equals(other.domain_))
return false;
6111 return Equals(_unknownFields, other._unknownFields);
6117 hash ^= vars_.GetHashCode();
6118 hash ^= coeffs_.GetHashCode();
6119 if (Offset != 0D) hash ^= pbc::ProtobufEqualityComparers.BitwiseDoubleEqualityComparer.GetHashCode(Offset);
6120 if (ScalingFactor != 0D) hash ^= pbc::ProtobufEqualityComparers.BitwiseDoubleEqualityComparer.GetHashCode(ScalingFactor);
6121 hash ^= domain_.GetHashCode();
6122 if (_unknownFields !=
null) {
6123 hash ^= _unknownFields.GetHashCode();
6130 return pb::JsonFormatter.ToDiagnosticString(
this);
6134 public void WriteTo(pb::CodedOutputStream output) {
6135 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
6136 output.WriteRawMessage(
this);
6138 vars_.WriteTo(output, _repeated_vars_codec);
6140 output.WriteRawTag(17);
6141 output.WriteDouble(Offset);
6143 if (ScalingFactor != 0D) {
6144 output.WriteRawTag(25);
6145 output.WriteDouble(ScalingFactor);
6147 coeffs_.WriteTo(output, _repeated_coeffs_codec);
6148 domain_.WriteTo(output, _repeated_domain_codec);
6149 if (_unknownFields !=
null) {
6150 _unknownFields.WriteTo(output);
6155 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
6157 void pb::IBufferMessage.InternalWriteTo(ref pb::WriteContext output) {
6158 vars_.WriteTo(ref output, _repeated_vars_codec);
6160 output.WriteRawTag(17);
6161 output.WriteDouble(Offset);
6163 if (ScalingFactor != 0D) {
6164 output.WriteRawTag(25);
6165 output.WriteDouble(ScalingFactor);
6167 coeffs_.WriteTo(ref output, _repeated_coeffs_codec);
6168 domain_.WriteTo(ref output, _repeated_domain_codec);
6169 if (_unknownFields !=
null) {
6170 _unknownFields.WriteTo(ref output);
6178 size += vars_.CalculateSize(_repeated_vars_codec);
6179 size += coeffs_.CalculateSize(_repeated_coeffs_codec);
6183 if (ScalingFactor != 0D) {
6186 size += domain_.CalculateSize(_repeated_domain_codec);
6187 if (_unknownFields !=
null) {
6188 size += _unknownFields.CalculateSize();
6195 if (other ==
null) {
6198 vars_.Add(other.vars_);
6199 coeffs_.Add(other.coeffs_);
6200 if (other.
Offset != 0D) {
6206 domain_.Add(other.domain_);
6207 _unknownFields = pb::UnknownFieldSet.MergeFrom(_unknownFields, other._unknownFields);
6212 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
6213 input.ReadRawMessage(
this);
6216 while ((tag = input.ReadTag()) != 0) {
6219 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, input);
6223 vars_.AddEntriesFrom(input, _repeated_vars_codec);
6227 Offset = input.ReadDouble();
6231 ScalingFactor = input.ReadDouble();
6236 coeffs_.AddEntriesFrom(input, _repeated_coeffs_codec);
6241 domain_.AddEntriesFrom(input, _repeated_domain_codec);
6249 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
6251 void pb::IBufferMessage.InternalMergeFrom(ref pb::ParseContext input) {
6253 while ((tag = input.ReadTag()) != 0) {
6256 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, ref input);
6260 vars_.AddEntriesFrom(ref input, _repeated_vars_codec);
6264 Offset = input.ReadDouble();
6268 ScalingFactor = input.ReadDouble();
6273 coeffs_.AddEntriesFrom(ref input, _repeated_coeffs_codec);
6278 domain_.AddEntriesFrom(ref input, _repeated_domain_codec);
6293 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
6294 , pb::IBufferMessage
6297 private static readonly pb::MessageParser<DecisionStrategyProto> _parser =
new pb::MessageParser<DecisionStrategyProto>(() =>
new DecisionStrategyProto());
6298 private pb::UnknownFieldSet _unknownFields;
6300 public static pb::MessageParser<DecisionStrategyProto> Parser {
get {
return _parser; } }
6303 public static pbr::MessageDescriptor Descriptor {
6304 get {
return global::Google.OrTools.Sat.CpModelReflection.Descriptor.MessageTypes[20]; }
6308 pbr::MessageDescriptor pb::IMessage.Descriptor {
6309 get {
return Descriptor; }
6317 partial
void OnConstruction();
6321 variables_ = other.variables_.Clone();
6322 variableSelectionStrategy_ = other.variableSelectionStrategy_;
6323 domainReductionStrategy_ = other.domainReductionStrategy_;
6324 transformations_ = other.transformations_.Clone();
6325 _unknownFields = pb::UnknownFieldSet.Clone(other._unknownFields);
6334 public const int VariablesFieldNumber = 1;
6335 private static readonly pb::FieldCodec<int> _repeated_variables_codec
6336 = pb::FieldCodec.ForInt32(10);
6337 private readonly pbc::RepeatedField<int> variables_ =
new pbc::RepeatedField<int>();
6344 public pbc::RepeatedField<int> Variables {
6345 get {
return variables_; }
6349 public const int VariableSelectionStrategyFieldNumber = 2;
6350 private global::Google.OrTools.Sat.DecisionStrategyProto.Types.VariableSelectionStrategy variableSelectionStrategy_ = global::Google.OrTools.Sat.DecisionStrategyProto.Types.VariableSelectionStrategy.ChooseFirst;
6352 public global::Google.OrTools.Sat.DecisionStrategyProto.Types.VariableSelectionStrategy VariableSelectionStrategy {
6353 get {
return variableSelectionStrategy_; }
6355 variableSelectionStrategy_ = value;
6360 public const int DomainReductionStrategyFieldNumber = 3;
6361 private global::Google.OrTools.Sat.DecisionStrategyProto.Types.DomainReductionStrategy domainReductionStrategy_ = global::Google.OrTools.Sat.DecisionStrategyProto.Types.DomainReductionStrategy.SelectMinValue;
6363 public global::Google.OrTools.Sat.DecisionStrategyProto.Types.DomainReductionStrategy DomainReductionStrategy {
6364 get {
return domainReductionStrategy_; }
6366 domainReductionStrategy_ = value;
6371 public const int TransformationsFieldNumber = 4;
6372 private static readonly pb::FieldCodec<global::Google.OrTools.Sat.DecisionStrategyProto.Types.AffineTransformation> _repeated_transformations_codec
6373 = pb::FieldCodec.ForMessage(34, global::Google.OrTools.Sat.DecisionStrategyProto.Types.AffineTransformation.Parser);
6374 private readonly pbc::RepeatedField<global::Google.OrTools.Sat.DecisionStrategyProto.Types.AffineTransformation> transformations_ =
new pbc::RepeatedField<global::Google.OrTools.Sat.DecisionStrategyProto.Types.AffineTransformation>();
6376 public pbc::RepeatedField<global::Google.OrTools.Sat.DecisionStrategyProto.Types.AffineTransformation> Transformations {
6377 get {
return transformations_; }
6387 if (ReferenceEquals(other,
null)) {
6390 if (ReferenceEquals(other,
this)) {
6393 if(!variables_.Equals(other.variables_))
return false;
6396 if(!transformations_.Equals(other.transformations_))
return false;
6397 return Equals(_unknownFields, other._unknownFields);
6403 hash ^= variables_.GetHashCode();
6404 if (VariableSelectionStrategy != global::Google.OrTools.Sat.DecisionStrategyProto.Types.VariableSelectionStrategy.ChooseFirst) hash ^= VariableSelectionStrategy.GetHashCode();
6405 if (DomainReductionStrategy != global::Google.OrTools.Sat.DecisionStrategyProto.Types.DomainReductionStrategy.SelectMinValue) hash ^= DomainReductionStrategy.GetHashCode();
6406 hash ^= transformations_.GetHashCode();
6407 if (_unknownFields !=
null) {
6408 hash ^= _unknownFields.GetHashCode();
6415 return pb::JsonFormatter.ToDiagnosticString(
this);
6419 public void WriteTo(pb::CodedOutputStream output) {
6420 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
6421 output.WriteRawMessage(
this);
6423 variables_.WriteTo(output, _repeated_variables_codec);
6424 if (VariableSelectionStrategy != global::Google.OrTools.Sat.DecisionStrategyProto.Types.VariableSelectionStrategy.ChooseFirst) {
6425 output.WriteRawTag(16);
6426 output.WriteEnum((
int) VariableSelectionStrategy);
6428 if (DomainReductionStrategy != global::Google.OrTools.Sat.DecisionStrategyProto.Types.DomainReductionStrategy.SelectMinValue) {
6429 output.WriteRawTag(24);
6430 output.WriteEnum((
int) DomainReductionStrategy);
6432 transformations_.WriteTo(output, _repeated_transformations_codec);
6433 if (_unknownFields !=
null) {
6434 _unknownFields.WriteTo(output);
6439 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
6441 void pb::IBufferMessage.InternalWriteTo(ref pb::WriteContext output) {
6442 variables_.WriteTo(ref output, _repeated_variables_codec);
6443 if (VariableSelectionStrategy != global::Google.OrTools.Sat.DecisionStrategyProto.Types.VariableSelectionStrategy.ChooseFirst) {
6444 output.WriteRawTag(16);
6445 output.WriteEnum((
int) VariableSelectionStrategy);
6447 if (DomainReductionStrategy != global::Google.OrTools.Sat.DecisionStrategyProto.Types.DomainReductionStrategy.SelectMinValue) {
6448 output.WriteRawTag(24);
6449 output.WriteEnum((
int) DomainReductionStrategy);
6451 transformations_.WriteTo(ref output, _repeated_transformations_codec);
6452 if (_unknownFields !=
null) {
6453 _unknownFields.WriteTo(ref output);
6461 size += variables_.CalculateSize(_repeated_variables_codec);
6462 if (VariableSelectionStrategy != global::Google.OrTools.Sat.DecisionStrategyProto.Types.VariableSelectionStrategy.ChooseFirst) {
6463 size += 1 + pb::CodedOutputStream.ComputeEnumSize((
int) VariableSelectionStrategy);
6465 if (DomainReductionStrategy != global::Google.OrTools.Sat.DecisionStrategyProto.Types.DomainReductionStrategy.SelectMinValue) {
6466 size += 1 + pb::CodedOutputStream.ComputeEnumSize((
int) DomainReductionStrategy);
6468 size += transformations_.CalculateSize(_repeated_transformations_codec);
6469 if (_unknownFields !=
null) {
6470 size += _unknownFields.CalculateSize();
6477 if (other ==
null) {
6480 variables_.Add(other.variables_);
6487 transformations_.Add(other.transformations_);
6488 _unknownFields = pb::UnknownFieldSet.
MergeFrom(_unknownFields, other._unknownFields);
6493 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
6494 input.ReadRawMessage(
this);
6497 while ((tag = input.ReadTag()) != 0) {
6500 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, input);
6504 variables_.AddEntriesFrom(input, _repeated_variables_codec);
6508 VariableSelectionStrategy = (global::Google.OrTools.Sat.DecisionStrategyProto.Types.VariableSelectionStrategy) input.ReadEnum();
6512 DomainReductionStrategy = (global::Google.OrTools.Sat.DecisionStrategyProto.Types.DomainReductionStrategy) input.ReadEnum();
6516 transformations_.AddEntriesFrom(input, _repeated_transformations_codec);
6524 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
6526 void pb::IBufferMessage.InternalMergeFrom(ref pb::ParseContext input) {
6528 while ((tag = input.ReadTag()) != 0) {
6531 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, ref input);
6535 variables_.AddEntriesFrom(ref input, _repeated_variables_codec);
6539 VariableSelectionStrategy = (global::Google.OrTools.Sat.DecisionStrategyProto.Types.VariableSelectionStrategy) input.ReadEnum();
6543 DomainReductionStrategy = (global::Google.OrTools.Sat.DecisionStrategyProto.Types.DomainReductionStrategy) input.ReadEnum();
6547 transformations_.AddEntriesFrom(ref input, _repeated_transformations_codec);
6555 #region Nested types
6566 [pbr::OriginalName(
"CHOOSE_FIRST")] ChooseFirst = 0,
6567 [pbr::OriginalName(
"CHOOSE_LOWEST_MIN")] ChooseLowestMin = 1,
6568 [pbr::OriginalName(
"CHOOSE_HIGHEST_MAX")] ChooseHighestMax = 2,
6569 [pbr::OriginalName(
"CHOOSE_MIN_DOMAIN_SIZE")] ChooseMinDomainSize = 3,
6570 [pbr::OriginalName(
"CHOOSE_MAX_DOMAIN_SIZE")] ChooseMaxDomainSize = 4,
6580 [pbr::OriginalName(
"SELECT_MIN_VALUE")] SelectMinValue = 0,
6581 [pbr::OriginalName(
"SELECT_MAX_VALUE")] SelectMaxValue = 1,
6582 [pbr::OriginalName(
"SELECT_LOWER_HALF")] SelectLowerHalf = 2,
6583 [pbr::OriginalName(
"SELECT_UPPER_HALF")] SelectUpperHalf = 3,
6584 [pbr::OriginalName(
"SELECT_MEDIAN_VALUE")] SelectMedianValue = 4,
6594 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
6595 , pb::IBufferMessage
6598 private static readonly pb::MessageParser<AffineTransformation> _parser =
new pb::MessageParser<AffineTransformation>(() =>
new AffineTransformation());
6599 private pb::UnknownFieldSet _unknownFields;
6601 public static pb::MessageParser<AffineTransformation> Parser {
get {
return _parser; } }
6604 public static pbr::MessageDescriptor Descriptor {
6605 get {
return global::Google.OrTools.Sat.DecisionStrategyProto.Descriptor.NestedTypes[0]; }
6609 pbr::MessageDescriptor pb::IMessage.Descriptor {
6610 get {
return Descriptor; }
6618 partial
void OnConstruction();
6623 offset_ = other.offset_;
6624 positiveCoeff_ = other.positiveCoeff_;
6625 _unknownFields = pb::UnknownFieldSet.Clone(other._unknownFields);
6634 public const int VarFieldNumber = 1;
6638 get {
return var_; }
6645 public const int OffsetFieldNumber = 2;
6646 private long offset_;
6648 public long Offset {
6649 get {
return offset_; }
6656 public const int PositiveCoeffFieldNumber = 3;
6657 private long positiveCoeff_;
6659 public long PositiveCoeff {
6660 get {
return positiveCoeff_; }
6662 positiveCoeff_ = value;
6673 if (ReferenceEquals(other,
null)) {
6676 if (ReferenceEquals(other,
this)) {
6679 if (Var != other.
Var)
return false;
6680 if (Offset != other.
Offset)
return false;
6682 return Equals(_unknownFields, other._unknownFields);
6688 if (Var != 0) hash ^= Var.GetHashCode();
6689 if (Offset != 0L) hash ^= Offset.GetHashCode();
6690 if (PositiveCoeff != 0L) hash ^= PositiveCoeff.GetHashCode();
6691 if (_unknownFields !=
null) {
6692 hash ^= _unknownFields.GetHashCode();
6699 return pb::JsonFormatter.ToDiagnosticString(
this);
6703 public void WriteTo(pb::CodedOutputStream output) {
6704 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
6705 output.WriteRawMessage(
this);
6708 output.WriteRawTag(8);
6709 output.WriteInt32(Var);
6712 output.WriteRawTag(16);
6713 output.WriteInt64(Offset);
6715 if (PositiveCoeff != 0L) {
6716 output.WriteRawTag(24);
6717 output.WriteInt64(PositiveCoeff);
6719 if (_unknownFields !=
null) {
6720 _unknownFields.WriteTo(output);
6725 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
6727 void pb::IBufferMessage.InternalWriteTo(ref pb::WriteContext output) {
6729 output.WriteRawTag(8);
6730 output.WriteInt32(Var);
6733 output.WriteRawTag(16);
6734 output.WriteInt64(Offset);
6736 if (PositiveCoeff != 0L) {
6737 output.WriteRawTag(24);
6738 output.WriteInt64(PositiveCoeff);
6740 if (_unknownFields !=
null) {
6741 _unknownFields.WriteTo(ref output);
6750 size += 1 + pb::CodedOutputStream.ComputeInt32Size(Var);
6753 size += 1 + pb::CodedOutputStream.ComputeInt64Size(Offset);
6755 if (PositiveCoeff != 0L) {
6756 size += 1 + pb::CodedOutputStream.ComputeInt64Size(PositiveCoeff);
6758 if (_unknownFields !=
null) {
6759 size += _unknownFields.CalculateSize();
6766 if (other ==
null) {
6769 if (other.
Var != 0) {
6772 if (other.
Offset != 0L) {
6778 _unknownFields = pb::UnknownFieldSet.MergeFrom(_unknownFields, other._unknownFields);
6783 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
6784 input.ReadRawMessage(
this);
6787 while ((tag = input.ReadTag()) != 0) {
6790 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, input);
6793 Var = input.ReadInt32();
6797 Offset = input.ReadInt64();
6801 PositiveCoeff = input.ReadInt64();
6809 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
6811 void pb::IBufferMessage.InternalMergeFrom(ref pb::ParseContext input) {
6813 while ((tag = input.ReadTag()) != 0) {
6816 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, ref input);
6819 Var = input.ReadInt32();
6823 Offset = input.ReadInt64();
6827 PositiveCoeff = input.ReadInt64();
6848 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
6849 , pb::IBufferMessage
6852 private static readonly pb::MessageParser<PartialVariableAssignment> _parser =
new pb::MessageParser<PartialVariableAssignment>(() =>
new PartialVariableAssignment());
6853 private pb::UnknownFieldSet _unknownFields;
6855 public static pb::MessageParser<PartialVariableAssignment> Parser {
get {
return _parser; } }
6858 public static pbr::MessageDescriptor Descriptor {
6859 get {
return global::Google.OrTools.Sat.CpModelReflection.Descriptor.MessageTypes[21]; }
6863 pbr::MessageDescriptor pb::IMessage.Descriptor {
6864 get {
return Descriptor; }
6872 partial
void OnConstruction();
6876 vars_ = other.vars_.Clone();
6877 values_ = other.values_.Clone();
6878 _unknownFields = pb::UnknownFieldSet.Clone(other._unknownFields);
6887 public const int VarsFieldNumber = 1;
6888 private static readonly pb::FieldCodec<int> _repeated_vars_codec
6889 = pb::FieldCodec.ForInt32(10);
6890 private readonly pbc::RepeatedField<int> vars_ =
new pbc::RepeatedField<int>();
6892 public pbc::RepeatedField<int> Vars {
6893 get {
return vars_; }
6897 public const int ValuesFieldNumber = 2;
6898 private static readonly pb::FieldCodec<long> _repeated_values_codec
6899 = pb::FieldCodec.ForInt64(18);
6900 private readonly pbc::RepeatedField<long> values_ =
new pbc::RepeatedField<long>();
6902 public pbc::RepeatedField<long> Values {
6903 get {
return values_; }
6913 if (ReferenceEquals(other,
null)) {
6916 if (ReferenceEquals(other,
this)) {
6919 if(!vars_.Equals(other.vars_))
return false;
6920 if(!values_.Equals(other.values_))
return false;
6921 return Equals(_unknownFields, other._unknownFields);
6927 hash ^= vars_.GetHashCode();
6928 hash ^= values_.GetHashCode();
6929 if (_unknownFields !=
null) {
6930 hash ^= _unknownFields.GetHashCode();
6937 return pb::JsonFormatter.ToDiagnosticString(
this);
6941 public void WriteTo(pb::CodedOutputStream output) {
6942 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
6943 output.WriteRawMessage(
this);
6945 vars_.WriteTo(output, _repeated_vars_codec);
6946 values_.WriteTo(output, _repeated_values_codec);
6947 if (_unknownFields !=
null) {
6948 _unknownFields.WriteTo(output);
6953 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
6955 void pb::IBufferMessage.InternalWriteTo(ref pb::WriteContext output) {
6956 vars_.WriteTo(ref output, _repeated_vars_codec);
6957 values_.WriteTo(ref output, _repeated_values_codec);
6958 if (_unknownFields !=
null) {
6959 _unknownFields.WriteTo(ref output);
6967 size += vars_.CalculateSize(_repeated_vars_codec);
6968 size += values_.CalculateSize(_repeated_values_codec);
6969 if (_unknownFields !=
null) {
6970 size += _unknownFields.CalculateSize();
6977 if (other ==
null) {
6980 vars_.Add(other.vars_);
6981 values_.Add(other.values_);
6982 _unknownFields = pb::UnknownFieldSet.MergeFrom(_unknownFields, other._unknownFields);
6987 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
6988 input.ReadRawMessage(
this);
6991 while ((tag = input.ReadTag()) != 0) {
6994 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, input);
6998 vars_.AddEntriesFrom(input, _repeated_vars_codec);
7003 values_.AddEntriesFrom(input, _repeated_values_codec);
7011 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
7013 void pb::IBufferMessage.InternalMergeFrom(ref pb::ParseContext input) {
7015 while ((tag = input.ReadTag()) != 0) {
7018 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, ref input);
7022 vars_.AddEntriesFrom(ref input, _repeated_vars_codec);
7027 values_.AddEntriesFrom(ref input, _repeated_values_codec);
7041 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
7042 , pb::IBufferMessage
7045 private static readonly pb::MessageParser<CpModelProto> _parser =
new pb::MessageParser<CpModelProto>(() =>
new CpModelProto());
7046 private pb::UnknownFieldSet _unknownFields;
7048 public static pb::MessageParser<CpModelProto> Parser {
get {
return _parser; } }
7051 public static pbr::MessageDescriptor Descriptor {
7052 get {
return global::Google.OrTools.Sat.CpModelReflection.Descriptor.MessageTypes[22]; }
7056 pbr::MessageDescriptor pb::IMessage.Descriptor {
7057 get {
return Descriptor; }
7065 partial
void OnConstruction();
7069 name_ = other.name_;
7070 variables_ = other.variables_.Clone();
7071 constraints_ = other.constraints_.Clone();
7072 objective_ = other.objective_ !=
null ? other.objective_.
Clone() :
null;
7073 searchStrategy_ = other.searchStrategy_.Clone();
7074 solutionHint_ = other.solutionHint_ !=
null ? other.solutionHint_.
Clone() :
null;
7075 assumptions_ = other.assumptions_.Clone();
7076 _unknownFields = pb::UnknownFieldSet.Clone(other._unknownFields);
7085 public const int NameFieldNumber = 1;
7086 private string name_ =
"";
7091 public string Name {
7092 get {
return name_; }
7094 name_ = pb::ProtoPreconditions.CheckNotNull(value,
"value");
7099 public const int VariablesFieldNumber = 2;
7100 private static readonly pb::FieldCodec<global::Google.OrTools.Sat.IntegerVariableProto> _repeated_variables_codec
7101 = pb::FieldCodec.ForMessage(18, global::Google.OrTools.Sat.IntegerVariableProto.Parser);
7102 private readonly pbc::RepeatedField<global::Google.OrTools.Sat.IntegerVariableProto> variables_ =
new pbc::RepeatedField<global::Google.OrTools.Sat.IntegerVariableProto>();
7107 public pbc::RepeatedField<global::Google.OrTools.Sat.IntegerVariableProto> Variables {
7108 get {
return variables_; }
7112 public const int ConstraintsFieldNumber = 3;
7113 private static readonly pb::FieldCodec<global::Google.OrTools.Sat.ConstraintProto> _repeated_constraints_codec
7114 = pb::FieldCodec.ForMessage(26, global::Google.OrTools.Sat.ConstraintProto.Parser);
7115 private readonly pbc::RepeatedField<global::Google.OrTools.Sat.ConstraintProto> constraints_ =
new pbc::RepeatedField<global::Google.OrTools.Sat.ConstraintProto>();
7117 public pbc::RepeatedField<global::Google.OrTools.Sat.ConstraintProto> Constraints {
7118 get {
return constraints_; }
7122 public const int ObjectiveFieldNumber = 4;
7123 private global::Google.OrTools.Sat.CpObjectiveProto objective_;
7128 public global::Google.OrTools.Sat.CpObjectiveProto Objective {
7129 get {
return objective_; }
7136 public const int SearchStrategyFieldNumber = 5;
7137 private static readonly pb::FieldCodec<global::Google.OrTools.Sat.DecisionStrategyProto> _repeated_searchStrategy_codec
7138 = pb::FieldCodec.ForMessage(42, global::Google.OrTools.Sat.DecisionStrategyProto.Parser);
7139 private readonly pbc::RepeatedField<global::Google.OrTools.Sat.DecisionStrategyProto> searchStrategy_ =
new pbc::RepeatedField<global::Google.OrTools.Sat.DecisionStrategyProto>();
7153 public pbc::RepeatedField<global::Google.OrTools.Sat.DecisionStrategyProto> SearchStrategy {
7154 get {
return searchStrategy_; }
7158 public const int SolutionHintFieldNumber = 6;
7159 private global::Google.OrTools.Sat.PartialVariableAssignment solutionHint_;
7174 public global::Google.OrTools.Sat.PartialVariableAssignment SolutionHint {
7175 get {
return solutionHint_; }
7177 solutionHint_ = value;
7182 public const int AssumptionsFieldNumber = 7;
7183 private static readonly pb::FieldCodec<int> _repeated_assumptions_codec
7184 = pb::FieldCodec.ForInt32(58);
7185 private readonly pbc::RepeatedField<int> assumptions_ =
new pbc::RepeatedField<int>();
7202 public pbc::RepeatedField<int> Assumptions {
7203 get {
return assumptions_; }
7213 if (ReferenceEquals(other,
null)) {
7216 if (ReferenceEquals(other,
this)) {
7219 if (Name != other.
Name)
return false;
7220 if(!variables_.Equals(other.variables_))
return false;
7221 if(!constraints_.Equals(other.constraints_))
return false;
7222 if (!
object.Equals(Objective, other.
Objective))
return false;
7223 if(!searchStrategy_.Equals(other.searchStrategy_))
return false;
7224 if (!
object.Equals(SolutionHint, other.
SolutionHint))
return false;
7225 if(!assumptions_.Equals(other.assumptions_))
return false;
7226 return Equals(_unknownFields, other._unknownFields);
7232 if (Name.Length != 0) hash ^= Name.GetHashCode();
7233 hash ^= variables_.GetHashCode();
7234 hash ^= constraints_.GetHashCode();
7235 if (objective_ !=
null) hash ^= Objective.GetHashCode();
7236 hash ^= searchStrategy_.GetHashCode();
7237 if (solutionHint_ !=
null) hash ^= SolutionHint.GetHashCode();
7238 hash ^= assumptions_.GetHashCode();
7239 if (_unknownFields !=
null) {
7240 hash ^= _unknownFields.GetHashCode();
7247 return pb::JsonFormatter.ToDiagnosticString(
this);
7251 public void WriteTo(pb::CodedOutputStream output) {
7252 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
7253 output.WriteRawMessage(
this);
7255 if (Name.Length != 0) {
7256 output.WriteRawTag(10);
7257 output.WriteString(Name);
7259 variables_.WriteTo(output, _repeated_variables_codec);
7260 constraints_.WriteTo(output, _repeated_constraints_codec);
7261 if (objective_ !=
null) {
7262 output.WriteRawTag(34);
7263 output.WriteMessage(Objective);
7265 searchStrategy_.WriteTo(output, _repeated_searchStrategy_codec);
7266 if (solutionHint_ !=
null) {
7267 output.WriteRawTag(50);
7268 output.WriteMessage(SolutionHint);
7270 assumptions_.WriteTo(output, _repeated_assumptions_codec);
7271 if (_unknownFields !=
null) {
7272 _unknownFields.WriteTo(output);
7277 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
7279 void pb::IBufferMessage.InternalWriteTo(ref pb::WriteContext output) {
7280 if (Name.Length != 0) {
7281 output.WriteRawTag(10);
7282 output.WriteString(Name);
7284 variables_.WriteTo(ref output, _repeated_variables_codec);
7285 constraints_.WriteTo(ref output, _repeated_constraints_codec);
7286 if (objective_ !=
null) {
7287 output.WriteRawTag(34);
7288 output.WriteMessage(Objective);
7290 searchStrategy_.WriteTo(ref output, _repeated_searchStrategy_codec);
7291 if (solutionHint_ !=
null) {
7292 output.WriteRawTag(50);
7293 output.WriteMessage(SolutionHint);
7295 assumptions_.WriteTo(ref output, _repeated_assumptions_codec);
7296 if (_unknownFields !=
null) {
7297 _unknownFields.WriteTo(ref output);
7305 if (Name.Length != 0) {
7306 size += 1 + pb::CodedOutputStream.ComputeStringSize(Name);
7308 size += variables_.CalculateSize(_repeated_variables_codec);
7309 size += constraints_.CalculateSize(_repeated_constraints_codec);
7310 if (objective_ !=
null) {
7311 size += 1 + pb::CodedOutputStream.ComputeMessageSize(Objective);
7313 size += searchStrategy_.CalculateSize(_repeated_searchStrategy_codec);
7314 if (solutionHint_ !=
null) {
7315 size += 1 + pb::CodedOutputStream.ComputeMessageSize(SolutionHint);
7317 size += assumptions_.CalculateSize(_repeated_assumptions_codec);
7318 if (_unknownFields !=
null) {
7319 size += _unknownFields.CalculateSize();
7326 if (other ==
null) {
7329 if (other.
Name.Length != 0) {
7332 variables_.Add(other.variables_);
7333 constraints_.Add(other.constraints_);
7334 if (other.objective_ !=
null) {
7335 if (objective_ ==
null) {
7336 Objective =
new global::Google.OrTools.Sat.CpObjectiveProto();
7340 searchStrategy_.Add(other.searchStrategy_);
7341 if (other.solutionHint_ !=
null) {
7342 if (solutionHint_ ==
null) {
7343 SolutionHint =
new global::Google.OrTools.Sat.PartialVariableAssignment();
7347 assumptions_.Add(other.assumptions_);
7348 _unknownFields = pb::UnknownFieldSet.MergeFrom(_unknownFields, other._unknownFields);
7353 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
7354 input.ReadRawMessage(
this);
7357 while ((tag = input.ReadTag()) != 0) {
7360 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, input);
7363 Name = input.ReadString();
7367 variables_.AddEntriesFrom(input, _repeated_variables_codec);
7371 constraints_.AddEntriesFrom(input, _repeated_constraints_codec);
7375 if (objective_ ==
null) {
7376 Objective =
new global::Google.OrTools.Sat.CpObjectiveProto();
7378 input.ReadMessage(Objective);
7382 searchStrategy_.AddEntriesFrom(input, _repeated_searchStrategy_codec);
7386 if (solutionHint_ ==
null) {
7387 SolutionHint =
new global::Google.OrTools.Sat.PartialVariableAssignment();
7389 input.ReadMessage(SolutionHint);
7394 assumptions_.AddEntriesFrom(input, _repeated_assumptions_codec);
7402 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
7404 void pb::IBufferMessage.InternalMergeFrom(ref pb::ParseContext input) {
7406 while ((tag = input.ReadTag()) != 0) {
7409 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, ref input);
7412 Name = input.ReadString();
7416 variables_.AddEntriesFrom(ref input, _repeated_variables_codec);
7420 constraints_.AddEntriesFrom(ref input, _repeated_constraints_codec);
7424 if (objective_ ==
null) {
7425 Objective =
new global::Google.OrTools.Sat.CpObjectiveProto();
7427 input.ReadMessage(Objective);
7431 searchStrategy_.AddEntriesFrom(ref input, _repeated_searchStrategy_codec);
7435 if (solutionHint_ ==
null) {
7436 SolutionHint =
new global::Google.OrTools.Sat.PartialVariableAssignment();
7438 input.ReadMessage(SolutionHint);
7443 assumptions_.AddEntriesFrom(ref input, _repeated_assumptions_codec);
7461 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
7462 , pb::IBufferMessage
7465 private static readonly pb::MessageParser<CpSolverResponse> _parser =
new pb::MessageParser<CpSolverResponse>(() =>
new CpSolverResponse());
7466 private pb::UnknownFieldSet _unknownFields;
7468 public static pb::MessageParser<CpSolverResponse> Parser {
get {
return _parser; } }
7471 public static pbr::MessageDescriptor Descriptor {
7472 get {
return global::Google.OrTools.Sat.CpModelReflection.Descriptor.MessageTypes[23]; }
7476 pbr::MessageDescriptor pb::IMessage.Descriptor {
7477 get {
return Descriptor; }
7485 partial
void OnConstruction();
7489 status_ = other.status_;
7490 solution_ = other.solution_.Clone();
7491 objectiveValue_ = other.objectiveValue_;
7492 bestObjectiveBound_ = other.bestObjectiveBound_;
7493 solutionLowerBounds_ = other.solutionLowerBounds_.Clone();
7494 solutionUpperBounds_ = other.solutionUpperBounds_.Clone();
7495 tightenedVariables_ = other.tightenedVariables_.Clone();
7496 sufficientAssumptionsForInfeasibility_ = other.sufficientAssumptionsForInfeasibility_.Clone();
7497 allSolutionsWereFound_ = other.allSolutionsWereFound_;
7498 numBooleans_ = other.numBooleans_;
7499 numConflicts_ = other.numConflicts_;
7500 numBranches_ = other.numBranches_;
7501 numBinaryPropagations_ = other.numBinaryPropagations_;
7502 numIntegerPropagations_ = other.numIntegerPropagations_;
7503 numRestarts_ = other.numRestarts_;
7504 numLpIterations_ = other.numLpIterations_;
7505 wallTime_ = other.wallTime_;
7506 userTime_ = other.userTime_;
7507 deterministicTime_ = other.deterministicTime_;
7508 primalIntegral_ = other.primalIntegral_;
7509 solutionInfo_ = other.solutionInfo_;
7510 _unknownFields = pb::UnknownFieldSet.Clone(other._unknownFields);
7519 public const int StatusFieldNumber = 1;
7520 private global::Google.OrTools.Sat.CpSolverStatus status_ = global::Google.OrTools.Sat.CpSolverStatus.Unknown;
7525 public global::Google.OrTools.Sat.CpSolverStatus Status {
7526 get {
return status_; }
7533 public const int SolutionFieldNumber = 2;
7534 private static readonly pb::FieldCodec<long> _repeated_solution_codec
7535 = pb::FieldCodec.ForInt64(18);
7536 private readonly pbc::RepeatedField<long> solution_ =
new pbc::RepeatedField<long>();
7544 public pbc::RepeatedField<long> Solution {
7545 get {
return solution_; }
7549 public const int ObjectiveValueFieldNumber = 3;
7550 private double objectiveValue_;
7558 public double ObjectiveValue {
7559 get {
return objectiveValue_; }
7561 objectiveValue_ = value;
7566 public const int BestObjectiveBoundFieldNumber = 4;
7567 private double bestObjectiveBound_;
7574 public double BestObjectiveBound {
7575 get {
return bestObjectiveBound_; }
7577 bestObjectiveBound_ = value;
7582 public const int SolutionLowerBoundsFieldNumber = 18;
7583 private static readonly pb::FieldCodec<long> _repeated_solutionLowerBounds_codec
7584 = pb::FieldCodec.ForInt64(146);
7585 private readonly pbc::RepeatedField<long> solutionLowerBounds_ =
new pbc::RepeatedField<long>();
7596 public pbc::RepeatedField<long> SolutionLowerBounds {
7597 get {
return solutionLowerBounds_; }
7601 public const int SolutionUpperBoundsFieldNumber = 19;
7602 private static readonly pb::FieldCodec<long> _repeated_solutionUpperBounds_codec
7603 = pb::FieldCodec.ForInt64(154);
7604 private readonly pbc::RepeatedField<long> solutionUpperBounds_ =
new pbc::RepeatedField<long>();
7606 public pbc::RepeatedField<long> SolutionUpperBounds {
7607 get {
return solutionUpperBounds_; }
7611 public const int TightenedVariablesFieldNumber = 21;
7612 private static readonly pb::FieldCodec<global::Google.OrTools.Sat.IntegerVariableProto> _repeated_tightenedVariables_codec
7613 = pb::FieldCodec.ForMessage(170, global::Google.OrTools.Sat.IntegerVariableProto.Parser);
7614 private readonly pbc::RepeatedField<global::Google.OrTools.Sat.IntegerVariableProto> tightenedVariables_ =
new pbc::RepeatedField<global::Google.OrTools.Sat.IntegerVariableProto>();
7630 public pbc::RepeatedField<global::Google.OrTools.Sat.IntegerVariableProto> TightenedVariables {
7631 get {
return tightenedVariables_; }
7635 public const int SufficientAssumptionsForInfeasibilityFieldNumber = 23;
7636 private static readonly pb::FieldCodec<int> _repeated_sufficientAssumptionsForInfeasibility_codec
7637 = pb::FieldCodec.ForInt32(186);
7638 private readonly pbc::RepeatedField<int> sufficientAssumptionsForInfeasibility_ =
new pbc::RepeatedField<int>();
7657 public pbc::RepeatedField<int> SufficientAssumptionsForInfeasibility {
7658 get {
return sufficientAssumptionsForInfeasibility_; }
7662 public const int AllSolutionsWereFoundFieldNumber = 5;
7663 private bool allSolutionsWereFound_;
7672 public bool AllSolutionsWereFound {
7673 get {
return allSolutionsWereFound_; }
7675 allSolutionsWereFound_ = value;
7680 public const int NumBooleansFieldNumber = 10;
7681 private long numBooleans_;
7686 public long NumBooleans {
7687 get {
return numBooleans_; }
7689 numBooleans_ = value;
7694 public const int NumConflictsFieldNumber = 11;
7695 private long numConflicts_;
7697 public long NumConflicts {
7698 get {
return numConflicts_; }
7700 numConflicts_ = value;
7705 public const int NumBranchesFieldNumber = 12;
7706 private long numBranches_;
7708 public long NumBranches {
7709 get {
return numBranches_; }
7711 numBranches_ = value;
7716 public const int NumBinaryPropagationsFieldNumber = 13;
7717 private long numBinaryPropagations_;
7719 public long NumBinaryPropagations {
7720 get {
return numBinaryPropagations_; }
7722 numBinaryPropagations_ = value;
7727 public const int NumIntegerPropagationsFieldNumber = 14;
7728 private long numIntegerPropagations_;
7730 public long NumIntegerPropagations {
7731 get {
return numIntegerPropagations_; }
7733 numIntegerPropagations_ = value;
7738 public const int NumRestartsFieldNumber = 24;
7739 private long numRestarts_;
7741 public long NumRestarts {
7742 get {
return numRestarts_; }
7744 numRestarts_ = value;
7749 public const int NumLpIterationsFieldNumber = 25;
7750 private long numLpIterations_;
7752 public long NumLpIterations {
7753 get {
return numLpIterations_; }
7755 numLpIterations_ = value;
7760 public const int WallTimeFieldNumber = 15;
7761 private double wallTime_;
7763 public double WallTime {
7764 get {
return wallTime_; }
7771 public const int UserTimeFieldNumber = 16;
7772 private double userTime_;
7774 public double UserTime {
7775 get {
return userTime_; }
7782 public const int DeterministicTimeFieldNumber = 17;
7783 private double deterministicTime_;
7785 public double DeterministicTime {
7786 get {
return deterministicTime_; }
7788 deterministicTime_ = value;
7793 public const int PrimalIntegralFieldNumber = 22;
7794 private double primalIntegral_;
7796 public double PrimalIntegral {
7797 get {
return primalIntegral_; }
7799 primalIntegral_ = value;
7804 public const int SolutionInfoFieldNumber = 20;
7805 private string solutionInfo_ =
"";
7810 public string SolutionInfo {
7811 get {
return solutionInfo_; }
7813 solutionInfo_ = pb::ProtoPreconditions.CheckNotNull(value,
"value");
7824 if (ReferenceEquals(other,
null)) {
7827 if (ReferenceEquals(other,
this)) {
7830 if (Status != other.
Status)
return false;
7831 if(!solution_.Equals(other.solution_))
return false;
7832 if (!pbc::ProtobufEqualityComparers.BitwiseDoubleEqualityComparer.Equals(ObjectiveValue, other.
ObjectiveValue))
return false;
7833 if (!pbc::ProtobufEqualityComparers.BitwiseDoubleEqualityComparer.Equals(BestObjectiveBound, other.
BestObjectiveBound))
return false;
7834 if(!solutionLowerBounds_.Equals(other.solutionLowerBounds_))
return false;
7835 if(!solutionUpperBounds_.Equals(other.solutionUpperBounds_))
return false;
7836 if(!tightenedVariables_.Equals(other.tightenedVariables_))
return false;
7837 if(!sufficientAssumptionsForInfeasibility_.Equals(other.sufficientAssumptionsForInfeasibility_))
return false;
7839 if (NumBooleans != other.
NumBooleans)
return false;
7841 if (NumBranches != other.
NumBranches)
return false;
7844 if (NumRestarts != other.
NumRestarts)
return false;
7846 if (!pbc::ProtobufEqualityComparers.BitwiseDoubleEqualityComparer.Equals(WallTime, other.
WallTime))
return false;
7847 if (!pbc::ProtobufEqualityComparers.BitwiseDoubleEqualityComparer.Equals(UserTime, other.
UserTime))
return false;
7848 if (!pbc::ProtobufEqualityComparers.BitwiseDoubleEqualityComparer.Equals(DeterministicTime, other.
DeterministicTime))
return false;
7849 if (!pbc::ProtobufEqualityComparers.BitwiseDoubleEqualityComparer.Equals(PrimalIntegral, other.
PrimalIntegral))
return false;
7851 return Equals(_unknownFields, other._unknownFields);
7857 if (Status != global::Google.OrTools.Sat.CpSolverStatus.Unknown) hash ^= Status.GetHashCode();
7858 hash ^= solution_.GetHashCode();
7859 if (ObjectiveValue != 0D) hash ^= pbc::ProtobufEqualityComparers.BitwiseDoubleEqualityComparer.GetHashCode(ObjectiveValue);
7860 if (BestObjectiveBound != 0D) hash ^= pbc::ProtobufEqualityComparers.BitwiseDoubleEqualityComparer.GetHashCode(BestObjectiveBound);
7861 hash ^= solutionLowerBounds_.GetHashCode();
7862 hash ^= solutionUpperBounds_.GetHashCode();
7863 hash ^= tightenedVariables_.GetHashCode();
7864 hash ^= sufficientAssumptionsForInfeasibility_.GetHashCode();
7865 if (AllSolutionsWereFound !=
false) hash ^= AllSolutionsWereFound.GetHashCode();
7866 if (NumBooleans != 0L) hash ^= NumBooleans.GetHashCode();
7867 if (NumConflicts != 0L) hash ^= NumConflicts.GetHashCode();
7868 if (NumBranches != 0L) hash ^= NumBranches.GetHashCode();
7869 if (NumBinaryPropagations != 0L) hash ^= NumBinaryPropagations.GetHashCode();
7870 if (NumIntegerPropagations != 0L) hash ^= NumIntegerPropagations.GetHashCode();
7871 if (NumRestarts != 0L) hash ^= NumRestarts.GetHashCode();
7872 if (NumLpIterations != 0L) hash ^= NumLpIterations.GetHashCode();
7873 if (WallTime != 0D) hash ^= pbc::ProtobufEqualityComparers.BitwiseDoubleEqualityComparer.GetHashCode(WallTime);
7874 if (UserTime != 0D) hash ^= pbc::ProtobufEqualityComparers.BitwiseDoubleEqualityComparer.GetHashCode(UserTime);
7875 if (DeterministicTime != 0D) hash ^= pbc::ProtobufEqualityComparers.BitwiseDoubleEqualityComparer.GetHashCode(DeterministicTime);
7876 if (PrimalIntegral != 0D) hash ^= pbc::ProtobufEqualityComparers.BitwiseDoubleEqualityComparer.GetHashCode(PrimalIntegral);
7877 if (SolutionInfo.Length != 0) hash ^= SolutionInfo.GetHashCode();
7878 if (_unknownFields !=
null) {
7879 hash ^= _unknownFields.GetHashCode();
7886 return pb::JsonFormatter.ToDiagnosticString(
this);
7890 public void WriteTo(pb::CodedOutputStream output) {
7891 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
7892 output.WriteRawMessage(
this);
7894 if (Status != global::Google.OrTools.Sat.CpSolverStatus.Unknown) {
7895 output.WriteRawTag(8);
7896 output.WriteEnum((
int) Status);
7898 solution_.WriteTo(output, _repeated_solution_codec);
7899 if (ObjectiveValue != 0D) {
7900 output.WriteRawTag(25);
7901 output.WriteDouble(ObjectiveValue);
7903 if (BestObjectiveBound != 0D) {
7904 output.WriteRawTag(33);
7905 output.WriteDouble(BestObjectiveBound);
7907 if (AllSolutionsWereFound !=
false) {
7908 output.WriteRawTag(40);
7909 output.WriteBool(AllSolutionsWereFound);
7911 if (NumBooleans != 0L) {
7912 output.WriteRawTag(80);
7913 output.WriteInt64(NumBooleans);
7915 if (NumConflicts != 0L) {
7916 output.WriteRawTag(88);
7917 output.WriteInt64(NumConflicts);
7919 if (NumBranches != 0L) {
7920 output.WriteRawTag(96);
7921 output.WriteInt64(NumBranches);
7923 if (NumBinaryPropagations != 0L) {
7924 output.WriteRawTag(104);
7925 output.WriteInt64(NumBinaryPropagations);
7927 if (NumIntegerPropagations != 0L) {
7928 output.WriteRawTag(112);
7929 output.WriteInt64(NumIntegerPropagations);
7931 if (WallTime != 0D) {
7932 output.WriteRawTag(121);
7933 output.WriteDouble(WallTime);
7935 if (UserTime != 0D) {
7936 output.WriteRawTag(129, 1);
7937 output.WriteDouble(UserTime);
7939 if (DeterministicTime != 0D) {
7940 output.WriteRawTag(137, 1);
7941 output.WriteDouble(DeterministicTime);
7943 solutionLowerBounds_.WriteTo(output, _repeated_solutionLowerBounds_codec);
7944 solutionUpperBounds_.WriteTo(output, _repeated_solutionUpperBounds_codec);
7945 if (SolutionInfo.Length != 0) {
7946 output.WriteRawTag(162, 1);
7947 output.WriteString(SolutionInfo);
7949 tightenedVariables_.WriteTo(output, _repeated_tightenedVariables_codec);
7950 if (PrimalIntegral != 0D) {
7951 output.WriteRawTag(177, 1);
7952 output.WriteDouble(PrimalIntegral);
7954 sufficientAssumptionsForInfeasibility_.WriteTo(output, _repeated_sufficientAssumptionsForInfeasibility_codec);
7955 if (NumRestarts != 0L) {
7956 output.WriteRawTag(192, 1);
7957 output.WriteInt64(NumRestarts);
7959 if (NumLpIterations != 0L) {
7960 output.WriteRawTag(200, 1);
7961 output.WriteInt64(NumLpIterations);
7963 if (_unknownFields !=
null) {
7964 _unknownFields.WriteTo(output);
7969 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
7971 void pb::IBufferMessage.InternalWriteTo(ref pb::WriteContext output) {
7972 if (Status != global::Google.OrTools.Sat.CpSolverStatus.Unknown) {
7973 output.WriteRawTag(8);
7974 output.WriteEnum((
int) Status);
7976 solution_.WriteTo(ref output, _repeated_solution_codec);
7977 if (ObjectiveValue != 0D) {
7978 output.WriteRawTag(25);
7979 output.WriteDouble(ObjectiveValue);
7981 if (BestObjectiveBound != 0D) {
7982 output.WriteRawTag(33);
7983 output.WriteDouble(BestObjectiveBound);
7985 if (AllSolutionsWereFound !=
false) {
7986 output.WriteRawTag(40);
7987 output.WriteBool(AllSolutionsWereFound);
7989 if (NumBooleans != 0L) {
7990 output.WriteRawTag(80);
7991 output.WriteInt64(NumBooleans);
7993 if (NumConflicts != 0L) {
7994 output.WriteRawTag(88);
7995 output.WriteInt64(NumConflicts);
7997 if (NumBranches != 0L) {
7998 output.WriteRawTag(96);
7999 output.WriteInt64(NumBranches);
8001 if (NumBinaryPropagations != 0L) {
8002 output.WriteRawTag(104);
8003 output.WriteInt64(NumBinaryPropagations);
8005 if (NumIntegerPropagations != 0L) {
8006 output.WriteRawTag(112);
8007 output.WriteInt64(NumIntegerPropagations);
8009 if (WallTime != 0D) {
8010 output.WriteRawTag(121);
8011 output.WriteDouble(WallTime);
8013 if (UserTime != 0D) {
8014 output.WriteRawTag(129, 1);
8015 output.WriteDouble(UserTime);
8017 if (DeterministicTime != 0D) {
8018 output.WriteRawTag(137, 1);
8019 output.WriteDouble(DeterministicTime);
8021 solutionLowerBounds_.WriteTo(ref output, _repeated_solutionLowerBounds_codec);
8022 solutionUpperBounds_.WriteTo(ref output, _repeated_solutionUpperBounds_codec);
8023 if (SolutionInfo.Length != 0) {
8024 output.WriteRawTag(162, 1);
8025 output.WriteString(SolutionInfo);
8027 tightenedVariables_.WriteTo(ref output, _repeated_tightenedVariables_codec);
8028 if (PrimalIntegral != 0D) {
8029 output.WriteRawTag(177, 1);
8030 output.WriteDouble(PrimalIntegral);
8032 sufficientAssumptionsForInfeasibility_.WriteTo(ref output, _repeated_sufficientAssumptionsForInfeasibility_codec);
8033 if (NumRestarts != 0L) {
8034 output.WriteRawTag(192, 1);
8035 output.WriteInt64(NumRestarts);
8037 if (NumLpIterations != 0L) {
8038 output.WriteRawTag(200, 1);
8039 output.WriteInt64(NumLpIterations);
8041 if (_unknownFields !=
null) {
8042 _unknownFields.WriteTo(ref output);
8050 if (Status != global::Google.OrTools.Sat.CpSolverStatus.Unknown) {
8051 size += 1 + pb::CodedOutputStream.ComputeEnumSize((
int) Status);
8053 size += solution_.CalculateSize(_repeated_solution_codec);
8054 if (ObjectiveValue != 0D) {
8057 if (BestObjectiveBound != 0D) {
8060 size += solutionLowerBounds_.CalculateSize(_repeated_solutionLowerBounds_codec);
8061 size += solutionUpperBounds_.CalculateSize(_repeated_solutionUpperBounds_codec);
8062 size += tightenedVariables_.CalculateSize(_repeated_tightenedVariables_codec);
8063 size += sufficientAssumptionsForInfeasibility_.CalculateSize(_repeated_sufficientAssumptionsForInfeasibility_codec);
8064 if (AllSolutionsWereFound !=
false) {
8067 if (NumBooleans != 0L) {
8068 size += 1 + pb::CodedOutputStream.ComputeInt64Size(NumBooleans);
8070 if (NumConflicts != 0L) {
8071 size += 1 + pb::CodedOutputStream.ComputeInt64Size(NumConflicts);
8073 if (NumBranches != 0L) {
8074 size += 1 + pb::CodedOutputStream.ComputeInt64Size(NumBranches);
8076 if (NumBinaryPropagations != 0L) {
8077 size += 1 + pb::CodedOutputStream.ComputeInt64Size(NumBinaryPropagations);
8079 if (NumIntegerPropagations != 0L) {
8080 size += 1 + pb::CodedOutputStream.ComputeInt64Size(NumIntegerPropagations);
8082 if (NumRestarts != 0L) {
8083 size += 2 + pb::CodedOutputStream.ComputeInt64Size(NumRestarts);
8085 if (NumLpIterations != 0L) {
8086 size += 2 + pb::CodedOutputStream.ComputeInt64Size(NumLpIterations);
8088 if (WallTime != 0D) {
8091 if (UserTime != 0D) {
8094 if (DeterministicTime != 0D) {
8097 if (PrimalIntegral != 0D) {
8100 if (SolutionInfo.Length != 0) {
8101 size += 2 + pb::CodedOutputStream.ComputeStringSize(SolutionInfo);
8103 if (_unknownFields !=
null) {
8104 size += _unknownFields.CalculateSize();
8111 if (other ==
null) {
8114 if (other.
Status != global::Google.OrTools.Sat.CpSolverStatus.Unknown) {
8117 solution_.Add(other.solution_);
8124 solutionLowerBounds_.Add(other.solutionLowerBounds_);
8125 solutionUpperBounds_.Add(other.solutionUpperBounds_);
8126 tightenedVariables_.Add(other.tightenedVariables_);
8127 sufficientAssumptionsForInfeasibility_.Add(other.sufficientAssumptionsForInfeasibility_);
8167 _unknownFields = pb::UnknownFieldSet.MergeFrom(_unknownFields, other._unknownFields);
8172 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
8173 input.ReadRawMessage(
this);
8176 while ((tag = input.ReadTag()) != 0) {
8179 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, input);
8182 Status = (global::Google.OrTools.Sat.CpSolverStatus) input.ReadEnum();
8187 solution_.AddEntriesFrom(input, _repeated_solution_codec);
8191 ObjectiveValue = input.ReadDouble();
8195 BestObjectiveBound = input.ReadDouble();
8199 AllSolutionsWereFound = input.ReadBool();
8203 NumBooleans = input.ReadInt64();
8207 NumConflicts = input.ReadInt64();
8211 NumBranches = input.ReadInt64();
8215 NumBinaryPropagations = input.ReadInt64();
8219 NumIntegerPropagations = input.ReadInt64();
8223 WallTime = input.ReadDouble();
8227 UserTime = input.ReadDouble();
8231 DeterministicTime = input.ReadDouble();
8236 solutionLowerBounds_.AddEntriesFrom(input, _repeated_solutionLowerBounds_codec);
8241 solutionUpperBounds_.AddEntriesFrom(input, _repeated_solutionUpperBounds_codec);
8245 SolutionInfo = input.ReadString();
8249 tightenedVariables_.AddEntriesFrom(input, _repeated_tightenedVariables_codec);
8253 PrimalIntegral = input.ReadDouble();
8258 sufficientAssumptionsForInfeasibility_.AddEntriesFrom(input, _repeated_sufficientAssumptionsForInfeasibility_codec);
8262 NumRestarts = input.ReadInt64();
8266 NumLpIterations = input.ReadInt64();
8274 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
8276 void pb::IBufferMessage.InternalMergeFrom(ref pb::ParseContext input) {
8278 while ((tag = input.ReadTag()) != 0) {
8281 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, ref input);
8284 Status = (global::Google.OrTools.Sat.CpSolverStatus) input.ReadEnum();
8289 solution_.AddEntriesFrom(ref input, _repeated_solution_codec);
8293 ObjectiveValue = input.ReadDouble();
8297 BestObjectiveBound = input.ReadDouble();
8301 AllSolutionsWereFound = input.ReadBool();
8305 NumBooleans = input.ReadInt64();
8309 NumConflicts = input.ReadInt64();
8313 NumBranches = input.ReadInt64();
8317 NumBinaryPropagations = input.ReadInt64();
8321 NumIntegerPropagations = input.ReadInt64();
8325 WallTime = input.ReadDouble();
8329 UserTime = input.ReadDouble();
8333 DeterministicTime = input.ReadDouble();
8338 solutionLowerBounds_.AddEntriesFrom(ref input, _repeated_solutionLowerBounds_codec);
8343 solutionUpperBounds_.AddEntriesFrom(ref input, _repeated_solutionUpperBounds_codec);
8347 SolutionInfo = input.ReadString();
8351 tightenedVariables_.AddEntriesFrom(ref input, _repeated_tightenedVariables_codec);
8355 PrimalIntegral = input.ReadDouble();
8360 sufficientAssumptionsForInfeasibility_.AddEntriesFrom(ref input, _repeated_sufficientAssumptionsForInfeasibility_codec);
8364 NumRestarts = input.ReadInt64();
8368 NumLpIterations = input.ReadInt64();
8382 #endregion Designer generated code