Java Reference

Java Reference

CpModelProtobuf.java
Go to the documentation of this file.
1 // Generated by the protocol buffer compiler. DO NOT EDIT!
2 // source: ortools/sat/cp_model.proto
3 
4 package com.google.ortools.sat;
5 
6 public final class CpModelProtobuf {
7  private CpModelProtobuf() {}
8  public static void registerAllExtensions(
9  com.google.protobuf.ExtensionRegistryLite registry) {
10  }
11 
12  public static void registerAllExtensions(
13  com.google.protobuf.ExtensionRegistry registry) {
15  (com.google.protobuf.ExtensionRegistryLite) registry);
16  }
17  static final com.google.protobuf.Descriptors.Descriptor
18  internal_static_operations_research_sat_IntegerVariableProto_descriptor;
19  static final
20  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
21  internal_static_operations_research_sat_IntegerVariableProto_fieldAccessorTable;
22  static final com.google.protobuf.Descriptors.Descriptor
23  internal_static_operations_research_sat_BoolArgumentProto_descriptor;
24  static final
25  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
26  internal_static_operations_research_sat_BoolArgumentProto_fieldAccessorTable;
27  static final com.google.protobuf.Descriptors.Descriptor
28  internal_static_operations_research_sat_IntegerArgumentProto_descriptor;
29  static final
30  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
31  internal_static_operations_research_sat_IntegerArgumentProto_fieldAccessorTable;
32  static final com.google.protobuf.Descriptors.Descriptor
33  internal_static_operations_research_sat_LinearExpressionProto_descriptor;
34  static final
35  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
36  internal_static_operations_research_sat_LinearExpressionProto_fieldAccessorTable;
37  static final com.google.protobuf.Descriptors.Descriptor
38  internal_static_operations_research_sat_LinearArgumentProto_descriptor;
39  static final
40  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
41  internal_static_operations_research_sat_LinearArgumentProto_fieldAccessorTable;
42  static final com.google.protobuf.Descriptors.Descriptor
43  internal_static_operations_research_sat_AllDifferentConstraintProto_descriptor;
44  static final
45  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
46  internal_static_operations_research_sat_AllDifferentConstraintProto_fieldAccessorTable;
47  static final com.google.protobuf.Descriptors.Descriptor
48  internal_static_operations_research_sat_LinearConstraintProto_descriptor;
49  static final
50  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
51  internal_static_operations_research_sat_LinearConstraintProto_fieldAccessorTable;
52  static final com.google.protobuf.Descriptors.Descriptor
53  internal_static_operations_research_sat_ElementConstraintProto_descriptor;
54  static final
55  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
56  internal_static_operations_research_sat_ElementConstraintProto_fieldAccessorTable;
57  static final com.google.protobuf.Descriptors.Descriptor
58  internal_static_operations_research_sat_IntervalConstraintProto_descriptor;
59  static final
60  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
61  internal_static_operations_research_sat_IntervalConstraintProto_fieldAccessorTable;
62  static final com.google.protobuf.Descriptors.Descriptor
63  internal_static_operations_research_sat_NoOverlapConstraintProto_descriptor;
64  static final
65  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
66  internal_static_operations_research_sat_NoOverlapConstraintProto_fieldAccessorTable;
67  static final com.google.protobuf.Descriptors.Descriptor
68  internal_static_operations_research_sat_NoOverlap2DConstraintProto_descriptor;
69  static final
70  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
71  internal_static_operations_research_sat_NoOverlap2DConstraintProto_fieldAccessorTable;
72  static final com.google.protobuf.Descriptors.Descriptor
73  internal_static_operations_research_sat_CumulativeConstraintProto_descriptor;
74  static final
75  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
76  internal_static_operations_research_sat_CumulativeConstraintProto_fieldAccessorTable;
77  static final com.google.protobuf.Descriptors.Descriptor
78  internal_static_operations_research_sat_ReservoirConstraintProto_descriptor;
79  static final
80  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
81  internal_static_operations_research_sat_ReservoirConstraintProto_fieldAccessorTable;
82  static final com.google.protobuf.Descriptors.Descriptor
83  internal_static_operations_research_sat_CircuitConstraintProto_descriptor;
84  static final
85  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
86  internal_static_operations_research_sat_CircuitConstraintProto_fieldAccessorTable;
87  static final com.google.protobuf.Descriptors.Descriptor
88  internal_static_operations_research_sat_RoutesConstraintProto_descriptor;
89  static final
90  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
91  internal_static_operations_research_sat_RoutesConstraintProto_fieldAccessorTable;
92  static final com.google.protobuf.Descriptors.Descriptor
93  internal_static_operations_research_sat_TableConstraintProto_descriptor;
94  static final
95  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
96  internal_static_operations_research_sat_TableConstraintProto_fieldAccessorTable;
97  static final com.google.protobuf.Descriptors.Descriptor
98  internal_static_operations_research_sat_InverseConstraintProto_descriptor;
99  static final
100  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
101  internal_static_operations_research_sat_InverseConstraintProto_fieldAccessorTable;
102  static final com.google.protobuf.Descriptors.Descriptor
103  internal_static_operations_research_sat_AutomatonConstraintProto_descriptor;
104  static final
105  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
106  internal_static_operations_research_sat_AutomatonConstraintProto_fieldAccessorTable;
107  static final com.google.protobuf.Descriptors.Descriptor
108  internal_static_operations_research_sat_ConstraintProto_descriptor;
109  static final
110  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
111  internal_static_operations_research_sat_ConstraintProto_fieldAccessorTable;
112  static final com.google.protobuf.Descriptors.Descriptor
113  internal_static_operations_research_sat_CpObjectiveProto_descriptor;
114  static final
115  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
116  internal_static_operations_research_sat_CpObjectiveProto_fieldAccessorTable;
117  static final com.google.protobuf.Descriptors.Descriptor
118  internal_static_operations_research_sat_DecisionStrategyProto_descriptor;
119  static final
120  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
121  internal_static_operations_research_sat_DecisionStrategyProto_fieldAccessorTable;
122  static final com.google.protobuf.Descriptors.Descriptor
123  internal_static_operations_research_sat_DecisionStrategyProto_AffineTransformation_descriptor;
124  static final
125  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
126  internal_static_operations_research_sat_DecisionStrategyProto_AffineTransformation_fieldAccessorTable;
127  static final com.google.protobuf.Descriptors.Descriptor
128  internal_static_operations_research_sat_PartialVariableAssignment_descriptor;
129  static final
130  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
131  internal_static_operations_research_sat_PartialVariableAssignment_fieldAccessorTable;
132  static final com.google.protobuf.Descriptors.Descriptor
133  internal_static_operations_research_sat_CpModelProto_descriptor;
134  static final
135  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
136  internal_static_operations_research_sat_CpModelProto_fieldAccessorTable;
137  static final com.google.protobuf.Descriptors.Descriptor
138  internal_static_operations_research_sat_CpSolverResponse_descriptor;
139  static final
140  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
141  internal_static_operations_research_sat_CpSolverResponse_fieldAccessorTable;
142 
143  public static com.google.protobuf.Descriptors.FileDescriptor
145  return descriptor;
146  }
147  private static com.google.protobuf.Descriptors.FileDescriptor
148  descriptor;
149  static {
150  java.lang.String[] descriptorData = {
151  "\n\032ortools/sat/cp_model.proto\022\027operations" +
152  "_research.sat\"4\n\024IntegerVariableProto\022\014\n" +
153  "\004name\030\001 \001(\t\022\016\n\006domain\030\002 \003(\003\"%\n\021BoolArgum" +
154  "entProto\022\020\n\010literals\030\001 \003(\005\"4\n\024IntegerArg" +
155  "umentProto\022\016\n\006target\030\001 \001(\005\022\014\n\004vars\030\002 \003(\005" +
156  "\"E\n\025LinearExpressionProto\022\014\n\004vars\030\001 \003(\005\022" +
157  "\016\n\006coeffs\030\002 \003(\003\022\016\n\006offset\030\003 \001(\003\"\224\001\n\023Line" +
158  "arArgumentProto\022>\n\006target\030\001 \001(\0132..operat" +
159  "ions_research.sat.LinearExpressionProto\022" +
160  "=\n\005exprs\030\002 \003(\0132..operations_research.sat" +
161  ".LinearExpressionProto\"+\n\033AllDifferentCo" +
162  "nstraintProto\022\014\n\004vars\030\001 \003(\005\"E\n\025LinearCon" +
163  "straintProto\022\014\n\004vars\030\001 \003(\005\022\016\n\006coeffs\030\002 \003" +
164  "(\003\022\016\n\006domain\030\003 \003(\003\"E\n\026ElementConstraintP" +
165  "roto\022\r\n\005index\030\001 \001(\005\022\016\n\006target\030\002 \001(\005\022\014\n\004v" +
166  "ars\030\003 \003(\005\"C\n\027IntervalConstraintProto\022\r\n\005" +
167  "start\030\001 \001(\005\022\013\n\003end\030\002 \001(\005\022\014\n\004size\030\003 \001(\005\"-" +
168  "\n\030NoOverlapConstraintProto\022\021\n\tintervals\030" +
169  "\001 \003(\005\"p\n\032NoOverlap2DConstraintProto\022\023\n\013x" +
170  "_intervals\030\001 \003(\005\022\023\n\013y_intervals\030\002 \003(\005\022(\n" +
171  " boxes_with_null_area_can_overlap\030\003 \001(\010\"" +
172  "Q\n\031CumulativeConstraintProto\022\020\n\010capacity" +
173  "\030\001 \001(\005\022\021\n\tintervals\030\002 \003(\005\022\017\n\007demands\030\003 \003" +
174  "(\005\"q\n\030ReservoirConstraintProto\022\021\n\tmin_le" +
175  "vel\030\001 \001(\003\022\021\n\tmax_level\030\002 \001(\003\022\r\n\005times\030\003 " +
176  "\003(\005\022\017\n\007demands\030\004 \003(\003\022\017\n\007actives\030\005 \003(\005\"H\n" +
177  "\026CircuitConstraintProto\022\r\n\005tails\030\003 \003(\005\022\r" +
178  "\n\005heads\030\004 \003(\005\022\020\n\010literals\030\005 \003(\005\"j\n\025Route" +
179  "sConstraintProto\022\r\n\005tails\030\001 \003(\005\022\r\n\005heads" +
180  "\030\002 \003(\005\022\020\n\010literals\030\003 \003(\005\022\017\n\007demands\030\004 \003(" +
181  "\005\022\020\n\010capacity\030\005 \001(\003\"E\n\024TableConstraintPr" +
182  "oto\022\014\n\004vars\030\001 \003(\005\022\016\n\006values\030\002 \003(\003\022\017\n\007neg" +
183  "ated\030\003 \001(\010\"=\n\026InverseConstraintProto\022\020\n\010" +
184  "f_direct\030\001 \003(\005\022\021\n\tf_inverse\030\002 \003(\005\"\242\001\n\030Au" +
185  "tomatonConstraintProto\022\026\n\016starting_state" +
186  "\030\002 \001(\003\022\024\n\014final_states\030\003 \003(\003\022\027\n\017transiti" +
187  "on_tail\030\004 \003(\003\022\027\n\017transition_head\030\005 \003(\003\022\030" +
188  "\n\020transition_label\030\006 \003(\003\022\014\n\004vars\030\007 \003(\005\"\252" +
189  "\r\n\017ConstraintProto\022\014\n\004name\030\001 \001(\t\022\033\n\023enfo" +
190  "rcement_literal\030\002 \003(\005\022=\n\007bool_or\030\003 \001(\0132*" +
191  ".operations_research.sat.BoolArgumentPro" +
192  "toH\000\022>\n\010bool_and\030\004 \001(\0132*.operations_rese" +
193  "arch.sat.BoolArgumentProtoH\000\022A\n\013at_most_" +
194  "one\030\032 \001(\0132*.operations_research.sat.Bool" +
195  "ArgumentProtoH\000\022>\n\010bool_xor\030\005 \001(\0132*.oper" +
196  "ations_research.sat.BoolArgumentProtoH\000\022" +
197  "@\n\007int_div\030\007 \001(\0132-.operations_research.s" +
198  "at.IntegerArgumentProtoH\000\022@\n\007int_mod\030\010 \001" +
199  "(\0132-.operations_research.sat.IntegerArgu" +
200  "mentProtoH\000\022@\n\007int_max\030\t \001(\0132-.operation" +
201  "s_research.sat.IntegerArgumentProtoH\000\022?\n" +
202  "\007lin_max\030\033 \001(\0132,.operations_research.sat" +
203  ".LinearArgumentProtoH\000\022@\n\007int_min\030\n \001(\0132" +
204  "-.operations_research.sat.IntegerArgumen" +
205  "tProtoH\000\022?\n\007lin_min\030\034 \001(\0132,.operations_r" +
206  "esearch.sat.LinearArgumentProtoH\000\022A\n\010int" +
207  "_prod\030\013 \001(\0132-.operations_research.sat.In" +
208  "tegerArgumentProtoH\000\022@\n\006linear\030\014 \001(\0132..o" +
209  "perations_research.sat.LinearConstraintP" +
210  "rotoH\000\022H\n\010all_diff\030\r \001(\01324.operations_re" +
211  "search.sat.AllDifferentConstraintProtoH\000" +
212  "\022B\n\007element\030\016 \001(\0132/.operations_research." +
213  "sat.ElementConstraintProtoH\000\022B\n\007circuit\030" +
214  "\017 \001(\0132/.operations_research.sat.CircuitC" +
215  "onstraintProtoH\000\022@\n\006routes\030\027 \001(\0132..opera" +
216  "tions_research.sat.RoutesConstraintProto" +
217  "H\000\022>\n\005table\030\020 \001(\0132-.operations_research." +
218  "sat.TableConstraintProtoH\000\022F\n\tautomaton\030" +
219  "\021 \001(\01321.operations_research.sat.Automato" +
220  "nConstraintProtoH\000\022B\n\007inverse\030\022 \001(\0132/.op" +
221  "erations_research.sat.InverseConstraintP" +
222  "rotoH\000\022F\n\treservoir\030\030 \001(\01321.operations_r" +
223  "esearch.sat.ReservoirConstraintProtoH\000\022D" +
224  "\n\010interval\030\023 \001(\01320.operations_research.s" +
225  "at.IntervalConstraintProtoH\000\022G\n\nno_overl" +
226  "ap\030\024 \001(\01321.operations_research.sat.NoOve" +
227  "rlapConstraintProtoH\000\022L\n\rno_overlap_2d\030\025" +
228  " \001(\01323.operations_research.sat.NoOverlap" +
229  "2DConstraintProtoH\000\022H\n\ncumulative\030\026 \001(\0132" +
230  "2.operations_research.sat.CumulativeCons" +
231  "traintProtoH\000B\014\n\nconstraint\"h\n\020CpObjecti" +
232  "veProto\022\014\n\004vars\030\001 \003(\005\022\016\n\006coeffs\030\004 \003(\003\022\016\n" +
233  "\006offset\030\002 \001(\001\022\026\n\016scaling_factor\030\003 \001(\001\022\016\n" +
234  "\006domain\030\005 \003(\003\"\325\005\n\025DecisionStrategyProto\022" +
235  "\021\n\tvariables\030\001 \003(\005\022m\n\033variable_selection" +
236  "_strategy\030\002 \001(\0162H.operations_research.sa" +
237  "t.DecisionStrategyProto.VariableSelectio" +
238  "nStrategy\022i\n\031domain_reduction_strategy\030\003" +
239  " \001(\0162F.operations_research.sat.DecisionS" +
240  "trategyProto.DomainReductionStrategy\022\\\n\017" +
241  "transformations\030\004 \003(\0132C.operations_resea" +
242  "rch.sat.DecisionStrategyProto.AffineTran" +
243  "sformation\032K\n\024AffineTransformation\022\013\n\003va" +
244  "r\030\001 \001(\005\022\016\n\006offset\030\002 \001(\003\022\026\n\016positive_coef" +
245  "f\030\003 \001(\003\"\224\001\n\031VariableSelectionStrategy\022\020\n" +
246  "\014CHOOSE_FIRST\020\000\022\025\n\021CHOOSE_LOWEST_MIN\020\001\022\026" +
247  "\n\022CHOOSE_HIGHEST_MAX\020\002\022\032\n\026CHOOSE_MIN_DOM" +
248  "AIN_SIZE\020\003\022\032\n\026CHOOSE_MAX_DOMAIN_SIZE\020\004\"\214" +
249  "\001\n\027DomainReductionStrategy\022\024\n\020SELECT_MIN" +
250  "_VALUE\020\000\022\024\n\020SELECT_MAX_VALUE\020\001\022\025\n\021SELECT" +
251  "_LOWER_HALF\020\002\022\025\n\021SELECT_UPPER_HALF\020\003\022\027\n\023" +
252  "SELECT_MEDIAN_VALUE\020\004\"9\n\031PartialVariable" +
253  "Assignment\022\014\n\004vars\030\001 \003(\005\022\016\n\006values\030\002 \003(\003" +
254  "\"\204\003\n\014CpModelProto\022\014\n\004name\030\001 \001(\t\022@\n\tvaria" +
255  "bles\030\002 \003(\0132-.operations_research.sat.Int" +
256  "egerVariableProto\022=\n\013constraints\030\003 \003(\0132(" +
257  ".operations_research.sat.ConstraintProto" +
258  "\022<\n\tobjective\030\004 \001(\0132).operations_researc" +
259  "h.sat.CpObjectiveProto\022G\n\017search_strateg" +
260  "y\030\005 \003(\0132..operations_research.sat.Decisi" +
261  "onStrategyProto\022I\n\rsolution_hint\030\006 \001(\01322" +
262  ".operations_research.sat.PartialVariable" +
263  "Assignment\022\023\n\013assumptions\030\007 \003(\005\"\233\005\n\020CpSo" +
264  "lverResponse\0227\n\006status\030\001 \001(\0162\'.operation" +
265  "s_research.sat.CpSolverStatus\022\020\n\010solutio" +
266  "n\030\002 \003(\003\022\027\n\017objective_value\030\003 \001(\001\022\034\n\024best" +
267  "_objective_bound\030\004 \001(\001\022\035\n\025solution_lower" +
268  "_bounds\030\022 \003(\003\022\035\n\025solution_upper_bounds\030\023" +
269  " \003(\003\022J\n\023tightened_variables\030\025 \003(\0132-.oper" +
270  "ations_research.sat.IntegerVariableProto" +
271  "\0220\n(sufficient_assumptions_for_infeasibi" +
272  "lity\030\027 \003(\005\022 \n\030all_solutions_were_found\030\005" +
273  " \001(\010\022\024\n\014num_booleans\030\n \001(\003\022\025\n\rnum_confli" +
274  "cts\030\013 \001(\003\022\024\n\014num_branches\030\014 \001(\003\022\037\n\027num_b" +
275  "inary_propagations\030\r \001(\003\022 \n\030num_integer_" +
276  "propagations\030\016 \001(\003\022\024\n\014num_restarts\030\030 \001(\003" +
277  "\022\031\n\021num_lp_iterations\030\031 \001(\003\022\021\n\twall_time" +
278  "\030\017 \001(\001\022\021\n\tuser_time\030\020 \001(\001\022\032\n\022determinist" +
279  "ic_time\030\021 \001(\001\022\027\n\017primal_integral\030\026 \001(\001\022\025" +
280  "\n\rsolution_info\030\024 \001(\t*[\n\016CpSolverStatus\022" +
281  "\013\n\007UNKNOWN\020\000\022\021\n\rMODEL_INVALID\020\001\022\014\n\010FEASI" +
282  "BLE\020\002\022\016\n\nINFEASIBLE\020\003\022\013\n\007OPTIMAL\020\004B@\n\026co" +
283  "m.google.ortools.satB\017CpModelProtobufP\001\252" +
284  "\002\022Google.OrTools.Satb\006proto3"
285  };
286  descriptor = com.google.protobuf.Descriptors.FileDescriptor
287  .internalBuildGeneratedFileFrom(descriptorData,
288  new com.google.protobuf.Descriptors.FileDescriptor[] {
289  });
290  internal_static_operations_research_sat_IntegerVariableProto_descriptor =
291  getDescriptor().getMessageTypes().get(0);
292  internal_static_operations_research_sat_IntegerVariableProto_fieldAccessorTable = new
293  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
294  internal_static_operations_research_sat_IntegerVariableProto_descriptor,
295  new java.lang.String[] { "Name", "Domain", });
296  internal_static_operations_research_sat_BoolArgumentProto_descriptor =
297  getDescriptor().getMessageTypes().get(1);
298  internal_static_operations_research_sat_BoolArgumentProto_fieldAccessorTable = new
299  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
300  internal_static_operations_research_sat_BoolArgumentProto_descriptor,
301  new java.lang.String[] { "Literals", });
302  internal_static_operations_research_sat_IntegerArgumentProto_descriptor =
303  getDescriptor().getMessageTypes().get(2);
304  internal_static_operations_research_sat_IntegerArgumentProto_fieldAccessorTable = new
305  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
306  internal_static_operations_research_sat_IntegerArgumentProto_descriptor,
307  new java.lang.String[] { "Target", "Vars", });
308  internal_static_operations_research_sat_LinearExpressionProto_descriptor =
309  getDescriptor().getMessageTypes().get(3);
310  internal_static_operations_research_sat_LinearExpressionProto_fieldAccessorTable = new
311  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
312  internal_static_operations_research_sat_LinearExpressionProto_descriptor,
313  new java.lang.String[] { "Vars", "Coeffs", "Offset", });
314  internal_static_operations_research_sat_LinearArgumentProto_descriptor =
315  getDescriptor().getMessageTypes().get(4);
316  internal_static_operations_research_sat_LinearArgumentProto_fieldAccessorTable = new
317  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
318  internal_static_operations_research_sat_LinearArgumentProto_descriptor,
319  new java.lang.String[] { "Target", "Exprs", });
320  internal_static_operations_research_sat_AllDifferentConstraintProto_descriptor =
321  getDescriptor().getMessageTypes().get(5);
322  internal_static_operations_research_sat_AllDifferentConstraintProto_fieldAccessorTable = new
323  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
324  internal_static_operations_research_sat_AllDifferentConstraintProto_descriptor,
325  new java.lang.String[] { "Vars", });
326  internal_static_operations_research_sat_LinearConstraintProto_descriptor =
327  getDescriptor().getMessageTypes().get(6);
328  internal_static_operations_research_sat_LinearConstraintProto_fieldAccessorTable = new
329  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
330  internal_static_operations_research_sat_LinearConstraintProto_descriptor,
331  new java.lang.String[] { "Vars", "Coeffs", "Domain", });
332  internal_static_operations_research_sat_ElementConstraintProto_descriptor =
333  getDescriptor().getMessageTypes().get(7);
334  internal_static_operations_research_sat_ElementConstraintProto_fieldAccessorTable = new
335  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
336  internal_static_operations_research_sat_ElementConstraintProto_descriptor,
337  new java.lang.String[] { "Index", "Target", "Vars", });
338  internal_static_operations_research_sat_IntervalConstraintProto_descriptor =
339  getDescriptor().getMessageTypes().get(8);
340  internal_static_operations_research_sat_IntervalConstraintProto_fieldAccessorTable = new
341  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
342  internal_static_operations_research_sat_IntervalConstraintProto_descriptor,
343  new java.lang.String[] { "Start", "End", "Size", });
344  internal_static_operations_research_sat_NoOverlapConstraintProto_descriptor =
345  getDescriptor().getMessageTypes().get(9);
346  internal_static_operations_research_sat_NoOverlapConstraintProto_fieldAccessorTable = new
347  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
348  internal_static_operations_research_sat_NoOverlapConstraintProto_descriptor,
349  new java.lang.String[] { "Intervals", });
350  internal_static_operations_research_sat_NoOverlap2DConstraintProto_descriptor =
351  getDescriptor().getMessageTypes().get(10);
352  internal_static_operations_research_sat_NoOverlap2DConstraintProto_fieldAccessorTable = new
353  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
354  internal_static_operations_research_sat_NoOverlap2DConstraintProto_descriptor,
355  new java.lang.String[] { "XIntervals", "YIntervals", "BoxesWithNullAreaCanOverlap", });
356  internal_static_operations_research_sat_CumulativeConstraintProto_descriptor =
357  getDescriptor().getMessageTypes().get(11);
358  internal_static_operations_research_sat_CumulativeConstraintProto_fieldAccessorTable = new
359  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
360  internal_static_operations_research_sat_CumulativeConstraintProto_descriptor,
361  new java.lang.String[] { "Capacity", "Intervals", "Demands", });
362  internal_static_operations_research_sat_ReservoirConstraintProto_descriptor =
363  getDescriptor().getMessageTypes().get(12);
364  internal_static_operations_research_sat_ReservoirConstraintProto_fieldAccessorTable = new
365  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
366  internal_static_operations_research_sat_ReservoirConstraintProto_descriptor,
367  new java.lang.String[] { "MinLevel", "MaxLevel", "Times", "Demands", "Actives", });
368  internal_static_operations_research_sat_CircuitConstraintProto_descriptor =
369  getDescriptor().getMessageTypes().get(13);
370  internal_static_operations_research_sat_CircuitConstraintProto_fieldAccessorTable = new
371  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
372  internal_static_operations_research_sat_CircuitConstraintProto_descriptor,
373  new java.lang.String[] { "Tails", "Heads", "Literals", });
374  internal_static_operations_research_sat_RoutesConstraintProto_descriptor =
375  getDescriptor().getMessageTypes().get(14);
376  internal_static_operations_research_sat_RoutesConstraintProto_fieldAccessorTable = new
377  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
378  internal_static_operations_research_sat_RoutesConstraintProto_descriptor,
379  new java.lang.String[] { "Tails", "Heads", "Literals", "Demands", "Capacity", });
380  internal_static_operations_research_sat_TableConstraintProto_descriptor =
381  getDescriptor().getMessageTypes().get(15);
382  internal_static_operations_research_sat_TableConstraintProto_fieldAccessorTable = new
383  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
384  internal_static_operations_research_sat_TableConstraintProto_descriptor,
385  new java.lang.String[] { "Vars", "Values", "Negated", });
386  internal_static_operations_research_sat_InverseConstraintProto_descriptor =
387  getDescriptor().getMessageTypes().get(16);
388  internal_static_operations_research_sat_InverseConstraintProto_fieldAccessorTable = new
389  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
390  internal_static_operations_research_sat_InverseConstraintProto_descriptor,
391  new java.lang.String[] { "FDirect", "FInverse", });
392  internal_static_operations_research_sat_AutomatonConstraintProto_descriptor =
393  getDescriptor().getMessageTypes().get(17);
394  internal_static_operations_research_sat_AutomatonConstraintProto_fieldAccessorTable = new
395  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
396  internal_static_operations_research_sat_AutomatonConstraintProto_descriptor,
397  new java.lang.String[] { "StartingState", "FinalStates", "TransitionTail", "TransitionHead", "TransitionLabel", "Vars", });
398  internal_static_operations_research_sat_ConstraintProto_descriptor =
399  getDescriptor().getMessageTypes().get(18);
400  internal_static_operations_research_sat_ConstraintProto_fieldAccessorTable = new
401  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
402  internal_static_operations_research_sat_ConstraintProto_descriptor,
403  new java.lang.String[] { "Name", "EnforcementLiteral", "BoolOr", "BoolAnd", "AtMostOne", "BoolXor", "IntDiv", "IntMod", "IntMax", "LinMax", "IntMin", "LinMin", "IntProd", "Linear", "AllDiff", "Element", "Circuit", "Routes", "Table", "Automaton", "Inverse", "Reservoir", "Interval", "NoOverlap", "NoOverlap2D", "Cumulative", "Constraint", });
404  internal_static_operations_research_sat_CpObjectiveProto_descriptor =
405  getDescriptor().getMessageTypes().get(19);
406  internal_static_operations_research_sat_CpObjectiveProto_fieldAccessorTable = new
407  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
408  internal_static_operations_research_sat_CpObjectiveProto_descriptor,
409  new java.lang.String[] { "Vars", "Coeffs", "Offset", "ScalingFactor", "Domain", });
410  internal_static_operations_research_sat_DecisionStrategyProto_descriptor =
411  getDescriptor().getMessageTypes().get(20);
412  internal_static_operations_research_sat_DecisionStrategyProto_fieldAccessorTable = new
413  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
414  internal_static_operations_research_sat_DecisionStrategyProto_descriptor,
415  new java.lang.String[] { "Variables", "VariableSelectionStrategy", "DomainReductionStrategy", "Transformations", });
416  internal_static_operations_research_sat_DecisionStrategyProto_AffineTransformation_descriptor =
417  internal_static_operations_research_sat_DecisionStrategyProto_descriptor.getNestedTypes().get(0);
418  internal_static_operations_research_sat_DecisionStrategyProto_AffineTransformation_fieldAccessorTable = new
419  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
420  internal_static_operations_research_sat_DecisionStrategyProto_AffineTransformation_descriptor,
421  new java.lang.String[] { "Var", "Offset", "PositiveCoeff", });
422  internal_static_operations_research_sat_PartialVariableAssignment_descriptor =
423  getDescriptor().getMessageTypes().get(21);
424  internal_static_operations_research_sat_PartialVariableAssignment_fieldAccessorTable = new
425  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
426  internal_static_operations_research_sat_PartialVariableAssignment_descriptor,
427  new java.lang.String[] { "Vars", "Values", });
428  internal_static_operations_research_sat_CpModelProto_descriptor =
429  getDescriptor().getMessageTypes().get(22);
430  internal_static_operations_research_sat_CpModelProto_fieldAccessorTable = new
431  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
432  internal_static_operations_research_sat_CpModelProto_descriptor,
433  new java.lang.String[] { "Name", "Variables", "Constraints", "Objective", "SearchStrategy", "SolutionHint", "Assumptions", });
434  internal_static_operations_research_sat_CpSolverResponse_descriptor =
435  getDescriptor().getMessageTypes().get(23);
436  internal_static_operations_research_sat_CpSolverResponse_fieldAccessorTable = new
437  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
438  internal_static_operations_research_sat_CpSolverResponse_descriptor,
439  new java.lang.String[] { "Status", "Solution", "ObjectiveValue", "BestObjectiveBound", "SolutionLowerBounds", "SolutionUpperBounds", "TightenedVariables", "SufficientAssumptionsForInfeasibility", "AllSolutionsWereFound", "NumBooleans", "NumConflicts", "NumBranches", "NumBinaryPropagations", "NumIntegerPropagations", "NumRestarts", "NumLpIterations", "WallTime", "UserTime", "DeterministicTime", "PrimalIntegral", "SolutionInfo", });
440  }
441 
442  // @@protoc_insertion_point(outer_class_scope)
443 }
static void registerAllExtensions(com.google.protobuf.ExtensionRegistryLite registry)
static com.google.protobuf.Descriptors.FileDescriptor getDescriptor()
static void registerAllExtensions(com.google.protobuf.ExtensionRegistry registry)