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_CpModelProto_descriptor;
135 com.
google.protobuf.GeneratedMessageV3.FieldAccessorTable
136 internal_static_operations_research_sat_CpModelProto_fieldAccessorTable;
137 static final com.
google.protobuf.Descriptors.Descriptor
138 internal_static_operations_research_sat_CpSolverResponse_descriptor;
140 com.
google.protobuf.GeneratedMessageV3.FieldAccessorTable
141 internal_static_operations_research_sat_CpSolverResponse_fieldAccessorTable;
143 public static com.
google.protobuf.Descriptors.FileDescriptor
147 private static com.
google.protobuf.Descriptors.FileDescriptor
150 java.lang.String[] descriptorData = {
151 "\n\032ortools/sat/cp_model.proto\022\027operations" +
152 "_research.sat\"4\n\024IntegerVariableProto\022\014\n" +
153 "\004name\030\001 \001(\t\022\016\n\006domain\030\002 \003(\003\"%\n\021BoolArgum" +
154 "entProto\022\020\n\010literals\030\001 \003(\005\"4\n\024IntegerArg" +
155 "umentProto\022\016\n\006target\030\001 \001(\005\022\014\n\004vars\030\002 \003(\005" +
156 "\"E\n\025LinearExpressionProto\022\014\n\004vars\030\001 \003(\005\022" +
157 "\016\n\006coeffs\030\002 \003(\003\022\016\n\006offset\030\003 \001(\003\"\224\001\n\023Line" +
158 "arArgumentProto\022>\n\006target\030\001 \001(\0132..operat" +
159 "ions_research.sat.LinearExpressionProto\022" +
160 "=\n\005exprs\030\002 \003(\0132..operations_research.sat" +
161 ".LinearExpressionProto\"+\n\033AllDifferentCo" +
162 "nstraintProto\022\014\n\004vars\030\001 \003(\005\"E\n\025LinearCon" +
163 "straintProto\022\014\n\004vars\030\001 \003(\005\022\016\n\006coeffs\030\002 \003" +
164 "(\003\022\016\n\006domain\030\003 \003(\003\"E\n\026ElementConstraintP" +
165 "roto\022\r\n\005index\030\001 \001(\005\022\016\n\006target\030\002 \001(\005\022\014\n\004v" +
166 "ars\030\003 \003(\005\"C\n\027IntervalConstraintProto\022\r\n\005" +
167 "start\030\001 \001(\005\022\013\n\003end\030\002 \001(\005\022\014\n\004size\030\003 \001(\005\"-" +
168 "\n\030NoOverlapConstraintProto\022\021\n\tintervals\030" +
169 "\001 \003(\005\"p\n\032NoOverlap2DConstraintProto\022\023\n\013x" +
170 "_intervals\030\001 \003(\005\022\023\n\013y_intervals\030\002 \003(\005\022(\n" +
171 " boxes_with_null_area_can_overlap\030\003 \001(\010\"" +
172 "Q\n\031CumulativeConstraintProto\022\020\n\010capacity" +
173 "\030\001 \001(\005\022\021\n\tintervals\030\002 \003(\005\022\017\n\007demands\030\003 \003" +
174 "(\005\"q\n\030ReservoirConstraintProto\022\021\n\tmin_le" +
175 "vel\030\001 \001(\003\022\021\n\tmax_level\030\002 \001(\003\022\r\n\005times\030\003 " +
176 "\003(\005\022\017\n\007demands\030\004 \003(\003\022\017\n\007actives\030\005 \003(\005\"H\n" +
177 "\026CircuitConstraintProto\022\r\n\005tails\030\003 \003(\005\022\r" +
178 "\n\005heads\030\004 \003(\005\022\020\n\010literals\030\005 \003(\005\"j\n\025Route" +
179 "sConstraintProto\022\r\n\005tails\030\001 \003(\005\022\r\n\005heads" +
180 "\030\002 \003(\005\022\020\n\010literals\030\003 \003(\005\022\017\n\007demands\030\004 \003(" +
181 "\005\022\020\n\010capacity\030\005 \001(\003\"E\n\024TableConstraintPr" +
182 "oto\022\014\n\004vars\030\001 \003(\005\022\016\n\006values\030\002 \003(\003\022\017\n\007neg" +
183 "ated\030\003 \001(\010\"=\n\026InverseConstraintProto\022\020\n\010" +
184 "f_direct\030\001 \003(\005\022\021\n\tf_inverse\030\002 \003(\005\"\242\001\n\030Au" +
185 "tomatonConstraintProto\022\026\n\016starting_state" +
186 "\030\002 \001(\003\022\024\n\014final_states\030\003 \003(\003\022\027\n\017transiti" +
187 "on_tail\030\004 \003(\003\022\027\n\017transition_head\030\005 \003(\003\022\030" +
188 "\n\020transition_label\030\006 \003(\003\022\014\n\004vars\030\007 \003(\005\"\252" +
189 "\r\n\017ConstraintProto\022\014\n\004name\030\001 \001(\t\022\033\n\023enfo" +
190 "rcement_literal\030\002 \003(\005\022=\n\007bool_or\030\003 \001(\0132*" +
191 ".operations_research.sat.BoolArgumentPro" +
192 "toH\000\022>\n\010bool_and\030\004 \001(\0132*.operations_rese" +
193 "arch.sat.BoolArgumentProtoH\000\022A\n\013at_most_" +
194 "one\030\032 \001(\0132*.operations_research.sat.Bool" +
195 "ArgumentProtoH\000\022>\n\010bool_xor\030\005 \001(\0132*.oper" +
196 "ations_research.sat.BoolArgumentProtoH\000\022" +
197 "@\n\007int_div\030\007 \001(\0132-.operations_research.s" +
198 "at.IntegerArgumentProtoH\000\022@\n\007int_mod\030\010 \001" +
199 "(\0132-.operations_research.sat.IntegerArgu" +
200 "mentProtoH\000\022@\n\007int_max\030\t \001(\0132-.operation" +
201 "s_research.sat.IntegerArgumentProtoH\000\022?\n" +
202 "\007lin_max\030\033 \001(\0132,.operations_research.sat" +
203 ".LinearArgumentProtoH\000\022@\n\007int_min\030\n \001(\0132" +
204 "-.operations_research.sat.IntegerArgumen" +
205 "tProtoH\000\022?\n\007lin_min\030\034 \001(\0132,.operations_r" +
206 "esearch.sat.LinearArgumentProtoH\000\022A\n\010int" +
207 "_prod\030\013 \001(\0132-.operations_research.sat.In" +
208 "tegerArgumentProtoH\000\022@\n\006linear\030\014 \001(\0132..o" +
209 "perations_research.sat.LinearConstraintP" +
210 "rotoH\000\022H\n\010all_diff\030\r \001(\01324.operations_re" +
211 "search.sat.AllDifferentConstraintProtoH\000" +
212 "\022B\n\007element\030\016 \001(\0132/.operations_research." +
213 "sat.ElementConstraintProtoH\000\022B\n\007circuit\030" +
214 "\017 \001(\0132/.operations_research.sat.CircuitC" +
215 "onstraintProtoH\000\022@\n\006routes\030\027 \001(\0132..opera" +
216 "tions_research.sat.RoutesConstraintProto" +
217 "H\000\022>\n\005table\030\020 \001(\0132-.operations_research." +
218 "sat.TableConstraintProtoH\000\022F\n\tautomaton\030" +
219 "\021 \001(\01321.operations_research.sat.Automato" +
220 "nConstraintProtoH\000\022B\n\007inverse\030\022 \001(\0132/.op" +
221 "erations_research.sat.InverseConstraintP" +
222 "rotoH\000\022F\n\treservoir\030\030 \001(\01321.operations_r" +
223 "esearch.sat.ReservoirConstraintProtoH\000\022D" +
224 "\n\010interval\030\023 \001(\01320.operations_research.s" +
225 "at.IntervalConstraintProtoH\000\022G\n\nno_overl" +
226 "ap\030\024 \001(\01321.operations_research.sat.NoOve" +
227 "rlapConstraintProtoH\000\022L\n\rno_overlap_2d\030\025" +
228 " \001(\01323.operations_research.sat.NoOverlap" +
229 "2DConstraintProtoH\000\022H\n\ncumulative\030\026 \001(\0132" +
230 "2.operations_research.sat.CumulativeCons" +
231 "traintProtoH\000B\014\n\nconstraint\"h\n\020CpObjecti" +
232 "veProto\022\014\n\004vars\030\001 \003(\005\022\016\n\006coeffs\030\004 \003(\003\022\016\n" +
233 "\006offset\030\002 \001(\001\022\026\n\016scaling_factor\030\003 \001(\001\022\016\n" +
234 "\006domain\030\005 \003(\003\"\325\005\n\025DecisionStrategyProto\022" +
235 "\021\n\tvariables\030\001 \003(\005\022m\n\033variable_selection" +
236 "_strategy\030\002 \001(\0162H.operations_research.sa" +
237 "t.DecisionStrategyProto.VariableSelectio" +
238 "nStrategy\022i\n\031domain_reduction_strategy\030\003" +
239 " \001(\0162F.operations_research.sat.DecisionS" +
240 "trategyProto.DomainReductionStrategy\022\\\n\017" +
241 "transformations\030\004 \003(\0132C.operations_resea" +
242 "rch.sat.DecisionStrategyProto.AffineTran" +
243 "sformation\032K\n\024AffineTransformation\022\013\n\003va" +
244 "r\030\001 \001(\005\022\016\n\006offset\030\002 \001(\003\022\026\n\016positive_coef" +
245 "f\030\003 \001(\003\"\224\001\n\031VariableSelectionStrategy\022\020\n" +
246 "\014CHOOSE_FIRST\020\000\022\025\n\021CHOOSE_LOWEST_MIN\020\001\022\026" +
247 "\n\022CHOOSE_HIGHEST_MAX\020\002\022\032\n\026CHOOSE_MIN_DOM" +
248 "AIN_SIZE\020\003\022\032\n\026CHOOSE_MAX_DOMAIN_SIZE\020\004\"\214" +
249 "\001\n\027DomainReductionStrategy\022\024\n\020SELECT_MIN" +
250 "_VALUE\020\000\022\024\n\020SELECT_MAX_VALUE\020\001\022\025\n\021SELECT" +
251 "_LOWER_HALF\020\002\022\025\n\021SELECT_UPPER_HALF\020\003\022\027\n\023" +
252 "SELECT_MEDIAN_VALUE\020\004\"9\n\031PartialVariable" +
253 "Assignment\022\014\n\004vars\030\001 \003(\005\022\016\n\006values\030\002 \003(\003" +
254 "\"\204\003\n\014CpModelProto\022\014\n\004name\030\001 \001(\t\022@\n\tvaria" +
255 "bles\030\002 \003(\0132-.operations_research.sat.Int" +
256 "egerVariableProto\022=\n\013constraints\030\003 \003(\0132(" +
257 ".operations_research.sat.ConstraintProto" +
258 "\022<\n\tobjective\030\004 \001(\0132).operations_researc" +
259 "h.sat.CpObjectiveProto\022G\n\017search_strateg" +
260 "y\030\005 \003(\0132..operations_research.sat.Decisi" +
261 "onStrategyProto\022I\n\rsolution_hint\030\006 \001(\01322" +
262 ".operations_research.sat.PartialVariable" +
263 "Assignment\022\023\n\013assumptions\030\007 \003(\005\"\233\005\n\020CpSo" +
264 "lverResponse\0227\n\006status\030\001 \001(\0162\'.operation" +
265 "s_research.sat.CpSolverStatus\022\020\n\010solutio" +
266 "n\030\002 \003(\003\022\027\n\017objective_value\030\003 \001(\001\022\034\n\024best" +
267 "_objective_bound\030\004 \001(\001\022\035\n\025solution_lower" +
268 "_bounds\030\022 \003(\003\022\035\n\025solution_upper_bounds\030\023" +
269 " \003(\003\022J\n\023tightened_variables\030\025 \003(\0132-.oper" +
270 "ations_research.sat.IntegerVariableProto" +
271 "\0220\n(sufficient_assumptions_for_infeasibi" +
272 "lity\030\027 \003(\005\022 \n\030all_solutions_were_found\030\005" +
273 " \001(\010\022\024\n\014num_booleans\030\n \001(\003\022\025\n\rnum_confli" +
274 "cts\030\013 \001(\003\022\024\n\014num_branches\030\014 \001(\003\022\037\n\027num_b" +
275 "inary_propagations\030\r \001(\003\022 \n\030num_integer_" +
276 "propagations\030\016 \001(\003\022\024\n\014num_restarts\030\030 \001(\003" +
277 "\022\031\n\021num_lp_iterations\030\031 \001(\003\022\021\n\twall_time" +
278 "\030\017 \001(\001\022\021\n\tuser_time\030\020 \001(\001\022\032\n\022determinist" +
279 "ic_time\030\021 \001(\001\022\027\n\017primal_integral\030\026 \001(\001\022\025" +
280 "\n\rsolution_info\030\024 \001(\t*[\n\016CpSolverStatus\022" +
281 "\013\n\007UNKNOWN\020\000\022\021\n\rMODEL_INVALID\020\001\022\014\n\010FEASI" +
282 "BLE\020\002\022\016\n\nINFEASIBLE\020\003\022\013\n\007OPTIMAL\020\004B@\n\026co" +
283 "m.google.ortools.satB\017CpModelProtobufP\001\252" +
284 "\002\022Google.OrTools.Satb\006proto3"
286 descriptor =
com.
google.protobuf.Descriptors.FileDescriptor
287 .internalBuildGeneratedFileFrom(descriptorData,
288 new com.
google.protobuf.Descriptors.FileDescriptor[] {
290 internal_static_operations_research_sat_IntegerVariableProto_descriptor =
292 internal_static_operations_research_sat_IntegerVariableProto_fieldAccessorTable =
new
293 com.
google.protobuf.GeneratedMessageV3.FieldAccessorTable(
294 internal_static_operations_research_sat_IntegerVariableProto_descriptor,
295 new java.lang.String[] {
"Name",
"Domain", });
296 internal_static_operations_research_sat_BoolArgumentProto_descriptor =
298 internal_static_operations_research_sat_BoolArgumentProto_fieldAccessorTable =
new
299 com.
google.protobuf.GeneratedMessageV3.FieldAccessorTable(
300 internal_static_operations_research_sat_BoolArgumentProto_descriptor,
301 new java.lang.String[] {
"Literals", });
302 internal_static_operations_research_sat_IntegerArgumentProto_descriptor =
304 internal_static_operations_research_sat_IntegerArgumentProto_fieldAccessorTable =
new
305 com.
google.protobuf.GeneratedMessageV3.FieldAccessorTable(
306 internal_static_operations_research_sat_IntegerArgumentProto_descriptor,
307 new java.lang.String[] {
"Target",
"Vars", });
308 internal_static_operations_research_sat_LinearExpressionProto_descriptor =
310 internal_static_operations_research_sat_LinearExpressionProto_fieldAccessorTable =
new
311 com.
google.protobuf.GeneratedMessageV3.FieldAccessorTable(
312 internal_static_operations_research_sat_LinearExpressionProto_descriptor,
313 new java.lang.String[] {
"Vars",
"Coeffs",
"Offset", });
314 internal_static_operations_research_sat_LinearArgumentProto_descriptor =
316 internal_static_operations_research_sat_LinearArgumentProto_fieldAccessorTable =
new
317 com.
google.protobuf.GeneratedMessageV3.FieldAccessorTable(
318 internal_static_operations_research_sat_LinearArgumentProto_descriptor,
319 new java.lang.String[] {
"Target",
"Exprs", });
320 internal_static_operations_research_sat_AllDifferentConstraintProto_descriptor =
322 internal_static_operations_research_sat_AllDifferentConstraintProto_fieldAccessorTable =
new
323 com.
google.protobuf.GeneratedMessageV3.FieldAccessorTable(
324 internal_static_operations_research_sat_AllDifferentConstraintProto_descriptor,
325 new java.lang.String[] {
"Vars", });
326 internal_static_operations_research_sat_LinearConstraintProto_descriptor =
328 internal_static_operations_research_sat_LinearConstraintProto_fieldAccessorTable =
new
329 com.
google.protobuf.GeneratedMessageV3.FieldAccessorTable(
330 internal_static_operations_research_sat_LinearConstraintProto_descriptor,
331 new java.lang.String[] {
"Vars",
"Coeffs",
"Domain", });
332 internal_static_operations_research_sat_ElementConstraintProto_descriptor =
334 internal_static_operations_research_sat_ElementConstraintProto_fieldAccessorTable =
new
335 com.
google.protobuf.GeneratedMessageV3.FieldAccessorTable(
336 internal_static_operations_research_sat_ElementConstraintProto_descriptor,
337 new java.lang.String[] {
"Index",
"Target",
"Vars", });
338 internal_static_operations_research_sat_IntervalConstraintProto_descriptor =
340 internal_static_operations_research_sat_IntervalConstraintProto_fieldAccessorTable =
new
341 com.
google.protobuf.GeneratedMessageV3.FieldAccessorTable(
342 internal_static_operations_research_sat_IntervalConstraintProto_descriptor,
343 new java.lang.String[] {
"Start",
"End",
"Size", });
344 internal_static_operations_research_sat_NoOverlapConstraintProto_descriptor =
346 internal_static_operations_research_sat_NoOverlapConstraintProto_fieldAccessorTable =
new
347 com.
google.protobuf.GeneratedMessageV3.FieldAccessorTable(
348 internal_static_operations_research_sat_NoOverlapConstraintProto_descriptor,
349 new java.lang.String[] {
"Intervals", });
350 internal_static_operations_research_sat_NoOverlap2DConstraintProto_descriptor =
352 internal_static_operations_research_sat_NoOverlap2DConstraintProto_fieldAccessorTable =
new
353 com.
google.protobuf.GeneratedMessageV3.FieldAccessorTable(
354 internal_static_operations_research_sat_NoOverlap2DConstraintProto_descriptor,
355 new java.lang.String[] {
"XIntervals",
"YIntervals",
"BoxesWithNullAreaCanOverlap", });
356 internal_static_operations_research_sat_CumulativeConstraintProto_descriptor =
358 internal_static_operations_research_sat_CumulativeConstraintProto_fieldAccessorTable =
new
359 com.
google.protobuf.GeneratedMessageV3.FieldAccessorTable(
360 internal_static_operations_research_sat_CumulativeConstraintProto_descriptor,
361 new java.lang.String[] {
"Capacity",
"Intervals",
"Demands", });
362 internal_static_operations_research_sat_ReservoirConstraintProto_descriptor =
364 internal_static_operations_research_sat_ReservoirConstraintProto_fieldAccessorTable =
new
365 com.
google.protobuf.GeneratedMessageV3.FieldAccessorTable(
366 internal_static_operations_research_sat_ReservoirConstraintProto_descriptor,
367 new java.lang.String[] {
"MinLevel",
"MaxLevel",
"Times",
"Demands",
"Actives", });
368 internal_static_operations_research_sat_CircuitConstraintProto_descriptor =
370 internal_static_operations_research_sat_CircuitConstraintProto_fieldAccessorTable =
new
371 com.
google.protobuf.GeneratedMessageV3.FieldAccessorTable(
372 internal_static_operations_research_sat_CircuitConstraintProto_descriptor,
373 new java.lang.String[] {
"Tails",
"Heads",
"Literals", });
374 internal_static_operations_research_sat_RoutesConstraintProto_descriptor =
376 internal_static_operations_research_sat_RoutesConstraintProto_fieldAccessorTable =
new
377 com.
google.protobuf.GeneratedMessageV3.FieldAccessorTable(
378 internal_static_operations_research_sat_RoutesConstraintProto_descriptor,
379 new java.lang.String[] {
"Tails",
"Heads",
"Literals",
"Demands",
"Capacity", });
380 internal_static_operations_research_sat_TableConstraintProto_descriptor =
382 internal_static_operations_research_sat_TableConstraintProto_fieldAccessorTable =
new
383 com.
google.protobuf.GeneratedMessageV3.FieldAccessorTable(
384 internal_static_operations_research_sat_TableConstraintProto_descriptor,
385 new java.lang.String[] {
"Vars",
"Values",
"Negated", });
386 internal_static_operations_research_sat_InverseConstraintProto_descriptor =
388 internal_static_operations_research_sat_InverseConstraintProto_fieldAccessorTable =
new
389 com.
google.protobuf.GeneratedMessageV3.FieldAccessorTable(
390 internal_static_operations_research_sat_InverseConstraintProto_descriptor,
391 new java.lang.String[] {
"FDirect",
"FInverse", });
392 internal_static_operations_research_sat_AutomatonConstraintProto_descriptor =
394 internal_static_operations_research_sat_AutomatonConstraintProto_fieldAccessorTable =
new
395 com.
google.protobuf.GeneratedMessageV3.FieldAccessorTable(
396 internal_static_operations_research_sat_AutomatonConstraintProto_descriptor,
397 new java.lang.String[] {
"StartingState",
"FinalStates",
"TransitionTail",
"TransitionHead",
"TransitionLabel",
"Vars", });
398 internal_static_operations_research_sat_ConstraintProto_descriptor =
400 internal_static_operations_research_sat_ConstraintProto_fieldAccessorTable =
new
401 com.
google.protobuf.GeneratedMessageV3.FieldAccessorTable(
402 internal_static_operations_research_sat_ConstraintProto_descriptor,
403 new java.lang.String[] {
"Name",
"EnforcementLiteral",
"BoolOr",
"BoolAnd",
"AtMostOne",
"BoolXor",
"IntDiv",
"IntMod",
"IntMax",
"LinMax",
"IntMin",
"LinMin",
"IntProd",
"Linear",
"AllDiff",
"Element",
"Circuit",
"Routes",
"Table",
"Automaton",
"Inverse",
"Reservoir",
"Interval",
"NoOverlap",
"NoOverlap2D",
"Cumulative",
"Constraint", });
404 internal_static_operations_research_sat_CpObjectiveProto_descriptor =
406 internal_static_operations_research_sat_CpObjectiveProto_fieldAccessorTable =
new
407 com.
google.protobuf.GeneratedMessageV3.FieldAccessorTable(
408 internal_static_operations_research_sat_CpObjectiveProto_descriptor,
409 new java.lang.String[] {
"Vars",
"Coeffs",
"Offset",
"ScalingFactor",
"Domain", });
410 internal_static_operations_research_sat_DecisionStrategyProto_descriptor =
412 internal_static_operations_research_sat_DecisionStrategyProto_fieldAccessorTable =
new
413 com.
google.protobuf.GeneratedMessageV3.FieldAccessorTable(
414 internal_static_operations_research_sat_DecisionStrategyProto_descriptor,
415 new java.lang.String[] {
"Variables",
"VariableSelectionStrategy",
"DomainReductionStrategy",
"Transformations", });
416 internal_static_operations_research_sat_DecisionStrategyProto_AffineTransformation_descriptor =
417 internal_static_operations_research_sat_DecisionStrategyProto_descriptor.getNestedTypes().get(0);
418 internal_static_operations_research_sat_DecisionStrategyProto_AffineTransformation_fieldAccessorTable =
new
419 com.
google.protobuf.GeneratedMessageV3.FieldAccessorTable(
420 internal_static_operations_research_sat_DecisionStrategyProto_AffineTransformation_descriptor,
421 new java.lang.String[] {
"Var",
"Offset",
"PositiveCoeff", });
422 internal_static_operations_research_sat_PartialVariableAssignment_descriptor =
424 internal_static_operations_research_sat_PartialVariableAssignment_fieldAccessorTable =
new
425 com.
google.protobuf.GeneratedMessageV3.FieldAccessorTable(
426 internal_static_operations_research_sat_PartialVariableAssignment_descriptor,
427 new java.lang.String[] {
"Vars",
"Values", });
428 internal_static_operations_research_sat_CpModelProto_descriptor =
430 internal_static_operations_research_sat_CpModelProto_fieldAccessorTable =
new
431 com.
google.protobuf.GeneratedMessageV3.FieldAccessorTable(
432 internal_static_operations_research_sat_CpModelProto_descriptor,
433 new java.lang.String[] {
"Name",
"Variables",
"Constraints",
"Objective",
"SearchStrategy",
"SolutionHint",
"Assumptions", });
434 internal_static_operations_research_sat_CpSolverResponse_descriptor =
436 internal_static_operations_research_sat_CpSolverResponse_fieldAccessorTable =
new
437 com.
google.protobuf.GeneratedMessageV3.FieldAccessorTable(
438 internal_static_operations_research_sat_CpSolverResponse_descriptor,
439 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", });