10 com.google.protobuf.ExtensionRegistryLite registry) {
14 com.google.protobuf.ExtensionRegistry registry) {
16 (com.google.protobuf.ExtensionRegistryLite) registry);
18 static final com.google.protobuf.Descriptors.Descriptor
19 internal_static_operations_research_sat_LinearBooleanConstraint_descriptor;
21 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
22 internal_static_operations_research_sat_LinearBooleanConstraint_fieldAccessorTable;
23 static final com.google.protobuf.Descriptors.Descriptor
24 internal_static_operations_research_sat_LinearObjective_descriptor;
26 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
27 internal_static_operations_research_sat_LinearObjective_fieldAccessorTable;
28 static final com.google.protobuf.Descriptors.Descriptor
29 internal_static_operations_research_sat_BooleanAssignment_descriptor;
31 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
32 internal_static_operations_research_sat_BooleanAssignment_fieldAccessorTable;
33 static final com.google.protobuf.Descriptors.Descriptor
34 internal_static_operations_research_sat_LinearBooleanProblem_descriptor;
36 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
37 internal_static_operations_research_sat_LinearBooleanProblem_fieldAccessorTable;
39 public static com.google.protobuf.Descriptors.FileDescriptor
43 private static com.google.protobuf.Descriptors.FileDescriptor
46 java.lang.String[] descriptorData = {
47 "\n!ortools/sat/boolean_problem.proto\022\027ope" +
48 "rations_research.sat\"{\n\027LinearBooleanCon" +
49 "straint\022\020\n\010literals\030\001 \003(\005\022\024\n\014coefficient" +
50 "s\030\002 \003(\003\022\023\n\013lower_bound\030\003 \001(\003\022\023\n\013upper_bo" +
51 "und\030\004 \001(\003\022\016\n\004name\030\005 \001(\t:\000\"g\n\017LinearObjec" +
52 "tive\022\020\n\010literals\030\001 \003(\005\022\024\n\014coefficients\030\002" +
53 " \003(\003\022\021\n\006offset\030\003 \001(\001:\0010\022\031\n\016scaling_facto" +
54 "r\030\004 \001(\001:\0011\"%\n\021BooleanAssignment\022\020\n\010liter" +
55 "als\030\001 \003(\005\"\264\002\n\024LinearBooleanProblem\022\016\n\004na" +
56 "me\030\001 \001(\t:\000\022\025\n\rnum_variables\030\003 \001(\005\022E\n\013con" +
57 "straints\030\004 \003(\01320.operations_research.sat" +
58 ".LinearBooleanConstraint\022;\n\tobjective\030\005 " +
59 "\001(\0132(.operations_research.sat.LinearObje" +
60 "ctive\022\021\n\tvar_names\030\006 \003(\t\022>\n\nassignment\030\007" +
61 " \001(\0132*.operations_research.sat.BooleanAs" +
62 "signment\022\036\n\026original_num_variables\030\010 \001(\005" +
63 "B/\n\026com.google.ortools.satP\001\252\002\022Google.Or" +
66 descriptor = com.google.protobuf.Descriptors.FileDescriptor
67 .internalBuildGeneratedFileFrom(descriptorData,
68 new com.google.protobuf.Descriptors.FileDescriptor[] {
70 internal_static_operations_research_sat_LinearBooleanConstraint_descriptor =
72 internal_static_operations_research_sat_LinearBooleanConstraint_fieldAccessorTable =
new
73 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
74 internal_static_operations_research_sat_LinearBooleanConstraint_descriptor,
75 new java.lang.String[] {
"Literals",
"Coefficients",
"LowerBound",
"UpperBound",
"Name", });
76 internal_static_operations_research_sat_LinearObjective_descriptor =
78 internal_static_operations_research_sat_LinearObjective_fieldAccessorTable =
new
79 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
80 internal_static_operations_research_sat_LinearObjective_descriptor,
81 new java.lang.String[] {
"Literals",
"Coefficients",
"Offset",
"ScalingFactor", });
82 internal_static_operations_research_sat_BooleanAssignment_descriptor =
84 internal_static_operations_research_sat_BooleanAssignment_fieldAccessorTable =
new
85 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
86 internal_static_operations_research_sat_BooleanAssignment_descriptor,
87 new java.lang.String[] {
"Literals", });
88 internal_static_operations_research_sat_LinearBooleanProblem_descriptor =
90 internal_static_operations_research_sat_LinearBooleanProblem_fieldAccessorTable =
new
91 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
92 internal_static_operations_research_sat_LinearBooleanProblem_descriptor,
93 new java.lang.String[] {
"Name",
"NumVariables",
"Constraints",
"Objective",
"VarNames",
"Assignment",
"OriginalNumVariables", });