20 get {
return descriptor; }
22 private static pbr::FileDescriptor descriptor;
25 byte[] descriptorData = global::System.Convert.FromBase64String(
27 "ChpvcnRvb2xzL3NhdC9jcF9tb2RlbC5wcm90bxIXb3BlcmF0aW9uc19yZXNl",
28 "YXJjaC5zYXQiNAoUSW50ZWdlclZhcmlhYmxlUHJvdG8SDAoEbmFtZRgBIAEo",
29 "CRIOCgZkb21haW4YAiADKAMiJQoRQm9vbEFyZ3VtZW50UHJvdG8SEAoIbGl0",
30 "ZXJhbHMYASADKAUiRQoVTGluZWFyRXhwcmVzc2lvblByb3RvEgwKBHZhcnMY",
31 "ASADKAUSDgoGY29lZmZzGAIgAygDEg4KBm9mZnNldBgDIAEoAyKUAQoTTGlu",
32 "ZWFyQXJndW1lbnRQcm90bxI+CgZ0YXJnZXQYASABKAsyLi5vcGVyYXRpb25z",
33 "X3Jlc2VhcmNoLnNhdC5MaW5lYXJFeHByZXNzaW9uUHJvdG8SPQoFZXhwcnMY",
34 "AiADKAsyLi5vcGVyYXRpb25zX3Jlc2VhcmNoLnNhdC5MaW5lYXJFeHByZXNz",
35 "aW9uUHJvdG8iXAobQWxsRGlmZmVyZW50Q29uc3RyYWludFByb3RvEj0KBWV4",
36 "cHJzGAEgAygLMi4ub3BlcmF0aW9uc19yZXNlYXJjaC5zYXQuTGluZWFyRXhw",
37 "cmVzc2lvblByb3RvIkUKFUxpbmVhckNvbnN0cmFpbnRQcm90bxIMCgR2YXJz",
38 "GAEgAygFEg4KBmNvZWZmcxgCIAMoAxIOCgZkb21haW4YAyADKAMiRQoWRWxl",
39 "bWVudENvbnN0cmFpbnRQcm90bxINCgVpbmRleBgBIAEoBRIOCgZ0YXJnZXQY",
40 "AiABKAUSDAoEdmFycxgDIAMoBSLTAQoXSW50ZXJ2YWxDb25zdHJhaW50UHJv",
41 "dG8SPQoFc3RhcnQYBCABKAsyLi5vcGVyYXRpb25zX3Jlc2VhcmNoLnNhdC5M",
42 "aW5lYXJFeHByZXNzaW9uUHJvdG8SOwoDZW5kGAUgASgLMi4ub3BlcmF0aW9u",
43 "c19yZXNlYXJjaC5zYXQuTGluZWFyRXhwcmVzc2lvblByb3RvEjwKBHNpemUY",
44 "BiABKAsyLi5vcGVyYXRpb25zX3Jlc2VhcmNoLnNhdC5MaW5lYXJFeHByZXNz",
45 "aW9uUHJvdG8iLQoYTm9PdmVybGFwQ29uc3RyYWludFByb3RvEhEKCWludGVy",
46 "dmFscxgBIAMoBSJGChpOb092ZXJsYXAyRENvbnN0cmFpbnRQcm90bxITCgt4",
47 "X2ludGVydmFscxgBIAMoBRITCgt5X2ludGVydmFscxgCIAMoBSKxAQoZQ3Vt",
48 "dWxhdGl2ZUNvbnN0cmFpbnRQcm90bxJACghjYXBhY2l0eRgBIAEoCzIuLm9w",
49 "ZXJhdGlvbnNfcmVzZWFyY2guc2F0LkxpbmVhckV4cHJlc3Npb25Qcm90bxIR",
50 "CglpbnRlcnZhbHMYAiADKAUSPwoHZGVtYW5kcxgDIAMoCzIuLm9wZXJhdGlv",
51 "bnNfcmVzZWFyY2guc2F0LkxpbmVhckV4cHJlc3Npb25Qcm90byLqAQoYUmVz",
52 "ZXJ2b2lyQ29uc3RyYWludFByb3RvEhEKCW1pbl9sZXZlbBgBIAEoAxIRCglt",
53 "YXhfbGV2ZWwYAiABKAMSQgoKdGltZV9leHBycxgDIAMoCzIuLm9wZXJhdGlv",
54 "bnNfcmVzZWFyY2guc2F0LkxpbmVhckV4cHJlc3Npb25Qcm90bxJFCg1sZXZl",
55 "bF9jaGFuZ2VzGAYgAygLMi4ub3BlcmF0aW9uc19yZXNlYXJjaC5zYXQuTGlu",
56 "ZWFyRXhwcmVzc2lvblByb3RvEhcKD2FjdGl2ZV9saXRlcmFscxgFIAMoBUoE",
57 "CAQQBSJIChZDaXJjdWl0Q29uc3RyYWludFByb3RvEg0KBXRhaWxzGAMgAygF",
58 "Eg0KBWhlYWRzGAQgAygFEhAKCGxpdGVyYWxzGAUgAygFImoKFVJvdXRlc0Nv",
59 "bnN0cmFpbnRQcm90bxINCgV0YWlscxgBIAMoBRINCgVoZWFkcxgCIAMoBRIQ",
60 "CghsaXRlcmFscxgDIAMoBRIPCgdkZW1hbmRzGAQgAygFEhAKCGNhcGFjaXR5",
61 "GAUgASgDIkUKFFRhYmxlQ29uc3RyYWludFByb3RvEgwKBHZhcnMYASADKAUS",
62 "DgoGdmFsdWVzGAIgAygDEg8KB25lZ2F0ZWQYAyABKAgiPQoWSW52ZXJzZUNv",
63 "bnN0cmFpbnRQcm90bxIQCghmX2RpcmVjdBgBIAMoBRIRCglmX2ludmVyc2UY",
64 "AiADKAUiogEKGEF1dG9tYXRvbkNvbnN0cmFpbnRQcm90bxIWCg5zdGFydGlu",
65 "Z19zdGF0ZRgCIAEoAxIUCgxmaW5hbF9zdGF0ZXMYAyADKAMSFwoPdHJhbnNp",
66 "dGlvbl90YWlsGAQgAygDEhcKD3RyYW5zaXRpb25faGVhZBgFIAMoAxIYChB0",
67 "cmFuc2l0aW9uX2xhYmVsGAYgAygDEgwKBHZhcnMYByADKAUiJAoUTGlzdE9m",
68 "VmFyaWFibGVzUHJvdG8SDAoEdmFycxgBIAMoBSLwDAoPQ29uc3RyYWludFBy",
69 "b3RvEgwKBG5hbWUYASABKAkSGwoTZW5mb3JjZW1lbnRfbGl0ZXJhbBgCIAMo",
70 "BRI9Cgdib29sX29yGAMgASgLMioub3BlcmF0aW9uc19yZXNlYXJjaC5zYXQu",
71 "Qm9vbEFyZ3VtZW50UHJvdG9IABI+Cghib29sX2FuZBgEIAEoCzIqLm9wZXJh",
72 "dGlvbnNfcmVzZWFyY2guc2F0LkJvb2xBcmd1bWVudFByb3RvSAASQQoLYXRf",
73 "bW9zdF9vbmUYGiABKAsyKi5vcGVyYXRpb25zX3Jlc2VhcmNoLnNhdC5Cb29s",
74 "QXJndW1lbnRQcm90b0gAEkEKC2V4YWN0bHlfb25lGB0gASgLMioub3BlcmF0",
75 "aW9uc19yZXNlYXJjaC5zYXQuQm9vbEFyZ3VtZW50UHJvdG9IABI+Cghib29s",
76 "X3hvchgFIAEoCzIqLm9wZXJhdGlvbnNfcmVzZWFyY2guc2F0LkJvb2xBcmd1",
77 "bWVudFByb3RvSAASPwoHaW50X2RpdhgHIAEoCzIsLm9wZXJhdGlvbnNfcmVz",
78 "ZWFyY2guc2F0LkxpbmVhckFyZ3VtZW50UHJvdG9IABI/CgdpbnRfbW9kGAgg",
79 "ASgLMiwub3BlcmF0aW9uc19yZXNlYXJjaC5zYXQuTGluZWFyQXJndW1lbnRQ",
80 "cm90b0gAEkAKCGludF9wcm9kGAsgASgLMiwub3BlcmF0aW9uc19yZXNlYXJj",
81 "aC5zYXQuTGluZWFyQXJndW1lbnRQcm90b0gAEj8KB2xpbl9tYXgYGyABKAsy",
82 "LC5vcGVyYXRpb25zX3Jlc2VhcmNoLnNhdC5MaW5lYXJBcmd1bWVudFByb3Rv",
83 "SAASQAoGbGluZWFyGAwgASgLMi4ub3BlcmF0aW9uc19yZXNlYXJjaC5zYXQu",
84 "TGluZWFyQ29uc3RyYWludFByb3RvSAASSAoIYWxsX2RpZmYYDSABKAsyNC5v",
85 "cGVyYXRpb25zX3Jlc2VhcmNoLnNhdC5BbGxEaWZmZXJlbnRDb25zdHJhaW50",
86 "UHJvdG9IABJCCgdlbGVtZW50GA4gASgLMi8ub3BlcmF0aW9uc19yZXNlYXJj",
87 "aC5zYXQuRWxlbWVudENvbnN0cmFpbnRQcm90b0gAEkIKB2NpcmN1aXQYDyAB",
88 "KAsyLy5vcGVyYXRpb25zX3Jlc2VhcmNoLnNhdC5DaXJjdWl0Q29uc3RyYWlu",
89 "dFByb3RvSAASQAoGcm91dGVzGBcgASgLMi4ub3BlcmF0aW9uc19yZXNlYXJj",
90 "aC5zYXQuUm91dGVzQ29uc3RyYWludFByb3RvSAASPgoFdGFibGUYECABKAsy",
91 "LS5vcGVyYXRpb25zX3Jlc2VhcmNoLnNhdC5UYWJsZUNvbnN0cmFpbnRQcm90",
92 "b0gAEkYKCWF1dG9tYXRvbhgRIAEoCzIxLm9wZXJhdGlvbnNfcmVzZWFyY2gu",
93 "c2F0LkF1dG9tYXRvbkNvbnN0cmFpbnRQcm90b0gAEkIKB2ludmVyc2UYEiAB",
94 "KAsyLy5vcGVyYXRpb25zX3Jlc2VhcmNoLnNhdC5JbnZlcnNlQ29uc3RyYWlu",
95 "dFByb3RvSAASRgoJcmVzZXJ2b2lyGBggASgLMjEub3BlcmF0aW9uc19yZXNl",
96 "YXJjaC5zYXQuUmVzZXJ2b2lyQ29uc3RyYWludFByb3RvSAASRAoIaW50ZXJ2",
97 "YWwYEyABKAsyMC5vcGVyYXRpb25zX3Jlc2VhcmNoLnNhdC5JbnRlcnZhbENv",
98 "bnN0cmFpbnRQcm90b0gAEkcKCm5vX292ZXJsYXAYFCABKAsyMS5vcGVyYXRp",
99 "b25zX3Jlc2VhcmNoLnNhdC5Ob092ZXJsYXBDb25zdHJhaW50UHJvdG9IABJM",
100 "Cg1ub19vdmVybGFwXzJkGBUgASgLMjMub3BlcmF0aW9uc19yZXNlYXJjaC5z",
101 "YXQuTm9PdmVybGFwMkRDb25zdHJhaW50UHJvdG9IABJICgpjdW11bGF0aXZl",
102 "GBYgASgLMjIub3BlcmF0aW9uc19yZXNlYXJjaC5zYXQuQ3VtdWxhdGl2ZUNv",
103 "bnN0cmFpbnRQcm90b0gAEkkKEGR1bW15X2NvbnN0cmFpbnQYHiABKAsyLS5v",
104 "cGVyYXRpb25zX3Jlc2VhcmNoLnNhdC5MaXN0T2ZWYXJpYWJsZXNQcm90b0gA",
105 "QgwKCmNvbnN0cmFpbnQi4AEKEENwT2JqZWN0aXZlUHJvdG8SDAoEdmFycxgB",
106 "IAMoBRIOCgZjb2VmZnMYBCADKAMSDgoGb2Zmc2V0GAIgASgBEhYKDnNjYWxp",
107 "bmdfZmFjdG9yGAMgASgBEg4KBmRvbWFpbhgFIAMoAxIZChFzY2FsaW5nX3dh",
108 "c19leGFjdBgGIAEoCBIdChVpbnRlZ2VyX2JlZm9yZV9vZmZzZXQYByABKAMS",
109 "HAoUaW50ZWdlcl9hZnRlcl9vZmZzZXQYCSABKAMSHgoWaW50ZWdlcl9zY2Fs",
110 "aW5nX2ZhY3RvchgIIAEoAyJVChNGbG9hdE9iamVjdGl2ZVByb3RvEgwKBHZh",
111 "cnMYASADKAUSDgoGY29lZmZzGAIgAygBEg4KBm9mZnNldBgDIAEoARIQCght",
112 "YXhpbWl6ZRgEIAEoCCLpBAoVRGVjaXNpb25TdHJhdGVneVByb3RvEhEKCXZh",
113 "cmlhYmxlcxgBIAMoBRI9CgVleHBycxgFIAMoCzIuLm9wZXJhdGlvbnNfcmVz",
114 "ZWFyY2guc2F0LkxpbmVhckV4cHJlc3Npb25Qcm90bxJtCht2YXJpYWJsZV9z",
115 "ZWxlY3Rpb25fc3RyYXRlZ3kYAiABKA4ySC5vcGVyYXRpb25zX3Jlc2VhcmNo",
116 "LnNhdC5EZWNpc2lvblN0cmF0ZWd5UHJvdG8uVmFyaWFibGVTZWxlY3Rpb25T",
117 "dHJhdGVneRJpChlkb21haW5fcmVkdWN0aW9uX3N0cmF0ZWd5GAMgASgOMkYu",
118 "b3BlcmF0aW9uc19yZXNlYXJjaC5zYXQuRGVjaXNpb25TdHJhdGVneVByb3Rv",
119 "LkRvbWFpblJlZHVjdGlvblN0cmF0ZWd5IpQBChlWYXJpYWJsZVNlbGVjdGlv",
120 "blN0cmF0ZWd5EhAKDENIT09TRV9GSVJTVBAAEhUKEUNIT09TRV9MT1dFU1Rf",
121 "TUlOEAESFgoSQ0hPT1NFX0hJR0hFU1RfTUFYEAISGgoWQ0hPT1NFX01JTl9E",
122 "T01BSU5fU0laRRADEhoKFkNIT09TRV9NQVhfRE9NQUlOX1NJWkUQBCKMAQoX",
123 "RG9tYWluUmVkdWN0aW9uU3RyYXRlZ3kSFAoQU0VMRUNUX01JTl9WQUxVRRAA",
124 "EhQKEFNFTEVDVF9NQVhfVkFMVUUQARIVChFTRUxFQ1RfTE9XRVJfSEFMRhAC",
125 "EhUKEVNFTEVDVF9VUFBFUl9IQUxGEAMSFwoTU0VMRUNUX01FRElBTl9WQUxV",
126 "RRAEIjkKGVBhcnRpYWxWYXJpYWJsZUFzc2lnbm1lbnQSDAoEdmFycxgBIAMo",
127 "BRIOCgZ2YWx1ZXMYAiADKAMiPgoWU3BhcnNlUGVybXV0YXRpb25Qcm90bxIP",
128 "CgdzdXBwb3J0GAEgAygFEhMKC2N5Y2xlX3NpemVzGAIgAygFIkcKEERlbnNl",
129 "TWF0cml4UHJvdG8SEAoIbnVtX3Jvd3MYASABKAUSEAoIbnVtX2NvbHMYAiAB",
130 "KAUSDwoHZW50cmllcxgDIAMoBSKUAQoNU3ltbWV0cnlQcm90bxJFCgxwZXJt",
131 "dXRhdGlvbnMYASADKAsyLy5vcGVyYXRpb25zX3Jlc2VhcmNoLnNhdC5TcGFy",
132 "c2VQZXJtdXRhdGlvblByb3RvEjwKCW9yYml0b3BlcxgCIAMoCzIpLm9wZXJh",
133 "dGlvbnNfcmVzZWFyY2guc2F0LkRlbnNlTWF0cml4UHJvdG8ijgQKDENwTW9k",
134 "ZWxQcm90bxIMCgRuYW1lGAEgASgJEkAKCXZhcmlhYmxlcxgCIAMoCzItLm9w",
135 "ZXJhdGlvbnNfcmVzZWFyY2guc2F0LkludGVnZXJWYXJpYWJsZVByb3RvEj0K",
136 "C2NvbnN0cmFpbnRzGAMgAygLMigub3BlcmF0aW9uc19yZXNlYXJjaC5zYXQu",
137 "Q29uc3RyYWludFByb3RvEjwKCW9iamVjdGl2ZRgEIAEoCzIpLm9wZXJhdGlv",
138 "bnNfcmVzZWFyY2guc2F0LkNwT2JqZWN0aXZlUHJvdG8STgoYZmxvYXRpbmdf",
139 "cG9pbnRfb2JqZWN0aXZlGAkgASgLMiwub3BlcmF0aW9uc19yZXNlYXJjaC5z",
140 "YXQuRmxvYXRPYmplY3RpdmVQcm90bxJHCg9zZWFyY2hfc3RyYXRlZ3kYBSAD",
141 "KAsyLi5vcGVyYXRpb25zX3Jlc2VhcmNoLnNhdC5EZWNpc2lvblN0cmF0ZWd5",
142 "UHJvdG8SSQoNc29sdXRpb25faGludBgGIAEoCzIyLm9wZXJhdGlvbnNfcmVz",
143 "ZWFyY2guc2F0LlBhcnRpYWxWYXJpYWJsZUFzc2lnbm1lbnQSEwoLYXNzdW1w",
144 "dGlvbnMYByADKAUSOAoIc3ltbWV0cnkYCCABKAsyJi5vcGVyYXRpb25zX3Jl",
145 "c2VhcmNoLnNhdC5TeW1tZXRyeVByb3RvIiIKEENwU29sdmVyU29sdXRpb24S",
146 "DgoGdmFsdWVzGAEgAygDIpUGChBDcFNvbHZlclJlc3BvbnNlEjcKBnN0YXR1",
147 "cxgBIAEoDjInLm9wZXJhdGlvbnNfcmVzZWFyY2guc2F0LkNwU29sdmVyU3Rh",
148 "dHVzEhAKCHNvbHV0aW9uGAIgAygDEhcKD29iamVjdGl2ZV92YWx1ZRgDIAEo",
149 "ARIcChRiZXN0X29iamVjdGl2ZV9ib3VuZBgEIAEoARJHChRhZGRpdGlvbmFs",
150 "X3NvbHV0aW9ucxgbIAMoCzIpLm9wZXJhdGlvbnNfcmVzZWFyY2guc2F0LkNw",
151 "U29sdmVyU29sdXRpb24SSgoTdGlnaHRlbmVkX3ZhcmlhYmxlcxgVIAMoCzIt",
152 "Lm9wZXJhdGlvbnNfcmVzZWFyY2guc2F0LkludGVnZXJWYXJpYWJsZVByb3Rv",
153 "EjAKKHN1ZmZpY2llbnRfYXNzdW1wdGlvbnNfZm9yX2luZmVhc2liaWxpdHkY",
154 "FyADKAUSRAoRaW50ZWdlcl9vYmplY3RpdmUYHCABKAsyKS5vcGVyYXRpb25z",
155 "X3Jlc2VhcmNoLnNhdC5DcE9iamVjdGl2ZVByb3RvEiMKG2lubmVyX29iamVj",
156 "dGl2ZV9sb3dlcl9ib3VuZBgdIAEoAxIUCgxudW1faW50ZWdlcnMYHiABKAMS",
157 "FAoMbnVtX2Jvb2xlYW5zGAogASgDEhUKDW51bV9jb25mbGljdHMYCyABKAMS",
158 "FAoMbnVtX2JyYW5jaGVzGAwgASgDEh8KF251bV9iaW5hcnlfcHJvcGFnYXRp",
159 "b25zGA0gASgDEiAKGG51bV9pbnRlZ2VyX3Byb3BhZ2F0aW9ucxgOIAEoAxIU",
160 "CgxudW1fcmVzdGFydHMYGCABKAMSGQoRbnVtX2xwX2l0ZXJhdGlvbnMYGSAB",
161 "KAMSEQoJd2FsbF90aW1lGA8gASgBEhEKCXVzZXJfdGltZRgQIAEoARIaChJk",
162 "ZXRlcm1pbmlzdGljX3RpbWUYESABKAESFAoMZ2FwX2ludGVncmFsGBYgASgB",
163 "EhUKDXNvbHV0aW9uX2luZm8YFCABKAkSEQoJc29sdmVfbG9nGBogASgJKlsK",
164 "DkNwU29sdmVyU3RhdHVzEgsKB1VOS05PV04QABIRCg1NT0RFTF9JTlZBTElE",
165 "EAESDAoIRkVBU0lCTEUQAhIOCgpJTkZFQVNJQkxFEAMSCwoHT1BUSU1BTBAE",
166 "QkAKFmNvbS5nb29nbGUub3J0b29scy5zYXRCD0NwTW9kZWxQcm90b2J1ZlAB",
167 "qgISR29vZ2xlLk9yVG9vbHMuU2F0YgZwcm90bzM="));
168 descriptor = pbr::FileDescriptor.FromGeneratedCode(descriptorData,
169 new pbr::FileDescriptor[] { },
170 new pbr::GeneratedClrTypeInfo(
new[] {typeof(global::Google.OrTools.Sat.CpSolverStatus), },
null,
new pbr::GeneratedClrTypeInfo[] {
171 new pbr::GeneratedClrTypeInfo(typeof(global::Google.OrTools.Sat.IntegerVariableProto), global::Google.OrTools.Sat.IntegerVariableProto.Parser,
new[]{
"Name",
"Domain" },
null,
null,
null,
null),
172 new pbr::GeneratedClrTypeInfo(typeof(global::Google.OrTools.Sat.BoolArgumentProto), global::Google.OrTools.Sat.BoolArgumentProto.Parser,
new[]{
"Literals" },
null,
null,
null,
null),
173 new pbr::GeneratedClrTypeInfo(typeof(global::Google.OrTools.Sat.LinearExpressionProto), global::Google.OrTools.Sat.LinearExpressionProto.Parser,
new[]{
"Vars",
"Coeffs",
"Offset" },
null,
null,
null,
null),
174 new pbr::GeneratedClrTypeInfo(typeof(global::Google.OrTools.Sat.LinearArgumentProto), global::Google.OrTools.Sat.LinearArgumentProto.Parser,
new[]{
"Target",
"Exprs" },
null,
null,
null,
null),
175 new pbr::GeneratedClrTypeInfo(typeof(global::Google.OrTools.Sat.AllDifferentConstraintProto), global::Google.OrTools.Sat.AllDifferentConstraintProto.Parser,
new[]{
"Exprs" },
null,
null,
null,
null),
176 new pbr::GeneratedClrTypeInfo(typeof(global::Google.OrTools.Sat.LinearConstraintProto), global::Google.OrTools.Sat.LinearConstraintProto.Parser,
new[]{
"Vars",
"Coeffs",
"Domain" },
null,
null,
null,
null),
177 new pbr::GeneratedClrTypeInfo(typeof(global::Google.OrTools.Sat.ElementConstraintProto), global::Google.OrTools.Sat.ElementConstraintProto.Parser,
new[]{
"Index",
"Target",
"Vars" },
null,
null,
null,
null),
178 new pbr::GeneratedClrTypeInfo(typeof(global::Google.OrTools.Sat.IntervalConstraintProto), global::Google.OrTools.Sat.IntervalConstraintProto.Parser,
new[]{
"Start",
"End",
"Size" },
null,
null,
null,
null),
179 new pbr::GeneratedClrTypeInfo(typeof(global::Google.OrTools.Sat.NoOverlapConstraintProto), global::Google.OrTools.Sat.NoOverlapConstraintProto.Parser,
new[]{
"Intervals" },
null,
null,
null,
null),
180 new pbr::GeneratedClrTypeInfo(typeof(global::Google.OrTools.Sat.NoOverlap2DConstraintProto), global::Google.OrTools.Sat.NoOverlap2DConstraintProto.Parser,
new[]{
"XIntervals",
"YIntervals" },
null,
null,
null,
null),
181 new pbr::GeneratedClrTypeInfo(typeof(global::Google.OrTools.Sat.CumulativeConstraintProto), global::Google.OrTools.Sat.CumulativeConstraintProto.Parser,
new[]{
"Capacity",
"Intervals",
"Demands" },
null,
null,
null,
null),
182 new pbr::GeneratedClrTypeInfo(typeof(global::Google.OrTools.Sat.ReservoirConstraintProto), global::Google.OrTools.Sat.ReservoirConstraintProto.Parser,
new[]{
"MinLevel",
"MaxLevel",
"TimeExprs",
"LevelChanges",
"ActiveLiterals" },
null,
null,
null,
null),
183 new pbr::GeneratedClrTypeInfo(typeof(global::Google.OrTools.Sat.CircuitConstraintProto), global::Google.OrTools.Sat.CircuitConstraintProto.Parser,
new[]{
"Tails",
"Heads",
"Literals" },
null,
null,
null,
null),
184 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),
185 new pbr::GeneratedClrTypeInfo(typeof(global::Google.OrTools.Sat.TableConstraintProto), global::Google.OrTools.Sat.TableConstraintProto.Parser,
new[]{
"Vars",
"Values",
"Negated" },
null,
null,
null,
null),
186 new pbr::GeneratedClrTypeInfo(typeof(global::Google.OrTools.Sat.InverseConstraintProto), global::Google.OrTools.Sat.InverseConstraintProto.Parser,
new[]{
"FDirect",
"FInverse" },
null,
null,
null,
null),
187 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),
188 new pbr::GeneratedClrTypeInfo(typeof(global::Google.OrTools.Sat.ListOfVariablesProto), global::Google.OrTools.Sat.ListOfVariablesProto.Parser,
new[]{
"Vars" },
null,
null,
null,
null),
189 new pbr::GeneratedClrTypeInfo(typeof(global::Google.OrTools.Sat.ConstraintProto), global::Google.OrTools.Sat.ConstraintProto.Parser,
new[]{
"Name",
"EnforcementLiteral",
"BoolOr",
"BoolAnd",
"AtMostOne",
"ExactlyOne",
"BoolXor",
"IntDiv",
"IntMod",
"IntProd",
"LinMax",
"Linear",
"AllDiff",
"Element",
"Circuit",
"Routes",
"Table",
"Automaton",
"Inverse",
"Reservoir",
"Interval",
"NoOverlap",
"NoOverlap2D",
"Cumulative",
"DummyConstraint" },
new[]{
"Constraint" },
null,
null,
null),
190 new pbr::GeneratedClrTypeInfo(typeof(global::Google.OrTools.Sat.CpObjectiveProto), global::Google.OrTools.Sat.CpObjectiveProto.Parser,
new[]{
"Vars",
"Coeffs",
"Offset",
"ScalingFactor",
"Domain",
"ScalingWasExact",
"IntegerBeforeOffset",
"IntegerAfterOffset",
"IntegerScalingFactor" },
null,
null,
null,
null),
191 new pbr::GeneratedClrTypeInfo(typeof(global::Google.OrTools.Sat.FloatObjectiveProto), global::Google.OrTools.Sat.FloatObjectiveProto.Parser,
new[]{
"Vars",
"Coeffs",
"Offset",
"Maximize" },
null,
null,
null,
null),
192 new pbr::GeneratedClrTypeInfo(typeof(global::Google.OrTools.Sat.DecisionStrategyProto), global::Google.OrTools.Sat.DecisionStrategyProto.Parser,
new[]{
"Variables",
"Exprs",
"VariableSelectionStrategy",
"DomainReductionStrategy" },
null,
new[]{ typeof(global::Google.OrTools.Sat.DecisionStrategyProto.Types.VariableSelectionStrategy), typeof(global::Google.OrTools.Sat.DecisionStrategyProto.Types.DomainReductionStrategy) },
null,
null),
193 new pbr::GeneratedClrTypeInfo(typeof(global::Google.OrTools.Sat.PartialVariableAssignment), global::Google.OrTools.Sat.PartialVariableAssignment.Parser,
new[]{
"Vars",
"Values" },
null,
null,
null,
null),
194 new pbr::GeneratedClrTypeInfo(typeof(global::Google.OrTools.Sat.SparsePermutationProto), global::Google.OrTools.Sat.SparsePermutationProto.Parser,
new[]{
"Support",
"CycleSizes" },
null,
null,
null,
null),
195 new pbr::GeneratedClrTypeInfo(typeof(global::Google.OrTools.Sat.DenseMatrixProto), global::Google.OrTools.Sat.DenseMatrixProto.Parser,
new[]{
"NumRows",
"NumCols",
"Entries" },
null,
null,
null,
null),
196 new pbr::GeneratedClrTypeInfo(typeof(global::Google.OrTools.Sat.SymmetryProto), global::Google.OrTools.Sat.SymmetryProto.Parser,
new[]{
"Permutations",
"Orbitopes" },
null,
null,
null,
null),
197 new pbr::GeneratedClrTypeInfo(typeof(global::Google.OrTools.Sat.CpModelProto), global::Google.OrTools.Sat.CpModelProto.Parser,
new[]{
"Name",
"Variables",
"Constraints",
"Objective",
"FloatingPointObjective",
"SearchStrategy",
"SolutionHint",
"Assumptions",
"Symmetry" },
null,
null,
null,
null),
198 new pbr::GeneratedClrTypeInfo(typeof(global::Google.OrTools.Sat.CpSolverSolution), global::Google.OrTools.Sat.CpSolverSolution.Parser,
new[]{
"Values" },
null,
null,
null,
null),
199 new pbr::GeneratedClrTypeInfo(typeof(global::Google.OrTools.Sat.CpSolverResponse), global::Google.OrTools.Sat.CpSolverResponse.Parser,
new[]{
"Status",
"Solution",
"ObjectiveValue",
"BestObjectiveBound",
"AdditionalSolutions",
"TightenedVariables",
"SufficientAssumptionsForInfeasibility",
"IntegerObjective",
"InnerObjectiveLowerBound",
"NumIntegers",
"NumBooleans",
"NumConflicts",
"NumBranches",
"NumBinaryPropagations",
"NumIntegerPropagations",
"NumRestarts",
"NumLpIterations",
"WallTime",
"UserTime",
"DeterministicTime",
"GapIntegral",
"SolutionInfo",
"SolveLog" },
null,
null,
null,
null)
2873 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2874 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2875 pbr::MessageDescriptor pb::IMessage.Descriptor {
2876 get {
return Descriptor; }
2879 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2880 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2885 partial
void OnConstruction();
2887 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2888 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2890 minLevel_ = other.minLevel_;
2891 maxLevel_ = other.maxLevel_;
2892 timeExprs_ = other.timeExprs_.Clone();
2893 levelChanges_ = other.levelChanges_.Clone();
2894 activeLiterals_ = other.activeLiterals_.Clone();
2895 _unknownFields = pb::UnknownFieldSet.Clone(other._unknownFields);
2898 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2899 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2905 public const int MinLevelFieldNumber = 1;
2906 private long minLevel_;
2907 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2908 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2909 public long MinLevel {
2910 get {
return minLevel_; }
2917 public const int MaxLevelFieldNumber = 2;
2918 private long maxLevel_;
2919 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2920 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2921 public long MaxLevel {
2922 get {
return maxLevel_; }
2929 public const int TimeExprsFieldNumber = 3;
2930 private static readonly pb::FieldCodec<global::Google.OrTools.Sat.LinearExpressionProto> _repeated_timeExprs_codec
2931 = pb::FieldCodec.ForMessage(26, global::Google.OrTools.Sat.LinearExpressionProto.Parser);
2932 private readonly pbc::RepeatedField<global::Google.OrTools.Sat.LinearExpressionProto> timeExprs_ =
new pbc::RepeatedField<global::Google.OrTools.Sat.LinearExpressionProto>();
2936 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2937 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2938 public pbc::RepeatedField<global::Google.OrTools.Sat.LinearExpressionProto> TimeExprs {
2939 get { return timeExprs_; }
2943 public const int LevelChangesFieldNumber = 6;
2944 private static readonly pb::FieldCodec<global::Google.OrTools.Sat.LinearExpressionProto> _repeated_levelChanges_codec
2945 = pb::FieldCodec.ForMessage(50, global::Google.OrTools.Sat.LinearExpressionProto.Parser);
2946 private readonly pbc::RepeatedField<global::Google.OrTools.Sat.LinearExpressionProto> levelChanges_ =
new pbc::RepeatedField<global::Google.OrTools.Sat.LinearExpressionProto>();
2950 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2951 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2952 public pbc::RepeatedField<global::Google.OrTools.Sat.LinearExpressionProto> LevelChanges {
2953 get { return levelChanges_; }
2957 public const int ActiveLiteralsFieldNumber = 5;
2958 private static readonly pb::FieldCodec<int> _repeated_activeLiterals_codec
2959 = pb::FieldCodec.ForInt32(42);
2960 private readonly pbc::RepeatedField<int> activeLiterals_ =
new pbc::RepeatedField<int>();
2961 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2962 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2963 public pbc::RepeatedField<int> ActiveLiterals {
2964 get {
return activeLiterals_; }
2967 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2968 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2969 public override bool Equals(
object other) {
2973 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2974 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2976 if (ReferenceEquals(other,
null)) {
2979 if (ReferenceEquals(other,
this)) {
2982 if (MinLevel != other.MinLevel)
return false;
2983 if (MaxLevel != other.MaxLevel)
return false;
2984 if(!timeExprs_.Equals(other.timeExprs_))
return false;
2985 if(!levelChanges_.Equals(other.levelChanges_))
return false;
2986 if(!activeLiterals_.Equals(other.activeLiterals_))
return false;
2987 return Equals(_unknownFields, other._unknownFields);
2990 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2991 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2992 public override int GetHashCode() {
2994 if (MinLevel != 0L) hash ^= MinLevel.GetHashCode();
2995 if (MaxLevel != 0L) hash ^= MaxLevel.GetHashCode();
2996 hash ^= timeExprs_.GetHashCode();
2997 hash ^= levelChanges_.GetHashCode();
2998 hash ^= activeLiterals_.GetHashCode();
2999 if (_unknownFields !=
null) {
3000 hash ^= _unknownFields.GetHashCode();
3005 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3006 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3007 public override string ToString() {
3008 return pb::JsonFormatter.ToDiagnosticString(
this);
3011 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3012 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3013 public void WriteTo(pb::CodedOutputStream output) {
3014 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
3015 output.WriteRawMessage(
this);
3017 if (MinLevel != 0L) {
3018 output.WriteRawTag(8);
3019 output.WriteInt64(MinLevel);
3021 if (MaxLevel != 0L) {
3022 output.WriteRawTag(16);
3023 output.WriteInt64(MaxLevel);
3025 timeExprs_.WriteTo(output, _repeated_timeExprs_codec);
3026 activeLiterals_.WriteTo(output, _repeated_activeLiterals_codec);
3027 levelChanges_.WriteTo(output, _repeated_levelChanges_codec);
3028 if (_unknownFields !=
null) {
3029 _unknownFields.WriteTo(output);
3034 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
3035 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3036 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3037 void pb::IBufferMessage.InternalWriteTo(ref pb::WriteContext output) {
3038 if (MinLevel != 0L) {
3039 output.WriteRawTag(8);
3040 output.WriteInt64(MinLevel);
3042 if (MaxLevel != 0L) {
3043 output.WriteRawTag(16);
3044 output.WriteInt64(MaxLevel);
3046 timeExprs_.WriteTo(ref output, _repeated_timeExprs_codec);
3047 activeLiterals_.WriteTo(ref output, _repeated_activeLiterals_codec);
3048 levelChanges_.WriteTo(ref output, _repeated_levelChanges_codec);
3049 if (_unknownFields !=
null) {
3050 _unknownFields.WriteTo(ref output);
3055 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3056 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3057 public int CalculateSize() {
3059 if (MinLevel != 0L) {
3060 size += 1 + pb::CodedOutputStream.ComputeInt64Size(MinLevel);
3062 if (MaxLevel != 0L) {
3063 size += 1 + pb::CodedOutputStream.ComputeInt64Size(MaxLevel);
3065 size += timeExprs_.CalculateSize(_repeated_timeExprs_codec);
3066 size += levelChanges_.CalculateSize(_repeated_levelChanges_codec);
3067 size += activeLiterals_.CalculateSize(_repeated_activeLiterals_codec);
3068 if (_unknownFields !=
null) {
3069 size += _unknownFields.CalculateSize();
3074 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3075 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3077 if (other ==
null) {
3080 if (other.MinLevel != 0L) {
3081 MinLevel = other.MinLevel;
3083 if (other.MaxLevel != 0L) {
3084 MaxLevel = other.MaxLevel;
3086 timeExprs_.Add(other.timeExprs_);
3087 levelChanges_.Add(other.levelChanges_);
3088 activeLiterals_.Add(other.activeLiterals_);
3089 _unknownFields = pb::UnknownFieldSet.MergeFrom(_unknownFields, other._unknownFields);
3092 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3093 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3094 public void MergeFrom(pb::CodedInputStream input) {
3095 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
3096 input.ReadRawMessage(
this);
3099 while ((tag = input.ReadTag()) != 0) {
3102 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, input);
3105 MinLevel = input.ReadInt64();
3109 MaxLevel = input.ReadInt64();
3113 timeExprs_.AddEntriesFrom(input, _repeated_timeExprs_codec);
3118 activeLiterals_.AddEntriesFrom(input, _repeated_activeLiterals_codec);
3122 levelChanges_.AddEntriesFrom(input, _repeated_levelChanges_codec);
3130 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
3131 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3132 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3133 void pb::IBufferMessage.InternalMergeFrom(ref pb::ParseContext input) {
3135 while ((tag = input.ReadTag()) != 0) {
3138 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, ref input);
3141 MinLevel = input.ReadInt64();
3145 MaxLevel = input.ReadInt64();
3149 timeExprs_.AddEntriesFrom(ref input, _repeated_timeExprs_codec);
3154 activeLiterals_.AddEntriesFrom(ref input, _repeated_activeLiterals_codec);
3158 levelChanges_.AddEntriesFrom(ref input, _repeated_levelChanges_codec);
3179 [global::System.Diagnostics.DebuggerDisplayAttribute(
"{ToString(),nq}")]
3180 public sealed partial class CircuitConstraintProto : pb::IMessage<CircuitConstraintProto>
3181 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
3182 , pb::IBufferMessage
3462 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3463 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3468 partial
void OnConstruction();
3470 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3471 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3473 tails_ = other.tails_.Clone();
3474 heads_ = other.heads_.Clone();
3475 literals_ = other.literals_.Clone();
3476 demands_ = other.demands_.Clone();
3477 capacity_ = other.capacity_;
3478 _unknownFields = pb::UnknownFieldSet.Clone(other._unknownFields);
3481 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3482 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3488 public const int TailsFieldNumber = 1;
3489 private static readonly pb::FieldCodec<int> _repeated_tails_codec
3490 = pb::FieldCodec.ForInt32(10);
3491 private readonly pbc::RepeatedField<int> tails_ =
new pbc::RepeatedField<int>();
3492 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3493 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3494 public pbc::RepeatedField<int> Tails {
3495 get {
return tails_; }
3499 public const int HeadsFieldNumber = 2;
3500 private static readonly pb::FieldCodec<int> _repeated_heads_codec
3501 = pb::FieldCodec.ForInt32(18);
3502 private readonly pbc::RepeatedField<int> heads_ =
new pbc::RepeatedField<int>();
3503 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3504 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3505 public pbc::RepeatedField<int> Heads {
3506 get {
return heads_; }
3510 public const int LiteralsFieldNumber = 3;
3511 private static readonly pb::FieldCodec<int> _repeated_literals_codec
3512 = pb::FieldCodec.ForInt32(26);
3513 private readonly pbc::RepeatedField<int> literals_ =
new pbc::RepeatedField<int>();
3514 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3515 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3516 public pbc::RepeatedField<int> Literals {
3517 get {
return literals_; }
3521 public const int DemandsFieldNumber = 4;
3522 private static readonly pb::FieldCodec<int> _repeated_demands_codec
3523 = pb::FieldCodec.ForInt32(34);
3524 private readonly pbc::RepeatedField<int> demands_ =
new pbc::RepeatedField<int>();
3536 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3537 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3538 public pbc::RepeatedField<int> Demands {
3539 get {
return demands_; }
3543 public const int CapacityFieldNumber = 5;
3544 private long capacity_;
3545 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3546 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3547 public long Capacity {
3548 get {
return capacity_; }
3554 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3555 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3556 public override bool Equals(
object other) {
3557 return Equals(other as RoutesConstraintProto);
3560 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3561 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3563 if (ReferenceEquals(other,
null)) {
3566 if (ReferenceEquals(other,
this)) {
3569 if(!tails_.Equals(other.tails_))
return false;
3570 if(!heads_.Equals(other.heads_))
return false;
3571 if(!literals_.Equals(other.literals_))
return false;
3572 if(!demands_.Equals(other.demands_))
return false;
3573 if (Capacity != other.Capacity)
return false;
3574 return Equals(_unknownFields, other._unknownFields);
3577 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3578 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3579 public override int GetHashCode() {
3581 hash ^= tails_.GetHashCode();
3582 hash ^= heads_.GetHashCode();
3583 hash ^= literals_.GetHashCode();
3584 hash ^= demands_.GetHashCode();
3585 if (Capacity != 0L) hash ^= Capacity.GetHashCode();
3586 if (_unknownFields !=
null) {
3587 hash ^= _unknownFields.GetHashCode();
3592 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3593 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3594 public override string ToString() {
3595 return pb::JsonFormatter.ToDiagnosticString(
this);
3598 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3599 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3600 public void WriteTo(pb::CodedOutputStream output) {
3601 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
3602 output.WriteRawMessage(
this);
3604 tails_.WriteTo(output, _repeated_tails_codec);
3605 heads_.WriteTo(output, _repeated_heads_codec);
3606 literals_.WriteTo(output, _repeated_literals_codec);
3607 demands_.WriteTo(output, _repeated_demands_codec);
3608 if (Capacity != 0L) {
3609 output.WriteRawTag(40);
3610 output.WriteInt64(Capacity);
3612 if (_unknownFields !=
null) {
3613 _unknownFields.WriteTo(output);
3618 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
3619 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3620 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3621 void pb::IBufferMessage.InternalWriteTo(ref pb::WriteContext output) {
3622 tails_.WriteTo(ref output, _repeated_tails_codec);
3623 heads_.WriteTo(ref output, _repeated_heads_codec);
3624 literals_.WriteTo(ref output, _repeated_literals_codec);
3625 demands_.WriteTo(ref output, _repeated_demands_codec);
3626 if (Capacity != 0L) {
3627 output.WriteRawTag(40);
3628 output.WriteInt64(Capacity);
3630 if (_unknownFields !=
null) {
3631 _unknownFields.WriteTo(ref output);
3636 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3637 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3638 public int CalculateSize() {
3640 size += tails_.CalculateSize(_repeated_tails_codec);
3641 size += heads_.CalculateSize(_repeated_heads_codec);
3642 size += literals_.CalculateSize(_repeated_literals_codec);
3643 size += demands_.CalculateSize(_repeated_demands_codec);
3644 if (Capacity != 0L) {
3645 size += 1 + pb::CodedOutputStream.ComputeInt64Size(Capacity);
3647 if (_unknownFields !=
null) {
3648 size += _unknownFields.CalculateSize();
3653 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3654 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3655 public void MergeFrom(RoutesConstraintProto other) {
3656 if (other ==
null) {
3659 tails_.Add(other.tails_);
3660 heads_.Add(other.heads_);
3661 literals_.Add(other.literals_);
3662 demands_.Add(other.demands_);
3663 if (other.Capacity != 0L) {
3664 Capacity = other.Capacity;
3666 _unknownFields = pb::UnknownFieldSet.MergeFrom(_unknownFields, other._unknownFields);
3669 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3670 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3671 public void MergeFrom(pb::CodedInputStream input) {
3672 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
3673 input.ReadRawMessage(
this);
3676 while ((tag = input.ReadTag()) != 0) {
3679 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, input);
3683 tails_.AddEntriesFrom(input, _repeated_tails_codec);
3688 heads_.AddEntriesFrom(input, _repeated_heads_codec);
3693 literals_.AddEntriesFrom(input, _repeated_literals_codec);
3698 demands_.AddEntriesFrom(input, _repeated_demands_codec);
3702 Capacity = input.ReadInt64();
3710 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
3711 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3712 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3713 void pb::IBufferMessage.InternalMergeFrom(ref pb::ParseContext input) {
3715 while ((tag = input.ReadTag()) != 0) {
3718 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, ref input);
3722 tails_.AddEntriesFrom(ref input, _repeated_tails_codec);
3727 heads_.AddEntriesFrom(ref input, _repeated_heads_codec);
3732 literals_.AddEntriesFrom(ref input, _repeated_literals_codec);
3737 demands_.AddEntriesFrom(ref input, _repeated_demands_codec);
3741 Capacity = input.ReadInt64();
3756 [global::System.Diagnostics.DebuggerDisplayAttribute(
"{ToString(),nq}")]
3757 public sealed partial class TableConstraintProto : pb::IMessage<TableConstraintProto>
3758 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
3759 , pb::IBufferMessage
3762 private static readonly pb::MessageParser<TableConstraintProto> _parser =
new pb::MessageParser<TableConstraintProto>(() =>
new TableConstraintProto());
3763 private pb::UnknownFieldSet _unknownFields;
3764 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3765 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3766 public static pb::MessageParser<TableConstraintProto> Parser {
get {
return _parser; } }
3768 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3769 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3770 public static pbr::MessageDescriptor Descriptor {
3771 get {
return global::Google.OrTools.Sat.CpModelReflection.Descriptor.MessageTypes[14]; }
4247 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4248 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4253 partial
void OnConstruction();
4255 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4256 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4258 startingState_ = other.startingState_;
4259 finalStates_ = other.finalStates_.Clone();
4260 transitionTail_ = other.transitionTail_.Clone();
4261 transitionHead_ = other.transitionHead_.Clone();
4262 transitionLabel_ = other.transitionLabel_.Clone();
4263 vars_ = other.vars_.Clone();
4264 _unknownFields = pb::UnknownFieldSet.Clone(other._unknownFields);
4267 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4268 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4274 public const int StartingStateFieldNumber = 2;
4275 private long startingState_;
4281 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4282 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4283 public long StartingState {
4284 get {
return startingState_; }
4286 startingState_ = value;
4291 public const int FinalStatesFieldNumber = 3;
4292 private static readonly pb::FieldCodec<long> _repeated_finalStates_codec
4293 = pb::FieldCodec.ForInt64(26);
4294 private readonly pbc::RepeatedField<long> finalStates_ =
new pbc::RepeatedField<long>();
4295 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4296 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4297 public pbc::RepeatedField<long> FinalStates {
4298 get {
return finalStates_; }
4302 public const int TransitionTailFieldNumber = 4;
4303 private static readonly pb::FieldCodec<long> _repeated_transitionTail_codec
4304 = pb::FieldCodec.ForInt64(34);
4305 private readonly pbc::RepeatedField<long> transitionTail_ =
new pbc::RepeatedField<long>();
4311 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4312 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4313 public pbc::RepeatedField<long> TransitionTail {
4314 get {
return transitionTail_; }
4318 public const int TransitionHeadFieldNumber = 5;
4319 private static readonly pb::FieldCodec<long> _repeated_transitionHead_codec
4320 = pb::FieldCodec.ForInt64(42);
4321 private readonly pbc::RepeatedField<long> transitionHead_ =
new pbc::RepeatedField<long>();
4322 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4323 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4324 public pbc::RepeatedField<long> TransitionHead {
4325 get {
return transitionHead_; }
4329 public const int TransitionLabelFieldNumber = 6;
4330 private static readonly pb::FieldCodec<long> _repeated_transitionLabel_codec
4331 = pb::FieldCodec.ForInt64(50);
4332 private readonly pbc::RepeatedField<long> transitionLabel_ =
new pbc::RepeatedField<long>();
4333 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4334 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4335 public pbc::RepeatedField<long> TransitionLabel {
4336 get {
return transitionLabel_; }
4340 public const int VarsFieldNumber = 7;
4341 private static readonly pb::FieldCodec<int> _repeated_vars_codec
4342 = pb::FieldCodec.ForInt32(58);
4343 private readonly pbc::RepeatedField<int> vars_ =
new pbc::RepeatedField<int>();
4348 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4349 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4350 public pbc::RepeatedField<int> Vars {
4351 get {
return vars_; }
4354 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4355 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4356 public override bool Equals(
object other) {
4360 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4361 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4363 if (ReferenceEquals(other,
null)) {
4366 if (ReferenceEquals(other,
this)) {
4369 if (StartingState != other.StartingState)
return false;
4370 if(!finalStates_.Equals(other.finalStates_))
return false;
4371 if(!transitionTail_.Equals(other.transitionTail_))
return false;
4372 if(!transitionHead_.Equals(other.transitionHead_))
return false;
4373 if(!transitionLabel_.Equals(other.transitionLabel_))
return false;
4374 if(!vars_.Equals(other.vars_))
return false;
4375 return Equals(_unknownFields, other._unknownFields);
4378 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4379 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4380 public override int GetHashCode() {
4382 if (StartingState != 0L) hash ^= StartingState.GetHashCode();
4383 hash ^= finalStates_.GetHashCode();
4384 hash ^= transitionTail_.GetHashCode();
4385 hash ^= transitionHead_.GetHashCode();
4386 hash ^= transitionLabel_.GetHashCode();
4387 hash ^= vars_.GetHashCode();
4388 if (_unknownFields !=
null) {
4389 hash ^= _unknownFields.GetHashCode();
4394 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4395 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4396 public override string ToString() {
4397 return pb::JsonFormatter.ToDiagnosticString(
this);
4400 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4401 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4402 public void WriteTo(pb::CodedOutputStream output) {
4403 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
4404 output.WriteRawMessage(
this);
4406 if (StartingState != 0L) {
4407 output.WriteRawTag(16);
4408 output.WriteInt64(StartingState);
4410 finalStates_.WriteTo(output, _repeated_finalStates_codec);
4411 transitionTail_.WriteTo(output, _repeated_transitionTail_codec);
4412 transitionHead_.WriteTo(output, _repeated_transitionHead_codec);
4413 transitionLabel_.WriteTo(output, _repeated_transitionLabel_codec);
4414 vars_.WriteTo(output, _repeated_vars_codec);
4415 if (_unknownFields !=
null) {
4416 _unknownFields.WriteTo(output);
4421 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
4422 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4423 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4424 void pb::IBufferMessage.InternalWriteTo(ref pb::WriteContext output) {
4425 if (StartingState != 0L) {
4426 output.WriteRawTag(16);
4427 output.WriteInt64(StartingState);
4429 finalStates_.WriteTo(ref output, _repeated_finalStates_codec);
4430 transitionTail_.WriteTo(ref output, _repeated_transitionTail_codec);
4431 transitionHead_.WriteTo(ref output, _repeated_transitionHead_codec);
4432 transitionLabel_.WriteTo(ref output, _repeated_transitionLabel_codec);
4433 vars_.WriteTo(ref output, _repeated_vars_codec);
4434 if (_unknownFields !=
null) {
4435 _unknownFields.WriteTo(ref output);
4440 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4441 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4442 public int CalculateSize() {
4444 if (StartingState != 0L) {
4445 size += 1 + pb::CodedOutputStream.ComputeInt64Size(StartingState);
4447 size += finalStates_.CalculateSize(_repeated_finalStates_codec);
4448 size += transitionTail_.CalculateSize(_repeated_transitionTail_codec);
4449 size += transitionHead_.CalculateSize(_repeated_transitionHead_codec);
4450 size += transitionLabel_.CalculateSize(_repeated_transitionLabel_codec);
4451 size += vars_.CalculateSize(_repeated_vars_codec);
4452 if (_unknownFields !=
null) {
4453 size += _unknownFields.CalculateSize();
4458 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4459 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4460 public void MergeFrom(AutomatonConstraintProto other) {
4461 if (other ==
null) {
4464 if (other.StartingState != 0L) {
4465 StartingState = other.StartingState;
4467 finalStates_.Add(other.finalStates_);
4468 transitionTail_.Add(other.transitionTail_);
4469 transitionHead_.Add(other.transitionHead_);
4470 transitionLabel_.Add(other.transitionLabel_);
4471 vars_.Add(other.vars_);
4472 _unknownFields = pb::UnknownFieldSet.MergeFrom(_unknownFields, other._unknownFields);
4475 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4476 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4477 public void MergeFrom(pb::CodedInputStream input) {
4478 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
4479 input.ReadRawMessage(
this);
4482 while ((tag = input.ReadTag()) != 0) {
4485 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, input);
4488 StartingState = input.ReadInt64();
4493 finalStates_.AddEntriesFrom(input, _repeated_finalStates_codec);
4498 transitionTail_.AddEntriesFrom(input, _repeated_transitionTail_codec);
4503 transitionHead_.AddEntriesFrom(input, _repeated_transitionHead_codec);
4508 transitionLabel_.AddEntriesFrom(input, _repeated_transitionLabel_codec);
4513 vars_.AddEntriesFrom(input, _repeated_vars_codec);
4521 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
4522 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4523 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4524 void pb::IBufferMessage.InternalMergeFrom(ref pb::ParseContext input) {
4526 while ((tag = input.ReadTag()) != 0) {
4529 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, ref input);
4532 StartingState = input.ReadInt64();
4537 finalStates_.AddEntriesFrom(ref input, _repeated_finalStates_codec);
4542 transitionTail_.AddEntriesFrom(ref input, _repeated_transitionTail_codec);
4547 transitionHead_.AddEntriesFrom(ref input, _repeated_transitionHead_codec);
4552 transitionLabel_.AddEntriesFrom(ref input, _repeated_transitionLabel_codec);
4557 vars_.AddEntriesFrom(ref input, _repeated_vars_codec);
4570 [global::System.Diagnostics.DebuggerDisplayAttribute(
"{ToString(),nq}")]
4571 public sealed partial class ListOfVariablesProto : pb::IMessage<ListOfVariablesProto>
4572 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
4573 , pb::IBufferMessage
4576 private static readonly pb::MessageParser<ListOfVariablesProto> _parser =
new pb::MessageParser<ListOfVariablesProto>(() =>
new ListOfVariablesProto());
4577 private pb::UnknownFieldSet _unknownFields;
4578 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4579 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4580 public static pb::MessageParser<ListOfVariablesProto> Parser {
get {
return _parser; } }
4582 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4583 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4584 public static pbr::MessageDescriptor Descriptor {
4585 get {
return global::Google.OrTools.Sat.CpModelReflection.Descriptor.MessageTypes[17]; }
4778 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4779 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4784 partial
void OnConstruction();
4786 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4787 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4789 name_ = other.name_;
4790 enforcementLiteral_ = other.enforcementLiteral_.Clone();
4791 switch (other.ConstraintCase) {
4792 case ConstraintOneofCase.BoolOr:
4793 BoolOr = other.BoolOr.Clone();
4795 case ConstraintOneofCase.BoolAnd:
4796 BoolAnd = other.BoolAnd.Clone();
4798 case ConstraintOneofCase.AtMostOne:
4799 AtMostOne = other.AtMostOne.Clone();
4801 case ConstraintOneofCase.ExactlyOne:
4802 ExactlyOne = other.ExactlyOne.Clone();
4804 case ConstraintOneofCase.BoolXor:
4805 BoolXor = other.BoolXor.Clone();
4807 case ConstraintOneofCase.IntDiv:
4808 IntDiv = other.IntDiv.Clone();
4810 case ConstraintOneofCase.IntMod:
4811 IntMod = other.IntMod.Clone();
4813 case ConstraintOneofCase.IntProd:
4814 IntProd = other.IntProd.Clone();
4816 case ConstraintOneofCase.LinMax:
4817 LinMax = other.LinMax.Clone();
4819 case ConstraintOneofCase.Linear:
4820 Linear = other.Linear.Clone();
4822 case ConstraintOneofCase.AllDiff:
4823 AllDiff = other.AllDiff.Clone();
4825 case ConstraintOneofCase.Element:
4826 Element = other.Element.Clone();
4828 case ConstraintOneofCase.Circuit:
4829 Circuit = other.Circuit.Clone();
4831 case ConstraintOneofCase.Routes:
4832 Routes = other.Routes.Clone();
4834 case ConstraintOneofCase.Table:
4835 Table = other.Table.Clone();
4837 case ConstraintOneofCase.Automaton:
4838 Automaton = other.Automaton.Clone();
4840 case ConstraintOneofCase.Inverse:
4841 Inverse = other.Inverse.Clone();
4843 case ConstraintOneofCase.Reservoir:
4844 Reservoir = other.Reservoir.Clone();
4846 case ConstraintOneofCase.Interval:
4847 Interval = other.Interval.Clone();
4849 case ConstraintOneofCase.NoOverlap:
4850 NoOverlap = other.NoOverlap.Clone();
4852 case ConstraintOneofCase.NoOverlap2D:
4853 NoOverlap2D = other.NoOverlap2D.Clone();
4855 case ConstraintOneofCase.Cumulative:
4856 Cumulative = other.Cumulative.Clone();
4858 case ConstraintOneofCase.DummyConstraint:
4859 DummyConstraint = other.DummyConstraint.Clone();
4863 _unknownFields = pb::UnknownFieldSet.Clone(other._unknownFields);
4866 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4867 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4873 public const int NameFieldNumber = 1;
4874 private string name_ =
"";
4878 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4879 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4880 public string Name {
4881 get {
return name_; }
4883 name_ = pb::ProtoPreconditions.CheckNotNull(value,
"value");
4888 public const int EnforcementLiteralFieldNumber = 2;
4889 private static readonly pb::FieldCodec<int> _repeated_enforcementLiteral_codec
4890 = pb::FieldCodec.ForInt32(18);
4891 private readonly pbc::RepeatedField<int> enforcementLiteral_ =
new pbc::RepeatedField<int>();
4908 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4909 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4910 public pbc::RepeatedField<int> EnforcementLiteral {
4911 get {
return enforcementLiteral_; }
4915 public const int BoolOrFieldNumber = 3;
4919 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4920 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4921 public global::Google.OrTools.Sat.BoolArgumentProto BoolOr {
4922 get {
return constraintCase_ == ConstraintOneofCase.BoolOr ? (global::Google.OrTools.Sat.BoolArgumentProto) constraint_ : null; }
4924 constraint_ = value;
4925 constraintCase_ = value ==
null ? ConstraintOneofCase.None : ConstraintOneofCase.BoolOr;
4930 public const int BoolAndFieldNumber = 4;
4938 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4939 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4940 public global::Google.OrTools.Sat.BoolArgumentProto BoolAnd {
4941 get {
return constraintCase_ == ConstraintOneofCase.BoolAnd ? (global::Google.OrTools.Sat.BoolArgumentProto) constraint_ :
null; }
4943 constraint_ = value;
4949 public const int AtMostOneFieldNumber = 26;
4963 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4964 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4965 public global::Google.OrTools.Sat.BoolArgumentProto AtMostOne {
4966 get {
return constraintCase_ == ConstraintOneofCase.AtMostOne ? (global::Google.OrTools.Sat.BoolArgumentProto) constraint_ :
null; }
4968 constraint_ = value;
4969 constraintCase_ = value ==
null ? ConstraintOneofCase.None :
ConstraintOneofCase.AtMostOne;
4974 public const int ExactlyOneFieldNumber = 29;
4989 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4990 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4991 public global::Google.OrTools.Sat.BoolArgumentProto ExactlyOne {
4992 get {
return constraintCase_ == ConstraintOneofCase.ExactlyOne ? (global::Google.OrTools.Sat.BoolArgumentProto) constraint_ :
null; }
4994 constraint_ = value;
4995 constraintCase_ = value ==
null ? ConstraintOneofCase.None : ConstraintOneofCase.ExactlyOne;
5000 public const int BoolXorFieldNumber = 5;
5004 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5005 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5006 public global::Google.OrTools.Sat.BoolArgumentProto BoolXor {
5007 get {
return constraintCase_ == ConstraintOneofCase.BoolXor ? (global::Google.OrTools.Sat.BoolArgumentProto) constraint_ : null; }
5009 constraint_ = value;
5010 constraintCase_ = value ==
null ? ConstraintOneofCase.None : ConstraintOneofCase.BoolXor;
5015 public const int IntDivFieldNumber = 7;
5025 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5026 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5027 public global::Google.OrTools.Sat.LinearArgumentProto IntDiv {
5028 get {
return constraintCase_ == ConstraintOneofCase.IntDiv ? (global::Google.OrTools.Sat.LinearArgumentProto) constraint_ : null; }
5030 constraint_ = value;
5036 public const int IntModFieldNumber = 8;
5042 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5043 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5044 public global::Google.OrTools.Sat.LinearArgumentProto IntMod {
5045 get {
return constraintCase_ == ConstraintOneofCase.IntMod ? (global::Google.OrTools.Sat.LinearArgumentProto) constraint_ :
null; }
5047 constraint_ = value;
5053 public const int IntProdFieldNumber = 11;
5064 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5065 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5066 public global::Google.OrTools.Sat.LinearArgumentProto IntProd {
5067 get {
return constraintCase_ == ConstraintOneofCase.IntProd ? (global::Google.OrTools.Sat.LinearArgumentProto) constraint_ :
null; }
5069 constraint_ = value;
5075 public const int LinMaxFieldNumber = 27;
5081 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5082 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5083 public global::Google.OrTools.Sat.LinearArgumentProto LinMax {
5084 get {
return constraintCase_ == ConstraintOneofCase.LinMax ? (global::Google.OrTools.Sat.LinearArgumentProto) constraint_ :
null; }
5086 constraint_ = value;
5092 public const int LinearFieldNumber = 12;
5097 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5098 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5099 public global::Google.OrTools.Sat.LinearConstraintProto Linear {
5100 get {
return constraintCase_ == ConstraintOneofCase.Linear ? (global::Google.OrTools.Sat.LinearConstraintProto) constraint_ :
null; }
5102 constraint_ = value;
5108 public const int AllDiffFieldNumber = 13;
5112 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5113 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5114 public global::Google.OrTools.Sat.AllDifferentConstraintProto AllDiff {
5115 get {
return constraintCase_ == ConstraintOneofCase.AllDiff ? (global::Google.OrTools.Sat.AllDifferentConstraintProto) constraint_ :
null; }
5117 constraint_ = value;
5123 public const int ElementFieldNumber = 14;
5128 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5129 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5130 public global::Google.OrTools.Sat.ElementConstraintProto Element {
5131 get {
return constraintCase_ == ConstraintOneofCase.Element ? (global::Google.OrTools.Sat.ElementConstraintProto) constraint_ :
null; }
5133 constraint_ = value;
5139 public const int CircuitFieldNumber = 15;
5144 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5145 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5146 public global::Google.OrTools.Sat.CircuitConstraintProto Circuit {
5147 get {
return constraintCase_ == ConstraintOneofCase.Circuit ? (global::Google.OrTools.Sat.CircuitConstraintProto) constraint_ :
null; }
5149 constraint_ = value;
5155 public const int RoutesFieldNumber = 23;
5159 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5160 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5161 public global::Google.OrTools.Sat.RoutesConstraintProto Routes {
5162 get {
return constraintCase_ == ConstraintOneofCase.Routes ? (global::Google.OrTools.Sat.RoutesConstraintProto) constraint_ :
null; }
5164 constraint_ = value;
5170 public const int TableFieldNumber = 16;
5175 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5176 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5177 public global::Google.OrTools.Sat.TableConstraintProto Table {
5178 get {
return constraintCase_ == ConstraintOneofCase.Table ? (global::Google.OrTools.Sat.TableConstraintProto) constraint_ :
null; }
5180 constraint_ = value;
5186 public const int AutomatonFieldNumber = 17;
5191 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5192 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5193 public global::Google.OrTools.Sat.AutomatonConstraintProto Automaton {
5194 get {
return constraintCase_ == ConstraintOneofCase.Automaton ? (global::Google.OrTools.Sat.AutomatonConstraintProto) constraint_ :
null; }
5196 constraint_ = value;
5197 constraintCase_ = value ==
null ? ConstraintOneofCase.None :
ConstraintOneofCase.Automaton;
5202 public const int InverseFieldNumber = 18;
5207 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5208 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5209 public global::Google.OrTools.Sat.InverseConstraintProto Inverse {
5210 get {
return constraintCase_ == ConstraintOneofCase.Inverse ? (global::Google.OrTools.Sat.InverseConstraintProto) constraint_ :
null; }
5212 constraint_ = value;
5218 public const int ReservoirFieldNumber = 24;
5224 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5225 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5226 public global::Google.OrTools.Sat.ReservoirConstraintProto Reservoir {
5227 get {
return constraintCase_ == ConstraintOneofCase.Reservoir ? (global::Google.OrTools.Sat.ReservoirConstraintProto) constraint_ :
null; }
5229 constraint_ = value;
5230 constraintCase_ = value ==
null ? ConstraintOneofCase.None :
ConstraintOneofCase.Reservoir;
5235 public const int IntervalFieldNumber = 19;
5240 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5241 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5242 public global::Google.OrTools.Sat.IntervalConstraintProto Interval {
5243 get {
return constraintCase_ == ConstraintOneofCase.Interval ? (global::Google.OrTools.Sat.IntervalConstraintProto) constraint_ :
null; }
5245 constraint_ = value;
5246 constraintCase_ = value ==
null ? ConstraintOneofCase.None :
ConstraintOneofCase.Interval;
5251 public const int NoOverlapFieldNumber = 20;
5257 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5258 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5259 public global::Google.OrTools.Sat.NoOverlapConstraintProto NoOverlap {
5260 get {
return constraintCase_ == ConstraintOneofCase.NoOverlap ? (global::Google.OrTools.Sat.NoOverlapConstraintProto) constraint_ :
null; }
5262 constraint_ = value;
5263 constraintCase_ = value ==
null ? ConstraintOneofCase.None :
ConstraintOneofCase.NoOverlap;
5268 public const int NoOverlap2DFieldNumber = 21;
5272 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5273 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5274 public global::Google.OrTools.Sat.NoOverlap2DConstraintProto NoOverlap2D {
5275 get {
return constraintCase_ == ConstraintOneofCase.NoOverlap2D ? (global::Google.OrTools.Sat.NoOverlap2DConstraintProto) constraint_ :
null; }
5277 constraint_ = value;
5278 constraintCase_ = value ==
null ? ConstraintOneofCase.None :
ConstraintOneofCase.NoOverlap2D;
5283 public const int CumulativeFieldNumber = 22;
5289 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5290 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5291 public global::Google.OrTools.Sat.CumulativeConstraintProto Cumulative {
5292 get {
return constraintCase_ == ConstraintOneofCase.Cumulative ? (global::Google.OrTools.Sat.CumulativeConstraintProto) constraint_ :
null; }
5294 constraint_ = value;
5295 constraintCase_ = value ==
null ? ConstraintOneofCase.None :
ConstraintOneofCase.Cumulative;
5300 public const int DummyConstraintFieldNumber = 30;
5305 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5306 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5307 public global::Google.OrTools.Sat.ListOfVariablesProto DummyConstraint {
5308 get {
return constraintCase_ == ConstraintOneofCase.DummyConstraint ? (global::Google.OrTools.Sat.ListOfVariablesProto) constraint_ :
null; }
5310 constraint_ = value;
5311 constraintCase_ = value ==
null ? ConstraintOneofCase.None :
ConstraintOneofCase.DummyConstraint;
5315 private object constraint_;
5341 DummyConstraint = 30,
5343 private ConstraintOneofCase constraintCase_ = ConstraintOneofCase.None;
5344 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5345 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5346 public ConstraintOneofCase ConstraintCase {
5347 get {
return constraintCase_; }
5350 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5351 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5352 public void ClearConstraint() {
5353 constraintCase_ = ConstraintOneofCase.None;
5357 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5358 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5359 public override bool Equals(
object other) {
5360 return Equals(other as ConstraintProto);
5363 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5364 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5365 public bool Equals(ConstraintProto other) {
5366 if (ReferenceEquals(other,
null)) {
5369 if (ReferenceEquals(other,
this)) {
5372 if (Name != other.Name)
return false;
5373 if(!enforcementLiteral_.Equals(other.enforcementLiteral_))
return false;
5374 if (!
object.Equals(BoolOr, other.BoolOr))
return false;
5375 if (!
object.Equals(BoolAnd, other.BoolAnd))
return false;
5376 if (!
object.Equals(AtMostOne, other.AtMostOne))
return false;
5377 if (!
object.Equals(ExactlyOne, other.ExactlyOne))
return false;
5378 if (!
object.Equals(BoolXor, other.BoolXor))
return false;
5379 if (!
object.Equals(IntDiv, other.IntDiv))
return false;
5380 if (!
object.Equals(IntMod, other.IntMod))
return false;
5381 if (!
object.Equals(IntProd, other.IntProd))
return false;
5382 if (!
object.Equals(LinMax, other.LinMax))
return false;
5383 if (!
object.Equals(Linear, other.Linear))
return false;
5384 if (!
object.Equals(AllDiff, other.AllDiff))
return false;
5385 if (!
object.Equals(Element, other.Element))
return false;
5386 if (!
object.Equals(Circuit, other.Circuit))
return false;
5387 if (!
object.Equals(Routes, other.Routes))
return false;
5388 if (!
object.Equals(Table, other.Table))
return false;
5389 if (!
object.Equals(Automaton, other.Automaton))
return false;
5390 if (!
object.
Equals(Inverse, other.Inverse))
return false;
5391 if (!
object.Equals(Reservoir, other.Reservoir))
return false;
5392 if (!
object.Equals(Interval, other.Interval))
return false;
5393 if (!
object.Equals(NoOverlap, other.NoOverlap))
return false;
5394 if (!
object.Equals(NoOverlap2D, other.NoOverlap2D))
return false;
5395 if (!
object.Equals(Cumulative, other.Cumulative))
return false;
5396 if (!
object.
Equals(DummyConstraint, other.DummyConstraint))
return false;
5397 if (ConstraintCase != other.ConstraintCase)
return false;
5398 return Equals(_unknownFields, other._unknownFields);
5401 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5402 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5403 public override int GetHashCode() {
5405 if (Name.Length != 0) hash ^= Name.GetHashCode();
5406 hash ^= enforcementLiteral_.GetHashCode();
5407 if (constraintCase_ == ConstraintOneofCase.BoolOr) hash ^= BoolOr.GetHashCode();
5408 if (constraintCase_ == ConstraintOneofCase.BoolAnd) hash ^= BoolAnd.GetHashCode();
5409 if (constraintCase_ == ConstraintOneofCase.AtMostOne) hash ^= AtMostOne.GetHashCode();
5410 if (constraintCase_ == ConstraintOneofCase.ExactlyOne) hash ^= ExactlyOne.GetHashCode();
5411 if (constraintCase_ == ConstraintOneofCase.BoolXor) hash ^= BoolXor.GetHashCode();
5412 if (constraintCase_ == ConstraintOneofCase.IntDiv) hash ^= IntDiv.GetHashCode();
5413 if (constraintCase_ == ConstraintOneofCase.IntMod) hash ^= IntMod.GetHashCode();
5414 if (constraintCase_ == ConstraintOneofCase.IntProd) hash ^= IntProd.GetHashCode();
5415 if (constraintCase_ == ConstraintOneofCase.LinMax) hash ^= LinMax.GetHashCode();
5416 if (constraintCase_ == ConstraintOneofCase.Linear) hash ^= Linear.GetHashCode();
5417 if (constraintCase_ == ConstraintOneofCase.AllDiff) hash ^= AllDiff.GetHashCode();
5418 if (constraintCase_ == ConstraintOneofCase.Element) hash ^= Element.GetHashCode();
5419 if (constraintCase_ == ConstraintOneofCase.Circuit) hash ^= Circuit.GetHashCode();
5420 if (constraintCase_ == ConstraintOneofCase.Routes) hash ^= Routes.GetHashCode();
5421 if (constraintCase_ == ConstraintOneofCase.Table) hash ^= Table.GetHashCode();
5422 if (constraintCase_ == ConstraintOneofCase.Automaton) hash ^= Automaton.GetHashCode();
5423 if (constraintCase_ == ConstraintOneofCase.Inverse) hash ^= Inverse.GetHashCode();
5424 if (constraintCase_ == ConstraintOneofCase.Reservoir) hash ^= Reservoir.GetHashCode();
5425 if (constraintCase_ == ConstraintOneofCase.Interval) hash ^= Interval.GetHashCode();
5426 if (constraintCase_ == ConstraintOneofCase.NoOverlap) hash ^= NoOverlap.GetHashCode();
5427 if (constraintCase_ == ConstraintOneofCase.NoOverlap2D) hash ^= NoOverlap2D.GetHashCode();
5428 if (constraintCase_ == ConstraintOneofCase.Cumulative) hash ^= Cumulative.GetHashCode();
5429 if (constraintCase_ == ConstraintOneofCase.DummyConstraint) hash ^= DummyConstraint.GetHashCode();
5430 hash ^= (int) constraintCase_;
5431 if (_unknownFields !=
null) {
5432 hash ^= _unknownFields.GetHashCode();
5437 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5438 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5439 public override string ToString() {
5440 return pb::JsonFormatter.ToDiagnosticString(
this);
5443 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5444 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5445 public void WriteTo(pb::CodedOutputStream output) {
5446 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
5447 output.WriteRawMessage(
this);
5449 if (Name.Length != 0) {
5450 output.WriteRawTag(10);
5451 output.WriteString(Name);
5453 enforcementLiteral_.WriteTo(output, _repeated_enforcementLiteral_codec);
5454 if (constraintCase_ == ConstraintOneofCase.BoolOr) {
5455 output.WriteRawTag(26);
5456 output.WriteMessage(BoolOr);
5458 if (constraintCase_ == ConstraintOneofCase.BoolAnd) {
5459 output.WriteRawTag(34);
5460 output.WriteMessage(BoolAnd);
5462 if (constraintCase_ == ConstraintOneofCase.BoolXor) {
5463 output.WriteRawTag(42);
5464 output.WriteMessage(BoolXor);
5466 if (constraintCase_ == ConstraintOneofCase.IntDiv) {
5467 output.WriteRawTag(58);
5468 output.WriteMessage(IntDiv);
5471 output.WriteRawTag(66);
5472 output.WriteMessage(IntMod);
5474 if (constraintCase_ == ConstraintOneofCase.IntProd) {
5475 output.WriteRawTag(90);
5476 output.WriteMessage(IntProd);
5478 if (constraintCase_ == ConstraintOneofCase.Linear) {
5479 output.WriteRawTag(98);
5480 output.WriteMessage(Linear);
5482 if (constraintCase_ == ConstraintOneofCase.AllDiff) {
5483 output.WriteRawTag(106);
5484 output.WriteMessage(AllDiff);
5486 if (constraintCase_ == ConstraintOneofCase.Element) {
5487 output.WriteRawTag(114);
5488 output.WriteMessage(Element);
5490 if (constraintCase_ == ConstraintOneofCase.Circuit) {
5491 output.WriteRawTag(122);
5492 output.WriteMessage(Circuit);
5494 if (constraintCase_ == ConstraintOneofCase.Table) {
5495 output.WriteRawTag(130, 1);
5496 output.WriteMessage(Table);
5498 if (constraintCase_ == ConstraintOneofCase.Automaton) {
5499 output.WriteRawTag(138, 1);
5500 output.WriteMessage(Automaton);
5502 if (constraintCase_ == ConstraintOneofCase.Inverse) {
5503 output.WriteRawTag(146, 1);
5504 output.WriteMessage(Inverse);
5506 if (constraintCase_ == ConstraintOneofCase.Interval) {
5507 output.WriteRawTag(154, 1);
5508 output.WriteMessage(Interval);
5510 if (constraintCase_ == ConstraintOneofCase.NoOverlap) {
5511 output.WriteRawTag(162, 1);
5512 output.WriteMessage(NoOverlap);
5514 if (constraintCase_ == ConstraintOneofCase.NoOverlap2D) {
5515 output.WriteRawTag(170, 1);
5516 output.WriteMessage(NoOverlap2D);
5518 if (constraintCase_ == ConstraintOneofCase.Cumulative) {
5519 output.WriteRawTag(178, 1);
5520 output.WriteMessage(Cumulative);
5522 if (constraintCase_ == ConstraintOneofCase.Routes) {
5523 output.WriteRawTag(186, 1);
5524 output.WriteMessage(Routes);
5526 if (constraintCase_ == ConstraintOneofCase.Reservoir) {
5527 output.WriteRawTag(194, 1);
5528 output.WriteMessage(Reservoir);
5530 if (constraintCase_ == ConstraintOneofCase.AtMostOne) {
5531 output.WriteRawTag(210, 1);
5532 output.WriteMessage(AtMostOne);
5534 if (constraintCase_ == ConstraintOneofCase.LinMax) {
5535 output.WriteRawTag(218, 1);
5536 output.WriteMessage(LinMax);
5538 if (constraintCase_ == ConstraintOneofCase.ExactlyOne) {
5539 output.WriteRawTag(234, 1);
5540 output.WriteMessage(ExactlyOne);
5542 if (constraintCase_ == ConstraintOneofCase.DummyConstraint) {
5543 output.WriteRawTag(242, 1);
5544 output.WriteMessage(DummyConstraint);
5546 if (_unknownFields !=
null) {
5547 _unknownFields.WriteTo(output);
5552 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
5553 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5554 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5555 void pb::IBufferMessage.InternalWriteTo(ref pb::WriteContext output) {
5556 if (Name.Length != 0) {
5557 output.WriteRawTag(10);
5558 output.WriteString(Name);
5560 enforcementLiteral_.WriteTo(ref output, _repeated_enforcementLiteral_codec);
5561 if (constraintCase_ == ConstraintOneofCase.BoolOr) {
5562 output.WriteRawTag(26);
5563 output.WriteMessage(BoolOr);
5565 if (constraintCase_ == ConstraintOneofCase.BoolAnd) {
5566 output.WriteRawTag(34);
5567 output.WriteMessage(BoolAnd);
5569 if (constraintCase_ == ConstraintOneofCase.BoolXor) {
5570 output.WriteRawTag(42);
5571 output.WriteMessage(BoolXor);
5573 if (constraintCase_ == ConstraintOneofCase.IntDiv) {
5574 output.WriteRawTag(58);
5575 output.WriteMessage(IntDiv);
5577 if (constraintCase_ == ConstraintOneofCase.IntMod) {
5578 output.WriteRawTag(66);
5579 output.WriteMessage(IntMod);
5581 if (constraintCase_ == ConstraintOneofCase.IntProd) {
5582 output.WriteRawTag(90);
5583 output.WriteMessage(IntProd);
5585 if (constraintCase_ == ConstraintOneofCase.Linear) {
5586 output.WriteRawTag(98);
5587 output.WriteMessage(Linear);
5589 if (constraintCase_ == ConstraintOneofCase.AllDiff) {
5590 output.WriteRawTag(106);
5591 output.WriteMessage(AllDiff);
5593 if (constraintCase_ == ConstraintOneofCase.Element) {
5594 output.WriteRawTag(114);
5595 output.WriteMessage(Element);
5597 if (constraintCase_ == ConstraintOneofCase.Circuit) {
5598 output.WriteRawTag(122);
5599 output.WriteMessage(Circuit);
5601 if (constraintCase_ == ConstraintOneofCase.Table) {
5602 output.WriteRawTag(130, 1);
5603 output.WriteMessage(Table);
5605 if (constraintCase_ == ConstraintOneofCase.Automaton) {
5606 output.WriteRawTag(138, 1);
5607 output.WriteMessage(Automaton);
5609 if (constraintCase_ == ConstraintOneofCase.Inverse) {
5610 output.WriteRawTag(146, 1);
5611 output.WriteMessage(Inverse);
5613 if (constraintCase_ == ConstraintOneofCase.Interval) {
5614 output.WriteRawTag(154, 1);
5615 output.WriteMessage(Interval);
5617 if (constraintCase_ == ConstraintOneofCase.NoOverlap) {
5618 output.WriteRawTag(162, 1);
5619 output.WriteMessage(NoOverlap);
5621 if (constraintCase_ == ConstraintOneofCase.NoOverlap2D) {
5622 output.WriteRawTag(170, 1);
5623 output.WriteMessage(NoOverlap2D);
5625 if (constraintCase_ == ConstraintOneofCase.Cumulative) {
5626 output.WriteRawTag(178, 1);
5627 output.WriteMessage(Cumulative);
5629 if (constraintCase_ == ConstraintOneofCase.Routes) {
5630 output.WriteRawTag(186, 1);
5631 output.WriteMessage(Routes);
5633 if (constraintCase_ == ConstraintOneofCase.Reservoir) {
5634 output.WriteRawTag(194, 1);
5635 output.WriteMessage(Reservoir);
5637 if (constraintCase_ == ConstraintOneofCase.AtMostOne) {
5638 output.WriteRawTag(210, 1);
5639 output.WriteMessage(AtMostOne);
5641 if (constraintCase_ == ConstraintOneofCase.LinMax) {
5642 output.WriteRawTag(218, 1);
5643 output.WriteMessage(LinMax);
5645 if (constraintCase_ == ConstraintOneofCase.ExactlyOne) {
5646 output.WriteRawTag(234, 1);
5647 output.WriteMessage(ExactlyOne);
5649 if (constraintCase_ == ConstraintOneofCase.DummyConstraint) {
5650 output.WriteRawTag(242, 1);
5651 output.WriteMessage(DummyConstraint);
5653 if (_unknownFields !=
null) {
5654 _unknownFields.WriteTo(ref output);
5659 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5660 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5661 public int CalculateSize() {
5663 if (Name.Length != 0) {
5664 size += 1 + pb::CodedOutputStream.ComputeStringSize(Name);
5666 size += enforcementLiteral_.CalculateSize(_repeated_enforcementLiteral_codec);
5667 if (constraintCase_ == ConstraintOneofCase.BoolOr) {
5668 size += 1 + pb::CodedOutputStream.ComputeMessageSize(BoolOr);
5670 if (constraintCase_ == ConstraintOneofCase.BoolAnd) {
5671 size += 1 + pb::CodedOutputStream.ComputeMessageSize(BoolAnd);
5673 if (constraintCase_ == ConstraintOneofCase.AtMostOne) {
5674 size += 2 + pb::CodedOutputStream.ComputeMessageSize(AtMostOne);
5676 if (constraintCase_ == ConstraintOneofCase.ExactlyOne) {
5677 size += 2 + pb::CodedOutputStream.ComputeMessageSize(ExactlyOne);
5679 if (constraintCase_ == ConstraintOneofCase.BoolXor) {
5680 size += 1 + pb::CodedOutputStream.ComputeMessageSize(BoolXor);
5682 if (constraintCase_ == ConstraintOneofCase.IntDiv) {
5683 size += 1 + pb::CodedOutputStream.ComputeMessageSize(IntDiv);
5685 if (constraintCase_ == ConstraintOneofCase.IntMod) {
5686 size += 1 + pb::CodedOutputStream.ComputeMessageSize(IntMod);
5688 if (constraintCase_ == ConstraintOneofCase.IntProd) {
5689 size += 1 + pb::CodedOutputStream.ComputeMessageSize(IntProd);
5691 if (constraintCase_ == ConstraintOneofCase.LinMax) {
5692 size += 2 + pb::CodedOutputStream.ComputeMessageSize(LinMax);
5694 if (constraintCase_ == ConstraintOneofCase.Linear) {
5695 size += 1 + pb::CodedOutputStream.ComputeMessageSize(Linear);
5697 if (constraintCase_ == ConstraintOneofCase.AllDiff) {
5698 size += 1 + pb::CodedOutputStream.ComputeMessageSize(AllDiff);
5700 if (constraintCase_ == ConstraintOneofCase.Element) {
5701 size += 1 + pb::CodedOutputStream.ComputeMessageSize(Element);
5703 if (constraintCase_ == ConstraintOneofCase.Circuit) {
5704 size += 1 + pb::CodedOutputStream.ComputeMessageSize(Circuit);
5706 if (constraintCase_ == ConstraintOneofCase.Routes) {
5707 size += 2 + pb::CodedOutputStream.ComputeMessageSize(Routes);
5709 if (constraintCase_ == ConstraintOneofCase.Table) {
5710 size += 2 + pb::CodedOutputStream.ComputeMessageSize(Table);
5712 if (constraintCase_ == ConstraintOneofCase.Automaton) {
5713 size += 2 + pb::CodedOutputStream.ComputeMessageSize(Automaton);
5715 if (constraintCase_ == ConstraintOneofCase.Inverse) {
5716 size += 2 + pb::CodedOutputStream.ComputeMessageSize(Inverse);
5718 if (constraintCase_ == ConstraintOneofCase.Reservoir) {
5719 size += 2 + pb::CodedOutputStream.ComputeMessageSize(Reservoir);
5721 if (constraintCase_ == ConstraintOneofCase.Interval) {
5722 size += 2 + pb::CodedOutputStream.ComputeMessageSize(Interval);
5724 if (constraintCase_ == ConstraintOneofCase.NoOverlap) {
5725 size += 2 + pb::CodedOutputStream.ComputeMessageSize(NoOverlap);
5727 if (constraintCase_ == ConstraintOneofCase.NoOverlap2D) {
5728 size += 2 + pb::CodedOutputStream.ComputeMessageSize(NoOverlap2D);
5730 if (constraintCase_ == ConstraintOneofCase.Cumulative) {
5731 size += 2 + pb::CodedOutputStream.ComputeMessageSize(Cumulative);
5733 if (constraintCase_ == ConstraintOneofCase.DummyConstraint) {
5734 size += 2 + pb::CodedOutputStream.ComputeMessageSize(DummyConstraint);
5736 if (_unknownFields !=
null) {
5737 size += _unknownFields.CalculateSize();
5742 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5743 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5744 public void MergeFrom(ConstraintProto other) {
5745 if (other ==
null) {
5748 if (other.Name.Length != 0) {
5751 enforcementLiteral_.Add(other.enforcementLiteral_);
5752 switch (other.ConstraintCase) {
5753 case ConstraintOneofCase.BoolOr:
5754 if (BoolOr ==
null) {
5755 BoolOr =
new global::Google.OrTools.Sat.BoolArgumentProto();
5757 BoolOr.MergeFrom(other.BoolOr);
5759 case ConstraintOneofCase.BoolAnd:
5760 if (BoolAnd ==
null) {
5761 BoolAnd =
new global::Google.OrTools.Sat.BoolArgumentProto();
5763 BoolAnd.MergeFrom(other.BoolAnd);
5765 case ConstraintOneofCase.AtMostOne:
5766 if (AtMostOne ==
null) {
5767 AtMostOne =
new global::Google.OrTools.Sat.BoolArgumentProto();
5769 AtMostOne.MergeFrom(other.AtMostOne);
5771 case ConstraintOneofCase.ExactlyOne:
5772 if (ExactlyOne ==
null) {
5773 ExactlyOne =
new global::Google.OrTools.Sat.BoolArgumentProto();
5775 ExactlyOne.MergeFrom(other.ExactlyOne);
5778 if (BoolXor ==
null) {
5779 BoolXor =
new global::Google.OrTools.Sat.BoolArgumentProto();
5781 BoolXor.MergeFrom(other.BoolXor);
5783 case ConstraintOneofCase.IntDiv:
5784 if (IntDiv ==
null) {
5785 IntDiv =
new global::Google.OrTools.Sat.LinearArgumentProto();
5787 IntDiv.MergeFrom(other.IntDiv);
5789 case ConstraintOneofCase.IntMod:
5790 if (IntMod ==
null) {
5791 IntMod =
new global::Google.OrTools.Sat.LinearArgumentProto();
5793 IntMod.MergeFrom(other.IntMod);
5795 case ConstraintOneofCase.IntProd:
5796 if (IntProd ==
null) {
5797 IntProd =
new global::Google.OrTools.Sat.LinearArgumentProto();
5799 IntProd.MergeFrom(other.IntProd);
5801 case ConstraintOneofCase.LinMax:
5802 if (LinMax ==
null) {
5803 LinMax =
new global::Google.OrTools.Sat.LinearArgumentProto();
5805 LinMax.MergeFrom(other.LinMax);
5807 case ConstraintOneofCase.Linear:
5808 if (Linear ==
null) {
5809 Linear =
new global::Google.OrTools.Sat.LinearConstraintProto();
5811 Linear.MergeFrom(other.Linear);
5813 case ConstraintOneofCase.AllDiff:
5814 if (AllDiff ==
null) {
5815 AllDiff =
new global::Google.OrTools.Sat.AllDifferentConstraintProto();
5817 AllDiff.MergeFrom(other.AllDiff);
5819 case ConstraintOneofCase.Element:
5820 if (Element ==
null) {
5821 Element =
new global::Google.OrTools.Sat.ElementConstraintProto();
5823 Element.MergeFrom(other.Element);
5825 case ConstraintOneofCase.Circuit:
5826 if (Circuit ==
null) {
5827 Circuit =
new global::Google.OrTools.Sat.CircuitConstraintProto();
5829 Circuit.MergeFrom(other.Circuit);
5831 case ConstraintOneofCase.Routes:
5832 if (Routes ==
null) {
5833 Routes =
new global::Google.OrTools.Sat.RoutesConstraintProto();
5835 Routes.MergeFrom(other.Routes);
5837 case ConstraintOneofCase.Table:
5838 if (Table ==
null) {
5839 Table =
new global::Google.OrTools.Sat.TableConstraintProto();
5841 Table.MergeFrom(other.Table);
5843 case ConstraintOneofCase.Automaton:
5844 if (Automaton ==
null) {
5845 Automaton =
new global::Google.OrTools.Sat.AutomatonConstraintProto();
5847 Automaton.MergeFrom(other.Automaton);
5849 case ConstraintOneofCase.Inverse:
5850 if (Inverse ==
null) {
5851 Inverse =
new global::Google.OrTools.Sat.InverseConstraintProto();
5853 Inverse.MergeFrom(other.Inverse);
5855 case ConstraintOneofCase.Reservoir:
5856 if (Reservoir ==
null) {
5857 Reservoir =
new global::Google.OrTools.Sat.ReservoirConstraintProto();
5859 Reservoir.MergeFrom(other.Reservoir);
5861 case ConstraintOneofCase.Interval:
5862 if (Interval ==
null) {
5863 Interval =
new global::Google.OrTools.Sat.IntervalConstraintProto();
5865 Interval.MergeFrom(other.Interval);
5867 case ConstraintOneofCase.NoOverlap:
5868 if (NoOverlap ==
null) {
5869 NoOverlap =
new global::Google.OrTools.Sat.NoOverlapConstraintProto();
5871 NoOverlap.MergeFrom(other.NoOverlap);
5873 case ConstraintOneofCase.NoOverlap2D:
5874 if (NoOverlap2D ==
null) {
5875 NoOverlap2D =
new global::Google.OrTools.Sat.NoOverlap2DConstraintProto();
5877 NoOverlap2D.MergeFrom(other.NoOverlap2D);
5879 case ConstraintOneofCase.Cumulative:
5880 if (Cumulative ==
null) {
5881 Cumulative =
new global::Google.OrTools.Sat.CumulativeConstraintProto();
5883 Cumulative.MergeFrom(other.Cumulative);
5885 case ConstraintOneofCase.DummyConstraint:
5886 if (DummyConstraint ==
null) {
5887 DummyConstraint =
new global::Google.OrTools.Sat.ListOfVariablesProto();
5889 DummyConstraint.MergeFrom(other.DummyConstraint);
5893 _unknownFields = pb::UnknownFieldSet.MergeFrom(_unknownFields, other._unknownFields);
5896 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5897 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5898 public void MergeFrom(pb::CodedInputStream input) {
5899 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
5900 input.ReadRawMessage(
this);
5903 while ((tag = input.ReadTag()) != 0) {
5906 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, input);
5909 Name = input.ReadString();
5914 enforcementLiteral_.AddEntriesFrom(input, _repeated_enforcementLiteral_codec);
5918 global::Google.OrTools.Sat.BoolArgumentProto subBuilder =
new global::Google.OrTools.Sat.BoolArgumentProto();
5919 if (constraintCase_ == ConstraintOneofCase.BoolOr) {
5920 subBuilder.MergeFrom(BoolOr);
5922 input.ReadMessage(subBuilder);
5923 BoolOr = subBuilder;
5927 global::Google.OrTools.Sat.BoolArgumentProto subBuilder =
new global::Google.OrTools.Sat.BoolArgumentProto();
5928 if (constraintCase_ == ConstraintOneofCase.BoolAnd) {
5929 subBuilder.MergeFrom(BoolAnd);
5931 input.ReadMessage(subBuilder);
5932 BoolAnd = subBuilder;
5936 global::Google.OrTools.Sat.BoolArgumentProto subBuilder =
new global::Google.OrTools.Sat.BoolArgumentProto();
5937 if (constraintCase_ == ConstraintOneofCase.BoolXor) {
5938 subBuilder.MergeFrom(BoolXor);
5940 input.ReadMessage(subBuilder);
5941 BoolXor = subBuilder;
5945 global::Google.OrTools.Sat.LinearArgumentProto subBuilder =
new global::Google.OrTools.Sat.LinearArgumentProto();
5946 if (constraintCase_ == ConstraintOneofCase.IntDiv) {
5947 subBuilder.MergeFrom(IntDiv);
5949 input.ReadMessage(subBuilder);
5950 IntDiv = subBuilder;
5954 global::Google.OrTools.Sat.LinearArgumentProto subBuilder =
new global::Google.OrTools.Sat.LinearArgumentProto();
5955 if (constraintCase_ == ConstraintOneofCase.IntMod) {
5956 subBuilder.MergeFrom(IntMod);
5958 input.ReadMessage(subBuilder);
5959 IntMod = subBuilder;
5963 global::Google.OrTools.Sat.LinearArgumentProto subBuilder =
new global::Google.OrTools.Sat.LinearArgumentProto();
5964 if (constraintCase_ == ConstraintOneofCase.IntProd) {
5965 subBuilder.MergeFrom(IntProd);
5967 input.ReadMessage(subBuilder);
5968 IntProd = subBuilder;
5972 global::Google.OrTools.Sat.LinearConstraintProto subBuilder =
new global::Google.OrTools.Sat.LinearConstraintProto();
5973 if (constraintCase_ == ConstraintOneofCase.Linear) {
5974 subBuilder.MergeFrom(Linear);
5976 input.ReadMessage(subBuilder);
5977 Linear = subBuilder;
5981 global::Google.OrTools.Sat.AllDifferentConstraintProto subBuilder =
new global::Google.OrTools.Sat.AllDifferentConstraintProto();
5982 if (constraintCase_ == ConstraintOneofCase.AllDiff) {
5983 subBuilder.MergeFrom(AllDiff);
5985 input.ReadMessage(subBuilder);
5986 AllDiff = subBuilder;
5990 global::Google.OrTools.Sat.ElementConstraintProto subBuilder =
new global::Google.OrTools.Sat.ElementConstraintProto();
5991 if (constraintCase_ == ConstraintOneofCase.Element) {
5992 subBuilder.MergeFrom(Element);
5994 input.ReadMessage(subBuilder);
5995 Element = subBuilder;
5999 global::Google.OrTools.Sat.CircuitConstraintProto subBuilder =
new global::Google.OrTools.Sat.CircuitConstraintProto();
6000 if (constraintCase_ == ConstraintOneofCase.Circuit) {
6001 subBuilder.MergeFrom(Circuit);
6003 input.ReadMessage(subBuilder);
6004 Circuit = subBuilder;
6008 global::Google.OrTools.Sat.TableConstraintProto subBuilder =
new global::Google.OrTools.Sat.TableConstraintProto();
6009 if (constraintCase_ == ConstraintOneofCase.Table) {
6010 subBuilder.MergeFrom(Table);
6012 input.ReadMessage(subBuilder);
6017 global::Google.OrTools.Sat.AutomatonConstraintProto subBuilder =
new global::Google.OrTools.Sat.AutomatonConstraintProto();
6018 if (constraintCase_ == ConstraintOneofCase.Automaton) {
6019 subBuilder.MergeFrom(Automaton);
6021 input.ReadMessage(subBuilder);
6022 Automaton = subBuilder;
6026 global::Google.OrTools.Sat.InverseConstraintProto subBuilder =
new global::Google.OrTools.Sat.InverseConstraintProto();
6027 if (constraintCase_ == ConstraintOneofCase.Inverse) {
6028 subBuilder.MergeFrom(Inverse);
6030 input.ReadMessage(subBuilder);
6031 Inverse = subBuilder;
6035 global::Google.OrTools.Sat.IntervalConstraintProto subBuilder =
new global::Google.OrTools.Sat.IntervalConstraintProto();
6036 if (constraintCase_ == ConstraintOneofCase.Interval) {
6037 subBuilder.MergeFrom(Interval);
6039 input.ReadMessage(subBuilder);
6040 Interval = subBuilder;
6044 global::Google.OrTools.Sat.NoOverlapConstraintProto subBuilder =
new global::Google.OrTools.Sat.NoOverlapConstraintProto();
6045 if (constraintCase_ == ConstraintOneofCase.NoOverlap) {
6046 subBuilder.MergeFrom(NoOverlap);
6048 input.ReadMessage(subBuilder);
6049 NoOverlap = subBuilder;
6053 global::Google.OrTools.Sat.NoOverlap2DConstraintProto subBuilder =
new global::Google.OrTools.Sat.NoOverlap2DConstraintProto();
6054 if (constraintCase_ == ConstraintOneofCase.NoOverlap2D) {
6055 subBuilder.MergeFrom(NoOverlap2D);
6057 input.ReadMessage(subBuilder);
6058 NoOverlap2D = subBuilder;
6062 global::Google.OrTools.Sat.CumulativeConstraintProto subBuilder =
new global::Google.OrTools.Sat.CumulativeConstraintProto();
6063 if (constraintCase_ == ConstraintOneofCase.Cumulative) {
6064 subBuilder.MergeFrom(Cumulative);
6066 input.ReadMessage(subBuilder);
6067 Cumulative = subBuilder;
6071 global::Google.OrTools.Sat.RoutesConstraintProto subBuilder =
new global::Google.OrTools.Sat.RoutesConstraintProto();
6072 if (constraintCase_ == ConstraintOneofCase.Routes) {
6073 subBuilder.MergeFrom(Routes);
6075 input.ReadMessage(subBuilder);
6076 Routes = subBuilder;
6080 global::Google.OrTools.Sat.ReservoirConstraintProto subBuilder =
new global::Google.OrTools.Sat.ReservoirConstraintProto();
6081 if (constraintCase_ == ConstraintOneofCase.Reservoir) {
6082 subBuilder.MergeFrom(Reservoir);
6084 input.ReadMessage(subBuilder);
6085 Reservoir = subBuilder;
6089 global::Google.OrTools.Sat.BoolArgumentProto subBuilder =
new global::Google.OrTools.Sat.BoolArgumentProto();
6090 if (constraintCase_ == ConstraintOneofCase.AtMostOne) {
6091 subBuilder.MergeFrom(AtMostOne);
6093 input.ReadMessage(subBuilder);
6094 AtMostOne = subBuilder;
6098 global::Google.OrTools.Sat.LinearArgumentProto subBuilder =
new global::Google.OrTools.Sat.LinearArgumentProto();
6099 if (constraintCase_ == ConstraintOneofCase.LinMax) {
6100 subBuilder.MergeFrom(LinMax);
6102 input.ReadMessage(subBuilder);
6103 LinMax = subBuilder;
6107 global::Google.OrTools.Sat.BoolArgumentProto subBuilder =
new global::Google.OrTools.Sat.BoolArgumentProto();
6108 if (constraintCase_ == ConstraintOneofCase.ExactlyOne) {
6109 subBuilder.MergeFrom(ExactlyOne);
6111 input.ReadMessage(subBuilder);
6112 ExactlyOne = subBuilder;
6116 global::Google.OrTools.Sat.ListOfVariablesProto subBuilder =
new global::Google.OrTools.Sat.ListOfVariablesProto();
6117 if (constraintCase_ == ConstraintOneofCase.DummyConstraint) {
6118 subBuilder.MergeFrom(DummyConstraint);
6120 input.ReadMessage(subBuilder);
6121 DummyConstraint = subBuilder;
6129 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
6130 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6131 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6132 void pb::IBufferMessage.InternalMergeFrom(ref pb::ParseContext input) {
6134 while ((tag = input.ReadTag()) != 0) {
6137 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, ref input);
6140 Name = input.ReadString();
6145 enforcementLiteral_.AddEntriesFrom(ref input, _repeated_enforcementLiteral_codec);
6149 global::Google.OrTools.Sat.BoolArgumentProto subBuilder =
new global::Google.OrTools.Sat.BoolArgumentProto();
6150 if (constraintCase_ == ConstraintOneofCase.BoolOr) {
6151 subBuilder.MergeFrom(BoolOr);
6153 input.ReadMessage(subBuilder);
6154 BoolOr = subBuilder;
6158 global::Google.OrTools.Sat.BoolArgumentProto subBuilder =
new global::Google.OrTools.Sat.BoolArgumentProto();
6159 if (constraintCase_ == ConstraintOneofCase.BoolAnd) {
6160 subBuilder.MergeFrom(BoolAnd);
6162 input.ReadMessage(subBuilder);
6163 BoolAnd = subBuilder;
6167 global::Google.OrTools.Sat.BoolArgumentProto subBuilder =
new global::Google.OrTools.Sat.BoolArgumentProto();
6168 if (constraintCase_ == ConstraintOneofCase.BoolXor) {
6169 subBuilder.MergeFrom(BoolXor);
6171 input.ReadMessage(subBuilder);
6172 BoolXor = subBuilder;
6176 global::Google.OrTools.Sat.LinearArgumentProto subBuilder =
new global::Google.OrTools.Sat.LinearArgumentProto();
6177 if (constraintCase_ == ConstraintOneofCase.IntDiv) {
6178 subBuilder.MergeFrom(IntDiv);
6180 input.ReadMessage(subBuilder);
6181 IntDiv = subBuilder;
6185 global::Google.OrTools.Sat.LinearArgumentProto subBuilder =
new global::Google.OrTools.Sat.LinearArgumentProto();
6186 if (constraintCase_ == ConstraintOneofCase.IntMod) {
6187 subBuilder.MergeFrom(IntMod);
6189 input.ReadMessage(subBuilder);
6190 IntMod = subBuilder;
6194 global::Google.OrTools.Sat.LinearArgumentProto subBuilder =
new global::Google.OrTools.Sat.LinearArgumentProto();
6195 if (constraintCase_ == ConstraintOneofCase.IntProd) {
6196 subBuilder.MergeFrom(IntProd);
6198 input.ReadMessage(subBuilder);
6199 IntProd = subBuilder;
6203 global::Google.OrTools.Sat.LinearConstraintProto subBuilder =
new global::Google.OrTools.Sat.LinearConstraintProto();
6204 if (constraintCase_ == ConstraintOneofCase.Linear) {
6205 subBuilder.MergeFrom(Linear);
6207 input.ReadMessage(subBuilder);
6208 Linear = subBuilder;
6212 global::Google.OrTools.Sat.AllDifferentConstraintProto subBuilder =
new global::Google.OrTools.Sat.AllDifferentConstraintProto();
6213 if (constraintCase_ == ConstraintOneofCase.AllDiff) {
6214 subBuilder.MergeFrom(AllDiff);
6216 input.ReadMessage(subBuilder);
6217 AllDiff = subBuilder;
6221 global::Google.OrTools.Sat.ElementConstraintProto subBuilder =
new global::Google.OrTools.Sat.ElementConstraintProto();
6222 if (constraintCase_ == ConstraintOneofCase.Element) {
6223 subBuilder.MergeFrom(Element);
6225 input.ReadMessage(subBuilder);
6226 Element = subBuilder;
6230 global::Google.OrTools.Sat.CircuitConstraintProto subBuilder =
new global::Google.OrTools.Sat.CircuitConstraintProto();
6231 if (constraintCase_ == ConstraintOneofCase.Circuit) {
6232 subBuilder.MergeFrom(Circuit);
6234 input.ReadMessage(subBuilder);
6235 Circuit = subBuilder;
6239 global::Google.OrTools.Sat.TableConstraintProto subBuilder =
new global::Google.OrTools.Sat.TableConstraintProto();
6240 if (constraintCase_ == ConstraintOneofCase.Table) {
6241 subBuilder.MergeFrom(Table);
6243 input.ReadMessage(subBuilder);
6248 global::Google.OrTools.Sat.AutomatonConstraintProto subBuilder =
new global::Google.OrTools.Sat.AutomatonConstraintProto();
6249 if (constraintCase_ == ConstraintOneofCase.Automaton) {
6250 subBuilder.MergeFrom(Automaton);
6252 input.ReadMessage(subBuilder);
6253 Automaton = subBuilder;
6257 global::Google.OrTools.Sat.InverseConstraintProto subBuilder =
new global::Google.OrTools.Sat.InverseConstraintProto();
6258 if (constraintCase_ == ConstraintOneofCase.Inverse) {
6259 subBuilder.MergeFrom(Inverse);
6261 input.ReadMessage(subBuilder);
6262 Inverse = subBuilder;
6266 global::Google.OrTools.Sat.IntervalConstraintProto subBuilder =
new global::Google.OrTools.Sat.IntervalConstraintProto();
6267 if (constraintCase_ == ConstraintOneofCase.Interval) {
6268 subBuilder.MergeFrom(Interval);
6270 input.ReadMessage(subBuilder);
6271 Interval = subBuilder;
6275 global::Google.OrTools.Sat.NoOverlapConstraintProto subBuilder =
new global::Google.OrTools.Sat.NoOverlapConstraintProto();
6276 if (constraintCase_ == ConstraintOneofCase.NoOverlap) {
6277 subBuilder.MergeFrom(NoOverlap);
6279 input.ReadMessage(subBuilder);
6280 NoOverlap = subBuilder;
6284 global::Google.OrTools.Sat.NoOverlap2DConstraintProto subBuilder =
new global::Google.OrTools.Sat.NoOverlap2DConstraintProto();
6285 if (constraintCase_ == ConstraintOneofCase.NoOverlap2D) {
6286 subBuilder.MergeFrom(NoOverlap2D);
6288 input.ReadMessage(subBuilder);
6289 NoOverlap2D = subBuilder;
6293 global::Google.OrTools.Sat.CumulativeConstraintProto subBuilder =
new global::Google.OrTools.Sat.CumulativeConstraintProto();
6294 if (constraintCase_ == ConstraintOneofCase.Cumulative) {
6295 subBuilder.MergeFrom(Cumulative);
6297 input.ReadMessage(subBuilder);
6298 Cumulative = subBuilder;
6302 global::Google.OrTools.Sat.RoutesConstraintProto subBuilder =
new global::Google.OrTools.Sat.RoutesConstraintProto();
6303 if (constraintCase_ == ConstraintOneofCase.Routes) {
6304 subBuilder.MergeFrom(Routes);
6306 input.ReadMessage(subBuilder);
6307 Routes = subBuilder;
6311 global::Google.OrTools.Sat.ReservoirConstraintProto subBuilder =
new global::Google.OrTools.Sat.ReservoirConstraintProto();
6312 if (constraintCase_ == ConstraintOneofCase.Reservoir) {
6313 subBuilder.MergeFrom(Reservoir);
6315 input.ReadMessage(subBuilder);
6316 Reservoir = subBuilder;
6320 global::Google.OrTools.Sat.BoolArgumentProto subBuilder =
new global::Google.OrTools.Sat.BoolArgumentProto();
6321 if (constraintCase_ == ConstraintOneofCase.AtMostOne) {
6322 subBuilder.MergeFrom(AtMostOne);
6324 input.ReadMessage(subBuilder);
6325 AtMostOne = subBuilder;
6329 global::Google.OrTools.Sat.LinearArgumentProto subBuilder =
new global::Google.OrTools.Sat.LinearArgumentProto();
6330 if (constraintCase_ == ConstraintOneofCase.LinMax) {
6331 subBuilder.MergeFrom(LinMax);
6333 input.ReadMessage(subBuilder);
6334 LinMax = subBuilder;
6338 global::Google.OrTools.Sat.BoolArgumentProto subBuilder =
new global::Google.OrTools.Sat.BoolArgumentProto();
6339 if (constraintCase_ == ConstraintOneofCase.ExactlyOne) {
6340 subBuilder.MergeFrom(ExactlyOne);
6342 input.ReadMessage(subBuilder);
6343 ExactlyOne = subBuilder;
6347 global::Google.OrTools.Sat.ListOfVariablesProto subBuilder =
new global::Google.OrTools.Sat.ListOfVariablesProto();
6348 if (constraintCase_ == ConstraintOneofCase.DummyConstraint) {
6349 subBuilder.MergeFrom(DummyConstraint);
6351 input.ReadMessage(subBuilder);
6352 DummyConstraint = subBuilder;
6365 [global::System.Diagnostics.DebuggerDisplayAttribute(
"{ToString(),nq}")]
6366 public sealed partial class CpObjectiveProto : pb::IMessage<CpObjectiveProto>
6367 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
6368 , pb::IBufferMessage
6371 private static readonly pb::MessageParser<CpObjectiveProto> _parser =
new pb::MessageParser<CpObjectiveProto>(() =>
new CpObjectiveProto());
6372 private pb::UnknownFieldSet _unknownFields;
6373 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6374 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6375 public static pb::MessageParser<CpObjectiveProto> Parser {
get {
return _parser; } }
6377 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6378 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6379 public static pbr::MessageDescriptor Descriptor {
6380 get {
return global::Google.OrTools.Sat.CpModelReflection.Descriptor.MessageTypes[19]; }
6383 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6384 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6385 pbr::MessageDescriptor pb::IMessage.Descriptor {
6386 get {
return Descriptor; }
6389 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6390 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6391 public CpObjectiveProto() {
6397 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6398 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6400 vars_ = other.vars_.Clone();
6401 coeffs_ = other.coeffs_.Clone();
6402 offset_ = other.offset_;
6403 scalingFactor_ = other.scalingFactor_;
6404 domain_ = other.domain_.Clone();
6405 scalingWasExact_ = other.scalingWasExact_;
6406 integerBeforeOffset_ = other.integerBeforeOffset_;
6407 integerAfterOffset_ = other.integerAfterOffset_;
6408 integerScalingFactor_ = other.integerScalingFactor_;
6409 _unknownFields = pb::UnknownFieldSet.Clone(other._unknownFields);
6412 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6413 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6419 public const int VarsFieldNumber = 1;
6420 private static readonly pb::FieldCodec<int> _repeated_vars_codec
6421 = pb::FieldCodec.ForInt32(10);
6422 private readonly pbc::RepeatedField<int> vars_ =
new pbc::RepeatedField<int>();
6428 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6429 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6430 public pbc::RepeatedField<int> Vars {
6431 get {
return vars_; }
6435 public const int CoeffsFieldNumber = 4;
6436 private static readonly pb::FieldCodec<long> _repeated_coeffs_codec
6437 = pb::FieldCodec.ForInt64(34);
6438 private readonly pbc::RepeatedField<long> coeffs_ =
new pbc::RepeatedField<long>();
6439 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6440 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6441 public pbc::RepeatedField<long> Coeffs {
6442 get {
return coeffs_; }
6446 public const int OffsetFieldNumber = 2;
6447 private double offset_;
6457 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6458 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6459 public double Offset {
6460 get {
return offset_; }
6467 public const int ScalingFactorFieldNumber = 3;
6468 private double scalingFactor_;
6469 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6470 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6471 public double ScalingFactor {
6472 get {
return scalingFactor_; }
6474 scalingFactor_ = value;
6479 public const int DomainFieldNumber = 5;
6480 private static readonly pb::FieldCodec<long> _repeated_domain_codec
6481 = pb::FieldCodec.ForInt64(42);
6482 private readonly pbc::RepeatedField<long> domain_ =
new pbc::RepeatedField<long>();
6488 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6489 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6490 public pbc::RepeatedField<long>
Domain {
6491 get {
return domain_; }
6495 public const int ScalingWasExactFieldNumber = 6;
6496 private bool scalingWasExact_;
6504 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6505 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6506 public bool ScalingWasExact {
6507 get {
return scalingWasExact_; }
6509 scalingWasExact_ = value;
6514 public const int IntegerBeforeOffsetFieldNumber = 7;
6515 private long integerBeforeOffset_;
6530 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6531 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6532 public long IntegerBeforeOffset {
6533 get {
return integerBeforeOffset_; }
6535 integerBeforeOffset_ = value;
6540 public const int IntegerAfterOffsetFieldNumber = 9;
6541 private long integerAfterOffset_;
6542 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6543 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6544 public long IntegerAfterOffset {
6545 get {
return integerAfterOffset_; }
6547 integerAfterOffset_ = value;
6552 public const int IntegerScalingFactorFieldNumber = 8;
6553 private long integerScalingFactor_;
6554 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6555 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6556 public long IntegerScalingFactor {
6557 get {
return integerScalingFactor_; }
6559 integerScalingFactor_ = value;
6563 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6564 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6565 public override bool Equals(
object other) {
6569 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6570 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6572 if (ReferenceEquals(other,
null)) {
6575 if (ReferenceEquals(other,
this)) {
6578 if(!vars_.Equals(other.vars_))
return false;
6579 if(!coeffs_.Equals(other.coeffs_))
return false;
6580 if (!pbc::ProtobufEqualityComparers.BitwiseDoubleEqualityComparer.Equals(Offset, other.Offset))
return false;
6581 if (!pbc::ProtobufEqualityComparers.BitwiseDoubleEqualityComparer.Equals(ScalingFactor, other.ScalingFactor))
return false;
6582 if(!domain_.Equals(other.domain_))
return false;
6583 if (ScalingWasExact != other.ScalingWasExact)
return false;
6584 if (IntegerBeforeOffset != other.IntegerBeforeOffset)
return false;
6585 if (IntegerAfterOffset != other.IntegerAfterOffset)
return false;
6586 if (IntegerScalingFactor != other.IntegerScalingFactor)
return false;
6587 return Equals(_unknownFields, other._unknownFields);
6590 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6591 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6592 public override int GetHashCode() {
6594 hash ^= vars_.GetHashCode();
6595 hash ^= coeffs_.GetHashCode();
6596 if (Offset != 0D) hash ^= pbc::ProtobufEqualityComparers.BitwiseDoubleEqualityComparer.GetHashCode(Offset);
6597 if (ScalingFactor != 0D) hash ^= pbc::ProtobufEqualityComparers.BitwiseDoubleEqualityComparer.GetHashCode(ScalingFactor);
6598 hash ^= domain_.GetHashCode();
6599 if (ScalingWasExact !=
false) hash ^= ScalingWasExact.GetHashCode();
6600 if (IntegerBeforeOffset != 0L) hash ^= IntegerBeforeOffset.GetHashCode();
6601 if (IntegerAfterOffset != 0L) hash ^= IntegerAfterOffset.GetHashCode();
6602 if (IntegerScalingFactor != 0L) hash ^= IntegerScalingFactor.GetHashCode();
6603 if (_unknownFields !=
null) {
6604 hash ^= _unknownFields.GetHashCode();
6609 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6610 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6611 public override string ToString() {
6612 return pb::JsonFormatter.ToDiagnosticString(
this);
6615 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6616 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6617 public void WriteTo(pb::CodedOutputStream output) {
6618 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
6619 output.WriteRawMessage(
this);
6621 vars_.WriteTo(output, _repeated_vars_codec);
6623 output.WriteRawTag(17);
6624 output.WriteDouble(Offset);
6626 if (ScalingFactor != 0D) {
6627 output.WriteRawTag(25);
6628 output.WriteDouble(ScalingFactor);
6630 coeffs_.WriteTo(output, _repeated_coeffs_codec);
6631 domain_.WriteTo(output, _repeated_domain_codec);
6632 if (ScalingWasExact !=
false) {
6633 output.WriteRawTag(48);
6634 output.WriteBool(ScalingWasExact);
6636 if (IntegerBeforeOffset != 0L) {
6637 output.WriteRawTag(56);
6638 output.WriteInt64(IntegerBeforeOffset);
6640 if (IntegerScalingFactor != 0L) {
6641 output.WriteRawTag(64);
6642 output.WriteInt64(IntegerScalingFactor);
6644 if (IntegerAfterOffset != 0L) {
6645 output.WriteRawTag(72);
6646 output.WriteInt64(IntegerAfterOffset);
6648 if (_unknownFields !=
null) {
6649 _unknownFields.WriteTo(output);
6654 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
6655 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6656 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6657 void pb::IBufferMessage.InternalWriteTo(ref pb::WriteContext output) {
6658 vars_.WriteTo(ref output, _repeated_vars_codec);
6660 output.WriteRawTag(17);
6661 output.WriteDouble(Offset);
6663 if (ScalingFactor != 0D) {
6664 output.WriteRawTag(25);
6665 output.WriteDouble(ScalingFactor);
6667 coeffs_.WriteTo(ref output, _repeated_coeffs_codec);
6668 domain_.WriteTo(ref output, _repeated_domain_codec);
6669 if (ScalingWasExact !=
false) {
6670 output.WriteRawTag(48);
6671 output.WriteBool(ScalingWasExact);
6673 if (IntegerBeforeOffset != 0L) {
6674 output.WriteRawTag(56);
6675 output.WriteInt64(IntegerBeforeOffset);
6677 if (IntegerScalingFactor != 0L) {
6678 output.WriteRawTag(64);
6679 output.WriteInt64(IntegerScalingFactor);
6681 if (IntegerAfterOffset != 0L) {
6682 output.WriteRawTag(72);
6683 output.WriteInt64(IntegerAfterOffset);
6685 if (_unknownFields !=
null) {
6686 _unknownFields.WriteTo(ref output);
6691 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6692 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6693 public int CalculateSize() {
6695 size += vars_.CalculateSize(_repeated_vars_codec);
6696 size += coeffs_.CalculateSize(_repeated_coeffs_codec);
6700 if (ScalingFactor != 0D) {
6703 size += domain_.CalculateSize(_repeated_domain_codec);
6704 if (ScalingWasExact !=
false) {
6707 if (IntegerBeforeOffset != 0L) {
6708 size += 1 + pb::CodedOutputStream.ComputeInt64Size(IntegerBeforeOffset);
6710 if (IntegerAfterOffset != 0L) {
6711 size += 1 + pb::CodedOutputStream.ComputeInt64Size(IntegerAfterOffset);
6713 if (IntegerScalingFactor != 0L) {
6714 size += 1 + pb::CodedOutputStream.ComputeInt64Size(IntegerScalingFactor);
6716 if (_unknownFields !=
null) {
6717 size += _unknownFields.CalculateSize();
6722 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6723 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6724 public void MergeFrom(CpObjectiveProto other) {
6725 if (other ==
null) {
6728 vars_.Add(other.vars_);
6729 coeffs_.Add(other.coeffs_);
6730 if (other.Offset != 0D) {
6731 Offset = other.Offset;
6733 if (other.ScalingFactor != 0D) {
6734 ScalingFactor = other.ScalingFactor;
6736 domain_.Add(other.domain_);
6737 if (other.ScalingWasExact !=
false) {
6738 ScalingWasExact = other.ScalingWasExact;
6740 if (other.IntegerBeforeOffset != 0L) {
6741 IntegerBeforeOffset = other.IntegerBeforeOffset;
6743 if (other.IntegerAfterOffset != 0L) {
6744 IntegerAfterOffset = other.IntegerAfterOffset;
6746 if (other.IntegerScalingFactor != 0L) {
6747 IntegerScalingFactor = other.IntegerScalingFactor;
6749 _unknownFields = pb::UnknownFieldSet.MergeFrom(_unknownFields, other._unknownFields);
6752 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6753 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6754 public void MergeFrom(pb::CodedInputStream input) {
6755 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
6756 input.ReadRawMessage(
this);
6759 while ((tag = input.ReadTag()) != 0) {
6762 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, input);
6766 vars_.AddEntriesFrom(input, _repeated_vars_codec);
6770 Offset = input.ReadDouble();
6774 ScalingFactor = input.ReadDouble();
6779 coeffs_.AddEntriesFrom(input, _repeated_coeffs_codec);
6784 domain_.AddEntriesFrom(input, _repeated_domain_codec);
6788 ScalingWasExact = input.ReadBool();
6792 IntegerBeforeOffset = input.ReadInt64();
6796 IntegerScalingFactor = input.ReadInt64();
6800 IntegerAfterOffset = input.ReadInt64();
6808 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
6809 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6810 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6811 void pb::IBufferMessage.InternalMergeFrom(ref pb::ParseContext input) {
6813 while ((tag = input.ReadTag()) != 0) {
6816 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, ref input);
6820 vars_.AddEntriesFrom(ref input, _repeated_vars_codec);
6824 Offset = input.ReadDouble();
6828 ScalingFactor = input.ReadDouble();
6833 coeffs_.AddEntriesFrom(ref input, _repeated_coeffs_codec);
6838 domain_.AddEntriesFrom(ref input, _repeated_domain_codec);
6842 ScalingWasExact = input.ReadBool();
6846 IntegerBeforeOffset = input.ReadInt64();
6850 IntegerScalingFactor = input.ReadInt64();
6854 IntegerAfterOffset = input.ReadInt64();
6868 [global::System.Diagnostics.DebuggerDisplayAttribute(
"{ToString(),nq}")]
6869 public sealed partial class FloatObjectiveProto : pb::IMessage<FloatObjectiveProto>
6870 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
6871 , pb::IBufferMessage
6874 private static readonly pb::MessageParser<FloatObjectiveProto> _parser =
new pb::MessageParser<FloatObjectiveProto>(() =>
new FloatObjectiveProto());
6875 private pb::UnknownFieldSet _unknownFields;
6876 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6877 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6878 public static pb::MessageParser<FloatObjectiveProto> Parser {
get {
return _parser; } }
6880 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6881 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6882 public static pbr::MessageDescriptor Descriptor {
6883 get {
return global::Google.OrTools.Sat.CpModelReflection.Descriptor.MessageTypes[20]; }
6886 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6887 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6888 pbr::MessageDescriptor pb::IMessage.Descriptor {
6889 get {
return Descriptor; }
6892 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6893 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6894 public FloatObjectiveProto() {
6903 vars_ = other.vars_.Clone();
6904 coeffs_ = other.coeffs_.Clone();
6905 offset_ = other.offset_;
6906 maximize_ = other.maximize_;
6907 _unknownFields = pb::UnknownFieldSet.Clone(other._unknownFields);
6910 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6911 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6917 public const int VarsFieldNumber = 1;
6918 private static readonly pb::FieldCodec<int> _repeated_vars_codec
6919 = pb::FieldCodec.ForInt32(10);
6920 private readonly pbc::RepeatedField<int> vars_ =
new pbc::RepeatedField<int>();
6921 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6922 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6923 public pbc::RepeatedField<int> Vars {
6924 get {
return vars_; }
6928 public const int CoeffsFieldNumber = 2;
6929 private static readonly pb::FieldCodec<double> _repeated_coeffs_codec
6930 = pb::FieldCodec.ForDouble(18);
6931 private readonly pbc::RepeatedField<double> coeffs_ =
new pbc::RepeatedField<double>();
6932 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6933 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6934 public pbc::RepeatedField<double> Coeffs {
6935 get {
return coeffs_; }
6939 public const int OffsetFieldNumber = 3;
6940 private double offset_;
6941 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6942 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6943 public double Offset {
6944 get {
return offset_; }
6951 public const int MaximizeFieldNumber = 4;
6952 private bool maximize_;
6956 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6957 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6958 public bool Maximize {
6959 get {
return maximize_; }
6965 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6966 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6967 public override bool Equals(
object other) {
6971 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6972 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6974 if (ReferenceEquals(other,
null)) {
6977 if (ReferenceEquals(other,
this)) {
6980 if(!vars_.Equals(other.vars_))
return false;
6981 if(!coeffs_.Equals(other.coeffs_))
return false;
6982 if (!pbc::ProtobufEqualityComparers.BitwiseDoubleEqualityComparer.Equals(Offset, other.Offset))
return false;
6983 if (Maximize != other.Maximize)
return false;
6984 return Equals(_unknownFields, other._unknownFields);
6987 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6988 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6989 public override int GetHashCode() {
6991 hash ^= vars_.GetHashCode();
6992 hash ^= coeffs_.GetHashCode();
6993 if (Offset != 0D) hash ^= pbc::ProtobufEqualityComparers.BitwiseDoubleEqualityComparer.GetHashCode(Offset);
6994 if (Maximize !=
false) hash ^= Maximize.GetHashCode();
6995 if (_unknownFields !=
null) {
6996 hash ^= _unknownFields.GetHashCode();
7001 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7002 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7003 public override string ToString() {
7004 return pb::JsonFormatter.ToDiagnosticString(
this);
7007 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7008 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7009 public void WriteTo(pb::CodedOutputStream output) {
7010 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
7011 output.WriteRawMessage(
this);
7013 vars_.WriteTo(output, _repeated_vars_codec);
7014 coeffs_.WriteTo(output, _repeated_coeffs_codec);
7016 output.WriteRawTag(25);
7017 output.WriteDouble(Offset);
7019 if (Maximize !=
false) {
7020 output.WriteRawTag(32);
7021 output.WriteBool(Maximize);
7023 if (_unknownFields !=
null) {
7024 _unknownFields.WriteTo(output);
7029 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
7030 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7031 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7032 void pb::IBufferMessage.InternalWriteTo(ref pb::WriteContext output) {
7033 vars_.WriteTo(ref output, _repeated_vars_codec);
7034 coeffs_.WriteTo(ref output, _repeated_coeffs_codec);
7036 output.WriteRawTag(25);
7037 output.WriteDouble(Offset);
7039 if (Maximize !=
false) {
7040 output.WriteRawTag(32);
7041 output.WriteBool(Maximize);
7043 if (_unknownFields !=
null) {
7044 _unknownFields.WriteTo(ref output);
7049 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7050 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7051 public int CalculateSize() {
7053 size += vars_.CalculateSize(_repeated_vars_codec);
7054 size += coeffs_.CalculateSize(_repeated_coeffs_codec);
7058 if (Maximize !=
false) {
7061 if (_unknownFields !=
null) {
7062 size += _unknownFields.CalculateSize();
7067 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7068 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7069 public void MergeFrom(FloatObjectiveProto other) {
7070 if (other ==
null) {
7073 vars_.Add(other.vars_);
7074 coeffs_.Add(other.coeffs_);
7075 if (other.Offset != 0D) {
7076 Offset = other.Offset;
7078 if (other.Maximize !=
false) {
7079 Maximize = other.Maximize;
7081 _unknownFields = pb::UnknownFieldSet.MergeFrom(_unknownFields, other._unknownFields);
7084 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7085 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7086 public void MergeFrom(pb::CodedInputStream input) {
7087 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
7088 input.ReadRawMessage(
this);
7091 while ((tag = input.ReadTag()) != 0) {
7094 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, input);
7098 vars_.AddEntriesFrom(input, _repeated_vars_codec);
7103 coeffs_.AddEntriesFrom(input, _repeated_coeffs_codec);
7107 Offset = input.ReadDouble();
7111 Maximize = input.ReadBool();
7119 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
7120 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7121 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7122 void pb::IBufferMessage.InternalMergeFrom(ref pb::ParseContext input) {
7124 while ((tag = input.ReadTag()) != 0) {
7127 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, ref input);
7131 vars_.AddEntriesFrom(ref input, _repeated_vars_codec);
7136 coeffs_.AddEntriesFrom(ref input, _repeated_coeffs_codec);
7140 Offset = input.ReadDouble();
7144 Maximize = input.ReadBool();
7158 [global::System.Diagnostics.DebuggerDisplayAttribute(
"{ToString(),nq}")]
7159 public sealed partial class DecisionStrategyProto : pb::IMessage<DecisionStrategyProto>
7160 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
7161 , pb::IBufferMessage
7164 private static readonly pb::MessageParser<DecisionStrategyProto> _parser =
new pb::MessageParser<DecisionStrategyProto>(() =>
new DecisionStrategyProto());
7165 private pb::UnknownFieldSet _unknownFields;
7166 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7167 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7168 public static pb::MessageParser<DecisionStrategyProto> Parser {
get {
return _parser; } }
7170 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7171 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7172 public static pbr::MessageDescriptor Descriptor {
7173 get {
return global::Google.OrTools.Sat.CpModelReflection.Descriptor.MessageTypes[21]; }
7176 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7177 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7178 pbr::MessageDescriptor pb::IMessage.Descriptor {
7179 get {
return Descriptor; }
7182 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7183 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7184 public DecisionStrategyProto() {
7193 variables_ = other.variables_.Clone();
7194 exprs_ = other.exprs_.Clone();
7195 variableSelectionStrategy_ = other.variableSelectionStrategy_;
7196 domainReductionStrategy_ = other.domainReductionStrategy_;
7197 _unknownFields = pb::UnknownFieldSet.Clone(other._unknownFields);
7200 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7201 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7207 public const int VariablesFieldNumber = 1;
7208 private static readonly pb::FieldCodec<int> _repeated_variables_codec
7209 = pb::FieldCodec.ForInt32(10);
7210 private readonly pbc::RepeatedField<int> variables_ =
new pbc::RepeatedField<int>();
7216 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7217 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7218 public pbc::RepeatedField<int> Variables {
7219 get {
return variables_; }
7223 public const int ExprsFieldNumber = 5;
7224 private static readonly pb::FieldCodec<global::Google.OrTools.Sat.LinearExpressionProto> _repeated_exprs_codec
7225 = pb::FieldCodec.ForMessage(42, global::Google.OrTools.Sat.LinearExpressionProto.Parser);
7226 private readonly pbc::RepeatedField<global::Google.OrTools.Sat.LinearExpressionProto> exprs_ =
new pbc::RepeatedField<global::Google.OrTools.Sat.LinearExpressionProto>();
7235 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7236 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7237 public pbc::RepeatedField<global::Google.OrTools.Sat.LinearExpressionProto> Exprs {
7238 get {
return exprs_; }
7242 public const int VariableSelectionStrategyFieldNumber = 2;
7243 private global::Google.OrTools.Sat.DecisionStrategyProto.Types.VariableSelectionStrategy variableSelectionStrategy_ = global::Google.OrTools.Sat.DecisionStrategyProto.Types.VariableSelectionStrategy.ChooseFirst;
7244 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7245 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7246 public global::Google.OrTools.Sat.DecisionStrategyProto.Types.VariableSelectionStrategy VariableSelectionStrategy {
7247 get {
return variableSelectionStrategy_; }
7249 variableSelectionStrategy_ = value;
7254 public const int DomainReductionStrategyFieldNumber = 3;
7255 private global::Google.OrTools.Sat.DecisionStrategyProto.Types.DomainReductionStrategy domainReductionStrategy_ = global::Google.OrTools.Sat.DecisionStrategyProto.Types.DomainReductionStrategy.SelectMinValue;
7256 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7257 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7258 public global::Google.OrTools.Sat.DecisionStrategyProto.Types.DomainReductionStrategy DomainReductionStrategy {
7259 get {
return domainReductionStrategy_; }
7261 domainReductionStrategy_ = value;
7265 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7266 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7267 public override bool Equals(
object other) {
7271 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7272 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7274 if (ReferenceEquals(other,
null)) {
7277 if (ReferenceEquals(other,
this)) {
7280 if(!variables_.Equals(other.variables_))
return false;
7281 if(!exprs_.Equals(other.exprs_))
return false;
7282 if (VariableSelectionStrategy != other.VariableSelectionStrategy)
return false;
7283 if (DomainReductionStrategy != other.DomainReductionStrategy)
return false;
7284 return Equals(_unknownFields, other._unknownFields);
7287 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7288 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7289 public override int GetHashCode() {
7291 hash ^= variables_.GetHashCode();
7292 hash ^= exprs_.GetHashCode();
7293 if (VariableSelectionStrategy != global::Google.OrTools.Sat.DecisionStrategyProto.Types.VariableSelectionStrategy.ChooseFirst) hash ^= VariableSelectionStrategy.GetHashCode();
7294 if (DomainReductionStrategy != global::Google.OrTools.Sat.DecisionStrategyProto.Types.DomainReductionStrategy.SelectMinValue) hash ^= DomainReductionStrategy.GetHashCode();
7295 if (_unknownFields !=
null) {
7296 hash ^= _unknownFields.GetHashCode();
7301 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7302 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7303 public override string ToString() {
7304 return pb::JsonFormatter.ToDiagnosticString(
this);
7307 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7308 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7309 public void WriteTo(pb::CodedOutputStream output) {
7310 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
7311 output.WriteRawMessage(
this);
7313 variables_.WriteTo(output, _repeated_variables_codec);
7314 if (VariableSelectionStrategy != global::Google.OrTools.Sat.DecisionStrategyProto.Types.VariableSelectionStrategy.ChooseFirst) {
7315 output.WriteRawTag(16);
7316 output.WriteEnum((
int) VariableSelectionStrategy);
7318 if (DomainReductionStrategy != global::Google.OrTools.Sat.DecisionStrategyProto.Types.DomainReductionStrategy.SelectMinValue) {
7319 output.WriteRawTag(24);
7320 output.WriteEnum((
int) DomainReductionStrategy);
7322 exprs_.WriteTo(output, _repeated_exprs_codec);
7323 if (_unknownFields !=
null) {
7324 _unknownFields.WriteTo(output);
7329 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
7330 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7331 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7332 void pb::IBufferMessage.InternalWriteTo(ref pb::WriteContext output) {
7333 variables_.WriteTo(ref output, _repeated_variables_codec);
7334 if (VariableSelectionStrategy != global::Google.OrTools.Sat.DecisionStrategyProto.Types.VariableSelectionStrategy.ChooseFirst) {
7335 output.WriteRawTag(16);
7336 output.WriteEnum((
int) VariableSelectionStrategy);
7338 if (DomainReductionStrategy != global::Google.OrTools.Sat.DecisionStrategyProto.Types.DomainReductionStrategy.SelectMinValue) {
7339 output.WriteRawTag(24);
7340 output.WriteEnum((
int) DomainReductionStrategy);
7342 exprs_.WriteTo(ref output, _repeated_exprs_codec);
7343 if (_unknownFields !=
null) {
7344 _unknownFields.WriteTo(ref output);
7349 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7350 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7351 public int CalculateSize() {
7353 size += variables_.CalculateSize(_repeated_variables_codec);
7354 size += exprs_.CalculateSize(_repeated_exprs_codec);
7355 if (VariableSelectionStrategy != global::Google.OrTools.Sat.DecisionStrategyProto.Types.VariableSelectionStrategy.ChooseFirst) {
7356 size += 1 + pb::CodedOutputStream.ComputeEnumSize((
int) VariableSelectionStrategy);
7358 if (DomainReductionStrategy != global::Google.OrTools.Sat.DecisionStrategyProto.Types.DomainReductionStrategy.SelectMinValue) {
7359 size += 1 + pb::CodedOutputStream.ComputeEnumSize((
int) DomainReductionStrategy);
7361 if (_unknownFields !=
null) {
7362 size += _unknownFields.CalculateSize();
7367 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7368 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7369 public void MergeFrom(DecisionStrategyProto other) {
7370 if (other ==
null) {
7373 variables_.Add(other.variables_);
7374 exprs_.Add(other.exprs_);
7375 if (other.VariableSelectionStrategy != global::Google.OrTools.Sat.DecisionStrategyProto.Types.VariableSelectionStrategy.ChooseFirst) {
7376 VariableSelectionStrategy = other.VariableSelectionStrategy;
7378 if (other.DomainReductionStrategy != global::Google.OrTools.Sat.DecisionStrategyProto.Types.DomainReductionStrategy.SelectMinValue) {
7379 DomainReductionStrategy = other.DomainReductionStrategy;
7381 _unknownFields = pb::UnknownFieldSet.MergeFrom(_unknownFields, other._unknownFields);
7384 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7385 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7386 public void MergeFrom(pb::CodedInputStream input) {
7387 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
7388 input.ReadRawMessage(
this);
7391 while ((tag = input.ReadTag()) != 0) {
7394 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, input);
7398 variables_.AddEntriesFrom(input, _repeated_variables_codec);
7402 VariableSelectionStrategy = (global::Google.OrTools.Sat.DecisionStrategyProto.Types.VariableSelectionStrategy) input.ReadEnum();
7406 DomainReductionStrategy = (global::Google.OrTools.Sat.DecisionStrategyProto.Types.DomainReductionStrategy) input.ReadEnum();
7410 exprs_.AddEntriesFrom(input, _repeated_exprs_codec);
7418 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
7419 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7420 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7421 void pb::IBufferMessage.InternalMergeFrom(ref pb::ParseContext input) {
7423 while ((tag = input.ReadTag()) != 0) {
7426 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, ref input);
7430 variables_.AddEntriesFrom(ref input, _repeated_variables_codec);
7434 VariableSelectionStrategy = (global::Google.OrTools.Sat.DecisionStrategyProto.Types.VariableSelectionStrategy) input.ReadEnum();
7438 DomainReductionStrategy = (global::Google.OrTools.Sat.DecisionStrategyProto.Types.DomainReductionStrategy) input.ReadEnum();
7442 exprs_.AddEntriesFrom(ref input, _repeated_exprs_codec);
7450 #region Nested types
7452 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7453 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7454 public static partial class Types {
7462 public enum VariableSelectionStrategy {
7463 [pbr::OriginalName(
"CHOOSE_FIRST")] ChooseFirst = 0,
7464 [pbr::OriginalName(
"CHOOSE_LOWEST_MIN")] ChooseLowestMin = 1,
7465 [pbr::OriginalName(
"CHOOSE_HIGHEST_MAX")] ChooseHighestMax = 2,
7466 [pbr::OriginalName(
"CHOOSE_MIN_DOMAIN_SIZE")] ChooseMinDomainSize = 3,
7467 [pbr::OriginalName(
"CHOOSE_MAX_DOMAIN_SIZE")] ChooseMaxDomainSize = 4,
7476 public enum DomainReductionStrategy {
7477 [pbr::OriginalName(
"SELECT_MIN_VALUE")] SelectMinValue = 0,
7478 [pbr::OriginalName(
"SELECT_MAX_VALUE")] SelectMaxValue = 1,
7479 [pbr::OriginalName(
"SELECT_LOWER_HALF")] SelectLowerHalf = 2,
7480 [pbr::OriginalName(
"SELECT_UPPER_HALF")] SelectUpperHalf = 3,
7481 [pbr::OriginalName(
"SELECT_MEDIAN_VALUE")] SelectMedianValue = 4,
7494 [global::System.Diagnostics.DebuggerDisplayAttribute(
"{ToString(),nq}")]
7495 public sealed partial class PartialVariableAssignment : pb::IMessage<PartialVariableAssignment>
7496 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
7497 , pb::IBufferMessage
7500 private static readonly pb::MessageParser<PartialVariableAssignment> _parser =
new pb::MessageParser<PartialVariableAssignment>(() =>
new PartialVariableAssignment());
7501 private pb::UnknownFieldSet _unknownFields;
7502 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7503 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7504 public static pb::MessageParser<PartialVariableAssignment> Parser {
get {
return _parser; } }
7506 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7507 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7508 public static pbr::MessageDescriptor Descriptor {
7509 get {
return global::Google.OrTools.Sat.CpModelReflection.Descriptor.MessageTypes[22]; }
7512 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7513 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7514 pbr::MessageDescriptor pb::IMessage.Descriptor {
7515 get {
return Descriptor; }
7518 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7519 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7524 partial
void OnConstruction();
8459 assumptions_ = other.assumptions_.Clone();
8460 symmetry_ = other.symmetry_ !=
null ? other.symmetry_.Clone() :
null;
8461 _unknownFields = pb::UnknownFieldSet.Clone(other._unknownFields);
8464 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
8465 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
8471 public const int NameFieldNumber = 1;
8472 private string name_ =
"";
8476 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
8477 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
8478 public string Name {
8479 get {
return name_; }
8481 name_ = pb::ProtoPreconditions.CheckNotNull(value,
"value");
8486 public const int VariablesFieldNumber = 2;
8487 private static readonly pb::FieldCodec<global::Google.OrTools.Sat.IntegerVariableProto> _repeated_variables_codec
8488 = pb::FieldCodec.ForMessage(18, global::Google.OrTools.Sat.IntegerVariableProto.Parser);
8489 private readonly pbc::RepeatedField<global::Google.OrTools.Sat.IntegerVariableProto> variables_ =
new pbc::RepeatedField<global::Google.OrTools.Sat.IntegerVariableProto>();
8493 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
8494 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
8495 public pbc::RepeatedField<global::Google.OrTools.Sat.IntegerVariableProto> Variables {
8496 get { return variables_; }
8500 public const int ConstraintsFieldNumber = 3;
8501 private static readonly pb::FieldCodec<global::Google.OrTools.Sat.ConstraintProto> _repeated_constraints_codec
8502 = pb::FieldCodec.ForMessage(26, global::Google.OrTools.Sat.ConstraintProto.Parser);
8503 private readonly pbc::RepeatedField<global::Google.OrTools.Sat.ConstraintProto> constraints_ =
new pbc::RepeatedField<global::Google.OrTools.Sat.ConstraintProto>();
8504 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
8505 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
8506 public pbc::RepeatedField<global::Google.OrTools.Sat.ConstraintProto> Constraints {
8507 get { return constraints_; }
8511 public const int ObjectiveFieldNumber = 4;
8512 private global::Google.OrTools.Sat.CpObjectiveProto objective_;
8516 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
8517 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
8518 public global::Google.OrTools.Sat.CpObjectiveProto Objective {
8519 get { return objective_; }
8526 public const int FloatingPointObjectiveFieldNumber = 9;
8527 private global::Google.OrTools.Sat.FloatObjectiveProto floatingPointObjective_;
8543 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
8544 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
8545 public global::Google.OrTools.Sat.FloatObjectiveProto FloatingPointObjective {
8546 get { return floatingPointObjective_; }
8548 floatingPointObjective_ = value;
8553 public const int SearchStrategyFieldNumber = 5;
8554 private static readonly pb::FieldCodec<global::Google.OrTools.Sat.DecisionStrategyProto> _repeated_searchStrategy_codec
8555 = pb::FieldCodec.ForMessage(42, global::Google.OrTools.Sat.DecisionStrategyProto.Parser);
8556 private readonly pbc::RepeatedField<global::Google.OrTools.Sat.DecisionStrategyProto> searchStrategy_ =
new pbc::RepeatedField<global::Google.OrTools.Sat.DecisionStrategyProto>();
8568 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
8569 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
8570 public pbc::RepeatedField<global::Google.OrTools.Sat.DecisionStrategyProto> SearchStrategy {
8571 get { return searchStrategy_; }
8575 public const int SolutionHintFieldNumber = 6;
8576 private global::Google.OrTools.Sat.PartialVariableAssignment solutionHint_;
8590 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
8591 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
8592 public global::Google.OrTools.Sat.PartialVariableAssignment SolutionHint {
8593 get { return solutionHint_; }
8595 solutionHint_ = value;
8600 public const int AssumptionsFieldNumber = 7;
8601 private static readonly pb::FieldCodec<int> _repeated_assumptions_codec
8602 = pb::FieldCodec.ForInt32(58);
8603 private readonly pbc::RepeatedField<int> assumptions_ =
new pbc::RepeatedField<int>();
8619 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
8620 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
8621 public pbc::RepeatedField<int> Assumptions {
8622 get {
return assumptions_; }
8626 public const int SymmetryFieldNumber = 8;
8627 private global::Google.OrTools.Sat.SymmetryProto symmetry_;
8635 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
8636 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
8637 public global::Google.OrTools.Sat.SymmetryProto Symmetry {
8638 get {
return symmetry_; }
8644 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
8645 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
8646 public override bool Equals(
object other) {
8650 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
8651 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
8653 if (ReferenceEquals(other,
null)) {
8656 if (ReferenceEquals(other,
this)) {
8659 if (Name != other.
Name)
return false;
8660 if(!variables_.Equals(other.variables_))
return false;
8661 if(!constraints_.Equals(other.constraints_))
return false;
8662 if (!
object.Equals(Objective, other.
Objective))
return false;
8664 if(!searchStrategy_.Equals(other.searchStrategy_))
return false;
8665 if (!
object.Equals(SolutionHint, other.
SolutionHint))
return false;
8666 if(!assumptions_.Equals(other.assumptions_))
return false;
8667 if (!
object.Equals(Symmetry, other.
Symmetry))
return false;
8668 return Equals(_unknownFields, other._unknownFields);
8671 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
8672 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
8673 public override int GetHashCode() {
8675 if (Name.Length != 0) hash ^= Name.GetHashCode();
8676 hash ^= variables_.GetHashCode();
8677 hash ^= constraints_.GetHashCode();
8678 if (objective_ !=
null) hash ^= Objective.GetHashCode();
8679 if (floatingPointObjective_ !=
null) hash ^= FloatingPointObjective.GetHashCode();
8680 hash ^= searchStrategy_.GetHashCode();
8681 if (solutionHint_ !=
null) hash ^= SolutionHint.GetHashCode();
8682 hash ^= assumptions_.GetHashCode();
8683 if (symmetry_ !=
null) hash ^= Symmetry.GetHashCode();
8684 if (_unknownFields !=
null) {
8685 hash ^= _unknownFields.GetHashCode();
8690 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
8691 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
8692 public override string ToString() {
8693 return pb::JsonFormatter.ToDiagnosticString(
this);
8696 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
8697 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
8698 public void WriteTo(pb::CodedOutputStream output) {
8699 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
8700 output.WriteRawMessage(
this);
8702 if (Name.Length != 0) {
8703 output.WriteRawTag(10);
8704 output.WriteString(Name);
8706 variables_.WriteTo(output, _repeated_variables_codec);
8707 constraints_.WriteTo(output, _repeated_constraints_codec);
8708 if (objective_ !=
null) {
8709 output.WriteRawTag(34);
8710 output.WriteMessage(Objective);
8712 searchStrategy_.WriteTo(output, _repeated_searchStrategy_codec);
8713 if (solutionHint_ !=
null) {
8714 output.WriteRawTag(50);
8715 output.WriteMessage(SolutionHint);
8717 assumptions_.WriteTo(output, _repeated_assumptions_codec);
8718 if (symmetry_ !=
null) {
8719 output.WriteRawTag(66);
8720 output.WriteMessage(Symmetry);
8722 if (floatingPointObjective_ !=
null) {
8723 output.WriteRawTag(74);
8724 output.WriteMessage(FloatingPointObjective);
8726 if (_unknownFields !=
null) {
8727 _unknownFields.WriteTo(output);
8732 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
8733 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
8734 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
8735 void pb::IBufferMessage.InternalWriteTo(ref pb::WriteContext output) {
8736 if (Name.Length != 0) {
8737 output.WriteRawTag(10);
8738 output.WriteString(Name);
8740 variables_.WriteTo(ref output, _repeated_variables_codec);
8741 constraints_.WriteTo(ref output, _repeated_constraints_codec);
8742 if (objective_ !=
null) {
8743 output.WriteRawTag(34);
8744 output.WriteMessage(Objective);
8746 searchStrategy_.WriteTo(ref output, _repeated_searchStrategy_codec);
8747 if (solutionHint_ !=
null) {
8748 output.WriteRawTag(50);
8749 output.WriteMessage(SolutionHint);
8751 assumptions_.WriteTo(ref output, _repeated_assumptions_codec);
8752 if (symmetry_ !=
null) {
8753 output.WriteRawTag(66);
8754 output.WriteMessage(Symmetry);
8756 if (floatingPointObjective_ !=
null) {
8757 output.WriteRawTag(74);
8758 output.WriteMessage(FloatingPointObjective);
8760 if (_unknownFields !=
null) {
8761 _unknownFields.WriteTo(ref output);
8766 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
8767 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
8768 public int CalculateSize() {
8770 if (Name.Length != 0) {
8771 size += 1 + pb::CodedOutputStream.ComputeStringSize(Name);
8773 size += variables_.CalculateSize(_repeated_variables_codec);
8774 size += constraints_.CalculateSize(_repeated_constraints_codec);
8775 if (objective_ !=
null) {
8776 size += 1 + pb::CodedOutputStream.ComputeMessageSize(Objective);
8778 if (floatingPointObjective_ !=
null) {
8779 size += 1 + pb::CodedOutputStream.ComputeMessageSize(FloatingPointObjective);
8781 size += searchStrategy_.CalculateSize(_repeated_searchStrategy_codec);
8782 if (solutionHint_ !=
null) {
8783 size += 1 + pb::CodedOutputStream.ComputeMessageSize(SolutionHint);
8785 size += assumptions_.CalculateSize(_repeated_assumptions_codec);
8786 if (symmetry_ !=
null) {
8787 size += 1 + pb::CodedOutputStream.ComputeMessageSize(Symmetry);
8789 if (_unknownFields !=
null) {
8790 size += _unknownFields.CalculateSize();
8795 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
8796 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
8797 public void MergeFrom(CpModelProto other) {
8798 if (other ==
null) {
8801 if (other.Name.Length != 0) {
8804 variables_.Add(other.variables_);
8805 constraints_.Add(other.constraints_);
8806 if (other.objective_ !=
null) {
8807 if (objective_ ==
null) {
8808 Objective =
new global::Google.OrTools.Sat.CpObjectiveProto();
8810 Objective.MergeFrom(other.Objective);
8812 if (other.floatingPointObjective_ !=
null) {
8813 if (floatingPointObjective_ ==
null) {
8814 FloatingPointObjective =
new global::Google.OrTools.Sat.FloatObjectiveProto();
8816 FloatingPointObjective.MergeFrom(other.FloatingPointObjective);
8818 searchStrategy_.Add(other.searchStrategy_);
8819 if (other.solutionHint_ !=
null) {
8820 if (solutionHint_ ==
null) {
8821 SolutionHint =
new global::Google.OrTools.Sat.PartialVariableAssignment();
8823 SolutionHint.MergeFrom(other.SolutionHint);
8825 assumptions_.Add(other.assumptions_);
8826 if (other.symmetry_ !=
null) {
8827 if (symmetry_ ==
null) {
8828 Symmetry =
new global::Google.OrTools.Sat.SymmetryProto();
8830 Symmetry.MergeFrom(other.Symmetry);
8832 _unknownFields = pb::UnknownFieldSet.MergeFrom(_unknownFields, other._unknownFields);
8835 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
8836 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
8837 public void MergeFrom(pb::CodedInputStream input) {
8838 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
8839 input.ReadRawMessage(
this);
8842 while ((tag = input.ReadTag()) != 0) {
8845 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, input);
8848 Name = input.ReadString();
8852 variables_.AddEntriesFrom(input, _repeated_variables_codec);
8856 constraints_.AddEntriesFrom(input, _repeated_constraints_codec);
8860 if (objective_ ==
null) {
8861 Objective =
new global::Google.OrTools.Sat.CpObjectiveProto();
8863 input.ReadMessage(Objective);
8867 searchStrategy_.AddEntriesFrom(input, _repeated_searchStrategy_codec);
8871 if (solutionHint_ ==
null) {
8872 SolutionHint =
new global::Google.OrTools.Sat.PartialVariableAssignment();
8874 input.ReadMessage(SolutionHint);
8879 assumptions_.AddEntriesFrom(input, _repeated_assumptions_codec);
8883 if (symmetry_ ==
null) {
8884 Symmetry =
new global::Google.OrTools.Sat.SymmetryProto();
8886 input.ReadMessage(Symmetry);
8890 if (floatingPointObjective_ ==
null) {
8891 FloatingPointObjective =
new global::Google.OrTools.Sat.FloatObjectiveProto();
8893 input.ReadMessage(FloatingPointObjective);
8901 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
8902 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
8903 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
8904 void pb::IBufferMessage.InternalMergeFrom(ref pb::ParseContext input) {
8906 while ((tag = input.ReadTag()) != 0) {
8909 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, ref input);
8912 Name = input.ReadString();
8916 variables_.AddEntriesFrom(ref input, _repeated_variables_codec);
8920 constraints_.AddEntriesFrom(ref input, _repeated_constraints_codec);
8924 if (objective_ ==
null) {
8925 Objective =
new global::Google.OrTools.Sat.CpObjectiveProto();
8927 input.ReadMessage(Objective);
8931 searchStrategy_.AddEntriesFrom(ref input, _repeated_searchStrategy_codec);
8935 if (solutionHint_ ==
null) {
8936 SolutionHint =
new global::Google.OrTools.Sat.PartialVariableAssignment();
8938 input.ReadMessage(SolutionHint);
8943 assumptions_.AddEntriesFrom(ref input, _repeated_assumptions_codec);
8947 if (symmetry_ ==
null) {
8948 Symmetry =
new global::Google.OrTools.Sat.SymmetryProto();
8950 input.ReadMessage(Symmetry);
8954 if (floatingPointObjective_ ==
null) {
8955 FloatingPointObjective =
new global::Google.OrTools.Sat.FloatObjectiveProto();
8957 input.ReadMessage(FloatingPointObjective);
8971 [global::System.Diagnostics.DebuggerDisplayAttribute(
"{ToString(),nq}")]
8972 public sealed partial class CpSolverSolution : pb::IMessage<CpSolverSolution>
8973 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
8974 , pb::IBufferMessage
8977 private static readonly pb::MessageParser<CpSolverSolution> _parser =
new pb::MessageParser<CpSolverSolution>(() =>
new CpSolverSolution());
8978 private pb::UnknownFieldSet _unknownFields;
8979 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
8980 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
8981 public static pb::MessageParser<CpSolverSolution> Parser {
get {
return _parser; } }
8983 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
8984 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
8985 public static pbr::MessageDescriptor Descriptor {
8986 get {
return global::Google.OrTools.Sat.CpModelReflection.Descriptor.MessageTypes[27]; }
8989 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
8990 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
8991 pbr::MessageDescriptor pb::IMessage.Descriptor {
8992 get {
return Descriptor; }
8995 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
8996 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
8997 public CpSolverSolution() {
9001 partial
void OnConstruction();
9003 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
9004 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
9005 public CpSolverSolution(CpSolverSolution other) : this() {
9006 values_ = other.values_.Clone();
9007 _unknownFields = pb::UnknownFieldSet.Clone(other._unknownFields);
9010 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
9011 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
9012 public CpSolverSolution Clone() {
9013 return new CpSolverSolution(
this);
9208 numLpIterations_ = other.numLpIterations_;
9209 wallTime_ = other.wallTime_;
9210 userTime_ = other.userTime_;
9211 deterministicTime_ = other.deterministicTime_;
9212 gapIntegral_ = other.gapIntegral_;
9213 solutionInfo_ = other.solutionInfo_;
9214 solveLog_ = other.solveLog_;
9215 _unknownFields = pb::UnknownFieldSet.Clone(other._unknownFields);
9218 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
9219 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
9225 public const int StatusFieldNumber = 1;
9226 private global::Google.OrTools.Sat.CpSolverStatus status_ = global::Google.OrTools.Sat.CpSolverStatus.Unknown;
9230 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
9231 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
9232 public global::Google.OrTools.Sat.CpSolverStatus Status {
9233 get {
return status_; }
9240 public const int SolutionFieldNumber = 2;
9241 private static readonly pb::FieldCodec<long> _repeated_solution_codec
9242 = pb::FieldCodec.ForInt64(18);
9243 private readonly pbc::RepeatedField<long> solution_ =
new pbc::RepeatedField<long>();
9250 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
9251 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
9252 public pbc::RepeatedField<long> Solution {
9253 get {
return solution_; }
9257 public const int ObjectiveValueFieldNumber = 3;
9258 private double objectiveValue_;
9265 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
9266 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
9267 public double ObjectiveValue {
9268 get {
return objectiveValue_; }
9270 objectiveValue_ = value;
9275 public const int BestObjectiveBoundFieldNumber = 4;
9276 private double bestObjectiveBound_;
9282 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
9283 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
9284 public double BestObjectiveBound {
9285 get {
return bestObjectiveBound_; }
9287 bestObjectiveBound_ = value;
9292 public const int AdditionalSolutionsFieldNumber = 27;
9293 private static readonly pb::FieldCodec<global::Google.OrTools.Sat.CpSolverSolution> _repeated_additionalSolutions_codec
9294 = pb::FieldCodec.ForMessage(218, global::Google.OrTools.Sat.CpSolverSolution.Parser);
9295 private readonly pbc::RepeatedField<global::Google.OrTools.Sat.CpSolverSolution> additionalSolutions_ =
new pbc::RepeatedField<global::Google.OrTools.Sat.CpSolverSolution>();
9304 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
9305 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
9306 public pbc::RepeatedField<global::Google.OrTools.Sat.CpSolverSolution> AdditionalSolutions {
9307 get {
return additionalSolutions_; }
9311 public const int TightenedVariablesFieldNumber = 21;
9312 private static readonly pb::FieldCodec<global::Google.OrTools.Sat.IntegerVariableProto> _repeated_tightenedVariables_codec
9313 = pb::FieldCodec.ForMessage(170, global::Google.OrTools.Sat.IntegerVariableProto.Parser);
9314 private readonly pbc::RepeatedField<global::Google.OrTools.Sat.IntegerVariableProto> tightenedVariables_ =
new pbc::RepeatedField<global::Google.OrTools.Sat.IntegerVariableProto>();
9333 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
9334 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
9335 public pbc::RepeatedField<global::Google.OrTools.Sat.IntegerVariableProto> TightenedVariables {
9336 get {
return tightenedVariables_; }
9340 public const int SufficientAssumptionsForInfeasibilityFieldNumber = 23;
9341 private static readonly pb::FieldCodec<int> _repeated_sufficientAssumptionsForInfeasibility_codec
9342 = pb::FieldCodec.ForInt32(186);
9343 private readonly pbc::RepeatedField<int> sufficientAssumptionsForInfeasibility_ =
new pbc::RepeatedField<int>();
9365 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
9366 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
9367 public pbc::RepeatedField<int> SufficientAssumptionsForInfeasibility {
9368 get {
return sufficientAssumptionsForInfeasibility_; }
9372 public const int IntegerObjectiveFieldNumber = 28;
9373 private global::Google.OrTools.Sat.CpObjectiveProto integerObjective_;
9379 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
9380 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
9381 public global::Google.OrTools.Sat.CpObjectiveProto IntegerObjective {
9382 get {
return integerObjective_; }
9384 integerObjective_ = value;
9389 public const int InnerObjectiveLowerBoundFieldNumber = 29;
9390 private long innerObjectiveLowerBound_;
9399 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
9400 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
9401 public long InnerObjectiveLowerBound {
9402 get {
return innerObjectiveLowerBound_; }
9404 innerObjectiveLowerBound_ = value;
9409 public const int NumIntegersFieldNumber = 30;
9410 private long numIntegers_;
9418 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
9419 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
9420 public long NumIntegers {
9421 get {
return numIntegers_; }
9423 numIntegers_ = value;
9428 public const int NumBooleansFieldNumber = 10;
9429 private long numBooleans_;
9430 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
9431 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
9432 public long NumBooleans {
9433 get {
return numBooleans_; }
9435 numBooleans_ = value;
9440 public const int NumConflictsFieldNumber = 11;
9441 private long numConflicts_;
9442 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
9443 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
9444 public long NumConflicts {
9445 get {
return numConflicts_; }
9447 numConflicts_ = value;
9452 public const int NumBranchesFieldNumber = 12;
9453 private long numBranches_;
9454 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
9455 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
9456 public long NumBranches {
9457 get {
return numBranches_; }
9459 numBranches_ = value;
9464 public const int NumBinaryPropagationsFieldNumber = 13;
9465 private long numBinaryPropagations_;
9466 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
9467 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
9468 public long NumBinaryPropagations {
9469 get {
return numBinaryPropagations_; }
9471 numBinaryPropagations_ = value;
9476 public const int NumIntegerPropagationsFieldNumber = 14;
9477 private long numIntegerPropagations_;
9478 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
9479 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
9480 public long NumIntegerPropagations {
9481 get {
return numIntegerPropagations_; }
9483 numIntegerPropagations_ = value;
9488 public const int NumRestartsFieldNumber = 24;
9489 private long numRestarts_;
9490 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
9491 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
9492 public long NumRestarts {
9493 get {
return numRestarts_; }
9495 numRestarts_ = value;
9500 public const int NumLpIterationsFieldNumber = 25;
9501 private long numLpIterations_;
9502 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
9503 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
9504 public long NumLpIterations {
9505 get {
return numLpIterations_; }
9507 numLpIterations_ = value;
9512 public const int WallTimeFieldNumber = 15;
9513 private double wallTime_;
9517 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
9518 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
9519 public double WallTime {
9520 get {
return wallTime_; }
9527 public const int UserTimeFieldNumber = 16;
9528 private double userTime_;
9529 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
9530 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
9531 public double UserTime {
9532 get {
return userTime_; }
9539 public const int DeterministicTimeFieldNumber = 17;
9540 private double deterministicTime_;
9541 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
9542 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
9543 public double DeterministicTime {
9544 get {
return deterministicTime_; }
9546 deterministicTime_ = value;
9551 public const int GapIntegralFieldNumber = 22;
9552 private double gapIntegral_;
9556 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
9557 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
9558 public double GapIntegral {
9559 get {
return gapIntegral_; }
9561 gapIntegral_ = value;
9566 public const int SolutionInfoFieldNumber = 20;
9567 private string solutionInfo_ =
"";
9572 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
9573 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
9574 public string SolutionInfo {
9575 get {
return solutionInfo_; }
9577 solutionInfo_ = pb::ProtoPreconditions.CheckNotNull(value,
"value");
9582 public const int SolveLogFieldNumber = 26;
9583 private string solveLog_ =
"";
9588 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
9589 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
9590 public string SolveLog {
9591 get {
return solveLog_; }
9593 solveLog_ = pb::ProtoPreconditions.CheckNotNull(value,
"value");
9597 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
9598 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
9599 public override bool Equals(
object other) {
9603 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
9604 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
9606 if (ReferenceEquals(other,
null)) {
9609 if (ReferenceEquals(other,
this)) {
9612 if (Status != other.
Status)
return false;
9613 if(!solution_.Equals(other.solution_))
return false;
9614 if (!pbc::ProtobufEqualityComparers.BitwiseDoubleEqualityComparer.Equals(ObjectiveValue, other.
ObjectiveValue))
return false;
9615 if (!pbc::ProtobufEqualityComparers.BitwiseDoubleEqualityComparer.Equals(BestObjectiveBound, other.
BestObjectiveBound))
return false;
9616 if(!additionalSolutions_.Equals(other.additionalSolutions_))
return false;
9617 if(!tightenedVariables_.Equals(other.tightenedVariables_))
return false;
9618 if(!sufficientAssumptionsForInfeasibility_.Equals(other.sufficientAssumptionsForInfeasibility_))
return false;
9619 if (!
object.Equals(IntegerObjective, other.
IntegerObjective))
return false;
9621 if (NumIntegers != other.
NumIntegers)
return false;
9622 if (NumBooleans != other.
NumBooleans)
return false;
9624 if (NumBranches != other.
NumBranches)
return false;
9627 if (NumRestarts != other.
NumRestarts)
return false;
9629 if (!pbc::ProtobufEqualityComparers.BitwiseDoubleEqualityComparer.Equals(WallTime, other.
WallTime))
return false;
9630 if (!pbc::ProtobufEqualityComparers.BitwiseDoubleEqualityComparer.Equals(UserTime, other.
UserTime))
return false;
9631 if (!pbc::ProtobufEqualityComparers.BitwiseDoubleEqualityComparer.Equals(DeterministicTime, other.
DeterministicTime))
return false;
9632 if (!pbc::ProtobufEqualityComparers.BitwiseDoubleEqualityComparer.Equals(GapIntegral, other.
GapIntegral))
return false;
9635 return Equals(_unknownFields, other._unknownFields);
9638 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
9639 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
9640 public override int GetHashCode() {
9642 if (Status != global::Google.OrTools.Sat.CpSolverStatus.Unknown) hash ^= Status.GetHashCode();
9643 hash ^= solution_.GetHashCode();
9644 if (ObjectiveValue != 0D) hash ^= pbc::ProtobufEqualityComparers.BitwiseDoubleEqualityComparer.GetHashCode(ObjectiveValue);
9645 if (BestObjectiveBound != 0D) hash ^= pbc::ProtobufEqualityComparers.BitwiseDoubleEqualityComparer.GetHashCode(BestObjectiveBound);
9646 hash ^= additionalSolutions_.GetHashCode();
9647 hash ^= tightenedVariables_.GetHashCode();
9648 hash ^= sufficientAssumptionsForInfeasibility_.GetHashCode();
9649 if (integerObjective_ !=
null) hash ^= IntegerObjective.GetHashCode();
9650 if (InnerObjectiveLowerBound != 0L) hash ^= InnerObjectiveLowerBound.GetHashCode();
9651 if (NumIntegers != 0L) hash ^= NumIntegers.GetHashCode();
9652 if (NumBooleans != 0L) hash ^= NumBooleans.GetHashCode();
9653 if (NumConflicts != 0L) hash ^= NumConflicts.GetHashCode();
9654 if (NumBranches != 0L) hash ^= NumBranches.GetHashCode();
9655 if (NumBinaryPropagations != 0L) hash ^= NumBinaryPropagations.GetHashCode();
9656 if (NumIntegerPropagations != 0L) hash ^= NumIntegerPropagations.GetHashCode();
9657 if (NumRestarts != 0L) hash ^= NumRestarts.GetHashCode();
9658 if (NumLpIterations != 0L) hash ^= NumLpIterations.GetHashCode();
9659 if (WallTime != 0D) hash ^= pbc::ProtobufEqualityComparers.BitwiseDoubleEqualityComparer.GetHashCode(WallTime);
9660 if (UserTime != 0D) hash ^= pbc::ProtobufEqualityComparers.BitwiseDoubleEqualityComparer.GetHashCode(UserTime);
9661 if (DeterministicTime != 0D) hash ^= pbc::ProtobufEqualityComparers.BitwiseDoubleEqualityComparer.GetHashCode(DeterministicTime);
9662 if (GapIntegral != 0D) hash ^= pbc::ProtobufEqualityComparers.BitwiseDoubleEqualityComparer.GetHashCode(GapIntegral);
9663 if (SolutionInfo.Length != 0) hash ^= SolutionInfo.GetHashCode();
9664 if (SolveLog.Length != 0) hash ^= SolveLog.GetHashCode();
9665 if (_unknownFields !=
null) {
9666 hash ^= _unknownFields.GetHashCode();
9671 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
9672 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
9673 public override string ToString() {
9674 return pb::JsonFormatter.ToDiagnosticString(
this);
9677 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
9678 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
9679 public void WriteTo(pb::CodedOutputStream output) {
9680 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
9681 output.WriteRawMessage(
this);
9683 if (Status != global::Google.OrTools.Sat.CpSolverStatus.Unknown) {
9684 output.WriteRawTag(8);
9685 output.WriteEnum((
int) Status);
9687 solution_.WriteTo(output, _repeated_solution_codec);
9688 if (ObjectiveValue != 0D) {
9689 output.WriteRawTag(25);
9690 output.WriteDouble(ObjectiveValue);
9692 if (BestObjectiveBound != 0D) {
9693 output.WriteRawTag(33);
9694 output.WriteDouble(BestObjectiveBound);
9696 if (NumBooleans != 0L) {
9697 output.WriteRawTag(80);
9698 output.WriteInt64(NumBooleans);
9700 if (NumConflicts != 0L) {
9701 output.WriteRawTag(88);
9702 output.WriteInt64(NumConflicts);
9704 if (NumBranches != 0L) {
9705 output.WriteRawTag(96);
9706 output.WriteInt64(NumBranches);
9708 if (NumBinaryPropagations != 0L) {
9709 output.WriteRawTag(104);
9710 output.WriteInt64(NumBinaryPropagations);
9712 if (NumIntegerPropagations != 0L) {
9713 output.WriteRawTag(112);
9714 output.WriteInt64(NumIntegerPropagations);
9716 if (WallTime != 0D) {
9717 output.WriteRawTag(121);
9718 output.WriteDouble(WallTime);
9720 if (UserTime != 0D) {
9721 output.WriteRawTag(129, 1);
9722 output.WriteDouble(UserTime);
9724 if (DeterministicTime != 0D) {
9725 output.WriteRawTag(137, 1);
9726 output.WriteDouble(DeterministicTime);
9728 if (SolutionInfo.Length != 0) {
9729 output.WriteRawTag(162, 1);
9730 output.WriteString(SolutionInfo);
9732 tightenedVariables_.WriteTo(output, _repeated_tightenedVariables_codec);
9733 if (GapIntegral != 0D) {
9734 output.WriteRawTag(177, 1);
9735 output.WriteDouble(GapIntegral);
9737 sufficientAssumptionsForInfeasibility_.WriteTo(output, _repeated_sufficientAssumptionsForInfeasibility_codec);
9738 if (NumRestarts != 0L) {
9739 output.WriteRawTag(192, 1);
9740 output.WriteInt64(NumRestarts);
9742 if (NumLpIterations != 0L) {
9743 output.WriteRawTag(200, 1);
9744 output.WriteInt64(NumLpIterations);
9746 if (SolveLog.Length != 0) {
9747 output.WriteRawTag(210, 1);
9748 output.WriteString(SolveLog);
9750 additionalSolutions_.WriteTo(output, _repeated_additionalSolutions_codec);
9751 if (integerObjective_ !=
null) {
9752 output.WriteRawTag(226, 1);
9753 output.WriteMessage(IntegerObjective);
9755 if (InnerObjectiveLowerBound != 0L) {
9756 output.WriteRawTag(232, 1);
9757 output.WriteInt64(InnerObjectiveLowerBound);
9759 if (NumIntegers != 0L) {
9760 output.WriteRawTag(240, 1);
9761 output.WriteInt64(NumIntegers);
9763 if (_unknownFields !=
null) {
9764 _unknownFields.WriteTo(output);
9769 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
9770 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
9771 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
9772 void pb::IBufferMessage.InternalWriteTo(ref pb::WriteContext output) {
9773 if (Status != global::Google.OrTools.Sat.CpSolverStatus.Unknown) {
9774 output.WriteRawTag(8);
9775 output.WriteEnum((
int) Status);
9777 solution_.WriteTo(ref output, _repeated_solution_codec);
9778 if (ObjectiveValue != 0D) {
9779 output.WriteRawTag(25);
9780 output.WriteDouble(ObjectiveValue);
9782 if (BestObjectiveBound != 0D) {
9783 output.WriteRawTag(33);
9784 output.WriteDouble(BestObjectiveBound);
9786 if (NumBooleans != 0L) {
9787 output.WriteRawTag(80);
9788 output.WriteInt64(NumBooleans);
9790 if (NumConflicts != 0L) {
9791 output.WriteRawTag(88);
9792 output.WriteInt64(NumConflicts);
9794 if (NumBranches != 0L) {
9795 output.WriteRawTag(96);
9796 output.WriteInt64(NumBranches);
9798 if (NumBinaryPropagations != 0L) {
9799 output.WriteRawTag(104);
9800 output.WriteInt64(NumBinaryPropagations);
9802 if (NumIntegerPropagations != 0L) {
9803 output.WriteRawTag(112);
9804 output.WriteInt64(NumIntegerPropagations);
9806 if (WallTime != 0D) {
9807 output.WriteRawTag(121);
9808 output.WriteDouble(WallTime);
9810 if (UserTime != 0D) {
9811 output.WriteRawTag(129, 1);
9812 output.WriteDouble(UserTime);
9814 if (DeterministicTime != 0D) {
9815 output.WriteRawTag(137, 1);
9816 output.WriteDouble(DeterministicTime);
9818 if (SolutionInfo.Length != 0) {
9819 output.WriteRawTag(162, 1);
9820 output.WriteString(SolutionInfo);
9822 tightenedVariables_.WriteTo(ref output, _repeated_tightenedVariables_codec);
9823 if (GapIntegral != 0D) {
9824 output.WriteRawTag(177, 1);
9825 output.WriteDouble(GapIntegral);
9827 sufficientAssumptionsForInfeasibility_.WriteTo(ref output, _repeated_sufficientAssumptionsForInfeasibility_codec);
9828 if (NumRestarts != 0L) {
9829 output.WriteRawTag(192, 1);
9830 output.WriteInt64(NumRestarts);
9832 if (NumLpIterations != 0L) {
9833 output.WriteRawTag(200, 1);
9834 output.WriteInt64(NumLpIterations);
9836 if (SolveLog.Length != 0) {
9837 output.WriteRawTag(210, 1);
9838 output.WriteString(SolveLog);
9840 additionalSolutions_.WriteTo(ref output, _repeated_additionalSolutions_codec);
9841 if (integerObjective_ !=
null) {
9842 output.WriteRawTag(226, 1);
9843 output.WriteMessage(IntegerObjective);
9845 if (InnerObjectiveLowerBound != 0L) {
9846 output.WriteRawTag(232, 1);
9847 output.WriteInt64(InnerObjectiveLowerBound);
9849 if (NumIntegers != 0L) {
9850 output.WriteRawTag(240, 1);
9851 output.WriteInt64(NumIntegers);
9853 if (_unknownFields !=
null) {
9854 _unknownFields.WriteTo(ref output);
9859 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
9860 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
9861 public int CalculateSize() {
9863 if (Status != global::Google.OrTools.Sat.CpSolverStatus.Unknown) {
9864 size += 1 + pb::CodedOutputStream.ComputeEnumSize((
int) Status);
9866 size += solution_.CalculateSize(_repeated_solution_codec);
9867 if (ObjectiveValue != 0D) {
9870 if (BestObjectiveBound != 0D) {
9873 size += additionalSolutions_.CalculateSize(_repeated_additionalSolutions_codec);
9874 size += tightenedVariables_.CalculateSize(_repeated_tightenedVariables_codec);
9875 size += sufficientAssumptionsForInfeasibility_.CalculateSize(_repeated_sufficientAssumptionsForInfeasibility_codec);
9876 if (integerObjective_ !=
null) {
9877 size += 2 + pb::CodedOutputStream.ComputeMessageSize(IntegerObjective);
9879 if (InnerObjectiveLowerBound != 0L) {
9880 size += 2 + pb::CodedOutputStream.ComputeInt64Size(InnerObjectiveLowerBound);
9882 if (NumIntegers != 0L) {
9883 size += 2 + pb::CodedOutputStream.ComputeInt64Size(NumIntegers);
9885 if (NumBooleans != 0L) {
9886 size += 1 + pb::CodedOutputStream.ComputeInt64Size(NumBooleans);
9888 if (NumConflicts != 0L) {
9889 size += 1 + pb::CodedOutputStream.ComputeInt64Size(NumConflicts);
9891 if (NumBranches != 0L) {
9892 size += 1 + pb::CodedOutputStream.ComputeInt64Size(NumBranches);
9894 if (NumBinaryPropagations != 0L) {
9895 size += 1 + pb::CodedOutputStream.ComputeInt64Size(NumBinaryPropagations);
9897 if (NumIntegerPropagations != 0L) {
9898 size += 1 + pb::CodedOutputStream.ComputeInt64Size(NumIntegerPropagations);
9900 if (NumRestarts != 0L) {
9901 size += 2 + pb::CodedOutputStream.ComputeInt64Size(NumRestarts);
9903 if (NumLpIterations != 0L) {
9904 size += 2 + pb::CodedOutputStream.ComputeInt64Size(NumLpIterations);
9906 if (WallTime != 0D) {
9909 if (UserTime != 0D) {
9912 if (DeterministicTime != 0D) {
9915 if (GapIntegral != 0D) {
9918 if (SolutionInfo.Length != 0) {
9919 size += 2 + pb::CodedOutputStream.ComputeStringSize(SolutionInfo);
9921 if (SolveLog.Length != 0) {
9922 size += 2 + pb::CodedOutputStream.ComputeStringSize(SolveLog);
9924 if (_unknownFields !=
null) {
9925 size += _unknownFields.CalculateSize();
9930 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
9931 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
9932 public void MergeFrom(CpSolverResponse other) {
9933 if (other ==
null) {
9936 if (other.Status != global::Google.OrTools.Sat.CpSolverStatus.Unknown) {
9937 Status = other.Status;
9939 solution_.Add(other.solution_);
9940 if (other.ObjectiveValue != 0D) {
9941 ObjectiveValue = other.ObjectiveValue;
9943 if (other.BestObjectiveBound != 0D) {
9944 BestObjectiveBound = other.BestObjectiveBound;
9946 additionalSolutions_.Add(other.additionalSolutions_);
9947 tightenedVariables_.Add(other.tightenedVariables_);
9948 sufficientAssumptionsForInfeasibility_.Add(other.sufficientAssumptionsForInfeasibility_);
9949 if (other.integerObjective_ !=
null) {
9950 if (integerObjective_ ==
null) {
9951 IntegerObjective =
new global::Google.OrTools.Sat.CpObjectiveProto();
9953 IntegerObjective.MergeFrom(other.IntegerObjective);
9955 if (other.InnerObjectiveLowerBound != 0L) {
9956 InnerObjectiveLowerBound = other.InnerObjectiveLowerBound;
9958 if (other.NumIntegers != 0L) {
9959 NumIntegers = other.NumIntegers;
9961 if (other.NumBooleans != 0L) {
9962 NumBooleans = other.NumBooleans;
9964 if (other.NumConflicts != 0L) {
9965 NumConflicts = other.NumConflicts;
9967 if (other.NumBranches != 0L) {
9968 NumBranches = other.NumBranches;
9970 if (other.NumBinaryPropagations != 0L) {
9971 NumBinaryPropagations = other.NumBinaryPropagations;
9973 if (other.NumIntegerPropagations != 0L) {
9974 NumIntegerPropagations = other.NumIntegerPropagations;
9976 if (other.NumRestarts != 0L) {
9977 NumRestarts = other.NumRestarts;
9979 if (other.NumLpIterations != 0L) {
9980 NumLpIterations = other.NumLpIterations;
9982 if (other.WallTime != 0D) {
9983 WallTime = other.WallTime;
9985 if (other.UserTime != 0D) {
9986 UserTime = other.UserTime;
9988 if (other.DeterministicTime != 0D) {
9989 DeterministicTime = other.DeterministicTime;
9991 if (other.GapIntegral != 0D) {
9992 GapIntegral = other.GapIntegral;
9994 if (other.SolutionInfo.Length != 0) {
9995 SolutionInfo = other.SolutionInfo;
9997 if (other.SolveLog.Length != 0) {
9998 SolveLog = other.SolveLog;
10000 _unknownFields = pb::UnknownFieldSet.MergeFrom(_unknownFields, other._unknownFields);
10003 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
10004 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
10005 public void MergeFrom(pb::CodedInputStream input) {
10006 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
10007 input.ReadRawMessage(
this);
10010 while ((tag = input.ReadTag()) != 0) {
10013 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, input);
10016 Status = (global::Google.OrTools.Sat.CpSolverStatus) input.ReadEnum();
10021 solution_.AddEntriesFrom(input, _repeated_solution_codec);
10025 ObjectiveValue = input.ReadDouble();
10029 BestObjectiveBound = input.ReadDouble();
10033 NumBooleans = input.ReadInt64();
10037 NumConflicts = input.ReadInt64();
10041 NumBranches = input.ReadInt64();
10045 NumBinaryPropagations = input.ReadInt64();
10049 NumIntegerPropagations = input.ReadInt64();
10053 WallTime = input.ReadDouble();
10057 UserTime = input.ReadDouble();
10061 DeterministicTime = input.ReadDouble();
10065 SolutionInfo = input.ReadString();
10069 tightenedVariables_.AddEntriesFrom(input, _repeated_tightenedVariables_codec);
10073 GapIntegral = input.ReadDouble();
10078 sufficientAssumptionsForInfeasibility_.AddEntriesFrom(input, _repeated_sufficientAssumptionsForInfeasibility_codec);
10082 NumRestarts = input.ReadInt64();
10086 NumLpIterations = input.ReadInt64();
10090 SolveLog = input.ReadString();
10094 additionalSolutions_.AddEntriesFrom(input, _repeated_additionalSolutions_codec);
10098 if (integerObjective_ ==
null) {
10099 IntegerObjective =
new global::Google.OrTools.Sat.CpObjectiveProto();
10101 input.ReadMessage(IntegerObjective);
10105 InnerObjectiveLowerBound = input.ReadInt64();
10109 NumIntegers = input.ReadInt64();
10117 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
10118 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
10119 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
10120 void pb::IBufferMessage.InternalMergeFrom(ref pb::ParseContext input) {
10122 while ((tag = input.ReadTag()) != 0) {
10125 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, ref input);
10128 Status = (global::Google.OrTools.Sat.CpSolverStatus) input.ReadEnum();
10133 solution_.AddEntriesFrom(ref input, _repeated_solution_codec);
10137 ObjectiveValue = input.ReadDouble();
10141 BestObjectiveBound = input.ReadDouble();
10145 NumBooleans = input.ReadInt64();
10149 NumConflicts = input.ReadInt64();
10153 NumBranches = input.ReadInt64();
10157 NumBinaryPropagations = input.ReadInt64();
10161 NumIntegerPropagations = input.ReadInt64();
10165 WallTime = input.ReadDouble();
10169 UserTime = input.ReadDouble();
10173 DeterministicTime = input.ReadDouble();
10177 SolutionInfo = input.ReadString();
10181 tightenedVariables_.AddEntriesFrom(ref input, _repeated_tightenedVariables_codec);
10185 GapIntegral = input.ReadDouble();
10190 sufficientAssumptionsForInfeasibility_.AddEntriesFrom(ref input, _repeated_sufficientAssumptionsForInfeasibility_codec);
10194 NumRestarts = input.ReadInt64();
10198 NumLpIterations = input.ReadInt64();
10202 SolveLog = input.ReadString();
10206 additionalSolutions_.AddEntriesFrom(ref input, _repeated_additionalSolutions_codec);
10210 if (integerObjective_ ==
null) {
10211 IntegerObjective =
new global::Google.OrTools.Sat.CpObjectiveProto();
10213 input.ReadMessage(IntegerObjective);
10217 InnerObjectiveLowerBound = input.ReadInt64();
10221 NumIntegers = input.ReadInt64();
10235#endregion Designer generated code