Google OR-Tools v9.14
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.31.1
5
6package com.google.ortools.sat;
7
8@com.google.protobuf.Generated
9public final class CpModelProtobuf {
10 private CpModelProtobuf() {}
11 static {
12 com.google.protobuf.RuntimeVersion.validateProtobufGencodeVersion(
13 com.google.protobuf.RuntimeVersion.RuntimeDomain.PUBLIC,
14 /* major= */ 4,
15 /* minor= */ 31,
16 /* patch= */ 1,
17 /* suffix= */ "",
18 CpModelProtobuf.class.getName());
19 }
20 public static void registerAllExtensions(
21 com.google.protobuf.ExtensionRegistryLite registry) {
22 }
23
24 public static void registerAllExtensions(
25 com.google.protobuf.ExtensionRegistry registry) {
26 registerAllExtensions(
27 (com.google.protobuf.ExtensionRegistryLite) registry);
28 }
29 static final com.google.protobuf.Descriptors.Descriptor
30 internal_static_operations_research_sat_IntegerVariableProto_descriptor;
31 static final
32 com.google.protobuf.GeneratedMessage.FieldAccessorTable
33 internal_static_operations_research_sat_IntegerVariableProto_fieldAccessorTable;
34 static final com.google.protobuf.Descriptors.Descriptor
35 internal_static_operations_research_sat_BoolArgumentProto_descriptor;
36 static final
37 com.google.protobuf.GeneratedMessage.FieldAccessorTable
38 internal_static_operations_research_sat_BoolArgumentProto_fieldAccessorTable;
39 static final com.google.protobuf.Descriptors.Descriptor
40 internal_static_operations_research_sat_LinearExpressionProto_descriptor;
41 static final
42 com.google.protobuf.GeneratedMessage.FieldAccessorTable
43 internal_static_operations_research_sat_LinearExpressionProto_fieldAccessorTable;
44 static final com.google.protobuf.Descriptors.Descriptor
45 internal_static_operations_research_sat_LinearArgumentProto_descriptor;
46 static final
47 com.google.protobuf.GeneratedMessage.FieldAccessorTable
48 internal_static_operations_research_sat_LinearArgumentProto_fieldAccessorTable;
49 static final com.google.protobuf.Descriptors.Descriptor
50 internal_static_operations_research_sat_AllDifferentConstraintProto_descriptor;
51 static final
52 com.google.protobuf.GeneratedMessage.FieldAccessorTable
53 internal_static_operations_research_sat_AllDifferentConstraintProto_fieldAccessorTable;
54 static final com.google.protobuf.Descriptors.Descriptor
55 internal_static_operations_research_sat_LinearConstraintProto_descriptor;
56 static final
57 com.google.protobuf.GeneratedMessage.FieldAccessorTable
58 internal_static_operations_research_sat_LinearConstraintProto_fieldAccessorTable;
59 static final com.google.protobuf.Descriptors.Descriptor
60 internal_static_operations_research_sat_ElementConstraintProto_descriptor;
61 static final
62 com.google.protobuf.GeneratedMessage.FieldAccessorTable
63 internal_static_operations_research_sat_ElementConstraintProto_fieldAccessorTable;
64 static final com.google.protobuf.Descriptors.Descriptor
65 internal_static_operations_research_sat_IntervalConstraintProto_descriptor;
66 static final
67 com.google.protobuf.GeneratedMessage.FieldAccessorTable
68 internal_static_operations_research_sat_IntervalConstraintProto_fieldAccessorTable;
69 static final com.google.protobuf.Descriptors.Descriptor
70 internal_static_operations_research_sat_NoOverlapConstraintProto_descriptor;
71 static final
72 com.google.protobuf.GeneratedMessage.FieldAccessorTable
73 internal_static_operations_research_sat_NoOverlapConstraintProto_fieldAccessorTable;
74 static final com.google.protobuf.Descriptors.Descriptor
75 internal_static_operations_research_sat_NoOverlap2DConstraintProto_descriptor;
76 static final
77 com.google.protobuf.GeneratedMessage.FieldAccessorTable
78 internal_static_operations_research_sat_NoOverlap2DConstraintProto_fieldAccessorTable;
79 static final com.google.protobuf.Descriptors.Descriptor
80 internal_static_operations_research_sat_CumulativeConstraintProto_descriptor;
81 static final
82 com.google.protobuf.GeneratedMessage.FieldAccessorTable
83 internal_static_operations_research_sat_CumulativeConstraintProto_fieldAccessorTable;
84 static final com.google.protobuf.Descriptors.Descriptor
85 internal_static_operations_research_sat_ReservoirConstraintProto_descriptor;
86 static final
87 com.google.protobuf.GeneratedMessage.FieldAccessorTable
88 internal_static_operations_research_sat_ReservoirConstraintProto_fieldAccessorTable;
89 static final com.google.protobuf.Descriptors.Descriptor
90 internal_static_operations_research_sat_CircuitConstraintProto_descriptor;
91 static final
92 com.google.protobuf.GeneratedMessage.FieldAccessorTable
93 internal_static_operations_research_sat_CircuitConstraintProto_fieldAccessorTable;
94 static final com.google.protobuf.Descriptors.Descriptor
95 internal_static_operations_research_sat_RoutesConstraintProto_descriptor;
96 static final
97 com.google.protobuf.GeneratedMessage.FieldAccessorTable
98 internal_static_operations_research_sat_RoutesConstraintProto_fieldAccessorTable;
99 static final com.google.protobuf.Descriptors.Descriptor
100 internal_static_operations_research_sat_RoutesConstraintProto_NodeExpressions_descriptor;
101 static final
102 com.google.protobuf.GeneratedMessage.FieldAccessorTable
103 internal_static_operations_research_sat_RoutesConstraintProto_NodeExpressions_fieldAccessorTable;
104 static final com.google.protobuf.Descriptors.Descriptor
105 internal_static_operations_research_sat_TableConstraintProto_descriptor;
106 static final
107 com.google.protobuf.GeneratedMessage.FieldAccessorTable
108 internal_static_operations_research_sat_TableConstraintProto_fieldAccessorTable;
109 static final com.google.protobuf.Descriptors.Descriptor
110 internal_static_operations_research_sat_InverseConstraintProto_descriptor;
111 static final
112 com.google.protobuf.GeneratedMessage.FieldAccessorTable
113 internal_static_operations_research_sat_InverseConstraintProto_fieldAccessorTable;
114 static final com.google.protobuf.Descriptors.Descriptor
115 internal_static_operations_research_sat_AutomatonConstraintProto_descriptor;
116 static final
117 com.google.protobuf.GeneratedMessage.FieldAccessorTable
118 internal_static_operations_research_sat_AutomatonConstraintProto_fieldAccessorTable;
119 static final com.google.protobuf.Descriptors.Descriptor
120 internal_static_operations_research_sat_ListOfVariablesProto_descriptor;
121 static final
122 com.google.protobuf.GeneratedMessage.FieldAccessorTable
123 internal_static_operations_research_sat_ListOfVariablesProto_fieldAccessorTable;
124 static final com.google.protobuf.Descriptors.Descriptor
125 internal_static_operations_research_sat_ConstraintProto_descriptor;
126 static final
127 com.google.protobuf.GeneratedMessage.FieldAccessorTable
128 internal_static_operations_research_sat_ConstraintProto_fieldAccessorTable;
129 static final com.google.protobuf.Descriptors.Descriptor
130 internal_static_operations_research_sat_CpObjectiveProto_descriptor;
131 static final
132 com.google.protobuf.GeneratedMessage.FieldAccessorTable
133 internal_static_operations_research_sat_CpObjectiveProto_fieldAccessorTable;
134 static final com.google.protobuf.Descriptors.Descriptor
135 internal_static_operations_research_sat_FloatObjectiveProto_descriptor;
136 static final
137 com.google.protobuf.GeneratedMessage.FieldAccessorTable
138 internal_static_operations_research_sat_FloatObjectiveProto_fieldAccessorTable;
139 static final com.google.protobuf.Descriptors.Descriptor
140 internal_static_operations_research_sat_DecisionStrategyProto_descriptor;
141 static final
142 com.google.protobuf.GeneratedMessage.FieldAccessorTable
143 internal_static_operations_research_sat_DecisionStrategyProto_fieldAccessorTable;
144 static final com.google.protobuf.Descriptors.Descriptor
145 internal_static_operations_research_sat_PartialVariableAssignment_descriptor;
146 static final
147 com.google.protobuf.GeneratedMessage.FieldAccessorTable
148 internal_static_operations_research_sat_PartialVariableAssignment_fieldAccessorTable;
149 static final com.google.protobuf.Descriptors.Descriptor
150 internal_static_operations_research_sat_SparsePermutationProto_descriptor;
151 static final
152 com.google.protobuf.GeneratedMessage.FieldAccessorTable
153 internal_static_operations_research_sat_SparsePermutationProto_fieldAccessorTable;
154 static final com.google.protobuf.Descriptors.Descriptor
155 internal_static_operations_research_sat_DenseMatrixProto_descriptor;
156 static final
157 com.google.protobuf.GeneratedMessage.FieldAccessorTable
158 internal_static_operations_research_sat_DenseMatrixProto_fieldAccessorTable;
159 static final com.google.protobuf.Descriptors.Descriptor
160 internal_static_operations_research_sat_SymmetryProto_descriptor;
161 static final
162 com.google.protobuf.GeneratedMessage.FieldAccessorTable
163 internal_static_operations_research_sat_SymmetryProto_fieldAccessorTable;
164 static final com.google.protobuf.Descriptors.Descriptor
165 internal_static_operations_research_sat_CpModelProto_descriptor;
166 static final
167 com.google.protobuf.GeneratedMessage.FieldAccessorTable
168 internal_static_operations_research_sat_CpModelProto_fieldAccessorTable;
169 static final com.google.protobuf.Descriptors.Descriptor
170 internal_static_operations_research_sat_CpSolverSolution_descriptor;
171 static final
172 com.google.protobuf.GeneratedMessage.FieldAccessorTable
173 internal_static_operations_research_sat_CpSolverSolution_fieldAccessorTable;
174 static final com.google.protobuf.Descriptors.Descriptor
175 internal_static_operations_research_sat_CpSolverResponse_descriptor;
176 static final
177 com.google.protobuf.GeneratedMessage.FieldAccessorTable
178 internal_static_operations_research_sat_CpSolverResponse_fieldAccessorTable;
179
180 public static com.google.protobuf.Descriptors.FileDescriptor
181 getDescriptor() {
182 return descriptor;
183 }
184 private static com.google.protobuf.Descriptors.FileDescriptor
185 descriptor;
186 static {
187 java.lang.String[] descriptorData = {
188 "\n\032ortools/sat/cp_model.proto\022\027operations" +
189 "_research.sat\"4\n\024IntegerVariableProto\022\014\n" +
190 "\004name\030\001 \001(\t\022\016\n\006domain\030\002 \003(\003\"%\n\021BoolArgum" +
191 "entProto\022\020\n\010literals\030\001 \003(\005\"E\n\025LinearExpr" +
192 "essionProto\022\014\n\004vars\030\001 \003(\005\022\016\n\006coeffs\030\002 \003(" +
193 "\003\022\016\n\006offset\030\003 \001(\003\"\224\001\n\023LinearArgumentProt" +
194 "o\022>\n\006target\030\001 \001(\0132..operations_research." +
195 "sat.LinearExpressionProto\022=\n\005exprs\030\002 \003(\013" +
196 "2..operations_research.sat.LinearExpress" +
197 "ionProto\"\\\n\033AllDifferentConstraintProto\022" +
198 "=\n\005exprs\030\001 \003(\0132..operations_research.sat" +
199 ".LinearExpressionProto\"E\n\025LinearConstrai" +
200 "ntProto\022\014\n\004vars\030\001 \003(\005\022\016\n\006coeffs\030\002 \003(\003\022\016\n" +
201 "\006domain\030\003 \003(\003\"\221\002\n\026ElementConstraintProto" +
202 "\022\r\n\005index\030\001 \001(\005\022\016\n\006target\030\002 \001(\005\022\014\n\004vars\030" +
203 "\003 \003(\005\022D\n\014linear_index\030\004 \001(\0132..operations" +
204 "_research.sat.LinearExpressionProto\022E\n\rl" +
205 "inear_target\030\005 \001(\0132..operations_research" +
206 ".sat.LinearExpressionProto\022=\n\005exprs\030\006 \003(" +
207 "\0132..operations_research.sat.LinearExpres" +
208 "sionProto\"\323\001\n\027IntervalConstraintProto\022=\n" +
209 "\005start\030\004 \001(\0132..operations_research.sat.L" +
210 "inearExpressionProto\022;\n\003end\030\005 \001(\0132..oper" +
211 "ations_research.sat.LinearExpressionProt" +
212 "o\022<\n\004size\030\006 \001(\0132..operations_research.sa" +
213 "t.LinearExpressionProto\"-\n\030NoOverlapCons" +
214 "traintProto\022\021\n\tintervals\030\001 \003(\005\"F\n\032NoOver" +
215 "lap2DConstraintProto\022\023\n\013x_intervals\030\001 \003(" +
216 "\005\022\023\n\013y_intervals\030\002 \003(\005\"\261\001\n\031CumulativeCon" +
217 "straintProto\022@\n\010capacity\030\001 \001(\0132..operati" +
218 "ons_research.sat.LinearExpressionProto\022\021" +
219 "\n\tintervals\030\002 \003(\005\022?\n\007demands\030\003 \003(\0132..ope" +
220 "rations_research.sat.LinearExpressionPro" +
221 "to\"\352\001\n\030ReservoirConstraintProto\022\021\n\tmin_l" +
222 "evel\030\001 \001(\003\022\021\n\tmax_level\030\002 \001(\003\022B\n\ntime_ex" +
223 "prs\030\003 \003(\0132..operations_research.sat.Line" +
224 "arExpressionProto\022E\n\rlevel_changes\030\006 \003(\013" +
225 "2..operations_research.sat.LinearExpress" +
226 "ionProto\022\027\n\017active_literals\030\005 \003(\005J\004\010\004\020\005\"" +
227 "H\n\026CircuitConstraintProto\022\r\n\005tails\030\003 \003(\005" +
228 "\022\r\n\005heads\030\004 \003(\005\022\020\n\010literals\030\005 \003(\005\"\220\002\n\025Ro" +
229 "utesConstraintProto\022\r\n\005tails\030\001 \003(\005\022\r\n\005he" +
230 "ads\030\002 \003(\005\022\020\n\010literals\030\003 \003(\005\022\017\n\007demands\030\004" +
231 " \003(\005\022\020\n\010capacity\030\005 \001(\003\022R\n\ndimensions\030\006 \003" +
232 "(\0132>.operations_research.sat.RoutesConst" +
233 "raintProto.NodeExpressions\032P\n\017NodeExpres" +
234 "sions\022=\n\005exprs\030\001 \003(\0132..operations_resear" +
235 "ch.sat.LinearExpressionProto\"\204\001\n\024TableCo" +
236 "nstraintProto\022\014\n\004vars\030\001 \003(\005\022\016\n\006values\030\002 " +
237 "\003(\003\022=\n\005exprs\030\004 \003(\0132..operations_research" +
238 ".sat.LinearExpressionProto\022\017\n\007negated\030\003 " +
239 "\001(\010\"=\n\026InverseConstraintProto\022\020\n\010f_direc" +
240 "t\030\001 \003(\005\022\021\n\tf_inverse\030\002 \003(\005\"\341\001\n\030Automaton" +
241 "ConstraintProto\022\026\n\016starting_state\030\002 \001(\003\022" +
242 "\024\n\014final_states\030\003 \003(\003\022\027\n\017transition_tail" +
243 "\030\004 \003(\003\022\027\n\017transition_head\030\005 \003(\003\022\030\n\020trans" +
244 "ition_label\030\006 \003(\003\022\014\n\004vars\030\007 \003(\005\022=\n\005exprs" +
245 "\030\010 \003(\0132..operations_research.sat.LinearE" +
246 "xpressionProto\"$\n\024ListOfVariablesProto\022\014" +
247 "\n\004vars\030\001 \003(\005\"\360\014\n\017ConstraintProto\022\014\n\004name" +
248 "\030\001 \001(\t\022\033\n\023enforcement_literal\030\002 \003(\005\022=\n\007b" +
249 "ool_or\030\003 \001(\0132*.operations_research.sat.B" +
250 "oolArgumentProtoH\000\022>\n\010bool_and\030\004 \001(\0132*.o" +
251 "perations_research.sat.BoolArgumentProto" +
252 "H\000\022A\n\013at_most_one\030\032 \001(\0132*.operations_res" +
253 "earch.sat.BoolArgumentProtoH\000\022A\n\013exactly" +
254 "_one\030\035 \001(\0132*.operations_research.sat.Boo" +
255 "lArgumentProtoH\000\022>\n\010bool_xor\030\005 \001(\0132*.ope" +
256 "rations_research.sat.BoolArgumentProtoH\000" +
257 "\022?\n\007int_div\030\007 \001(\0132,.operations_research." +
258 "sat.LinearArgumentProtoH\000\022?\n\007int_mod\030\010 \001" +
259 "(\0132,.operations_research.sat.LinearArgum" +
260 "entProtoH\000\022@\n\010int_prod\030\013 \001(\0132,.operation" +
261 "s_research.sat.LinearArgumentProtoH\000\022?\n\007" +
262 "lin_max\030\033 \001(\0132,.operations_research.sat." +
263 "LinearArgumentProtoH\000\022@\n\006linear\030\014 \001(\0132.." +
264 "operations_research.sat.LinearConstraint" +
265 "ProtoH\000\022H\n\010all_diff\030\r \001(\01324.operations_r" +
266 "esearch.sat.AllDifferentConstraintProtoH" +
267 "\000\022B\n\007element\030\016 \001(\0132/.operations_research" +
268 ".sat.ElementConstraintProtoH\000\022B\n\007circuit" +
269 "\030\017 \001(\0132/.operations_research.sat.Circuit" +
270 "ConstraintProtoH\000\022@\n\006routes\030\027 \001(\0132..oper" +
271 "ations_research.sat.RoutesConstraintProt" +
272 "oH\000\022>\n\005table\030\020 \001(\0132-.operations_research" +
273 ".sat.TableConstraintProtoH\000\022F\n\tautomaton" +
274 "\030\021 \001(\01321.operations_research.sat.Automat" +
275 "onConstraintProtoH\000\022B\n\007inverse\030\022 \001(\0132/.o" +
276 "perations_research.sat.InverseConstraint" +
277 "ProtoH\000\022F\n\treservoir\030\030 \001(\01321.operations_" +
278 "research.sat.ReservoirConstraintProtoH\000\022" +
279 "D\n\010interval\030\023 \001(\01320.operations_research." +
280 "sat.IntervalConstraintProtoH\000\022G\n\nno_over" +
281 "lap\030\024 \001(\01321.operations_research.sat.NoOv" +
282 "erlapConstraintProtoH\000\022L\n\rno_overlap_2d\030" +
283 "\025 \001(\01323.operations_research.sat.NoOverla" +
284 "p2DConstraintProtoH\000\022H\n\ncumulative\030\026 \001(\013" +
285 "22.operations_research.sat.CumulativeCon" +
286 "straintProtoH\000\022I\n\020dummy_constraint\030\036 \001(\013" +
287 "2-.operations_research.sat.ListOfVariabl" +
288 "esProtoH\000B\014\n\nconstraint\"\340\001\n\020CpObjectiveP" +
289 "roto\022\014\n\004vars\030\001 \003(\005\022\016\n\006coeffs\030\004 \003(\003\022\016\n\006of" +
290 "fset\030\002 \001(\001\022\026\n\016scaling_factor\030\003 \001(\001\022\016\n\006do" +
291 "main\030\005 \003(\003\022\031\n\021scaling_was_exact\030\006 \001(\010\022\035\n" +
292 "\025integer_before_offset\030\007 \001(\003\022\034\n\024integer_" +
293 "after_offset\030\t \001(\003\022\036\n\026integer_scaling_fa" +
294 "ctor\030\010 \001(\003\"U\n\023FloatObjectiveProto\022\014\n\004var" +
295 "s\030\001 \003(\005\022\016\n\006coeffs\030\002 \003(\001\022\016\n\006offset\030\003 \001(\001\022" +
296 "\020\n\010maximize\030\004 \001(\010\"\201\005\n\025DecisionStrategyPr" +
297 "oto\022\021\n\tvariables\030\001 \003(\005\022=\n\005exprs\030\005 \003(\0132.." +
298 "operations_research.sat.LinearExpression" +
299 "Proto\022m\n\033variable_selection_strategy\030\002 \001" +
300 "(\0162H.operations_research.sat.DecisionStr" +
301 "ategyProto.VariableSelectionStrategy\022i\n\031" +
302 "domain_reduction_strategy\030\003 \001(\0162F.operat" +
303 "ions_research.sat.DecisionStrategyProto." +
304 "DomainReductionStrategy\"\224\001\n\031VariableSele" +
305 "ctionStrategy\022\020\n\014CHOOSE_FIRST\020\000\022\025\n\021CHOOS" +
306 "E_LOWEST_MIN\020\001\022\026\n\022CHOOSE_HIGHEST_MAX\020\002\022\032" +
307 "\n\026CHOOSE_MIN_DOMAIN_SIZE\020\003\022\032\n\026CHOOSE_MAX" +
308 "_DOMAIN_SIZE\020\004\"\244\001\n\027DomainReductionStrate" +
309 "gy\022\024\n\020SELECT_MIN_VALUE\020\000\022\024\n\020SELECT_MAX_V" +
310 "ALUE\020\001\022\025\n\021SELECT_LOWER_HALF\020\002\022\025\n\021SELECT_" +
311 "UPPER_HALF\020\003\022\027\n\023SELECT_MEDIAN_VALUE\020\004\022\026\n" +
312 "\022SELECT_RANDOM_HALF\020\005\"9\n\031PartialVariable" +
313 "Assignment\022\014\n\004vars\030\001 \003(\005\022\016\n\006values\030\002 \003(\003" +
314 "\">\n\026SparsePermutationProto\022\017\n\007support\030\001 " +
315 "\003(\005\022\023\n\013cycle_sizes\030\002 \003(\005\"G\n\020DenseMatrixP" +
316 "roto\022\020\n\010num_rows\030\001 \001(\005\022\020\n\010num_cols\030\002 \001(\005" +
317 "\022\017\n\007entries\030\003 \003(\005\"\224\001\n\rSymmetryProto\022E\n\014p" +
318 "ermutations\030\001 \003(\0132/.operations_research." +
319 "sat.SparsePermutationProto\022<\n\torbitopes\030" +
320 "\002 \003(\0132).operations_research.sat.DenseMat" +
321 "rixProto\"\216\004\n\014CpModelProto\022\014\n\004name\030\001 \001(\t\022" +
322 "@\n\tvariables\030\002 \003(\0132-.operations_research" +
323 ".sat.IntegerVariableProto\022=\n\013constraints" +
324 "\030\003 \003(\0132(.operations_research.sat.Constra" +
325 "intProto\022<\n\tobjective\030\004 \001(\0132).operations" +
326 "_research.sat.CpObjectiveProto\022N\n\030floati" +
327 "ng_point_objective\030\t \001(\0132,.operations_re" +
328 "search.sat.FloatObjectiveProto\022G\n\017search" +
329 "_strategy\030\005 \003(\0132..operations_research.sa" +
330 "t.DecisionStrategyProto\022I\n\rsolution_hint" +
331 "\030\006 \001(\01322.operations_research.sat.Partial" +
332 "VariableAssignment\022\023\n\013assumptions\030\007 \003(\005\022" +
333 "8\n\010symmetry\030\010 \001(\0132&.operations_research." +
334 "sat.SymmetryProto\"\"\n\020CpSolverSolution\022\016\n" +
335 "\006values\030\001 \003(\003\"\261\006\n\020CpSolverResponse\0227\n\006st" +
336 "atus\030\001 \001(\0162\'.operations_research.sat.CpS" +
337 "olverStatus\022\020\n\010solution\030\002 \003(\003\022\027\n\017objecti" +
338 "ve_value\030\003 \001(\001\022\034\n\024best_objective_bound\030\004" +
339 " \001(\001\022G\n\024additional_solutions\030\033 \003(\0132).ope" +
340 "rations_research.sat.CpSolverSolution\022J\n" +
341 "\023tightened_variables\030\025 \003(\0132-.operations_" +
342 "research.sat.IntegerVariableProto\0220\n(suf" +
343 "ficient_assumptions_for_infeasibility\030\027 " +
344 "\003(\005\022D\n\021integer_objective\030\034 \001(\0132).operati" +
345 "ons_research.sat.CpObjectiveProto\022#\n\033inn" +
346 "er_objective_lower_bound\030\035 \001(\003\022\024\n\014num_in" +
347 "tegers\030\036 \001(\003\022\024\n\014num_booleans\030\n \001(\003\022\032\n\022nu" +
348 "m_fixed_booleans\030\037 \001(\003\022\025\n\rnum_conflicts\030" +
349 "\013 \001(\003\022\024\n\014num_branches\030\014 \001(\003\022\037\n\027num_binar" +
350 "y_propagations\030\r \001(\003\022 \n\030num_integer_prop" +
351 "agations\030\016 \001(\003\022\024\n\014num_restarts\030\030 \001(\003\022\031\n\021" +
352 "num_lp_iterations\030\031 \001(\003\022\021\n\twall_time\030\017 \001" +
353 "(\001\022\021\n\tuser_time\030\020 \001(\001\022\032\n\022deterministic_t" +
354 "ime\030\021 \001(\001\022\024\n\014gap_integral\030\026 \001(\001\022\025\n\rsolut" +
355 "ion_info\030\024 \001(\t\022\021\n\tsolve_log\030\032 \001(\t*[\n\016CpS" +
356 "olverStatus\022\013\n\007UNKNOWN\020\000\022\021\n\rMODEL_INVALI" +
357 "D\020\001\022\014\n\010FEASIBLE\020\002\022\016\n\nINFEASIBLE\020\003\022\013\n\007OPT" +
358 "IMAL\020\004Bv\n\026com.google.ortools.satB\017CpMode" +
359 "lProtobufP\001Z4github.com/google/or-tools/" +
360 "ortools/sat/proto/cpmodel\252\002\022Google.OrToo" +
361 "ls.Satb\006proto3"
362 };
363 descriptor = com.google.protobuf.Descriptors.FileDescriptor
364 .internalBuildGeneratedFileFrom(descriptorData,
365 new com.google.protobuf.Descriptors.FileDescriptor[] {
366 });
367 internal_static_operations_research_sat_IntegerVariableProto_descriptor =
368 getDescriptor().getMessageTypes().get(0);
369 internal_static_operations_research_sat_IntegerVariableProto_fieldAccessorTable = new
370 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
371 internal_static_operations_research_sat_IntegerVariableProto_descriptor,
372 new java.lang.String[] { "Name", "Domain", });
373 internal_static_operations_research_sat_BoolArgumentProto_descriptor =
374 getDescriptor().getMessageTypes().get(1);
375 internal_static_operations_research_sat_BoolArgumentProto_fieldAccessorTable = new
376 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
377 internal_static_operations_research_sat_BoolArgumentProto_descriptor,
378 new java.lang.String[] { "Literals", });
379 internal_static_operations_research_sat_LinearExpressionProto_descriptor =
380 getDescriptor().getMessageTypes().get(2);
381 internal_static_operations_research_sat_LinearExpressionProto_fieldAccessorTable = new
382 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
383 internal_static_operations_research_sat_LinearExpressionProto_descriptor,
384 new java.lang.String[] { "Vars", "Coeffs", "Offset", });
385 internal_static_operations_research_sat_LinearArgumentProto_descriptor =
386 getDescriptor().getMessageTypes().get(3);
387 internal_static_operations_research_sat_LinearArgumentProto_fieldAccessorTable = new
388 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
389 internal_static_operations_research_sat_LinearArgumentProto_descriptor,
390 new java.lang.String[] { "Target", "Exprs", });
391 internal_static_operations_research_sat_AllDifferentConstraintProto_descriptor =
392 getDescriptor().getMessageTypes().get(4);
393 internal_static_operations_research_sat_AllDifferentConstraintProto_fieldAccessorTable = new
394 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
395 internal_static_operations_research_sat_AllDifferentConstraintProto_descriptor,
396 new java.lang.String[] { "Exprs", });
397 internal_static_operations_research_sat_LinearConstraintProto_descriptor =
398 getDescriptor().getMessageTypes().get(5);
399 internal_static_operations_research_sat_LinearConstraintProto_fieldAccessorTable = new
400 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
401 internal_static_operations_research_sat_LinearConstraintProto_descriptor,
402 new java.lang.String[] { "Vars", "Coeffs", "Domain", });
403 internal_static_operations_research_sat_ElementConstraintProto_descriptor =
404 getDescriptor().getMessageTypes().get(6);
405 internal_static_operations_research_sat_ElementConstraintProto_fieldAccessorTable = new
406 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
407 internal_static_operations_research_sat_ElementConstraintProto_descriptor,
408 new java.lang.String[] { "Index", "Target", "Vars", "LinearIndex", "LinearTarget", "Exprs", });
409 internal_static_operations_research_sat_IntervalConstraintProto_descriptor =
410 getDescriptor().getMessageTypes().get(7);
411 internal_static_operations_research_sat_IntervalConstraintProto_fieldAccessorTable = new
412 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
413 internal_static_operations_research_sat_IntervalConstraintProto_descriptor,
414 new java.lang.String[] { "Start", "End", "Size", });
415 internal_static_operations_research_sat_NoOverlapConstraintProto_descriptor =
416 getDescriptor().getMessageTypes().get(8);
417 internal_static_operations_research_sat_NoOverlapConstraintProto_fieldAccessorTable = new
418 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
419 internal_static_operations_research_sat_NoOverlapConstraintProto_descriptor,
420 new java.lang.String[] { "Intervals", });
421 internal_static_operations_research_sat_NoOverlap2DConstraintProto_descriptor =
422 getDescriptor().getMessageTypes().get(9);
423 internal_static_operations_research_sat_NoOverlap2DConstraintProto_fieldAccessorTable = new
424 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
425 internal_static_operations_research_sat_NoOverlap2DConstraintProto_descriptor,
426 new java.lang.String[] { "XIntervals", "YIntervals", });
427 internal_static_operations_research_sat_CumulativeConstraintProto_descriptor =
428 getDescriptor().getMessageTypes().get(10);
429 internal_static_operations_research_sat_CumulativeConstraintProto_fieldAccessorTable = new
430 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
431 internal_static_operations_research_sat_CumulativeConstraintProto_descriptor,
432 new java.lang.String[] { "Capacity", "Intervals", "Demands", });
433 internal_static_operations_research_sat_ReservoirConstraintProto_descriptor =
434 getDescriptor().getMessageTypes().get(11);
435 internal_static_operations_research_sat_ReservoirConstraintProto_fieldAccessorTable = new
436 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
437 internal_static_operations_research_sat_ReservoirConstraintProto_descriptor,
438 new java.lang.String[] { "MinLevel", "MaxLevel", "TimeExprs", "LevelChanges", "ActiveLiterals", });
439 internal_static_operations_research_sat_CircuitConstraintProto_descriptor =
440 getDescriptor().getMessageTypes().get(12);
441 internal_static_operations_research_sat_CircuitConstraintProto_fieldAccessorTable = new
442 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
443 internal_static_operations_research_sat_CircuitConstraintProto_descriptor,
444 new java.lang.String[] { "Tails", "Heads", "Literals", });
445 internal_static_operations_research_sat_RoutesConstraintProto_descriptor =
446 getDescriptor().getMessageTypes().get(13);
447 internal_static_operations_research_sat_RoutesConstraintProto_fieldAccessorTable = new
448 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
449 internal_static_operations_research_sat_RoutesConstraintProto_descriptor,
450 new java.lang.String[] { "Tails", "Heads", "Literals", "Demands", "Capacity", "Dimensions", });
451 internal_static_operations_research_sat_RoutesConstraintProto_NodeExpressions_descriptor =
452 internal_static_operations_research_sat_RoutesConstraintProto_descriptor.getNestedTypes().get(0);
453 internal_static_operations_research_sat_RoutesConstraintProto_NodeExpressions_fieldAccessorTable = new
454 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
455 internal_static_operations_research_sat_RoutesConstraintProto_NodeExpressions_descriptor,
456 new java.lang.String[] { "Exprs", });
457 internal_static_operations_research_sat_TableConstraintProto_descriptor =
458 getDescriptor().getMessageTypes().get(14);
459 internal_static_operations_research_sat_TableConstraintProto_fieldAccessorTable = new
460 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
461 internal_static_operations_research_sat_TableConstraintProto_descriptor,
462 new java.lang.String[] { "Vars", "Values", "Exprs", "Negated", });
463 internal_static_operations_research_sat_InverseConstraintProto_descriptor =
464 getDescriptor().getMessageTypes().get(15);
465 internal_static_operations_research_sat_InverseConstraintProto_fieldAccessorTable = new
466 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
467 internal_static_operations_research_sat_InverseConstraintProto_descriptor,
468 new java.lang.String[] { "FDirect", "FInverse", });
469 internal_static_operations_research_sat_AutomatonConstraintProto_descriptor =
470 getDescriptor().getMessageTypes().get(16);
471 internal_static_operations_research_sat_AutomatonConstraintProto_fieldAccessorTable = new
472 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
473 internal_static_operations_research_sat_AutomatonConstraintProto_descriptor,
474 new java.lang.String[] { "StartingState", "FinalStates", "TransitionTail", "TransitionHead", "TransitionLabel", "Vars", "Exprs", });
475 internal_static_operations_research_sat_ListOfVariablesProto_descriptor =
476 getDescriptor().getMessageTypes().get(17);
477 internal_static_operations_research_sat_ListOfVariablesProto_fieldAccessorTable = new
478 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
479 internal_static_operations_research_sat_ListOfVariablesProto_descriptor,
480 new java.lang.String[] { "Vars", });
481 internal_static_operations_research_sat_ConstraintProto_descriptor =
482 getDescriptor().getMessageTypes().get(18);
483 internal_static_operations_research_sat_ConstraintProto_fieldAccessorTable = new
484 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
485 internal_static_operations_research_sat_ConstraintProto_descriptor,
486 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", });
487 internal_static_operations_research_sat_CpObjectiveProto_descriptor =
488 getDescriptor().getMessageTypes().get(19);
489 internal_static_operations_research_sat_CpObjectiveProto_fieldAccessorTable = new
490 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
491 internal_static_operations_research_sat_CpObjectiveProto_descriptor,
492 new java.lang.String[] { "Vars", "Coeffs", "Offset", "ScalingFactor", "Domain", "ScalingWasExact", "IntegerBeforeOffset", "IntegerAfterOffset", "IntegerScalingFactor", });
493 internal_static_operations_research_sat_FloatObjectiveProto_descriptor =
494 getDescriptor().getMessageTypes().get(20);
495 internal_static_operations_research_sat_FloatObjectiveProto_fieldAccessorTable = new
496 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
497 internal_static_operations_research_sat_FloatObjectiveProto_descriptor,
498 new java.lang.String[] { "Vars", "Coeffs", "Offset", "Maximize", });
499 internal_static_operations_research_sat_DecisionStrategyProto_descriptor =
500 getDescriptor().getMessageTypes().get(21);
501 internal_static_operations_research_sat_DecisionStrategyProto_fieldAccessorTable = new
502 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
503 internal_static_operations_research_sat_DecisionStrategyProto_descriptor,
504 new java.lang.String[] { "Variables", "Exprs", "VariableSelectionStrategy", "DomainReductionStrategy", });
505 internal_static_operations_research_sat_PartialVariableAssignment_descriptor =
506 getDescriptor().getMessageTypes().get(22);
507 internal_static_operations_research_sat_PartialVariableAssignment_fieldAccessorTable = new
508 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
509 internal_static_operations_research_sat_PartialVariableAssignment_descriptor,
510 new java.lang.String[] { "Vars", "Values", });
511 internal_static_operations_research_sat_SparsePermutationProto_descriptor =
512 getDescriptor().getMessageTypes().get(23);
513 internal_static_operations_research_sat_SparsePermutationProto_fieldAccessorTable = new
514 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
515 internal_static_operations_research_sat_SparsePermutationProto_descriptor,
516 new java.lang.String[] { "Support", "CycleSizes", });
517 internal_static_operations_research_sat_DenseMatrixProto_descriptor =
518 getDescriptor().getMessageTypes().get(24);
519 internal_static_operations_research_sat_DenseMatrixProto_fieldAccessorTable = new
520 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
521 internal_static_operations_research_sat_DenseMatrixProto_descriptor,
522 new java.lang.String[] { "NumRows", "NumCols", "Entries", });
523 internal_static_operations_research_sat_SymmetryProto_descriptor =
524 getDescriptor().getMessageTypes().get(25);
525 internal_static_operations_research_sat_SymmetryProto_fieldAccessorTable = new
526 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
527 internal_static_operations_research_sat_SymmetryProto_descriptor,
528 new java.lang.String[] { "Permutations", "Orbitopes", });
529 internal_static_operations_research_sat_CpModelProto_descriptor =
530 getDescriptor().getMessageTypes().get(26);
531 internal_static_operations_research_sat_CpModelProto_fieldAccessorTable = new
532 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
533 internal_static_operations_research_sat_CpModelProto_descriptor,
534 new java.lang.String[] { "Name", "Variables", "Constraints", "Objective", "FloatingPointObjective", "SearchStrategy", "SolutionHint", "Assumptions", "Symmetry", });
535 internal_static_operations_research_sat_CpSolverSolution_descriptor =
536 getDescriptor().getMessageTypes().get(27);
537 internal_static_operations_research_sat_CpSolverSolution_fieldAccessorTable = new
538 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
539 internal_static_operations_research_sat_CpSolverSolution_descriptor,
540 new java.lang.String[] { "Values", });
541 internal_static_operations_research_sat_CpSolverResponse_descriptor =
542 getDescriptor().getMessageTypes().get(28);
543 internal_static_operations_research_sat_CpSolverResponse_fieldAccessorTable = new
544 com.google.protobuf.GeneratedMessage.FieldAccessorTable(
545 internal_static_operations_research_sat_CpSolverResponse_descriptor,
546 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", });
547 descriptor.resolveAllFeaturesImmutable();
548 }
549
550 // @@protoc_insertion_point(outer_class_scope)
551}
com.google.ortools.sat.CpModelProtobuf.registerAllExtensions
static void registerAllExtensions(com.google.protobuf.ExtensionRegistry registry)
Definition CpModelProtobuf.java:24
com.google.ortools.sat.CpModelProtobuf.getDescriptor
static com.google.protobuf.Descriptors.FileDescriptor getDescriptor()
Definition CpModelProtobuf.java:181
com.google.ortools.sat.CpModelProtobuf.registerAllExtensions
static void registerAllExtensions(com.google.protobuf.ExtensionRegistryLite registry)
Definition CpModelProtobuf.java:20