4 package com.google.ortools.sat;
9 com.google.protobuf.ExtensionRegistryLite registry) {
13 com.google.protobuf.ExtensionRegistry registry) {
15 (com.google.protobuf.ExtensionRegistryLite) registry);
17 static final com.google.protobuf.Descriptors.Descriptor
18 internal_static_operations_research_sat_IntegerVariableProto_descriptor;
20 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
21 internal_static_operations_research_sat_IntegerVariableProto_fieldAccessorTable;
22 static final com.google.protobuf.Descriptors.Descriptor
23 internal_static_operations_research_sat_BoolArgumentProto_descriptor;
25 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
26 internal_static_operations_research_sat_BoolArgumentProto_fieldAccessorTable;
27 static final com.google.protobuf.Descriptors.Descriptor
28 internal_static_operations_research_sat_IntegerArgumentProto_descriptor;
30 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
31 internal_static_operations_research_sat_IntegerArgumentProto_fieldAccessorTable;
32 static final com.google.protobuf.Descriptors.Descriptor
33 internal_static_operations_research_sat_LinearExpressionProto_descriptor;
35 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
36 internal_static_operations_research_sat_LinearExpressionProto_fieldAccessorTable;
37 static final com.google.protobuf.Descriptors.Descriptor
38 internal_static_operations_research_sat_LinearArgumentProto_descriptor;
40 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
41 internal_static_operations_research_sat_LinearArgumentProto_fieldAccessorTable;
42 static final com.google.protobuf.Descriptors.Descriptor
43 internal_static_operations_research_sat_AllDifferentConstraintProto_descriptor;
45 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
46 internal_static_operations_research_sat_AllDifferentConstraintProto_fieldAccessorTable;
47 static final com.google.protobuf.Descriptors.Descriptor
48 internal_static_operations_research_sat_LinearConstraintProto_descriptor;
50 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
51 internal_static_operations_research_sat_LinearConstraintProto_fieldAccessorTable;
52 static final com.google.protobuf.Descriptors.Descriptor
53 internal_static_operations_research_sat_ElementConstraintProto_descriptor;
55 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
56 internal_static_operations_research_sat_ElementConstraintProto_fieldAccessorTable;
57 static final com.google.protobuf.Descriptors.Descriptor
58 internal_static_operations_research_sat_IntervalConstraintProto_descriptor;
60 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
61 internal_static_operations_research_sat_IntervalConstraintProto_fieldAccessorTable;
62 static final com.google.protobuf.Descriptors.Descriptor
63 internal_static_operations_research_sat_NoOverlapConstraintProto_descriptor;
65 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
66 internal_static_operations_research_sat_NoOverlapConstraintProto_fieldAccessorTable;
67 static final com.google.protobuf.Descriptors.Descriptor
68 internal_static_operations_research_sat_NoOverlap2DConstraintProto_descriptor;
70 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
71 internal_static_operations_research_sat_NoOverlap2DConstraintProto_fieldAccessorTable;
72 static final com.google.protobuf.Descriptors.Descriptor
73 internal_static_operations_research_sat_CumulativeConstraintProto_descriptor;
75 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
76 internal_static_operations_research_sat_CumulativeConstraintProto_fieldAccessorTable;
77 static final com.google.protobuf.Descriptors.Descriptor
78 internal_static_operations_research_sat_ReservoirConstraintProto_descriptor;
80 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
81 internal_static_operations_research_sat_ReservoirConstraintProto_fieldAccessorTable;
82 static final com.google.protobuf.Descriptors.Descriptor
83 internal_static_operations_research_sat_CircuitConstraintProto_descriptor;
85 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
86 internal_static_operations_research_sat_CircuitConstraintProto_fieldAccessorTable;
87 static final com.google.protobuf.Descriptors.Descriptor
88 internal_static_operations_research_sat_RoutesConstraintProto_descriptor;
90 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
91 internal_static_operations_research_sat_RoutesConstraintProto_fieldAccessorTable;
92 static final com.google.protobuf.Descriptors.Descriptor
93 internal_static_operations_research_sat_TableConstraintProto_descriptor;
95 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
96 internal_static_operations_research_sat_TableConstraintProto_fieldAccessorTable;
97 static final com.google.protobuf.Descriptors.Descriptor
98 internal_static_operations_research_sat_InverseConstraintProto_descriptor;
100 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
101 internal_static_operations_research_sat_InverseConstraintProto_fieldAccessorTable;
102 static final com.google.protobuf.Descriptors.Descriptor
103 internal_static_operations_research_sat_AutomatonConstraintProto_descriptor;
105 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
106 internal_static_operations_research_sat_AutomatonConstraintProto_fieldAccessorTable;
107 static final com.google.protobuf.Descriptors.Descriptor
108 internal_static_operations_research_sat_ConstraintProto_descriptor;
110 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
111 internal_static_operations_research_sat_ConstraintProto_fieldAccessorTable;
112 static final com.google.protobuf.Descriptors.Descriptor
113 internal_static_operations_research_sat_CpObjectiveProto_descriptor;
115 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
116 internal_static_operations_research_sat_CpObjectiveProto_fieldAccessorTable;
117 static final com.google.protobuf.Descriptors.Descriptor
118 internal_static_operations_research_sat_DecisionStrategyProto_descriptor;
120 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
121 internal_static_operations_research_sat_DecisionStrategyProto_fieldAccessorTable;
122 static final com.google.protobuf.Descriptors.Descriptor
123 internal_static_operations_research_sat_DecisionStrategyProto_AffineTransformation_descriptor;
125 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
126 internal_static_operations_research_sat_DecisionStrategyProto_AffineTransformation_fieldAccessorTable;
127 static final com.google.protobuf.Descriptors.Descriptor
128 internal_static_operations_research_sat_PartialVariableAssignment_descriptor;
130 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
131 internal_static_operations_research_sat_PartialVariableAssignment_fieldAccessorTable;
132 static final com.google.protobuf.Descriptors.Descriptor
133 internal_static_operations_research_sat_SparsePermutationProto_descriptor;
135 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
136 internal_static_operations_research_sat_SparsePermutationProto_fieldAccessorTable;
137 static final com.google.protobuf.Descriptors.Descriptor
138 internal_static_operations_research_sat_DenseMatrixProto_descriptor;
140 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
141 internal_static_operations_research_sat_DenseMatrixProto_fieldAccessorTable;
142 static final com.google.protobuf.Descriptors.Descriptor
143 internal_static_operations_research_sat_SymmetryProto_descriptor;
145 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
146 internal_static_operations_research_sat_SymmetryProto_fieldAccessorTable;
147 static final com.google.protobuf.Descriptors.Descriptor
148 internal_static_operations_research_sat_CpModelProto_descriptor;
150 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
151 internal_static_operations_research_sat_CpModelProto_fieldAccessorTable;
152 static final com.google.protobuf.Descriptors.Descriptor
153 internal_static_operations_research_sat_CpSolverResponse_descriptor;
155 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
156 internal_static_operations_research_sat_CpSolverResponse_fieldAccessorTable;
158 public static com.google.protobuf.Descriptors.FileDescriptor
162 private static com.google.protobuf.Descriptors.FileDescriptor
165 java.lang.String[] descriptorData = {
166 "\n\032ortools/sat/cp_model.proto\022\027operations" +
167 "_research.sat\"4\n\024IntegerVariableProto\022\014\n" +
168 "\004name\030\001 \001(\t\022\016\n\006domain\030\002 \003(\003\"%\n\021BoolArgum" +
169 "entProto\022\020\n\010literals\030\001 \003(\005\"4\n\024IntegerArg" +
170 "umentProto\022\016\n\006target\030\001 \001(\005\022\014\n\004vars\030\002 \003(\005" +
171 "\"E\n\025LinearExpressionProto\022\014\n\004vars\030\001 \003(\005\022" +
172 "\016\n\006coeffs\030\002 \003(\003\022\016\n\006offset\030\003 \001(\003\"\224\001\n\023Line" +
173 "arArgumentProto\022>\n\006target\030\001 \001(\0132..operat" +
174 "ions_research.sat.LinearExpressionProto\022" +
175 "=\n\005exprs\030\002 \003(\0132..operations_research.sat" +
176 ".LinearExpressionProto\"+\n\033AllDifferentCo" +
177 "nstraintProto\022\014\n\004vars\030\001 \003(\005\"E\n\025LinearCon" +
178 "straintProto\022\014\n\004vars\030\001 \003(\005\022\016\n\006coeffs\030\002 \003" +
179 "(\003\022\016\n\006domain\030\003 \003(\003\"E\n\026ElementConstraintP" +
180 "roto\022\r\n\005index\030\001 \001(\005\022\016\n\006target\030\002 \001(\005\022\014\n\004v" +
181 "ars\030\003 \003(\005\"\214\002\n\027IntervalConstraintProto\022\r\n" +
182 "\005start\030\001 \001(\005\022\013\n\003end\030\002 \001(\005\022\014\n\004size\030\003 \001(\005\022" +
183 "B\n\nstart_view\030\004 \001(\0132..operations_researc" +
184 "h.sat.LinearExpressionProto\022@\n\010end_view\030" +
185 "\005 \001(\0132..operations_research.sat.LinearEx" +
186 "pressionProto\022A\n\tsize_view\030\006 \001(\0132..opera" +
187 "tions_research.sat.LinearExpressionProto" +
188 "\"-\n\030NoOverlapConstraintProto\022\021\n\tinterval" +
189 "s\030\001 \003(\005\"p\n\032NoOverlap2DConstraintProto\022\023\n" +
190 "\013x_intervals\030\001 \003(\005\022\023\n\013y_intervals\030\002 \003(\005\022" +
191 "(\n boxes_with_null_area_can_overlap\030\003 \001(" +
192 "\010\"Q\n\031CumulativeConstraintProto\022\020\n\010capaci" +
193 "ty\030\001 \001(\005\022\021\n\tintervals\030\002 \003(\005\022\017\n\007demands\030\003" +
194 " \003(\005\"q\n\030ReservoirConstraintProto\022\021\n\tmin_" +
195 "level\030\001 \001(\003\022\021\n\tmax_level\030\002 \001(\003\022\r\n\005times\030" +
196 "\003 \003(\005\022\017\n\007demands\030\004 \003(\003\022\017\n\007actives\030\005 \003(\005\"" +
197 "H\n\026CircuitConstraintProto\022\r\n\005tails\030\003 \003(\005" +
198 "\022\r\n\005heads\030\004 \003(\005\022\020\n\010literals\030\005 \003(\005\"j\n\025Rou" +
199 "tesConstraintProto\022\r\n\005tails\030\001 \003(\005\022\r\n\005hea" +
200 "ds\030\002 \003(\005\022\020\n\010literals\030\003 \003(\005\022\017\n\007demands\030\004 " +
201 "\003(\005\022\020\n\010capacity\030\005 \001(\003\"E\n\024TableConstraint" +
202 "Proto\022\014\n\004vars\030\001 \003(\005\022\016\n\006values\030\002 \003(\003\022\017\n\007n" +
203 "egated\030\003 \001(\010\"=\n\026InverseConstraintProto\022\020" +
204 "\n\010f_direct\030\001 \003(\005\022\021\n\tf_inverse\030\002 \003(\005\"\242\001\n\030" +
205 "AutomatonConstraintProto\022\026\n\016starting_sta" +
206 "te\030\002 \001(\003\022\024\n\014final_states\030\003 \003(\003\022\027\n\017transi" +
207 "tion_tail\030\004 \003(\003\022\027\n\017transition_head\030\005 \003(\003" +
208 "\022\030\n\020transition_label\030\006 \003(\003\022\014\n\004vars\030\007 \003(\005" +
209 "\"\355\r\n\017ConstraintProto\022\014\n\004name\030\001 \001(\t\022\033\n\023en" +
210 "forcement_literal\030\002 \003(\005\022=\n\007bool_or\030\003 \001(\013" +
211 "2*.operations_research.sat.BoolArgumentP" +
212 "rotoH\000\022>\n\010bool_and\030\004 \001(\0132*.operations_re" +
213 "search.sat.BoolArgumentProtoH\000\022A\n\013at_mos" +
214 "t_one\030\032 \001(\0132*.operations_research.sat.Bo" +
215 "olArgumentProtoH\000\022A\n\013exactly_one\030\035 \001(\0132*" +
216 ".operations_research.sat.BoolArgumentPro" +
217 "toH\000\022>\n\010bool_xor\030\005 \001(\0132*.operations_rese" +
218 "arch.sat.BoolArgumentProtoH\000\022@\n\007int_div\030" +
219 "\007 \001(\0132-.operations_research.sat.IntegerA" +
220 "rgumentProtoH\000\022@\n\007int_mod\030\010 \001(\0132-.operat" +
221 "ions_research.sat.IntegerArgumentProtoH\000" +
222 "\022@\n\007int_max\030\t \001(\0132-.operations_research." +
223 "sat.IntegerArgumentProtoH\000\022?\n\007lin_max\030\033 " +
224 "\001(\0132,.operations_research.sat.LinearArgu" +
225 "mentProtoH\000\022@\n\007int_min\030\n \001(\0132-.operation" +
226 "s_research.sat.IntegerArgumentProtoH\000\022?\n" +
227 "\007lin_min\030\034 \001(\0132,.operations_research.sat" +
228 ".LinearArgumentProtoH\000\022A\n\010int_prod\030\013 \001(\013" +
229 "2-.operations_research.sat.IntegerArgume" +
230 "ntProtoH\000\022@\n\006linear\030\014 \001(\0132..operations_r" +
231 "esearch.sat.LinearConstraintProtoH\000\022H\n\010a" +
232 "ll_diff\030\r \001(\01324.operations_research.sat." +
233 "AllDifferentConstraintProtoH\000\022B\n\007element" +
234 "\030\016 \001(\0132/.operations_research.sat.Element" +
235 "ConstraintProtoH\000\022B\n\007circuit\030\017 \001(\0132/.ope" +
236 "rations_research.sat.CircuitConstraintPr" +
237 "otoH\000\022@\n\006routes\030\027 \001(\0132..operations_resea" +
238 "rch.sat.RoutesConstraintProtoH\000\022>\n\005table" +
239 "\030\020 \001(\0132-.operations_research.sat.TableCo" +
240 "nstraintProtoH\000\022F\n\tautomaton\030\021 \001(\01321.ope" +
241 "rations_research.sat.AutomatonConstraint" +
242 "ProtoH\000\022B\n\007inverse\030\022 \001(\0132/.operations_re" +
243 "search.sat.InverseConstraintProtoH\000\022F\n\tr" +
244 "eservoir\030\030 \001(\01321.operations_research.sat" +
245 ".ReservoirConstraintProtoH\000\022D\n\010interval\030" +
246 "\023 \001(\01320.operations_research.sat.Interval" +
247 "ConstraintProtoH\000\022G\n\nno_overlap\030\024 \001(\01321." +
248 "operations_research.sat.NoOverlapConstra" +
249 "intProtoH\000\022L\n\rno_overlap_2d\030\025 \001(\01323.oper" +
250 "ations_research.sat.NoOverlap2DConstrain" +
251 "tProtoH\000\022H\n\ncumulative\030\026 \001(\01322.operation" +
252 "s_research.sat.CumulativeConstraintProto" +
253 "H\000B\014\n\nconstraint\"h\n\020CpObjectiveProto\022\014\n\004" +
254 "vars\030\001 \003(\005\022\016\n\006coeffs\030\004 \003(\003\022\016\n\006offset\030\002 \001" +
255 "(\001\022\026\n\016scaling_factor\030\003 \001(\001\022\016\n\006domain\030\005 \003" +
256 "(\003\"\325\005\n\025DecisionStrategyProto\022\021\n\tvariable" +
257 "s\030\001 \003(\005\022m\n\033variable_selection_strategy\030\002" +
258 " \001(\0162H.operations_research.sat.DecisionS" +
259 "trategyProto.VariableSelectionStrategy\022i" +
260 "\n\031domain_reduction_strategy\030\003 \001(\0162F.oper" +
261 "ations_research.sat.DecisionStrategyProt" +
262 "o.DomainReductionStrategy\022\\\n\017transformat" +
263 "ions\030\004 \003(\0132C.operations_research.sat.Dec" +
264 "isionStrategyProto.AffineTransformation\032" +
265 "K\n\024AffineTransformation\022\013\n\003var\030\001 \001(\005\022\016\n\006" +
266 "offset\030\002 \001(\003\022\026\n\016positive_coeff\030\003 \001(\003\"\224\001\n" +
267 "\031VariableSelectionStrategy\022\020\n\014CHOOSE_FIR" +
268 "ST\020\000\022\025\n\021CHOOSE_LOWEST_MIN\020\001\022\026\n\022CHOOSE_HI" +
269 "GHEST_MAX\020\002\022\032\n\026CHOOSE_MIN_DOMAIN_SIZE\020\003\022" +
270 "\032\n\026CHOOSE_MAX_DOMAIN_SIZE\020\004\"\214\001\n\027DomainRe" +
271 "ductionStrategy\022\024\n\020SELECT_MIN_VALUE\020\000\022\024\n" +
272 "\020SELECT_MAX_VALUE\020\001\022\025\n\021SELECT_LOWER_HALF" +
273 "\020\002\022\025\n\021SELECT_UPPER_HALF\020\003\022\027\n\023SELECT_MEDI" +
274 "AN_VALUE\020\004\"9\n\031PartialVariableAssignment\022" +
275 "\014\n\004vars\030\001 \003(\005\022\016\n\006values\030\002 \003(\003\">\n\026SparseP" +
276 "ermutationProto\022\017\n\007support\030\001 \003(\005\022\023\n\013cycl" +
277 "e_sizes\030\002 \003(\005\"G\n\020DenseMatrixProto\022\020\n\010num" +
278 "_rows\030\001 \001(\005\022\020\n\010num_cols\030\002 \001(\005\022\017\n\007entries" +
279 "\030\003 \003(\005\"\224\001\n\rSymmetryProto\022E\n\014permutations" +
280 "\030\001 \003(\0132/.operations_research.sat.SparseP" +
281 "ermutationProto\022<\n\torbitopes\030\002 \003(\0132).ope" +
282 "rations_research.sat.DenseMatrixProto\"\276\003" +
283 "\n\014CpModelProto\022\014\n\004name\030\001 \001(\t\022@\n\tvariable" +
284 "s\030\002 \003(\0132-.operations_research.sat.Intege" +
285 "rVariableProto\022=\n\013constraints\030\003 \003(\0132(.op" +
286 "erations_research.sat.ConstraintProto\022<\n" +
287 "\tobjective\030\004 \001(\0132).operations_research.s" +
288 "at.CpObjectiveProto\022G\n\017search_strategy\030\005" +
289 " \003(\0132..operations_research.sat.DecisionS" +
290 "trategyProto\022I\n\rsolution_hint\030\006 \001(\01322.op" +
291 "erations_research.sat.PartialVariableAss" +
292 "ignment\022\023\n\013assumptions\030\007 \003(\005\0228\n\010symmetry" +
293 "\030\010 \001(\0132&.operations_research.sat.Symmetr" +
294 "yProto\"\233\005\n\020CpSolverResponse\0227\n\006status\030\001 " +
295 "\001(\0162\'.operations_research.sat.CpSolverSt" +
296 "atus\022\020\n\010solution\030\002 \003(\003\022\027\n\017objective_valu" +
297 "e\030\003 \001(\001\022\034\n\024best_objective_bound\030\004 \001(\001\022\035\n" +
298 "\025solution_lower_bounds\030\022 \003(\003\022\035\n\025solution" +
299 "_upper_bounds\030\023 \003(\003\022J\n\023tightened_variabl" +
300 "es\030\025 \003(\0132-.operations_research.sat.Integ" +
301 "erVariableProto\0220\n(sufficient_assumption" +
302 "s_for_infeasibility\030\027 \003(\005\022 \n\030all_solutio" +
303 "ns_were_found\030\005 \001(\010\022\024\n\014num_booleans\030\n \001(" +
304 "\003\022\025\n\rnum_conflicts\030\013 \001(\003\022\024\n\014num_branches" +
305 "\030\014 \001(\003\022\037\n\027num_binary_propagations\030\r \001(\003\022" +
306 " \n\030num_integer_propagations\030\016 \001(\003\022\024\n\014num" +
307 "_restarts\030\030 \001(\003\022\031\n\021num_lp_iterations\030\031 \001" +
308 "(\003\022\021\n\twall_time\030\017 \001(\001\022\021\n\tuser_time\030\020 \001(\001" +
309 "\022\032\n\022deterministic_time\030\021 \001(\001\022\027\n\017primal_i" +
310 "ntegral\030\026 \001(\001\022\025\n\rsolution_info\030\024 \001(\t*[\n\016" +
311 "CpSolverStatus\022\013\n\007UNKNOWN\020\000\022\021\n\rMODEL_INV" +
312 "ALID\020\001\022\014\n\010FEASIBLE\020\002\022\016\n\nINFEASIBLE\020\003\022\013\n\007" +
313 "OPTIMAL\020\004B@\n\026com.google.ortools.satB\017CpM" +
314 "odelProtobufP\001\252\002\022Google.OrTools.Satb\006pro" +
317 descriptor = com.google.protobuf.Descriptors.FileDescriptor
318 .internalBuildGeneratedFileFrom(descriptorData,
319 new com.google.protobuf.Descriptors.FileDescriptor[] {
321 internal_static_operations_research_sat_IntegerVariableProto_descriptor =
323 internal_static_operations_research_sat_IntegerVariableProto_fieldAccessorTable =
new
324 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
325 internal_static_operations_research_sat_IntegerVariableProto_descriptor,
326 new java.lang.String[] {
"Name",
"Domain", });
327 internal_static_operations_research_sat_BoolArgumentProto_descriptor =
329 internal_static_operations_research_sat_BoolArgumentProto_fieldAccessorTable =
new
330 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
331 internal_static_operations_research_sat_BoolArgumentProto_descriptor,
332 new java.lang.String[] {
"Literals", });
333 internal_static_operations_research_sat_IntegerArgumentProto_descriptor =
335 internal_static_operations_research_sat_IntegerArgumentProto_fieldAccessorTable =
new
336 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
337 internal_static_operations_research_sat_IntegerArgumentProto_descriptor,
338 new java.lang.String[] {
"Target",
"Vars", });
339 internal_static_operations_research_sat_LinearExpressionProto_descriptor =
341 internal_static_operations_research_sat_LinearExpressionProto_fieldAccessorTable =
new
342 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
343 internal_static_operations_research_sat_LinearExpressionProto_descriptor,
344 new java.lang.String[] {
"Vars",
"Coeffs",
"Offset", });
345 internal_static_operations_research_sat_LinearArgumentProto_descriptor =
347 internal_static_operations_research_sat_LinearArgumentProto_fieldAccessorTable =
new
348 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
349 internal_static_operations_research_sat_LinearArgumentProto_descriptor,
350 new java.lang.String[] {
"Target",
"Exprs", });
351 internal_static_operations_research_sat_AllDifferentConstraintProto_descriptor =
353 internal_static_operations_research_sat_AllDifferentConstraintProto_fieldAccessorTable =
new
354 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
355 internal_static_operations_research_sat_AllDifferentConstraintProto_descriptor,
356 new java.lang.String[] {
"Vars", });
357 internal_static_operations_research_sat_LinearConstraintProto_descriptor =
359 internal_static_operations_research_sat_LinearConstraintProto_fieldAccessorTable =
new
360 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
361 internal_static_operations_research_sat_LinearConstraintProto_descriptor,
362 new java.lang.String[] {
"Vars",
"Coeffs",
"Domain", });
363 internal_static_operations_research_sat_ElementConstraintProto_descriptor =
365 internal_static_operations_research_sat_ElementConstraintProto_fieldAccessorTable =
new
366 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
367 internal_static_operations_research_sat_ElementConstraintProto_descriptor,
368 new java.lang.String[] {
"Index",
"Target",
"Vars", });
369 internal_static_operations_research_sat_IntervalConstraintProto_descriptor =
371 internal_static_operations_research_sat_IntervalConstraintProto_fieldAccessorTable =
new
372 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
373 internal_static_operations_research_sat_IntervalConstraintProto_descriptor,
374 new java.lang.String[] {
"Start",
"End",
"Size",
"StartView",
"EndView",
"SizeView", });
375 internal_static_operations_research_sat_NoOverlapConstraintProto_descriptor =
377 internal_static_operations_research_sat_NoOverlapConstraintProto_fieldAccessorTable =
new
378 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
379 internal_static_operations_research_sat_NoOverlapConstraintProto_descriptor,
380 new java.lang.String[] {
"Intervals", });
381 internal_static_operations_research_sat_NoOverlap2DConstraintProto_descriptor =
383 internal_static_operations_research_sat_NoOverlap2DConstraintProto_fieldAccessorTable =
new
384 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
385 internal_static_operations_research_sat_NoOverlap2DConstraintProto_descriptor,
386 new java.lang.String[] {
"XIntervals",
"YIntervals",
"BoxesWithNullAreaCanOverlap", });
387 internal_static_operations_research_sat_CumulativeConstraintProto_descriptor =
389 internal_static_operations_research_sat_CumulativeConstraintProto_fieldAccessorTable =
new
390 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
391 internal_static_operations_research_sat_CumulativeConstraintProto_descriptor,
392 new java.lang.String[] {
"Capacity",
"Intervals",
"Demands", });
393 internal_static_operations_research_sat_ReservoirConstraintProto_descriptor =
395 internal_static_operations_research_sat_ReservoirConstraintProto_fieldAccessorTable =
new
396 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
397 internal_static_operations_research_sat_ReservoirConstraintProto_descriptor,
398 new java.lang.String[] {
"MinLevel",
"MaxLevel",
"Times",
"Demands",
"Actives", });
399 internal_static_operations_research_sat_CircuitConstraintProto_descriptor =
401 internal_static_operations_research_sat_CircuitConstraintProto_fieldAccessorTable =
new
402 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
403 internal_static_operations_research_sat_CircuitConstraintProto_descriptor,
404 new java.lang.String[] {
"Tails",
"Heads",
"Literals", });
405 internal_static_operations_research_sat_RoutesConstraintProto_descriptor =
407 internal_static_operations_research_sat_RoutesConstraintProto_fieldAccessorTable =
new
408 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
409 internal_static_operations_research_sat_RoutesConstraintProto_descriptor,
410 new java.lang.String[] {
"Tails",
"Heads",
"Literals",
"Demands",
"Capacity", });
411 internal_static_operations_research_sat_TableConstraintProto_descriptor =
413 internal_static_operations_research_sat_TableConstraintProto_fieldAccessorTable =
new
414 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
415 internal_static_operations_research_sat_TableConstraintProto_descriptor,
416 new java.lang.String[] {
"Vars",
"Values",
"Negated", });
417 internal_static_operations_research_sat_InverseConstraintProto_descriptor =
419 internal_static_operations_research_sat_InverseConstraintProto_fieldAccessorTable =
new
420 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
421 internal_static_operations_research_sat_InverseConstraintProto_descriptor,
422 new java.lang.String[] {
"FDirect",
"FInverse", });
423 internal_static_operations_research_sat_AutomatonConstraintProto_descriptor =
425 internal_static_operations_research_sat_AutomatonConstraintProto_fieldAccessorTable =
new
426 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
427 internal_static_operations_research_sat_AutomatonConstraintProto_descriptor,
428 new java.lang.String[] {
"StartingState",
"FinalStates",
"TransitionTail",
"TransitionHead",
"TransitionLabel",
"Vars", });
429 internal_static_operations_research_sat_ConstraintProto_descriptor =
431 internal_static_operations_research_sat_ConstraintProto_fieldAccessorTable =
new
432 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
433 internal_static_operations_research_sat_ConstraintProto_descriptor,
434 new java.lang.String[] {
"Name",
"EnforcementLiteral",
"BoolOr",
"BoolAnd",
"AtMostOne",
"ExactlyOne",
"BoolXor",
"IntDiv",
"IntMod",
"IntMax",
"LinMax",
"IntMin",
"LinMin",
"IntProd",
"Linear",
"AllDiff",
"Element",
"Circuit",
"Routes",
"Table",
"Automaton",
"Inverse",
"Reservoir",
"Interval",
"NoOverlap",
"NoOverlap2D",
"Cumulative",
"Constraint", });
435 internal_static_operations_research_sat_CpObjectiveProto_descriptor =
437 internal_static_operations_research_sat_CpObjectiveProto_fieldAccessorTable =
new
438 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
439 internal_static_operations_research_sat_CpObjectiveProto_descriptor,
440 new java.lang.String[] {
"Vars",
"Coeffs",
"Offset",
"ScalingFactor",
"Domain", });
441 internal_static_operations_research_sat_DecisionStrategyProto_descriptor =
443 internal_static_operations_research_sat_DecisionStrategyProto_fieldAccessorTable =
new
444 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
445 internal_static_operations_research_sat_DecisionStrategyProto_descriptor,
446 new java.lang.String[] {
"Variables",
"VariableSelectionStrategy",
"DomainReductionStrategy",
"Transformations", });
447 internal_static_operations_research_sat_DecisionStrategyProto_AffineTransformation_descriptor =
448 internal_static_operations_research_sat_DecisionStrategyProto_descriptor.getNestedTypes().get(0);
449 internal_static_operations_research_sat_DecisionStrategyProto_AffineTransformation_fieldAccessorTable =
new
450 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
451 internal_static_operations_research_sat_DecisionStrategyProto_AffineTransformation_descriptor,
452 new java.lang.String[] {
"Var",
"Offset",
"PositiveCoeff", });
453 internal_static_operations_research_sat_PartialVariableAssignment_descriptor =
455 internal_static_operations_research_sat_PartialVariableAssignment_fieldAccessorTable =
new
456 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
457 internal_static_operations_research_sat_PartialVariableAssignment_descriptor,
458 new java.lang.String[] {
"Vars",
"Values", });
459 internal_static_operations_research_sat_SparsePermutationProto_descriptor =
461 internal_static_operations_research_sat_SparsePermutationProto_fieldAccessorTable =
new
462 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
463 internal_static_operations_research_sat_SparsePermutationProto_descriptor,
464 new java.lang.String[] {
"Support",
"CycleSizes", });
465 internal_static_operations_research_sat_DenseMatrixProto_descriptor =
467 internal_static_operations_research_sat_DenseMatrixProto_fieldAccessorTable =
new
468 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
469 internal_static_operations_research_sat_DenseMatrixProto_descriptor,
470 new java.lang.String[] {
"NumRows",
"NumCols",
"Entries", });
471 internal_static_operations_research_sat_SymmetryProto_descriptor =
473 internal_static_operations_research_sat_SymmetryProto_fieldAccessorTable =
new
474 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
475 internal_static_operations_research_sat_SymmetryProto_descriptor,
476 new java.lang.String[] {
"Permutations",
"Orbitopes", });
477 internal_static_operations_research_sat_CpModelProto_descriptor =
479 internal_static_operations_research_sat_CpModelProto_fieldAccessorTable =
new
480 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
481 internal_static_operations_research_sat_CpModelProto_descriptor,
482 new java.lang.String[] {
"Name",
"Variables",
"Constraints",
"Objective",
"SearchStrategy",
"SolutionHint",
"Assumptions",
"Symmetry", });
483 internal_static_operations_research_sat_CpSolverResponse_descriptor =
485 internal_static_operations_research_sat_CpSolverResponse_fieldAccessorTable =
new
486 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
487 internal_static_operations_research_sat_CpSolverResponse_descriptor,
488 new java.lang.String[] {
"Status",
"Solution",
"ObjectiveValue",
"BestObjectiveBound",
"SolutionLowerBounds",
"SolutionUpperBounds",
"TightenedVariables",
"SufficientAssumptionsForInfeasibility",
"AllSolutionsWereFound",
"NumBooleans",
"NumConflicts",
"NumBranches",
"NumBinaryPropagations",
"NumIntegerPropagations",
"NumRestarts",
"NumLpIterations",
"WallTime",
"UserTime",
"DeterministicTime",
"PrimalIntegral",
"SolutionInfo", });