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_SparsePermutationProto_descriptor;
134  static final
135  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
136  internal_static_operations_research_sat_SparsePermutationProto_fieldAccessorTable;
137  static final com.google.protobuf.Descriptors.Descriptor
138  internal_static_operations_research_sat_DenseMatrixProto_descriptor;
139  static final
140  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
141  internal_static_operations_research_sat_DenseMatrixProto_fieldAccessorTable;
142  static final com.google.protobuf.Descriptors.Descriptor
143  internal_static_operations_research_sat_SymmetryProto_descriptor;
144  static final
145  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
146  internal_static_operations_research_sat_SymmetryProto_fieldAccessorTable;
147  static final com.google.protobuf.Descriptors.Descriptor
148  internal_static_operations_research_sat_CpModelProto_descriptor;
149  static final
150  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
151  internal_static_operations_research_sat_CpModelProto_fieldAccessorTable;
152  static final com.google.protobuf.Descriptors.Descriptor
153  internal_static_operations_research_sat_CpSolverResponse_descriptor;
154  static final
155  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
156  internal_static_operations_research_sat_CpSolverResponse_fieldAccessorTable;
157 
158  public static com.google.protobuf.Descriptors.FileDescriptor
160  return descriptor;
161  }
162  private static com.google.protobuf.Descriptors.FileDescriptor
163  descriptor;
164  static {
165  java.lang.String[] descriptorData = {
166  "\n\032ortools/sat/cp_model.proto\022\027operations" +
167  "_research.sat\"4\n\024IntegerVariableProto\022\014\n" +
168  "\004name\030\001 \001(\t\022\016\n\006domain\030\002 \003(\003\"%\n\021BoolArgum" +
169  "entProto\022\020\n\010literals\030\001 \003(\005\"4\n\024IntegerArg" +
170  "umentProto\022\016\n\006target\030\001 \001(\005\022\014\n\004vars\030\002 \003(\005" +
171  "\"E\n\025LinearExpressionProto\022\014\n\004vars\030\001 \003(\005\022" +
172  "\016\n\006coeffs\030\002 \003(\003\022\016\n\006offset\030\003 \001(\003\"\224\001\n\023Line" +
173  "arArgumentProto\022>\n\006target\030\001 \001(\0132..operat" +
174  "ions_research.sat.LinearExpressionProto\022" +
175  "=\n\005exprs\030\002 \003(\0132..operations_research.sat" +
176  ".LinearExpressionProto\"+\n\033AllDifferentCo" +
177  "nstraintProto\022\014\n\004vars\030\001 \003(\005\"E\n\025LinearCon" +
178  "straintProto\022\014\n\004vars\030\001 \003(\005\022\016\n\006coeffs\030\002 \003" +
179  "(\003\022\016\n\006domain\030\003 \003(\003\"E\n\026ElementConstraintP" +
180  "roto\022\r\n\005index\030\001 \001(\005\022\016\n\006target\030\002 \001(\005\022\014\n\004v" +
181  "ars\030\003 \003(\005\"\214\002\n\027IntervalConstraintProto\022\r\n" +
182  "\005start\030\001 \001(\005\022\013\n\003end\030\002 \001(\005\022\014\n\004size\030\003 \001(\005\022" +
183  "B\n\nstart_view\030\004 \001(\0132..operations_researc" +
184  "h.sat.LinearExpressionProto\022@\n\010end_view\030" +
185  "\005 \001(\0132..operations_research.sat.LinearEx" +
186  "pressionProto\022A\n\tsize_view\030\006 \001(\0132..opera" +
187  "tions_research.sat.LinearExpressionProto" +
188  "\"-\n\030NoOverlapConstraintProto\022\021\n\tinterval" +
189  "s\030\001 \003(\005\"p\n\032NoOverlap2DConstraintProto\022\023\n" +
190  "\013x_intervals\030\001 \003(\005\022\023\n\013y_intervals\030\002 \003(\005\022" +
191  "(\n boxes_with_null_area_can_overlap\030\003 \001(" +
192  "\010\"Q\n\031CumulativeConstraintProto\022\020\n\010capaci" +
193  "ty\030\001 \001(\005\022\021\n\tintervals\030\002 \003(\005\022\017\n\007demands\030\003" +
194  " \003(\005\"q\n\030ReservoirConstraintProto\022\021\n\tmin_" +
195  "level\030\001 \001(\003\022\021\n\tmax_level\030\002 \001(\003\022\r\n\005times\030" +
196  "\003 \003(\005\022\017\n\007demands\030\004 \003(\003\022\017\n\007actives\030\005 \003(\005\"" +
197  "H\n\026CircuitConstraintProto\022\r\n\005tails\030\003 \003(\005" +
198  "\022\r\n\005heads\030\004 \003(\005\022\020\n\010literals\030\005 \003(\005\"j\n\025Rou" +
199  "tesConstraintProto\022\r\n\005tails\030\001 \003(\005\022\r\n\005hea" +
200  "ds\030\002 \003(\005\022\020\n\010literals\030\003 \003(\005\022\017\n\007demands\030\004 " +
201  "\003(\005\022\020\n\010capacity\030\005 \001(\003\"E\n\024TableConstraint" +
202  "Proto\022\014\n\004vars\030\001 \003(\005\022\016\n\006values\030\002 \003(\003\022\017\n\007n" +
203  "egated\030\003 \001(\010\"=\n\026InverseConstraintProto\022\020" +
204  "\n\010f_direct\030\001 \003(\005\022\021\n\tf_inverse\030\002 \003(\005\"\242\001\n\030" +
205  "AutomatonConstraintProto\022\026\n\016starting_sta" +
206  "te\030\002 \001(\003\022\024\n\014final_states\030\003 \003(\003\022\027\n\017transi" +
207  "tion_tail\030\004 \003(\003\022\027\n\017transition_head\030\005 \003(\003" +
208  "\022\030\n\020transition_label\030\006 \003(\003\022\014\n\004vars\030\007 \003(\005" +
209  "\"\355\r\n\017ConstraintProto\022\014\n\004name\030\001 \001(\t\022\033\n\023en" +
210  "forcement_literal\030\002 \003(\005\022=\n\007bool_or\030\003 \001(\013" +
211  "2*.operations_research.sat.BoolArgumentP" +
212  "rotoH\000\022>\n\010bool_and\030\004 \001(\0132*.operations_re" +
213  "search.sat.BoolArgumentProtoH\000\022A\n\013at_mos" +
214  "t_one\030\032 \001(\0132*.operations_research.sat.Bo" +
215  "olArgumentProtoH\000\022A\n\013exactly_one\030\035 \001(\0132*" +
216  ".operations_research.sat.BoolArgumentPro" +
217  "toH\000\022>\n\010bool_xor\030\005 \001(\0132*.operations_rese" +
218  "arch.sat.BoolArgumentProtoH\000\022@\n\007int_div\030" +
219  "\007 \001(\0132-.operations_research.sat.IntegerA" +
220  "rgumentProtoH\000\022@\n\007int_mod\030\010 \001(\0132-.operat" +
221  "ions_research.sat.IntegerArgumentProtoH\000" +
222  "\022@\n\007int_max\030\t \001(\0132-.operations_research." +
223  "sat.IntegerArgumentProtoH\000\022?\n\007lin_max\030\033 " +
224  "\001(\0132,.operations_research.sat.LinearArgu" +
225  "mentProtoH\000\022@\n\007int_min\030\n \001(\0132-.operation" +
226  "s_research.sat.IntegerArgumentProtoH\000\022?\n" +
227  "\007lin_min\030\034 \001(\0132,.operations_research.sat" +
228  ".LinearArgumentProtoH\000\022A\n\010int_prod\030\013 \001(\013" +
229  "2-.operations_research.sat.IntegerArgume" +
230  "ntProtoH\000\022@\n\006linear\030\014 \001(\0132..operations_r" +
231  "esearch.sat.LinearConstraintProtoH\000\022H\n\010a" +
232  "ll_diff\030\r \001(\01324.operations_research.sat." +
233  "AllDifferentConstraintProtoH\000\022B\n\007element" +
234  "\030\016 \001(\0132/.operations_research.sat.Element" +
235  "ConstraintProtoH\000\022B\n\007circuit\030\017 \001(\0132/.ope" +
236  "rations_research.sat.CircuitConstraintPr" +
237  "otoH\000\022@\n\006routes\030\027 \001(\0132..operations_resea" +
238  "rch.sat.RoutesConstraintProtoH\000\022>\n\005table" +
239  "\030\020 \001(\0132-.operations_research.sat.TableCo" +
240  "nstraintProtoH\000\022F\n\tautomaton\030\021 \001(\01321.ope" +
241  "rations_research.sat.AutomatonConstraint" +
242  "ProtoH\000\022B\n\007inverse\030\022 \001(\0132/.operations_re" +
243  "search.sat.InverseConstraintProtoH\000\022F\n\tr" +
244  "eservoir\030\030 \001(\01321.operations_research.sat" +
245  ".ReservoirConstraintProtoH\000\022D\n\010interval\030" +
246  "\023 \001(\01320.operations_research.sat.Interval" +
247  "ConstraintProtoH\000\022G\n\nno_overlap\030\024 \001(\01321." +
248  "operations_research.sat.NoOverlapConstra" +
249  "intProtoH\000\022L\n\rno_overlap_2d\030\025 \001(\01323.oper" +
250  "ations_research.sat.NoOverlap2DConstrain" +
251  "tProtoH\000\022H\n\ncumulative\030\026 \001(\01322.operation" +
252  "s_research.sat.CumulativeConstraintProto" +
253  "H\000B\014\n\nconstraint\"h\n\020CpObjectiveProto\022\014\n\004" +
254  "vars\030\001 \003(\005\022\016\n\006coeffs\030\004 \003(\003\022\016\n\006offset\030\002 \001" +
255  "(\001\022\026\n\016scaling_factor\030\003 \001(\001\022\016\n\006domain\030\005 \003" +
256  "(\003\"\327\005\n\025DecisionStrategyProto\022\021\n\tvariable" +
257  "s\030\001 \003(\005\022m\n\033variable_selection_strategy\030\002" +
258  " \001(\0162H.operations_research.sat.DecisionS" +
259  "trategyProto.VariableSelectionStrategy\022i" +
260  "\n\031domain_reduction_strategy\030\003 \001(\0162F.oper" +
261  "ations_research.sat.DecisionStrategyProt" +
262  "o.DomainReductionStrategy\022\\\n\017transformat" +
263  "ions\030\004 \003(\0132C.operations_research.sat.Dec" +
264  "isionStrategyProto.AffineTransformation\032" +
265  "M\n\024AffineTransformation\022\r\n\005index\030\001 \001(\005\022\016" +
266  "\n\006offset\030\002 \001(\003\022\026\n\016positive_coeff\030\003 \001(\003\"\224" +
267  "\001\n\031VariableSelectionStrategy\022\020\n\014CHOOSE_F" +
268  "IRST\020\000\022\025\n\021CHOOSE_LOWEST_MIN\020\001\022\026\n\022CHOOSE_" +
269  "HIGHEST_MAX\020\002\022\032\n\026CHOOSE_MIN_DOMAIN_SIZE\020" +
270  "\003\022\032\n\026CHOOSE_MAX_DOMAIN_SIZE\020\004\"\214\001\n\027Domain" +
271  "ReductionStrategy\022\024\n\020SELECT_MIN_VALUE\020\000\022" +
272  "\024\n\020SELECT_MAX_VALUE\020\001\022\025\n\021SELECT_LOWER_HA" +
273  "LF\020\002\022\025\n\021SELECT_UPPER_HALF\020\003\022\027\n\023SELECT_ME" +
274  "DIAN_VALUE\020\004\"9\n\031PartialVariableAssignmen" +
275  "t\022\014\n\004vars\030\001 \003(\005\022\016\n\006values\030\002 \003(\003\">\n\026Spars" +
276  "ePermutationProto\022\017\n\007support\030\001 \003(\005\022\023\n\013cy" +
277  "cle_sizes\030\002 \003(\005\"G\n\020DenseMatrixProto\022\020\n\010n" +
278  "um_rows\030\001 \001(\005\022\020\n\010num_cols\030\002 \001(\005\022\017\n\007entri" +
279  "es\030\003 \003(\005\"\224\001\n\rSymmetryProto\022E\n\014permutatio" +
280  "ns\030\001 \003(\0132/.operations_research.sat.Spars" +
281  "ePermutationProto\022<\n\torbitopes\030\002 \003(\0132).o" +
282  "perations_research.sat.DenseMatrixProto\"" +
283  "\276\003\n\014CpModelProto\022\014\n\004name\030\001 \001(\t\022@\n\tvariab" +
284  "les\030\002 \003(\0132-.operations_research.sat.Inte" +
285  "gerVariableProto\022=\n\013constraints\030\003 \003(\0132(." +
286  "operations_research.sat.ConstraintProto\022" +
287  "<\n\tobjective\030\004 \001(\0132).operations_research" +
288  ".sat.CpObjectiveProto\022G\n\017search_strategy" +
289  "\030\005 \003(\0132..operations_research.sat.Decisio" +
290  "nStrategyProto\022I\n\rsolution_hint\030\006 \001(\01322." +
291  "operations_research.sat.PartialVariableA" +
292  "ssignment\022\023\n\013assumptions\030\007 \003(\005\0228\n\010symmet" +
293  "ry\030\010 \001(\0132&.operations_research.sat.Symme" +
294  "tryProto\"\256\005\n\020CpSolverResponse\0227\n\006status\030" +
295  "\001 \001(\0162\'.operations_research.sat.CpSolver" +
296  "Status\022\020\n\010solution\030\002 \003(\003\022\027\n\017objective_va" +
297  "lue\030\003 \001(\001\022\034\n\024best_objective_bound\030\004 \001(\001\022" +
298  "\035\n\025solution_lower_bounds\030\022 \003(\003\022\035\n\025soluti" +
299  "on_upper_bounds\030\023 \003(\003\022J\n\023tightened_varia" +
300  "bles\030\025 \003(\0132-.operations_research.sat.Int" +
301  "egerVariableProto\0220\n(sufficient_assumpti" +
302  "ons_for_infeasibility\030\027 \003(\005\022 \n\030all_solut" +
303  "ions_were_found\030\005 \001(\010\022\024\n\014num_booleans\030\n " +
304  "\001(\003\022\025\n\rnum_conflicts\030\013 \001(\003\022\024\n\014num_branch" +
305  "es\030\014 \001(\003\022\037\n\027num_binary_propagations\030\r \001(" +
306  "\003\022 \n\030num_integer_propagations\030\016 \001(\003\022\024\n\014n" +
307  "um_restarts\030\030 \001(\003\022\031\n\021num_lp_iterations\030\031" +
308  " \001(\003\022\021\n\twall_time\030\017 \001(\001\022\021\n\tuser_time\030\020 \001" +
309  "(\001\022\032\n\022deterministic_time\030\021 \001(\001\022\027\n\017primal" +
310  "_integral\030\026 \001(\001\022\025\n\rsolution_info\030\024 \001(\t\022\021" +
311  "\n\tsolve_log\030\032 \001(\t*[\n\016CpSolverStatus\022\013\n\007U" +
312  "NKNOWN\020\000\022\021\n\rMODEL_INVALID\020\001\022\014\n\010FEASIBLE\020" +
313  "\002\022\016\n\nINFEASIBLE\020\003\022\013\n\007OPTIMAL\020\004B@\n\026com.go" +
314  "ogle.ortools.satB\017CpModelProtobufP\001\252\002\022Go" +
315  "ogle.OrTools.Satb\006proto3"
316  };
317  descriptor = com.google.protobuf.Descriptors.FileDescriptor
318  .internalBuildGeneratedFileFrom(descriptorData,
319  new com.google.protobuf.Descriptors.FileDescriptor[] {
320  });
321  internal_static_operations_research_sat_IntegerVariableProto_descriptor =
322  getDescriptor().getMessageTypes().get(0);
323  internal_static_operations_research_sat_IntegerVariableProto_fieldAccessorTable = new
324  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
325  internal_static_operations_research_sat_IntegerVariableProto_descriptor,
326  new java.lang.String[] { "Name", "Domain", });
327  internal_static_operations_research_sat_BoolArgumentProto_descriptor =
328  getDescriptor().getMessageTypes().get(1);
329  internal_static_operations_research_sat_BoolArgumentProto_fieldAccessorTable = new
330  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
331  internal_static_operations_research_sat_BoolArgumentProto_descriptor,
332  new java.lang.String[] { "Literals", });
333  internal_static_operations_research_sat_IntegerArgumentProto_descriptor =
334  getDescriptor().getMessageTypes().get(2);
335  internal_static_operations_research_sat_IntegerArgumentProto_fieldAccessorTable = new
336  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
337  internal_static_operations_research_sat_IntegerArgumentProto_descriptor,
338  new java.lang.String[] { "Target", "Vars", });
339  internal_static_operations_research_sat_LinearExpressionProto_descriptor =
340  getDescriptor().getMessageTypes().get(3);
341  internal_static_operations_research_sat_LinearExpressionProto_fieldAccessorTable = new
342  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
343  internal_static_operations_research_sat_LinearExpressionProto_descriptor,
344  new java.lang.String[] { "Vars", "Coeffs", "Offset", });
345  internal_static_operations_research_sat_LinearArgumentProto_descriptor =
346  getDescriptor().getMessageTypes().get(4);
347  internal_static_operations_research_sat_LinearArgumentProto_fieldAccessorTable = new
348  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
349  internal_static_operations_research_sat_LinearArgumentProto_descriptor,
350  new java.lang.String[] { "Target", "Exprs", });
351  internal_static_operations_research_sat_AllDifferentConstraintProto_descriptor =
352  getDescriptor().getMessageTypes().get(5);
353  internal_static_operations_research_sat_AllDifferentConstraintProto_fieldAccessorTable = new
354  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
355  internal_static_operations_research_sat_AllDifferentConstraintProto_descriptor,
356  new java.lang.String[] { "Vars", });
357  internal_static_operations_research_sat_LinearConstraintProto_descriptor =
358  getDescriptor().getMessageTypes().get(6);
359  internal_static_operations_research_sat_LinearConstraintProto_fieldAccessorTable = new
360  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
361  internal_static_operations_research_sat_LinearConstraintProto_descriptor,
362  new java.lang.String[] { "Vars", "Coeffs", "Domain", });
363  internal_static_operations_research_sat_ElementConstraintProto_descriptor =
364  getDescriptor().getMessageTypes().get(7);
365  internal_static_operations_research_sat_ElementConstraintProto_fieldAccessorTable = new
366  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
367  internal_static_operations_research_sat_ElementConstraintProto_descriptor,
368  new java.lang.String[] { "Index", "Target", "Vars", });
369  internal_static_operations_research_sat_IntervalConstraintProto_descriptor =
370  getDescriptor().getMessageTypes().get(8);
371  internal_static_operations_research_sat_IntervalConstraintProto_fieldAccessorTable = new
372  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
373  internal_static_operations_research_sat_IntervalConstraintProto_descriptor,
374  new java.lang.String[] { "Start", "End", "Size", "StartView", "EndView", "SizeView", });
375  internal_static_operations_research_sat_NoOverlapConstraintProto_descriptor =
376  getDescriptor().getMessageTypes().get(9);
377  internal_static_operations_research_sat_NoOverlapConstraintProto_fieldAccessorTable = new
378  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
379  internal_static_operations_research_sat_NoOverlapConstraintProto_descriptor,
380  new java.lang.String[] { "Intervals", });
381  internal_static_operations_research_sat_NoOverlap2DConstraintProto_descriptor =
382  getDescriptor().getMessageTypes().get(10);
383  internal_static_operations_research_sat_NoOverlap2DConstraintProto_fieldAccessorTable = new
384  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
385  internal_static_operations_research_sat_NoOverlap2DConstraintProto_descriptor,
386  new java.lang.String[] { "XIntervals", "YIntervals", "BoxesWithNullAreaCanOverlap", });
387  internal_static_operations_research_sat_CumulativeConstraintProto_descriptor =
388  getDescriptor().getMessageTypes().get(11);
389  internal_static_operations_research_sat_CumulativeConstraintProto_fieldAccessorTable = new
390  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
391  internal_static_operations_research_sat_CumulativeConstraintProto_descriptor,
392  new java.lang.String[] { "Capacity", "Intervals", "Demands", });
393  internal_static_operations_research_sat_ReservoirConstraintProto_descriptor =
394  getDescriptor().getMessageTypes().get(12);
395  internal_static_operations_research_sat_ReservoirConstraintProto_fieldAccessorTable = new
396  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
397  internal_static_operations_research_sat_ReservoirConstraintProto_descriptor,
398  new java.lang.String[] { "MinLevel", "MaxLevel", "Times", "Demands", "Actives", });
399  internal_static_operations_research_sat_CircuitConstraintProto_descriptor =
400  getDescriptor().getMessageTypes().get(13);
401  internal_static_operations_research_sat_CircuitConstraintProto_fieldAccessorTable = new
402  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
403  internal_static_operations_research_sat_CircuitConstraintProto_descriptor,
404  new java.lang.String[] { "Tails", "Heads", "Literals", });
405  internal_static_operations_research_sat_RoutesConstraintProto_descriptor =
406  getDescriptor().getMessageTypes().get(14);
407  internal_static_operations_research_sat_RoutesConstraintProto_fieldAccessorTable = new
408  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
409  internal_static_operations_research_sat_RoutesConstraintProto_descriptor,
410  new java.lang.String[] { "Tails", "Heads", "Literals", "Demands", "Capacity", });
411  internal_static_operations_research_sat_TableConstraintProto_descriptor =
412  getDescriptor().getMessageTypes().get(15);
413  internal_static_operations_research_sat_TableConstraintProto_fieldAccessorTable = new
414  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
415  internal_static_operations_research_sat_TableConstraintProto_descriptor,
416  new java.lang.String[] { "Vars", "Values", "Negated", });
417  internal_static_operations_research_sat_InverseConstraintProto_descriptor =
418  getDescriptor().getMessageTypes().get(16);
419  internal_static_operations_research_sat_InverseConstraintProto_fieldAccessorTable = new
420  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
421  internal_static_operations_research_sat_InverseConstraintProto_descriptor,
422  new java.lang.String[] { "FDirect", "FInverse", });
423  internal_static_operations_research_sat_AutomatonConstraintProto_descriptor =
424  getDescriptor().getMessageTypes().get(17);
425  internal_static_operations_research_sat_AutomatonConstraintProto_fieldAccessorTable = new
426  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
427  internal_static_operations_research_sat_AutomatonConstraintProto_descriptor,
428  new java.lang.String[] { "StartingState", "FinalStates", "TransitionTail", "TransitionHead", "TransitionLabel", "Vars", });
429  internal_static_operations_research_sat_ConstraintProto_descriptor =
430  getDescriptor().getMessageTypes().get(18);
431  internal_static_operations_research_sat_ConstraintProto_fieldAccessorTable = new
432  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
433  internal_static_operations_research_sat_ConstraintProto_descriptor,
434  new java.lang.String[] { "Name", "EnforcementLiteral", "BoolOr", "BoolAnd", "AtMostOne", "ExactlyOne", "BoolXor", "IntDiv", "IntMod", "IntMax", "LinMax", "IntMin", "LinMin", "IntProd", "Linear", "AllDiff", "Element", "Circuit", "Routes", "Table", "Automaton", "Inverse", "Reservoir", "Interval", "NoOverlap", "NoOverlap2D", "Cumulative", "Constraint", });
435  internal_static_operations_research_sat_CpObjectiveProto_descriptor =
436  getDescriptor().getMessageTypes().get(19);
437  internal_static_operations_research_sat_CpObjectiveProto_fieldAccessorTable = new
438  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
439  internal_static_operations_research_sat_CpObjectiveProto_descriptor,
440  new java.lang.String[] { "Vars", "Coeffs", "Offset", "ScalingFactor", "Domain", });
441  internal_static_operations_research_sat_DecisionStrategyProto_descriptor =
442  getDescriptor().getMessageTypes().get(20);
443  internal_static_operations_research_sat_DecisionStrategyProto_fieldAccessorTable = new
444  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
445  internal_static_operations_research_sat_DecisionStrategyProto_descriptor,
446  new java.lang.String[] { "Variables", "VariableSelectionStrategy", "DomainReductionStrategy", "Transformations", });
447  internal_static_operations_research_sat_DecisionStrategyProto_AffineTransformation_descriptor =
448  internal_static_operations_research_sat_DecisionStrategyProto_descriptor.getNestedTypes().get(0);
449  internal_static_operations_research_sat_DecisionStrategyProto_AffineTransformation_fieldAccessorTable = new
450  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
451  internal_static_operations_research_sat_DecisionStrategyProto_AffineTransformation_descriptor,
452  new java.lang.String[] { "Index", "Offset", "PositiveCoeff", });
453  internal_static_operations_research_sat_PartialVariableAssignment_descriptor =
454  getDescriptor().getMessageTypes().get(21);
455  internal_static_operations_research_sat_PartialVariableAssignment_fieldAccessorTable = new
456  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
457  internal_static_operations_research_sat_PartialVariableAssignment_descriptor,
458  new java.lang.String[] { "Vars", "Values", });
459  internal_static_operations_research_sat_SparsePermutationProto_descriptor =
460  getDescriptor().getMessageTypes().get(22);
461  internal_static_operations_research_sat_SparsePermutationProto_fieldAccessorTable = new
462  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
463  internal_static_operations_research_sat_SparsePermutationProto_descriptor,
464  new java.lang.String[] { "Support", "CycleSizes", });
465  internal_static_operations_research_sat_DenseMatrixProto_descriptor =
466  getDescriptor().getMessageTypes().get(23);
467  internal_static_operations_research_sat_DenseMatrixProto_fieldAccessorTable = new
468  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
469  internal_static_operations_research_sat_DenseMatrixProto_descriptor,
470  new java.lang.String[] { "NumRows", "NumCols", "Entries", });
471  internal_static_operations_research_sat_SymmetryProto_descriptor =
472  getDescriptor().getMessageTypes().get(24);
473  internal_static_operations_research_sat_SymmetryProto_fieldAccessorTable = new
474  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
475  internal_static_operations_research_sat_SymmetryProto_descriptor,
476  new java.lang.String[] { "Permutations", "Orbitopes", });
477  internal_static_operations_research_sat_CpModelProto_descriptor =
478  getDescriptor().getMessageTypes().get(25);
479  internal_static_operations_research_sat_CpModelProto_fieldAccessorTable = new
480  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
481  internal_static_operations_research_sat_CpModelProto_descriptor,
482  new java.lang.String[] { "Name", "Variables", "Constraints", "Objective", "SearchStrategy", "SolutionHint", "Assumptions", "Symmetry", });
483  internal_static_operations_research_sat_CpSolverResponse_descriptor =
484  getDescriptor().getMessageTypes().get(26);
485  internal_static_operations_research_sat_CpSolverResponse_fieldAccessorTable = new
486  com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
487  internal_static_operations_research_sat_CpSolverResponse_descriptor,
488  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", "SolveLog", });
489  }
490 
491  // @@protoc_insertion_point(outer_class_scope)
492 }
static void registerAllExtensions(com.google.protobuf.ExtensionRegistry registry)
static com.google.protobuf.Descriptors.FileDescriptor getDescriptor()
static void registerAllExtensions(com.google.protobuf.ExtensionRegistryLite registry)