Google OR-Tools v9.12
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// NO CHECKED-IN PROTOBUF GENCODE
3// source: ortools/sat/cp_model.proto
4// Protobuf Java Version: 4.29.3
5
6package com.google.ortools.sat;
7
8public final class CpModelProtobuf {
9 private CpModelProtobuf() {}
10 static {
11 com.google.protobuf.RuntimeVersion.validateProtobufGencodeVersion(
12 com.google.protobuf.RuntimeVersion.RuntimeDomain.PUBLIC,
13 /* major= */ 4,
14 /* minor= */ 29,
15 /* patch= */ 3,
16 /* suffix= */ "",
17 CpModelProtobuf.class.getName());
18 }
19 public static void registerAllExtensions(
20 com.google.protobuf.ExtensionRegistryLite registry) {
21 }
22
23 public static void registerAllExtensions(
24 com.google.protobuf.ExtensionRegistry registry) {
25 registerAllExtensions(
26 (com.google.protobuf.ExtensionRegistryLite) registry);
27 }
28 static final com.google.protobuf.Descriptors.Descriptor
29 internal_static_operations_research_sat_IntegerVariableProto_descriptor;
30 static final
31 com.google.protobuf.GeneratedMessage.FieldAccessorTable
32 internal_static_operations_research_sat_IntegerVariableProto_fieldAccessorTable;
33 static final com.google.protobuf.Descriptors.Descriptor
34 internal_static_operations_research_sat_BoolArgumentProto_descriptor;
35 static final
36 com.google.protobuf.GeneratedMessage.FieldAccessorTable
37 internal_static_operations_research_sat_BoolArgumentProto_fieldAccessorTable;
38 static final com.google.protobuf.Descriptors.Descriptor
39 internal_static_operations_research_sat_LinearExpressionProto_descriptor;
40 static final
41 com.google.protobuf.GeneratedMessage.FieldAccessorTable
42 internal_static_operations_research_sat_LinearExpressionProto_fieldAccessorTable;
43 static final com.google.protobuf.Descriptors.Descriptor
44 internal_static_operations_research_sat_LinearArgumentProto_descriptor;
45 static final
46 com.google.protobuf.GeneratedMessage.FieldAccessorTable
47 internal_static_operations_research_sat_LinearArgumentProto_fieldAccessorTable;
48 static final com.google.protobuf.Descriptors.Descriptor
49 internal_static_operations_research_sat_AllDifferentConstraintProto_descriptor;
50 static final
51 com.google.protobuf.GeneratedMessage.FieldAccessorTable
52 internal_static_operations_research_sat_AllDifferentConstraintProto_fieldAccessorTable;
53 static final com.google.protobuf.Descriptors.Descriptor
54 internal_static_operations_research_sat_LinearConstraintProto_descriptor;
55 static final
56 com.google.protobuf.GeneratedMessage.FieldAccessorTable
57 internal_static_operations_research_sat_LinearConstraintProto_fieldAccessorTable;
58 static final com.google.protobuf.Descriptors.Descriptor
59 internal_static_operations_research_sat_ElementConstraintProto_descriptor;
60 static final
61 com.google.protobuf.GeneratedMessage.FieldAccessorTable
62 internal_static_operations_research_sat_ElementConstraintProto_fieldAccessorTable;
63 static final com.google.protobuf.Descriptors.Descriptor
64 internal_static_operations_research_sat_IntervalConstraintProto_descriptor;
65 static final
66 com.google.protobuf.GeneratedMessage.FieldAccessorTable
67 internal_static_operations_research_sat_IntervalConstraintProto_fieldAccessorTable;
68 static final com.google.protobuf.Descriptors.Descriptor
69 internal_static_operations_research_sat_NoOverlapConstraintProto_descriptor;
70 static final
71 com.google.protobuf.GeneratedMessage.FieldAccessorTable
72 internal_static_operations_research_sat_NoOverlapConstraintProto_fieldAccessorTable;
73 static final com.google.protobuf.Descriptors.Descriptor
74 internal_static_operations_research_sat_NoOverlap2DConstraintProto_descriptor;
75 static final
76 com.google.protobuf.GeneratedMessage.FieldAccessorTable
77 internal_static_operations_research_sat_NoOverlap2DConstraintProto_fieldAccessorTable;
78 static final com.google.protobuf.Descriptors.Descriptor
79 internal_static_operations_research_sat_CumulativeConstraintProto_descriptor;
80 static final
81 com.google.protobuf.GeneratedMessage.FieldAccessorTable
82 internal_static_operations_research_sat_CumulativeConstraintProto_fieldAccessorTable;
83 static final com.google.protobuf.Descriptors.Descriptor
84 internal_static_operations_research_sat_ReservoirConstraintProto_descriptor;
85 static final
86 com.google.protobuf.GeneratedMessage.FieldAccessorTable
87 internal_static_operations_research_sat_ReservoirConstraintProto_fieldAccessorTable;
88 static final com.google.protobuf.Descriptors.Descriptor
89 internal_static_operations_research_sat_CircuitConstraintProto_descriptor;
90 static final
91 com.google.protobuf.GeneratedMessage.FieldAccessorTable
92 internal_static_operations_research_sat_CircuitConstraintProto_fieldAccessorTable;
93 static final com.google.protobuf.Descriptors.Descriptor
94 internal_static_operations_research_sat_RoutesConstraintProto_descriptor;
95 static final
96 com.google.protobuf.GeneratedMessage.FieldAccessorTable
97 internal_static_operations_research_sat_RoutesConstraintProto_fieldAccessorTable;
98 static final com.google.protobuf.Descriptors.Descriptor
99 internal_static_operations_research_sat_TableConstraintProto_descriptor;
100 static final
101 com.google.protobuf.GeneratedMessage.FieldAccessorTable
102 internal_static_operations_research_sat_TableConstraintProto_fieldAccessorTable;
103 static final com.google.protobuf.Descriptors.Descriptor
104 internal_static_operations_research_sat_InverseConstraintProto_descriptor;
105 static final
106 com.google.protobuf.GeneratedMessage.FieldAccessorTable
107 internal_static_operations_research_sat_InverseConstraintProto_fieldAccessorTable;
108 static final com.google.protobuf.Descriptors.Descriptor
109 internal_static_operations_research_sat_AutomatonConstraintProto_descriptor;
110 static final
111 com.google.protobuf.GeneratedMessage.FieldAccessorTable
112 internal_static_operations_research_sat_AutomatonConstraintProto_fieldAccessorTable;
113 static final com.google.protobuf.Descriptors.Descriptor
114 internal_static_operations_research_sat_ListOfVariablesProto_descriptor;
115 static final
116 com.google.protobuf.GeneratedMessage.FieldAccessorTable
117 internal_static_operations_research_sat_ListOfVariablesProto_fieldAccessorTable;
118 static final com.google.protobuf.Descriptors.Descriptor
119 internal_static_operations_research_sat_ConstraintProto_descriptor;
120 static final
121 com.google.protobuf.GeneratedMessage.FieldAccessorTable
122 internal_static_operations_research_sat_ConstraintProto_fieldAccessorTable;
123 static final com.google.protobuf.Descriptors.Descriptor
124 internal_static_operations_research_sat_CpObjectiveProto_descriptor;
125 static final
126 com.google.protobuf.GeneratedMessage.FieldAccessorTable
127 internal_static_operations_research_sat_CpObjectiveProto_fieldAccessorTable;
128 static final com.google.protobuf.Descriptors.Descriptor
129 internal_static_operations_research_sat_FloatObjectiveProto_descriptor;
130 static final
131 com.google.protobuf.GeneratedMessage.FieldAccessorTable
132 internal_static_operations_research_sat_FloatObjectiveProto_fieldAccessorTable;
133 static final com.google.protobuf.Descriptors.Descriptor
134 internal_static_operations_research_sat_DecisionStrategyProto_descriptor;
135 static final
136 com.google.protobuf.GeneratedMessage.FieldAccessorTable
137 internal_static_operations_research_sat_DecisionStrategyProto_fieldAccessorTable;
138 static final com.google.protobuf.Descriptors.Descriptor
139 internal_static_operations_research_sat_PartialVariableAssignment_descriptor;
140 static final
141 com.google.protobuf.GeneratedMessage.FieldAccessorTable
142 internal_static_operations_research_sat_PartialVariableAssignment_fieldAccessorTable;
143 static final com.google.protobuf.Descriptors.Descriptor
144 internal_static_operations_research_sat_SparsePermutationProto_descriptor;
145 static final
146 com.google.protobuf.GeneratedMessage.FieldAccessorTable
147 internal_static_operations_research_sat_SparsePermutationProto_fieldAccessorTable;
148 static final com.google.protobuf.Descriptors.Descriptor
149 internal_static_operations_research_sat_DenseMatrixProto_descriptor;
150 static final
151 com.google.protobuf.GeneratedMessage.FieldAccessorTable
152 internal_static_operations_research_sat_DenseMatrixProto_fieldAccessorTable;
153 static final com.google.protobuf.Descriptors.Descriptor
154 internal_static_operations_research_sat_SymmetryProto_descriptor;
155 static final
156 com.google.protobuf.GeneratedMessage.FieldAccessorTable
157 internal_static_operations_research_sat_SymmetryProto_fieldAccessorTable;
158 static final com.google.protobuf.Descriptors.Descriptor
159 internal_static_operations_research_sat_CpModelProto_descriptor;
160 static final
161 com.google.protobuf.GeneratedMessage.FieldAccessorTable
162 internal_static_operations_research_sat_CpModelProto_fieldAccessorTable;
163 static final com.google.protobuf.Descriptors.Descriptor
164 internal_static_operations_research_sat_CpSolverSolution_descriptor;
165 static final
166 com.google.protobuf.GeneratedMessage.FieldAccessorTable
167 internal_static_operations_research_sat_CpSolverSolution_fieldAccessorTable;
168 static final com.google.protobuf.Descriptors.Descriptor
169 internal_static_operations_research_sat_CpSolverResponse_descriptor;
170 static final
171 com.google.protobuf.GeneratedMessage.FieldAccessorTable
172 internal_static_operations_research_sat_CpSolverResponse_fieldAccessorTable;
173
174 public static com.google.protobuf.Descriptors.FileDescriptor
175 getDescriptor() {
176 return descriptor;
177 }
178 private static com.google.protobuf.Descriptors.FileDescriptor
179 descriptor;
180 static {
181 java.lang.String[] descriptorData = {
182 "\n\032ortools/sat/cp_model.proto\022\027operations" +
183 "_research.sat\"4\n\024IntegerVariableProto\022\014\n" +
184 "\004name\030\001 \001(\t\022\016\n\006domain\030\002 \003(\003\"%\n\021BoolArgum" +
185 "entProto\022\020\n\010literals\030\001 \003(\005\"E\n\025LinearExpr" +
186 "essionProto\022\014\n\004vars\030\001 \003(\005\022\016\n\006coeffs\030\002 \003(" +
187 "\003\022\016\n\006offset\030\003 \001(\003\"\224\001\n\023LinearArgumentProt" +
188 "o\022>\n\006target\030\001 \001(\0132..operations_research." +
189 "sat.LinearExpressionProto\022=\n\005exprs\030\002 \003(\013" +
190 "2..operations_research.sat.LinearExpress" +
191 "ionProto\"\\\n\033AllDifferentConstraintProto\022" +
192 "=\n\005exprs\030\001 \003(\0132..operations_research.sat" +
193 ".LinearExpressionProto\"E\n\025LinearConstrai" +
194 "ntProto\022\014\n\004vars\030\001 \003(\005\022\016\n\006coeffs\030\002 \003(\003\022\016\n" +
195 "\006domain\030\003 \003(\003\"\221\002\n\026ElementConstraintProto" +
196 "\022\r\n\005index\030\001 \001(\005\022\016\n\006target\030\002 \001(\005\022\014\n\004vars\030" +
197 "\003 \003(\005\022D\n\014linear_index\030\004 \001(\0132..operations" +
198 "_research.sat.LinearExpressionProto\022E\n\rl" +
199 "inear_target\030\005 \001(\0132..operations_research" +
200 ".sat.LinearExpressionProto\022=\n\005exprs\030\006 \003(" +
201 "\0132..operations_research.sat.LinearExpres" +
202 "sionProto\"\323\001\n\027IntervalConstraintProto\022=\n" +
203 "\005start\030\004 \001(\0132..operations_research.sat.L" +
204 "inearExpressionProto\022;\n\003end\030\005 \001(\0132..oper" +
205 "ations_research.sat.LinearExpressionProt" +
206 "o\022<\n\004size\030\006 \001(\0132..operations_research.sa" +
207 "t.LinearExpressionProto\"-\n\030NoOverlapCons" +
208 "traintProto\022\021\n\tintervals\030\001 \003(\005\"F\n\032NoOver" +
209 "lap2DConstraintProto\022\023\n\013x_intervals\030\001 \003(" +
210 "\005\022\023\n\013y_intervals\030\002 \003(\005\"\261\001\n\031CumulativeCon" +
211 "straintProto\022@\n\010capacity\030\001 \001(\0132..operati" +
212 "ons_research.sat.LinearExpressionProto\022\021" +
213 "\n\tintervals\030\002 \003(\005\022?\n\007demands\030\003 \003(\0132..ope" +
214 "rations_research.sat.LinearExpressionPro" +
215 "to\"\352\001\n\030ReservoirConstraintProto\022\021\n\tmin_l" +
216 "evel\030\001 \001(\003\022\021\n\tmax_level\030\002 \001(\003\022B\n\ntime_ex" +
217 "prs\030\003 \003(\0132..operations_research.sat.Line" +
218 "arExpressionProto\022E\n\rlevel_changes\030\006 \003(\013" +
219 "2..operations_research.sat.LinearExpress" +
220 "ionProto\022\027\n\017active_literals\030\005 \003(\005J\004\010\004\020\005\"" +
221 "H\n\026CircuitConstraintProto\022\r\n\005tails\030\003 \003(\005" +
222 "\022\r\n\005heads\030\004 \003(\005\022\020\n\010literals\030\005 \003(\005\"j\n\025Rou" +
223 "tesConstraintProto\022\r\n\005tails\030\001 \003(\005\022\r\n\005hea" +
224 "ds\030\002 \003(\005\022\020\n\010literals\030\003 \003(\005\022\017\n\007demands\030\004 " +
225 "\003(\005\022\020\n\010capacity\030\005 \001(\003\"\204\001\n\024TableConstrain" +
226 "tProto\022\014\n\004vars\030\001 \003(\005\022\016\n\006values\030\002 \003(\003\022=\n\005" +
227 "exprs\030\004 \003(\0132..operations_research.sat.Li" +
228 "nearExpressionProto\022\017\n\007negated\030\003 \001(\010\"=\n\026" +
229 "InverseConstraintProto\022\020\n\010f_direct\030\001 \003(\005" +
230 "\022\021\n\tf_inverse\030\002 \003(\005\"\341\001\n\030AutomatonConstra" +
231 "intProto\022\026\n\016starting_state\030\002 \001(\003\022\024\n\014fina" +
232 "l_states\030\003 \003(\003\022\027\n\017transition_tail\030\004 \003(\003\022" +
233 "\027\n\017transition_head\030\005 \003(\003\022\030\n\020transition_l" +
234 "abel\030\006 \003(\003\022\014\n\004vars\030\007 \003(\005\022=\n\005exprs\030\010 \003(\0132" +
235 "..operations_research.sat.LinearExpressi" +
236 "onProto\"$\n\024ListOfVariablesProto\022\014\n\004vars\030" +
237 "\001 \003(\005\"\360\014\n\017ConstraintProto\022\014\n\004name\030\001 \001(\t\022" +
238 "\033\n\023enforcement_literal\030\002 \003(\005\022=\n\007bool_or\030" +
239 "\003 \001(\0132*.operations_research.sat.BoolArgu" +
240 "mentProtoH\000\022>\n\010bool_and\030\004 \001(\0132*.operatio" +
241 "ns_research.sat.BoolArgumentProtoH\000\022A\n\013a" +
242 "t_most_one\030\032 \001(\0132*.operations_research.s" +
243 "at.BoolArgumentProtoH\000\022A\n\013exactly_one\030\035 " +
244 "\001(\0132*.operations_research.sat.BoolArgume" +
245 "ntProtoH\000\022>\n\010bool_xor\030\005 \001(\0132*.operations" +
246 "_research.sat.BoolArgumentProtoH\000\022?\n\007int" +
247 "_div\030\007 \001(\0132,.operations_research.sat.Lin" +
248 "earArgumentProtoH\000\022?\n\007int_mod\030\010 \001(\0132,.op" +
249 "erations_research.sat.LinearArgumentProt" +
250 "oH\000\022@\n\010int_prod\030\013 \001(\0132,.operations_resea" +
251 "rch.sat.LinearArgumentProtoH\000\022?\n\007lin_max" +
252 "\030\033 \001(\0132,.operations_research.sat.LinearA" +
253 "rgumentProtoH\000\022@\n\006linear\030\014 \001(\0132..operati" +
254 "ons_research.sat.LinearConstraintProtoH\000" +
255 "\022H\n\010all_diff\030\r \001(\01324.operations_research" +
256 ".sat.AllDifferentConstraintProtoH\000\022B\n\007el" +
257 "ement\030\016 \001(\0132/.operations_research.sat.El" +
258 "ementConstraintProtoH\000\022B\n\007circuit\030\017 \001(\0132" +
259 "/.operations_research.sat.CircuitConstra" +
260 "intProtoH\000\022@\n\006routes\030\027 \001(\0132..operations_" +
261 "research.sat.RoutesConstraintProtoH\000\022>\n\005" +
262 "table\030\020 \001(\0132-.operations_research.sat.Ta" +
263 "bleConstraintProtoH\000\022F\n\tautomaton\030\021 \001(\0132" +
264 "1.operations_research.sat.AutomatonConst" +
265 "raintProtoH\000\022B\n\007inverse\030\022 \001(\0132/.operatio" +
266 "ns_research.sat.InverseConstraintProtoH\000" +
267 "\022F\n\treservoir\030\030 \001(\01321.operations_researc" +
268 "h.sat.ReservoirConstraintProtoH\000\022D\n\010inte" +
269 "rval\030\023 \001(\01320.operations_research.sat.Int" +
270 "ervalConstraintProtoH\000\022G\n\nno_overlap\030\024 \001" +
271 "(\01321.operations_research.sat.NoOverlapCo" +
272 "nstraintProtoH\000\022L\n\rno_overlap_2d\030\025 \001(\01323" +
273 ".operations_research.sat.NoOverlap2DCons" +
274 "traintProtoH\000\022H\n\ncumulative\030\026 \001(\01322.oper" +
275 "ations_research.sat.CumulativeConstraint" +
276 "ProtoH\000\022I\n\020dummy_constraint\030\036 \001(\0132-.oper" +
277 "ations_research.sat.ListOfVariablesProto" +
278 "H\000B\014\n\nconstraint\"\340\001\n\020CpObjectiveProto\022\014\n" +
279 "\004vars\030\001 \003(\005\022\016\n\006coeffs\030\004 \003(\003\022\016\n\006offset\030\002 " +
280 "\001(\001\022\026\n\016scaling_factor\030\003 \001(\001\022\016\n\006domain\030\005 " +
281 "\003(\003\022\031\n\021scaling_was_exact\030\006 \001(\010\022\035\n\025intege" +
282 "r_before_offset\030\007 \001(\003\022\034\n\024integer_after_o" +
283 "ffset\030\t \001(\003\022\036\n\026integer_scaling_factor\030\010 " +
284 "\001(\003\"U\n\023FloatObjectiveProto\022\014\n\004vars\030\001 \003(\005" +
285 "\022\016\n\006coeffs\030\002 \003(\001\022\016\n\006offset\030\003 \001(\001\022\020\n\010maxi" +
286 "mize\030\004 \001(\010\"\201\005\n\025DecisionStrategyProto\022\021\n\t" +
287 "variables\030\001 \003(\005\022=\n\005exprs\030\005 \003(\0132..operati" +
288 "ons_research.sat.LinearExpressionProto\022m" +
289 "\n\033variable_selection_strategy\030\002 \001(\0162H.op" +
290 "erations_research.sat.DecisionStrategyPr" +
291 "oto.VariableSelectionStrategy\022i\n\031domain_" +
292 "reduction_strategy\030\003 \001(\0162F.operations_re" +
293 "search.sat.DecisionStrategyProto.DomainR" +
294 "eductionStrategy\"\224\001\n\031VariableSelectionSt" +
295 "rategy\022\020\n\014CHOOSE_FIRST\020\000\022\025\n\021CHOOSE_LOWES" +
296 "T_MIN\020\001\022\026\n\022CHOOSE_HIGHEST_MAX\020\002\022\032\n\026CHOOS" +
297 "E_MIN_DOMAIN_SIZE\020\003\022\032\n\026CHOOSE_MAX_DOMAIN" +
298 "_SIZE\020\004\"\244\001\n\027DomainReductionStrategy\022\024\n\020S" +
299 "ELECT_MIN_VALUE\020\000\022\024\n\020SELECT_MAX_VALUE\020\001\022" +
300 "\025\n\021SELECT_LOWER_HALF\020\002\022\025\n\021SELECT_UPPER_H" +
301 "ALF\020\003\022\027\n\023SELECT_MEDIAN_VALUE\020\004\022\026\n\022SELECT" +
302 "_RANDOM_HALF\020\005\"9\n\031PartialVariableAssignm" +
303 "ent\022\014\n\004vars\030\001 \003(\005\022\016\n\006values\030\002 \003(\003\">\n\026Spa" +
304 "rsePermutationProto\022\017\n\007support\030\001 \003(\005\022\023\n\013" +
305 "cycle_sizes\030\002 \003(\005\"G\n\020DenseMatrixProto\022\020\n" +
306 "\010num_rows\030\001 \001(\005\022\020\n\010num_cols\030\002 \001(\005\022\017\n\007ent" +
307 "ries\030\003 \003(\005\"\224\001\n\rSymmetryProto\022E\n\014permutat" +
308 "ions\030\001 \003(\0132/.operations_research.sat.Spa" +
309 "rsePermutationProto\022<\n\torbitopes\030\002 \003(\0132)" +
310 ".operations_research.sat.DenseMatrixProt" +
311 "o\"\216\004\n\014CpModelProto\022\014\n\004name\030\001 \001(\t\022@\n\tvari" +
312 "ables\030\002 \003(\0132-.operations_research.sat.In" +
313 "tegerVariableProto\022=\n\013constraints\030\003 \003(\0132" +
314 "(.operations_research.sat.ConstraintProt" +
315 "o\022<\n\tobjective\030\004 \001(\0132).operations_resear" +
316 "ch.sat.CpObjectiveProto\022N\n\030floating_poin" +
317 "t_objective\030\t \001(\0132,.operations_research." +
318 "sat.FloatObjectiveProto\022G\n\017search_strate" +
319 "gy\030\005 \003(\0132..operations_research.sat.Decis" +
320 "ionStrategyProto\022I\n\rsolution_hint\030\006 \001(\0132" +
321 "2.operations_research.sat.PartialVariabl" +
322 "eAssignment\022\023\n\013assumptions\030\007 \003(\005\0228\n\010symm" +
323 "etry\030\010 \001(\0132&.operations_research.sat.Sym" +
324 "metryProto\"\"\n\020CpSolverSolution\022\016\n\006values" +
325 "\030\001 \003(\003\"\261\006\n\020CpSolverResponse\0227\n\006status\030\001 " +
326 "\001(\0162\'.operations_research.sat.CpSolverSt" +
327 "atus\022\020\n\010solution\030\002 \003(\003\022\027\n\017objective_valu" +
328 "e\030\003 \001(\001\022\034\n\024best_objective_bound\030\004 \001(\001\022G\n" +
329 "\024additional_solutions\030\033 \003(\0132).operations" +
330 "_research.sat.CpSolverSolution\022J\n\023tighte" +
331 "ned_variables\030\025 \003(\0132-.operations_researc" +
332 "h.sat.IntegerVariableProto\0220\n(sufficient" +
333 "_assumptions_for_infeasibility\030\027 \003(\005\022D\n\021" +
334 "integer_objective\030\034 \001(\0132).operations_res" +
335 "earch.sat.CpObjectiveProto\022#\n\033inner_obje" +
336 "ctive_lower_bound\030\035 \001(\003\022\024\n\014num_integers\030" +
337 "\036 \001(\003\022\024\n\014num_booleans\030\n \001(\003\022\032\n\022num_fixed" +
338 "_booleans\030\037 \001(\003\022\025\n\rnum_conflicts\030\013 \001(\003\022\024" +
339 "\n\014num_branches\030\014 \001(\003\022\037\n\027num_binary_propa" +
340 "gations\030\r \001(\003\022 \n\030num_integer_propagation" +
341 "s\030\016 \001(\003\022\024\n\014num_restarts\030\030 \001(\003\022\031\n\021num_lp_" +
342 "iterations\030\031 \001(\003\022\021\n\twall_time\030\017 \001(\001\022\021\n\tu" +
343 "ser_time\030\020 \001(\001\022\032\n\022deterministic_time\030\021 \001" +
344 "(\001\022\024\n\014gap_integral\030\026 \001(\001\022\025\n\rsolution_inf" +
345 "o\030\024 \001(\t\022\021\n\tsolve_log\030\032 \001(\t*[\n\016CpSolverSt" +
346 "atus\022\013\n\007UNKNOWN\020\000\022\021\n\rMODEL_INVALID\020\001\022\014\n\010" +
347 "FEASIBLE\020\002\022\016\n\nINFEASIBLE\020\003\022\013\n\007OPTIMAL\020\004B" +
348 "v\n\026com.google.ortools.satB\017CpModelProtob" +
349 "ufP\001Z4github.com/google/or-tools/ortools" +
350 "/sat/proto/cpmodel\252\002\022Google.OrTools.Satb" +
351 "\006proto3"
352 };
353 descriptor = com.google.protobuf.Descriptors.FileDescriptor
354 .internalBuildGeneratedFileFrom(descriptorData,
355 new com.google.protobuf.Descriptors.FileDescriptor[] {
356 });
357 internal_static_operations_research_sat_IntegerVariableProto_descriptor =
358 getDescriptor().getMessageTypes().get(0);
359 internal_static_operations_research_sat_IntegerVariableProto_fieldAccessorTable = new
360 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
361 internal_static_operations_research_sat_IntegerVariableProto_descriptor,
362 new java.lang.String[] { "Name", "Domain", });
363 internal_static_operations_research_sat_BoolArgumentProto_descriptor =
364 getDescriptor().getMessageTypes().get(1);
365 internal_static_operations_research_sat_BoolArgumentProto_fieldAccessorTable = new
366 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
367 internal_static_operations_research_sat_BoolArgumentProto_descriptor,
368 new java.lang.String[] { "Literals", });
369 internal_static_operations_research_sat_LinearExpressionProto_descriptor =
370 getDescriptor().getMessageTypes().get(2);
371 internal_static_operations_research_sat_LinearExpressionProto_fieldAccessorTable = new
372 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
373 internal_static_operations_research_sat_LinearExpressionProto_descriptor,
374 new java.lang.String[] { "Vars", "Coeffs", "Offset", });
375 internal_static_operations_research_sat_LinearArgumentProto_descriptor =
376 getDescriptor().getMessageTypes().get(3);
377 internal_static_operations_research_sat_LinearArgumentProto_fieldAccessorTable = new
378 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
379 internal_static_operations_research_sat_LinearArgumentProto_descriptor,
380 new java.lang.String[] { "Target", "Exprs", });
381 internal_static_operations_research_sat_AllDifferentConstraintProto_descriptor =
382 getDescriptor().getMessageTypes().get(4);
383 internal_static_operations_research_sat_AllDifferentConstraintProto_fieldAccessorTable = new
384 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
385 internal_static_operations_research_sat_AllDifferentConstraintProto_descriptor,
386 new java.lang.String[] { "Exprs", });
387 internal_static_operations_research_sat_LinearConstraintProto_descriptor =
388 getDescriptor().getMessageTypes().get(5);
389 internal_static_operations_research_sat_LinearConstraintProto_fieldAccessorTable = new
390 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
391 internal_static_operations_research_sat_LinearConstraintProto_descriptor,
392 new java.lang.String[] { "Vars", "Coeffs", "Domain", });
393 internal_static_operations_research_sat_ElementConstraintProto_descriptor =
394 getDescriptor().getMessageTypes().get(6);
395 internal_static_operations_research_sat_ElementConstraintProto_fieldAccessorTable = new
396 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
397 internal_static_operations_research_sat_ElementConstraintProto_descriptor,
398 new java.lang.String[] { "Index", "Target", "Vars", "LinearIndex", "LinearTarget", "Exprs", });
399 internal_static_operations_research_sat_IntervalConstraintProto_descriptor =
400 getDescriptor().getMessageTypes().get(7);
401 internal_static_operations_research_sat_IntervalConstraintProto_fieldAccessorTable = new
402 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
403 internal_static_operations_research_sat_IntervalConstraintProto_descriptor,
404 new java.lang.String[] { "Start", "End", "Size", });
405 internal_static_operations_research_sat_NoOverlapConstraintProto_descriptor =
406 getDescriptor().getMessageTypes().get(8);
407 internal_static_operations_research_sat_NoOverlapConstraintProto_fieldAccessorTable = new
408 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
409 internal_static_operations_research_sat_NoOverlapConstraintProto_descriptor,
410 new java.lang.String[] { "Intervals", });
411 internal_static_operations_research_sat_NoOverlap2DConstraintProto_descriptor =
412 getDescriptor().getMessageTypes().get(9);
413 internal_static_operations_research_sat_NoOverlap2DConstraintProto_fieldAccessorTable = new
414 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
415 internal_static_operations_research_sat_NoOverlap2DConstraintProto_descriptor,
416 new java.lang.String[] { "XIntervals", "YIntervals", });
417 internal_static_operations_research_sat_CumulativeConstraintProto_descriptor =
418 getDescriptor().getMessageTypes().get(10);
419 internal_static_operations_research_sat_CumulativeConstraintProto_fieldAccessorTable = new
420 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
421 internal_static_operations_research_sat_CumulativeConstraintProto_descriptor,
422 new java.lang.String[] { "Capacity", "Intervals", "Demands", });
423 internal_static_operations_research_sat_ReservoirConstraintProto_descriptor =
424 getDescriptor().getMessageTypes().get(11);
425 internal_static_operations_research_sat_ReservoirConstraintProto_fieldAccessorTable = new
426 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
427 internal_static_operations_research_sat_ReservoirConstraintProto_descriptor,
428 new java.lang.String[] { "MinLevel", "MaxLevel", "TimeExprs", "LevelChanges", "ActiveLiterals", });
429 internal_static_operations_research_sat_CircuitConstraintProto_descriptor =
430 getDescriptor().getMessageTypes().get(12);
431 internal_static_operations_research_sat_CircuitConstraintProto_fieldAccessorTable = new
432 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
433 internal_static_operations_research_sat_CircuitConstraintProto_descriptor,
434 new java.lang.String[] { "Tails", "Heads", "Literals", });
435 internal_static_operations_research_sat_RoutesConstraintProto_descriptor =
436 getDescriptor().getMessageTypes().get(13);
437 internal_static_operations_research_sat_RoutesConstraintProto_fieldAccessorTable = new
438 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
439 internal_static_operations_research_sat_RoutesConstraintProto_descriptor,
440 new java.lang.String[] { "Tails", "Heads", "Literals", "Demands", "Capacity", });
441 internal_static_operations_research_sat_TableConstraintProto_descriptor =
442 getDescriptor().getMessageTypes().get(14);
443 internal_static_operations_research_sat_TableConstraintProto_fieldAccessorTable = new
444 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
445 internal_static_operations_research_sat_TableConstraintProto_descriptor,
446 new java.lang.String[] { "Vars", "Values", "Exprs", "Negated", });
447 internal_static_operations_research_sat_InverseConstraintProto_descriptor =
448 getDescriptor().getMessageTypes().get(15);
449 internal_static_operations_research_sat_InverseConstraintProto_fieldAccessorTable = new
450 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
451 internal_static_operations_research_sat_InverseConstraintProto_descriptor,
452 new java.lang.String[] { "FDirect", "FInverse", });
453 internal_static_operations_research_sat_AutomatonConstraintProto_descriptor =
454 getDescriptor().getMessageTypes().get(16);
455 internal_static_operations_research_sat_AutomatonConstraintProto_fieldAccessorTable = new
456 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
457 internal_static_operations_research_sat_AutomatonConstraintProto_descriptor,
458 new java.lang.String[] { "StartingState", "FinalStates", "TransitionTail", "TransitionHead", "TransitionLabel", "Vars", "Exprs", });
459 internal_static_operations_research_sat_ListOfVariablesProto_descriptor =
460 getDescriptor().getMessageTypes().get(17);
461 internal_static_operations_research_sat_ListOfVariablesProto_fieldAccessorTable = new
462 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
463 internal_static_operations_research_sat_ListOfVariablesProto_descriptor,
464 new java.lang.String[] { "Vars", });
465 internal_static_operations_research_sat_ConstraintProto_descriptor =
466 getDescriptor().getMessageTypes().get(18);
467 internal_static_operations_research_sat_ConstraintProto_fieldAccessorTable = new
468 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
469 internal_static_operations_research_sat_ConstraintProto_descriptor,
470 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", });
471 internal_static_operations_research_sat_CpObjectiveProto_descriptor =
472 getDescriptor().getMessageTypes().get(19);
473 internal_static_operations_research_sat_CpObjectiveProto_fieldAccessorTable = new
474 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
475 internal_static_operations_research_sat_CpObjectiveProto_descriptor,
476 new java.lang.String[] { "Vars", "Coeffs", "Offset", "ScalingFactor", "Domain", "ScalingWasExact", "IntegerBeforeOffset", "IntegerAfterOffset", "IntegerScalingFactor", });
477 internal_static_operations_research_sat_FloatObjectiveProto_descriptor =
478 getDescriptor().getMessageTypes().get(20);
479 internal_static_operations_research_sat_FloatObjectiveProto_fieldAccessorTable = new
480 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
481 internal_static_operations_research_sat_FloatObjectiveProto_descriptor,
482 new java.lang.String[] { "Vars", "Coeffs", "Offset", "Maximize", });
483 internal_static_operations_research_sat_DecisionStrategyProto_descriptor =
484 getDescriptor().getMessageTypes().get(21);
485 internal_static_operations_research_sat_DecisionStrategyProto_fieldAccessorTable = new
486 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
487 internal_static_operations_research_sat_DecisionStrategyProto_descriptor,
488 new java.lang.String[] { "Variables", "Exprs", "VariableSelectionStrategy", "DomainReductionStrategy", });
489 internal_static_operations_research_sat_PartialVariableAssignment_descriptor =
490 getDescriptor().getMessageTypes().get(22);
491 internal_static_operations_research_sat_PartialVariableAssignment_fieldAccessorTable = new
492 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
493 internal_static_operations_research_sat_PartialVariableAssignment_descriptor,
494 new java.lang.String[] { "Vars", "Values", });
495 internal_static_operations_research_sat_SparsePermutationProto_descriptor =
496 getDescriptor().getMessageTypes().get(23);
497 internal_static_operations_research_sat_SparsePermutationProto_fieldAccessorTable = new
498 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
499 internal_static_operations_research_sat_SparsePermutationProto_descriptor,
500 new java.lang.String[] { "Support", "CycleSizes", });
501 internal_static_operations_research_sat_DenseMatrixProto_descriptor =
502 getDescriptor().getMessageTypes().get(24);
503 internal_static_operations_research_sat_DenseMatrixProto_fieldAccessorTable = new
504 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
505 internal_static_operations_research_sat_DenseMatrixProto_descriptor,
506 new java.lang.String[] { "NumRows", "NumCols", "Entries", });
507 internal_static_operations_research_sat_SymmetryProto_descriptor =
508 getDescriptor().getMessageTypes().get(25);
509 internal_static_operations_research_sat_SymmetryProto_fieldAccessorTable = new
510 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
511 internal_static_operations_research_sat_SymmetryProto_descriptor,
512 new java.lang.String[] { "Permutations", "Orbitopes", });
513 internal_static_operations_research_sat_CpModelProto_descriptor =
514 getDescriptor().getMessageTypes().get(26);
515 internal_static_operations_research_sat_CpModelProto_fieldAccessorTable = new
516 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
517 internal_static_operations_research_sat_CpModelProto_descriptor,
518 new java.lang.String[] { "Name", "Variables", "Constraints", "Objective", "FloatingPointObjective", "SearchStrategy", "SolutionHint", "Assumptions", "Symmetry", });
519 internal_static_operations_research_sat_CpSolverSolution_descriptor =
520 getDescriptor().getMessageTypes().get(27);
521 internal_static_operations_research_sat_CpSolverSolution_fieldAccessorTable = new
522 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
523 internal_static_operations_research_sat_CpSolverSolution_descriptor,
524 new java.lang.String[] { "Values", });
525 internal_static_operations_research_sat_CpSolverResponse_descriptor =
526 getDescriptor().getMessageTypes().get(28);
527 internal_static_operations_research_sat_CpSolverResponse_fieldAccessorTable = new
528 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
529 internal_static_operations_research_sat_CpSolverResponse_descriptor,
530 new java.lang.String[] { "Status", "Solution", "ObjectiveValue", "BestObjectiveBound", "AdditionalSolutions", "TightenedVariables", "SufficientAssumptionsForInfeasibility", "IntegerObjective", "InnerObjectiveLowerBound", "NumIntegers", "NumBooleans", "NumFixedBooleans", "NumConflicts", "NumBranches", "NumBinaryPropagations", "NumIntegerPropagations", "NumRestarts", "NumLpIterations", "WallTime", "UserTime", "DeterministicTime", "GapIntegral", "SolutionInfo", "SolveLog", });
531 descriptor.resolveAllFeaturesImmutable();
532 }
533
534 // @@protoc_insertion_point(outer_class_scope)
535}
com.google.ortools.sat.CpModelProtobuf.registerAllExtensions
static void registerAllExtensions(com.google.protobuf.ExtensionRegistry registry)
Definition CpModelProtobuf.java:23
com.google.ortools.sat.CpModelProtobuf.getDescriptor
static com.google.protobuf.Descriptors.FileDescriptor getDescriptor()
Definition CpModelProtobuf.java:175
com.google.ortools.sat.CpModelProtobuf.registerAllExtensions
static void registerAllExtensions(com.google.protobuf.ExtensionRegistryLite registry)
Definition CpModelProtobuf.java:19