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