Google OR-Tools v9.9
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
CpModelProtobuf.java
Go to the documentation of this file.
1// Generated by the protocol buffer compiler. DO NOT EDIT!
2// source: ortools/sat/cp_model.proto
3
4// Protobuf Java Version: 3.25.3
5package com.google.ortools.sat;
6
7public final class CpModelProtobuf {
8 private CpModelProtobuf() {}
9 public static void registerAllExtensions(
10 com.google.protobuf.ExtensionRegistryLite registry) {
11 }
12
13 public static void registerAllExtensions(
14 com.google.protobuf.ExtensionRegistry registry) {
16 (com.google.protobuf.ExtensionRegistryLite) registry);
17 }
18 static final com.google.protobuf.Descriptors.Descriptor
19 internal_static_operations_research_sat_IntegerVariableProto_descriptor;
20 static final
21 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
22 internal_static_operations_research_sat_IntegerVariableProto_fieldAccessorTable;
23 static final com.google.protobuf.Descriptors.Descriptor
24 internal_static_operations_research_sat_BoolArgumentProto_descriptor;
25 static final
26 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
27 internal_static_operations_research_sat_BoolArgumentProto_fieldAccessorTable;
28 static final com.google.protobuf.Descriptors.Descriptor
29 internal_static_operations_research_sat_LinearExpressionProto_descriptor;
30 static final
31 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
32 internal_static_operations_research_sat_LinearExpressionProto_fieldAccessorTable;
33 static final com.google.protobuf.Descriptors.Descriptor
34 internal_static_operations_research_sat_LinearArgumentProto_descriptor;
35 static final
36 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
37 internal_static_operations_research_sat_LinearArgumentProto_fieldAccessorTable;
38 static final com.google.protobuf.Descriptors.Descriptor
39 internal_static_operations_research_sat_AllDifferentConstraintProto_descriptor;
40 static final
41 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
42 internal_static_operations_research_sat_AllDifferentConstraintProto_fieldAccessorTable;
43 static final com.google.protobuf.Descriptors.Descriptor
44 internal_static_operations_research_sat_LinearConstraintProto_descriptor;
45 static final
46 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
47 internal_static_operations_research_sat_LinearConstraintProto_fieldAccessorTable;
48 static final com.google.protobuf.Descriptors.Descriptor
49 internal_static_operations_research_sat_ElementConstraintProto_descriptor;
50 static final
51 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
52 internal_static_operations_research_sat_ElementConstraintProto_fieldAccessorTable;
53 static final com.google.protobuf.Descriptors.Descriptor
54 internal_static_operations_research_sat_IntervalConstraintProto_descriptor;
55 static final
56 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
57 internal_static_operations_research_sat_IntervalConstraintProto_fieldAccessorTable;
58 static final com.google.protobuf.Descriptors.Descriptor
59 internal_static_operations_research_sat_NoOverlapConstraintProto_descriptor;
60 static final
61 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
62 internal_static_operations_research_sat_NoOverlapConstraintProto_fieldAccessorTable;
63 static final com.google.protobuf.Descriptors.Descriptor
64 internal_static_operations_research_sat_NoOverlap2DConstraintProto_descriptor;
65 static final
66 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
67 internal_static_operations_research_sat_NoOverlap2DConstraintProto_fieldAccessorTable;
68 static final com.google.protobuf.Descriptors.Descriptor
69 internal_static_operations_research_sat_CumulativeConstraintProto_descriptor;
70 static final
71 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
72 internal_static_operations_research_sat_CumulativeConstraintProto_fieldAccessorTable;
73 static final com.google.protobuf.Descriptors.Descriptor
74 internal_static_operations_research_sat_ReservoirConstraintProto_descriptor;
75 static final
76 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
77 internal_static_operations_research_sat_ReservoirConstraintProto_fieldAccessorTable;
78 static final com.google.protobuf.Descriptors.Descriptor
79 internal_static_operations_research_sat_CircuitConstraintProto_descriptor;
80 static final
81 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
82 internal_static_operations_research_sat_CircuitConstraintProto_fieldAccessorTable;
83 static final com.google.protobuf.Descriptors.Descriptor
84 internal_static_operations_research_sat_RoutesConstraintProto_descriptor;
85 static final
86 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
87 internal_static_operations_research_sat_RoutesConstraintProto_fieldAccessorTable;
88 static final com.google.protobuf.Descriptors.Descriptor
89 internal_static_operations_research_sat_TableConstraintProto_descriptor;
90 static final
91 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
92 internal_static_operations_research_sat_TableConstraintProto_fieldAccessorTable;
93 static final com.google.protobuf.Descriptors.Descriptor
94 internal_static_operations_research_sat_InverseConstraintProto_descriptor;
95 static final
96 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
97 internal_static_operations_research_sat_InverseConstraintProto_fieldAccessorTable;
98 static final com.google.protobuf.Descriptors.Descriptor
99 internal_static_operations_research_sat_AutomatonConstraintProto_descriptor;
100 static final
101 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
102 internal_static_operations_research_sat_AutomatonConstraintProto_fieldAccessorTable;
103 static final com.google.protobuf.Descriptors.Descriptor
104 internal_static_operations_research_sat_ListOfVariablesProto_descriptor;
105 static final
106 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
107 internal_static_operations_research_sat_ListOfVariablesProto_fieldAccessorTable;
108 static final com.google.protobuf.Descriptors.Descriptor
109 internal_static_operations_research_sat_ConstraintProto_descriptor;
110 static final
111 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
112 internal_static_operations_research_sat_ConstraintProto_fieldAccessorTable;
113 static final com.google.protobuf.Descriptors.Descriptor
114 internal_static_operations_research_sat_CpObjectiveProto_descriptor;
115 static final
116 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
117 internal_static_operations_research_sat_CpObjectiveProto_fieldAccessorTable;
118 static final com.google.protobuf.Descriptors.Descriptor
119 internal_static_operations_research_sat_FloatObjectiveProto_descriptor;
120 static final
121 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
122 internal_static_operations_research_sat_FloatObjectiveProto_fieldAccessorTable;
123 static final com.google.protobuf.Descriptors.Descriptor
124 internal_static_operations_research_sat_DecisionStrategyProto_descriptor;
125 static final
126 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
127 internal_static_operations_research_sat_DecisionStrategyProto_fieldAccessorTable;
128 static final com.google.protobuf.Descriptors.Descriptor
129 internal_static_operations_research_sat_PartialVariableAssignment_descriptor;
130 static final
131 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
132 internal_static_operations_research_sat_PartialVariableAssignment_fieldAccessorTable;
133 static final com.google.protobuf.Descriptors.Descriptor
134 internal_static_operations_research_sat_SparsePermutationProto_descriptor;
135 static final
136 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
137 internal_static_operations_research_sat_SparsePermutationProto_fieldAccessorTable;
138 static final com.google.protobuf.Descriptors.Descriptor
139 internal_static_operations_research_sat_DenseMatrixProto_descriptor;
140 static final
141 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
142 internal_static_operations_research_sat_DenseMatrixProto_fieldAccessorTable;
143 static final com.google.protobuf.Descriptors.Descriptor
144 internal_static_operations_research_sat_SymmetryProto_descriptor;
145 static final
146 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
147 internal_static_operations_research_sat_SymmetryProto_fieldAccessorTable;
148 static final com.google.protobuf.Descriptors.Descriptor
149 internal_static_operations_research_sat_CpModelProto_descriptor;
150 static final
151 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
152 internal_static_operations_research_sat_CpModelProto_fieldAccessorTable;
153 static final com.google.protobuf.Descriptors.Descriptor
154 internal_static_operations_research_sat_CpSolverSolution_descriptor;
155 static final
156 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
157 internal_static_operations_research_sat_CpSolverSolution_fieldAccessorTable;
158 static final com.google.protobuf.Descriptors.Descriptor
159 internal_static_operations_research_sat_CpSolverResponse_descriptor;
160 static final
161 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
162 internal_static_operations_research_sat_CpSolverResponse_fieldAccessorTable;
163
164 public static com.google.protobuf.Descriptors.FileDescriptor
166 return descriptor;
167 }
168 private static com.google.protobuf.Descriptors.FileDescriptor
169 descriptor;
170 static {
171 java.lang.String[] descriptorData = {
172 "\n\032ortools/sat/cp_model.proto\022\027operations" +
173 "_research.sat\"4\n\024IntegerVariableProto\022\014\n" +
174 "\004name\030\001 \001(\t\022\016\n\006domain\030\002 \003(\003\"%\n\021BoolArgum" +
175 "entProto\022\020\n\010literals\030\001 \003(\005\"E\n\025LinearExpr" +
176 "essionProto\022\014\n\004vars\030\001 \003(\005\022\016\n\006coeffs\030\002 \003(" +
177 "\003\022\016\n\006offset\030\003 \001(\003\"\224\001\n\023LinearArgumentProt" +
178 "o\022>\n\006target\030\001 \001(\0132..operations_research." +
179 "sat.LinearExpressionProto\022=\n\005exprs\030\002 \003(\013" +
180 "2..operations_research.sat.LinearExpress" +
181 "ionProto\"\\\n\033AllDifferentConstraintProto\022" +
182 "=\n\005exprs\030\001 \003(\0132..operations_research.sat" +
183 ".LinearExpressionProto\"E\n\025LinearConstrai" +
184 "ntProto\022\014\n\004vars\030\001 \003(\005\022\016\n\006coeffs\030\002 \003(\003\022\016\n" +
185 "\006domain\030\003 \003(\003\"E\n\026ElementConstraintProto\022" +
186 "\r\n\005index\030\001 \001(\005\022\016\n\006target\030\002 \001(\005\022\014\n\004vars\030\003" +
187 " \003(\005\"\323\001\n\027IntervalConstraintProto\022=\n\005star" +
188 "t\030\004 \001(\0132..operations_research.sat.Linear" +
189 "ExpressionProto\022;\n\003end\030\005 \001(\0132..operation" +
190 "s_research.sat.LinearExpressionProto\022<\n\004" +
191 "size\030\006 \001(\0132..operations_research.sat.Lin" +
192 "earExpressionProto\"-\n\030NoOverlapConstrain" +
193 "tProto\022\021\n\tintervals\030\001 \003(\005\"F\n\032NoOverlap2D" +
194 "ConstraintProto\022\023\n\013x_intervals\030\001 \003(\005\022\023\n\013" +
195 "y_intervals\030\002 \003(\005\"\261\001\n\031CumulativeConstrai" +
196 "ntProto\022@\n\010capacity\030\001 \001(\0132..operations_r" +
197 "esearch.sat.LinearExpressionProto\022\021\n\tint" +
198 "ervals\030\002 \003(\005\022?\n\007demands\030\003 \003(\0132..operatio" +
199 "ns_research.sat.LinearExpressionProto\"\352\001" +
200 "\n\030ReservoirConstraintProto\022\021\n\tmin_level\030" +
201 "\001 \001(\003\022\021\n\tmax_level\030\002 \001(\003\022B\n\ntime_exprs\030\003" +
202 " \003(\0132..operations_research.sat.LinearExp" +
203 "ressionProto\022E\n\rlevel_changes\030\006 \003(\0132..op" +
204 "erations_research.sat.LinearExpressionPr" +
205 "oto\022\027\n\017active_literals\030\005 \003(\005J\004\010\004\020\005\"H\n\026Ci" +
206 "rcuitConstraintProto\022\r\n\005tails\030\003 \003(\005\022\r\n\005h" +
207 "eads\030\004 \003(\005\022\020\n\010literals\030\005 \003(\005\"j\n\025RoutesCo" +
208 "nstraintProto\022\r\n\005tails\030\001 \003(\005\022\r\n\005heads\030\002 " +
209 "\003(\005\022\020\n\010literals\030\003 \003(\005\022\017\n\007demands\030\004 \003(\005\022\020" +
210 "\n\010capacity\030\005 \001(\003\"E\n\024TableConstraintProto" +
211 "\022\014\n\004vars\030\001 \003(\005\022\016\n\006values\030\002 \003(\003\022\017\n\007negate" +
212 "d\030\003 \001(\010\"=\n\026InverseConstraintProto\022\020\n\010f_d" +
213 "irect\030\001 \003(\005\022\021\n\tf_inverse\030\002 \003(\005\"\242\001\n\030Autom" +
214 "atonConstraintProto\022\026\n\016starting_state\030\002 " +
215 "\001(\003\022\024\n\014final_states\030\003 \003(\003\022\027\n\017transition_" +
216 "tail\030\004 \003(\003\022\027\n\017transition_head\030\005 \003(\003\022\030\n\020t" +
217 "ransition_label\030\006 \003(\003\022\014\n\004vars\030\007 \003(\005\"$\n\024L" +
218 "istOfVariablesProto\022\014\n\004vars\030\001 \003(\005\"\360\014\n\017Co" +
219 "nstraintProto\022\014\n\004name\030\001 \001(\t\022\033\n\023enforceme" +
220 "nt_literal\030\002 \003(\005\022=\n\007bool_or\030\003 \001(\0132*.oper" +
221 "ations_research.sat.BoolArgumentProtoH\000\022" +
222 ">\n\010bool_and\030\004 \001(\0132*.operations_research." +
223 "sat.BoolArgumentProtoH\000\022A\n\013at_most_one\030\032" +
224 " \001(\0132*.operations_research.sat.BoolArgum" +
225 "entProtoH\000\022A\n\013exactly_one\030\035 \001(\0132*.operat" +
226 "ions_research.sat.BoolArgumentProtoH\000\022>\n" +
227 "\010bool_xor\030\005 \001(\0132*.operations_research.sa" +
228 "t.BoolArgumentProtoH\000\022?\n\007int_div\030\007 \001(\0132," +
229 ".operations_research.sat.LinearArgumentP" +
230 "rotoH\000\022?\n\007int_mod\030\010 \001(\0132,.operations_res" +
231 "earch.sat.LinearArgumentProtoH\000\022@\n\010int_p" +
232 "rod\030\013 \001(\0132,.operations_research.sat.Line" +
233 "arArgumentProtoH\000\022?\n\007lin_max\030\033 \001(\0132,.ope" +
234 "rations_research.sat.LinearArgumentProto" +
235 "H\000\022@\n\006linear\030\014 \001(\0132..operations_research" +
236 ".sat.LinearConstraintProtoH\000\022H\n\010all_diff" +
237 "\030\r \001(\01324.operations_research.sat.AllDiff" +
238 "erentConstraintProtoH\000\022B\n\007element\030\016 \001(\0132" +
239 "/.operations_research.sat.ElementConstra" +
240 "intProtoH\000\022B\n\007circuit\030\017 \001(\0132/.operations" +
241 "_research.sat.CircuitConstraintProtoH\000\022@" +
242 "\n\006routes\030\027 \001(\0132..operations_research.sat" +
243 ".RoutesConstraintProtoH\000\022>\n\005table\030\020 \001(\0132" +
244 "-.operations_research.sat.TableConstrain" +
245 "tProtoH\000\022F\n\tautomaton\030\021 \001(\01321.operations" +
246 "_research.sat.AutomatonConstraintProtoH\000" +
247 "\022B\n\007inverse\030\022 \001(\0132/.operations_research." +
248 "sat.InverseConstraintProtoH\000\022F\n\treservoi" +
249 "r\030\030 \001(\01321.operations_research.sat.Reserv" +
250 "oirConstraintProtoH\000\022D\n\010interval\030\023 \001(\01320" +
251 ".operations_research.sat.IntervalConstra" +
252 "intProtoH\000\022G\n\nno_overlap\030\024 \001(\01321.operati" +
253 "ons_research.sat.NoOverlapConstraintProt" +
254 "oH\000\022L\n\rno_overlap_2d\030\025 \001(\01323.operations_" +
255 "research.sat.NoOverlap2DConstraintProtoH" +
256 "\000\022H\n\ncumulative\030\026 \001(\01322.operations_resea" +
257 "rch.sat.CumulativeConstraintProtoH\000\022I\n\020d" +
258 "ummy_constraint\030\036 \001(\0132-.operations_resea" +
259 "rch.sat.ListOfVariablesProtoH\000B\014\n\nconstr" +
260 "aint\"\340\001\n\020CpObjectiveProto\022\014\n\004vars\030\001 \003(\005\022" +
261 "\016\n\006coeffs\030\004 \003(\003\022\016\n\006offset\030\002 \001(\001\022\026\n\016scali" +
262 "ng_factor\030\003 \001(\001\022\016\n\006domain\030\005 \003(\003\022\031\n\021scali" +
263 "ng_was_exact\030\006 \001(\010\022\035\n\025integer_before_off" +
264 "set\030\007 \001(\003\022\034\n\024integer_after_offset\030\t \001(\003\022" +
265 "\036\n\026integer_scaling_factor\030\010 \001(\003\"U\n\023Float" +
266 "ObjectiveProto\022\014\n\004vars\030\001 \003(\005\022\016\n\006coeffs\030\002" +
267 " \003(\001\022\016\n\006offset\030\003 \001(\001\022\020\n\010maximize\030\004 \001(\010\"\351" +
268 "\004\n\025DecisionStrategyProto\022\021\n\tvariables\030\001 " +
269 "\003(\005\022=\n\005exprs\030\005 \003(\0132..operations_research" +
270 ".sat.LinearExpressionProto\022m\n\033variable_s" +
271 "election_strategy\030\002 \001(\0162H.operations_res" +
272 "earch.sat.DecisionStrategyProto.Variable" +
273 "SelectionStrategy\022i\n\031domain_reduction_st" +
274 "rategy\030\003 \001(\0162F.operations_research.sat.D" +
275 "ecisionStrategyProto.DomainReductionStra" +
276 "tegy\"\224\001\n\031VariableSelectionStrategy\022\020\n\014CH" +
277 "OOSE_FIRST\020\000\022\025\n\021CHOOSE_LOWEST_MIN\020\001\022\026\n\022C" +
278 "HOOSE_HIGHEST_MAX\020\002\022\032\n\026CHOOSE_MIN_DOMAIN" +
279 "_SIZE\020\003\022\032\n\026CHOOSE_MAX_DOMAIN_SIZE\020\004\"\214\001\n\027" +
280 "DomainReductionStrategy\022\024\n\020SELECT_MIN_VA" +
281 "LUE\020\000\022\024\n\020SELECT_MAX_VALUE\020\001\022\025\n\021SELECT_LO" +
282 "WER_HALF\020\002\022\025\n\021SELECT_UPPER_HALF\020\003\022\027\n\023SEL" +
283 "ECT_MEDIAN_VALUE\020\004\"9\n\031PartialVariableAss" +
284 "ignment\022\014\n\004vars\030\001 \003(\005\022\016\n\006values\030\002 \003(\003\">\n" +
285 "\026SparsePermutationProto\022\017\n\007support\030\001 \003(\005" +
286 "\022\023\n\013cycle_sizes\030\002 \003(\005\"G\n\020DenseMatrixProt" +
287 "o\022\020\n\010num_rows\030\001 \001(\005\022\020\n\010num_cols\030\002 \001(\005\022\017\n" +
288 "\007entries\030\003 \003(\005\"\224\001\n\rSymmetryProto\022E\n\014perm" +
289 "utations\030\001 \003(\0132/.operations_research.sat" +
290 ".SparsePermutationProto\022<\n\torbitopes\030\002 \003" +
291 "(\0132).operations_research.sat.DenseMatrix" +
292 "Proto\"\216\004\n\014CpModelProto\022\014\n\004name\030\001 \001(\t\022@\n\t" +
293 "variables\030\002 \003(\0132-.operations_research.sa" +
294 "t.IntegerVariableProto\022=\n\013constraints\030\003 " +
295 "\003(\0132(.operations_research.sat.Constraint" +
296 "Proto\022<\n\tobjective\030\004 \001(\0132).operations_re" +
297 "search.sat.CpObjectiveProto\022N\n\030floating_" +
298 "point_objective\030\t \001(\0132,.operations_resea" +
299 "rch.sat.FloatObjectiveProto\022G\n\017search_st" +
300 "rategy\030\005 \003(\0132..operations_research.sat.D" +
301 "ecisionStrategyProto\022I\n\rsolution_hint\030\006 " +
302 "\001(\01322.operations_research.sat.PartialVar" +
303 "iableAssignment\022\023\n\013assumptions\030\007 \003(\005\0228\n\010" +
304 "symmetry\030\010 \001(\0132&.operations_research.sat" +
305 ".SymmetryProto\"\"\n\020CpSolverSolution\022\016\n\006va" +
306 "lues\030\001 \003(\003\"\225\006\n\020CpSolverResponse\0227\n\006statu" +
307 "s\030\001 \001(\0162\'.operations_research.sat.CpSolv" +
308 "erStatus\022\020\n\010solution\030\002 \003(\003\022\027\n\017objective_" +
309 "value\030\003 \001(\001\022\034\n\024best_objective_bound\030\004 \001(" +
310 "\001\022G\n\024additional_solutions\030\033 \003(\0132).operat" +
311 "ions_research.sat.CpSolverSolution\022J\n\023ti" +
312 "ghtened_variables\030\025 \003(\0132-.operations_res" +
313 "earch.sat.IntegerVariableProto\0220\n(suffic" +
314 "ient_assumptions_for_infeasibility\030\027 \003(\005" +
315 "\022D\n\021integer_objective\030\034 \001(\0132).operations" +
316 "_research.sat.CpObjectiveProto\022#\n\033inner_" +
317 "objective_lower_bound\030\035 \001(\003\022\024\n\014num_integ" +
318 "ers\030\036 \001(\003\022\024\n\014num_booleans\030\n \001(\003\022\025\n\rnum_c" +
319 "onflicts\030\013 \001(\003\022\024\n\014num_branches\030\014 \001(\003\022\037\n\027" +
320 "num_binary_propagations\030\r \001(\003\022 \n\030num_int" +
321 "eger_propagations\030\016 \001(\003\022\024\n\014num_restarts\030" +
322 "\030 \001(\003\022\031\n\021num_lp_iterations\030\031 \001(\003\022\021\n\twall" +
323 "_time\030\017 \001(\001\022\021\n\tuser_time\030\020 \001(\001\022\032\n\022determ" +
324 "inistic_time\030\021 \001(\001\022\024\n\014gap_integral\030\026 \001(\001" +
325 "\022\025\n\rsolution_info\030\024 \001(\t\022\021\n\tsolve_log\030\032 \001" +
326 "(\t*[\n\016CpSolverStatus\022\013\n\007UNKNOWN\020\000\022\021\n\rMOD" +
327 "EL_INVALID\020\001\022\014\n\010FEASIBLE\020\002\022\016\n\nINFEASIBLE" +
328 "\020\003\022\013\n\007OPTIMAL\020\004B@\n\026com.google.ortools.sa" +
329 "tB\017CpModelProtobufP\001\252\002\022Google.OrTools.Sa" +
330 "tb\006proto3"
331 };
332 descriptor = com.google.protobuf.Descriptors.FileDescriptor
333 .internalBuildGeneratedFileFrom(descriptorData,
334 new com.google.protobuf.Descriptors.FileDescriptor[] {
335 });
336 internal_static_operations_research_sat_IntegerVariableProto_descriptor =
337 getDescriptor().getMessageTypes().get(0);
338 internal_static_operations_research_sat_IntegerVariableProto_fieldAccessorTable = new
339 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
340 internal_static_operations_research_sat_IntegerVariableProto_descriptor,
341 new java.lang.String[] { "Name", "Domain", });
342 internal_static_operations_research_sat_BoolArgumentProto_descriptor =
343 getDescriptor().getMessageTypes().get(1);
344 internal_static_operations_research_sat_BoolArgumentProto_fieldAccessorTable = new
345 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
346 internal_static_operations_research_sat_BoolArgumentProto_descriptor,
347 new java.lang.String[] { "Literals", });
348 internal_static_operations_research_sat_LinearExpressionProto_descriptor =
349 getDescriptor().getMessageTypes().get(2);
350 internal_static_operations_research_sat_LinearExpressionProto_fieldAccessorTable = new
351 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
352 internal_static_operations_research_sat_LinearExpressionProto_descriptor,
353 new java.lang.String[] { "Vars", "Coeffs", "Offset", });
354 internal_static_operations_research_sat_LinearArgumentProto_descriptor =
355 getDescriptor().getMessageTypes().get(3);
356 internal_static_operations_research_sat_LinearArgumentProto_fieldAccessorTable = new
357 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
358 internal_static_operations_research_sat_LinearArgumentProto_descriptor,
359 new java.lang.String[] { "Target", "Exprs", });
360 internal_static_operations_research_sat_AllDifferentConstraintProto_descriptor =
361 getDescriptor().getMessageTypes().get(4);
362 internal_static_operations_research_sat_AllDifferentConstraintProto_fieldAccessorTable = new
363 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
364 internal_static_operations_research_sat_AllDifferentConstraintProto_descriptor,
365 new java.lang.String[] { "Exprs", });
366 internal_static_operations_research_sat_LinearConstraintProto_descriptor =
367 getDescriptor().getMessageTypes().get(5);
368 internal_static_operations_research_sat_LinearConstraintProto_fieldAccessorTable = new
369 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
370 internal_static_operations_research_sat_LinearConstraintProto_descriptor,
371 new java.lang.String[] { "Vars", "Coeffs", "Domain", });
372 internal_static_operations_research_sat_ElementConstraintProto_descriptor =
373 getDescriptor().getMessageTypes().get(6);
374 internal_static_operations_research_sat_ElementConstraintProto_fieldAccessorTable = new
375 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
376 internal_static_operations_research_sat_ElementConstraintProto_descriptor,
377 new java.lang.String[] { "Index", "Target", "Vars", });
378 internal_static_operations_research_sat_IntervalConstraintProto_descriptor =
379 getDescriptor().getMessageTypes().get(7);
380 internal_static_operations_research_sat_IntervalConstraintProto_fieldAccessorTable = new
381 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
382 internal_static_operations_research_sat_IntervalConstraintProto_descriptor,
383 new java.lang.String[] { "Start", "End", "Size", });
384 internal_static_operations_research_sat_NoOverlapConstraintProto_descriptor =
385 getDescriptor().getMessageTypes().get(8);
386 internal_static_operations_research_sat_NoOverlapConstraintProto_fieldAccessorTable = new
387 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
388 internal_static_operations_research_sat_NoOverlapConstraintProto_descriptor,
389 new java.lang.String[] { "Intervals", });
390 internal_static_operations_research_sat_NoOverlap2DConstraintProto_descriptor =
391 getDescriptor().getMessageTypes().get(9);
392 internal_static_operations_research_sat_NoOverlap2DConstraintProto_fieldAccessorTable = new
393 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
394 internal_static_operations_research_sat_NoOverlap2DConstraintProto_descriptor,
395 new java.lang.String[] { "XIntervals", "YIntervals", });
396 internal_static_operations_research_sat_CumulativeConstraintProto_descriptor =
397 getDescriptor().getMessageTypes().get(10);
398 internal_static_operations_research_sat_CumulativeConstraintProto_fieldAccessorTable = new
399 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
400 internal_static_operations_research_sat_CumulativeConstraintProto_descriptor,
401 new java.lang.String[] { "Capacity", "Intervals", "Demands", });
402 internal_static_operations_research_sat_ReservoirConstraintProto_descriptor =
403 getDescriptor().getMessageTypes().get(11);
404 internal_static_operations_research_sat_ReservoirConstraintProto_fieldAccessorTable = new
405 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
406 internal_static_operations_research_sat_ReservoirConstraintProto_descriptor,
407 new java.lang.String[] { "MinLevel", "MaxLevel", "TimeExprs", "LevelChanges", "ActiveLiterals", });
408 internal_static_operations_research_sat_CircuitConstraintProto_descriptor =
409 getDescriptor().getMessageTypes().get(12);
410 internal_static_operations_research_sat_CircuitConstraintProto_fieldAccessorTable = new
411 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
412 internal_static_operations_research_sat_CircuitConstraintProto_descriptor,
413 new java.lang.String[] { "Tails", "Heads", "Literals", });
414 internal_static_operations_research_sat_RoutesConstraintProto_descriptor =
415 getDescriptor().getMessageTypes().get(13);
416 internal_static_operations_research_sat_RoutesConstraintProto_fieldAccessorTable = new
417 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
418 internal_static_operations_research_sat_RoutesConstraintProto_descriptor,
419 new java.lang.String[] { "Tails", "Heads", "Literals", "Demands", "Capacity", });
420 internal_static_operations_research_sat_TableConstraintProto_descriptor =
421 getDescriptor().getMessageTypes().get(14);
422 internal_static_operations_research_sat_TableConstraintProto_fieldAccessorTable = new
423 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
424 internal_static_operations_research_sat_TableConstraintProto_descriptor,
425 new java.lang.String[] { "Vars", "Values", "Negated", });
426 internal_static_operations_research_sat_InverseConstraintProto_descriptor =
427 getDescriptor().getMessageTypes().get(15);
428 internal_static_operations_research_sat_InverseConstraintProto_fieldAccessorTable = new
429 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
430 internal_static_operations_research_sat_InverseConstraintProto_descriptor,
431 new java.lang.String[] { "FDirect", "FInverse", });
432 internal_static_operations_research_sat_AutomatonConstraintProto_descriptor =
433 getDescriptor().getMessageTypes().get(16);
434 internal_static_operations_research_sat_AutomatonConstraintProto_fieldAccessorTable = new
435 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
436 internal_static_operations_research_sat_AutomatonConstraintProto_descriptor,
437 new java.lang.String[] { "StartingState", "FinalStates", "TransitionTail", "TransitionHead", "TransitionLabel", "Vars", });
438 internal_static_operations_research_sat_ListOfVariablesProto_descriptor =
439 getDescriptor().getMessageTypes().get(17);
440 internal_static_operations_research_sat_ListOfVariablesProto_fieldAccessorTable = new
441 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
442 internal_static_operations_research_sat_ListOfVariablesProto_descriptor,
443 new java.lang.String[] { "Vars", });
444 internal_static_operations_research_sat_ConstraintProto_descriptor =
445 getDescriptor().getMessageTypes().get(18);
446 internal_static_operations_research_sat_ConstraintProto_fieldAccessorTable = new
447 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
448 internal_static_operations_research_sat_ConstraintProto_descriptor,
449 new java.lang.String[] { "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", "Constraint", });
450 internal_static_operations_research_sat_CpObjectiveProto_descriptor =
451 getDescriptor().getMessageTypes().get(19);
452 internal_static_operations_research_sat_CpObjectiveProto_fieldAccessorTable = new
453 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
454 internal_static_operations_research_sat_CpObjectiveProto_descriptor,
455 new java.lang.String[] { "Vars", "Coeffs", "Offset", "ScalingFactor", "Domain", "ScalingWasExact", "IntegerBeforeOffset", "IntegerAfterOffset", "IntegerScalingFactor", });
456 internal_static_operations_research_sat_FloatObjectiveProto_descriptor =
457 getDescriptor().getMessageTypes().get(20);
458 internal_static_operations_research_sat_FloatObjectiveProto_fieldAccessorTable = new
459 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
460 internal_static_operations_research_sat_FloatObjectiveProto_descriptor,
461 new java.lang.String[] { "Vars", "Coeffs", "Offset", "Maximize", });
462 internal_static_operations_research_sat_DecisionStrategyProto_descriptor =
463 getDescriptor().getMessageTypes().get(21);
464 internal_static_operations_research_sat_DecisionStrategyProto_fieldAccessorTable = new
465 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
466 internal_static_operations_research_sat_DecisionStrategyProto_descriptor,
467 new java.lang.String[] { "Variables", "Exprs", "VariableSelectionStrategy", "DomainReductionStrategy", });
468 internal_static_operations_research_sat_PartialVariableAssignment_descriptor =
469 getDescriptor().getMessageTypes().get(22);
470 internal_static_operations_research_sat_PartialVariableAssignment_fieldAccessorTable = new
471 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
472 internal_static_operations_research_sat_PartialVariableAssignment_descriptor,
473 new java.lang.String[] { "Vars", "Values", });
474 internal_static_operations_research_sat_SparsePermutationProto_descriptor =
475 getDescriptor().getMessageTypes().get(23);
476 internal_static_operations_research_sat_SparsePermutationProto_fieldAccessorTable = new
477 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
478 internal_static_operations_research_sat_SparsePermutationProto_descriptor,
479 new java.lang.String[] { "Support", "CycleSizes", });
480 internal_static_operations_research_sat_DenseMatrixProto_descriptor =
481 getDescriptor().getMessageTypes().get(24);
482 internal_static_operations_research_sat_DenseMatrixProto_fieldAccessorTable = new
483 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
484 internal_static_operations_research_sat_DenseMatrixProto_descriptor,
485 new java.lang.String[] { "NumRows", "NumCols", "Entries", });
486 internal_static_operations_research_sat_SymmetryProto_descriptor =
487 getDescriptor().getMessageTypes().get(25);
488 internal_static_operations_research_sat_SymmetryProto_fieldAccessorTable = new
489 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
490 internal_static_operations_research_sat_SymmetryProto_descriptor,
491 new java.lang.String[] { "Permutations", "Orbitopes", });
492 internal_static_operations_research_sat_CpModelProto_descriptor =
493 getDescriptor().getMessageTypes().get(26);
494 internal_static_operations_research_sat_CpModelProto_fieldAccessorTable = new
495 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
496 internal_static_operations_research_sat_CpModelProto_descriptor,
497 new java.lang.String[] { "Name", "Variables", "Constraints", "Objective", "FloatingPointObjective", "SearchStrategy", "SolutionHint", "Assumptions", "Symmetry", });
498 internal_static_operations_research_sat_CpSolverSolution_descriptor =
499 getDescriptor().getMessageTypes().get(27);
500 internal_static_operations_research_sat_CpSolverSolution_fieldAccessorTable = new
501 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
502 internal_static_operations_research_sat_CpSolverSolution_descriptor,
503 new java.lang.String[] { "Values", });
504 internal_static_operations_research_sat_CpSolverResponse_descriptor =
505 getDescriptor().getMessageTypes().get(28);
506 internal_static_operations_research_sat_CpSolverResponse_fieldAccessorTable = new
507 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
508 internal_static_operations_research_sat_CpSolverResponse_descriptor,
509 new java.lang.String[] { "Status", "Solution", "ObjectiveValue", "BestObjectiveBound", "AdditionalSolutions", "TightenedVariables", "SufficientAssumptionsForInfeasibility", "IntegerObjective", "InnerObjectiveLowerBound", "NumIntegers", "NumBooleans", "NumConflicts", "NumBranches", "NumBinaryPropagations", "NumIntegerPropagations", "NumRestarts", "NumLpIterations", "WallTime", "UserTime", "DeterministicTime", "GapIntegral", "SolutionInfo", "SolveLog", });
510 }
511
512 // @@protoc_insertion_point(outer_class_scope)
513}
static void registerAllExtensions(com.google.protobuf.ExtensionRegistry registry)
static com.google.protobuf.Descriptors.FileDescriptor getDescriptor()
static void registerAllExtensions(com.google.protobuf.ExtensionRegistryLite registry)