BooleanProblem.java

Go to the documentation of this file.

// Generated by the protocol buffer compiler.  DO NOT EDIT!
// source: ortools/sat/boolean_problem.proto
// Protobuf Java Version: 4.26.1
 
package com.google.ortools.sat;
 
public final class BooleanProblem {
  private BooleanProblem() {}
  static {
    com.google.protobuf.RuntimeVersion.validateProtobufGencodeVersion(
      com.google.protobuf.RuntimeVersion.RuntimeDomain.PUBLIC,
      /* major= */ 4,
      /* minor= */ 26,
      /* patch= */ 1,
      /* suffix= */ "",
      BooleanProblem.class.getName());
  }
  public static void registerAllExtensions(
      com.google.protobuf.ExtensionRegistryLite registry) {
  }
 
  public static void registerAllExtensions(
      com.google.protobuf.ExtensionRegistry registry) {
    registerAllExtensions(
        (com.google.protobuf.ExtensionRegistryLite) registry);
  }
  static final com.google.protobuf.Descriptors.Descriptor
    internal_static_operations_research_sat_LinearBooleanConstraint_descriptor;
  static final 
    com.google.protobuf.GeneratedMessage.FieldAccessorTable
      internal_static_operations_research_sat_LinearBooleanConstraint_fieldAccessorTable;
  static final com.google.protobuf.Descriptors.Descriptor
    internal_static_operations_research_sat_LinearObjective_descriptor;
  static final 
    com.google.protobuf.GeneratedMessage.FieldAccessorTable
      internal_static_operations_research_sat_LinearObjective_fieldAccessorTable;
  static final com.google.protobuf.Descriptors.Descriptor
    internal_static_operations_research_sat_BooleanAssignment_descriptor;
  static final 
    com.google.protobuf.GeneratedMessage.FieldAccessorTable
      internal_static_operations_research_sat_BooleanAssignment_fieldAccessorTable;
  static final com.google.protobuf.Descriptors.Descriptor
    internal_static_operations_research_sat_LinearBooleanProblem_descriptor;
  static final 
    com.google.protobuf.GeneratedMessage.FieldAccessorTable
      internal_static_operations_research_sat_LinearBooleanProblem_fieldAccessorTable;
 
  public static com.google.protobuf.Descriptors.FileDescriptor
      getDescriptor() {
    return descriptor;
  }
  private static  com.google.protobuf.Descriptors.FileDescriptor
      descriptor;
  static {
    java.lang.String[] descriptorData = {
      "\n!ortools/sat/boolean_problem.proto\022\027ope" +
      "rations_research.sat\"{\n\027LinearBooleanCon" +
      "straint\022\020\n\010literals\030\001 \003(\005\022\024\n\014coefficient" +
      "s\030\002 \003(\003\022\023\n\013lower_bound\030\003 \001(\003\022\023\n\013upper_bo" +
      "und\030\004 \001(\003\022\016\n\004name\030\005 \001(\t:\000\"g\n\017LinearObjec" +
      "tive\022\020\n\010literals\030\001 \003(\005\022\024\n\014coefficients\030\002" +
      " \003(\003\022\021\n\006offset\030\003 \001(\001:\0010\022\031\n\016scaling_facto" +
      "r\030\004 \001(\001:\0011\"%\n\021BooleanAssignment\022\020\n\010liter" +
      "als\030\001 \003(\005\"\264\002\n\024LinearBooleanProblem\022\016\n\004na" +
      "me\030\001 \001(\t:\000\022\025\n\rnum_variables\030\003 \001(\005\022E\n\013con" +
      "straints\030\004 \003(\01320.operations_research.sat" +
      ".LinearBooleanConstraint\022;\n\tobjective\030\005 " +
      "\001(\0132(.operations_research.sat.LinearObje" +
      "ctive\022\021\n\tvar_names\030\006 \003(\t\022>\n\nassignment\030\007" +
      " \001(\0132*.operations_research.sat.BooleanAs" +
      "signment\022\036\n\026original_num_variables\030\010 \001(\005" +
      "B/\n\026com.google.ortools.satP\001\252\002\022Google.Or" +
      "Tools.Sat"
    };
    descriptor = com.google.protobuf.Descriptors.FileDescriptor
      .internalBuildGeneratedFileFrom(descriptorData,
        new com.google.protobuf.Descriptors.FileDescriptor[] {
        });
    internal_static_operations_research_sat_LinearBooleanConstraint_descriptor =
      getDescriptor().getMessageTypes().get(0);
    internal_static_operations_research_sat_LinearBooleanConstraint_fieldAccessorTable = new
      com.google.protobuf.GeneratedMessage.FieldAccessorTable(
        internal_static_operations_research_sat_LinearBooleanConstraint_descriptor,
        new java.lang.String[] { "Literals", "Coefficients", "LowerBound", "UpperBound", "Name", });
    internal_static_operations_research_sat_LinearObjective_descriptor =
      getDescriptor().getMessageTypes().get(1);
    internal_static_operations_research_sat_LinearObjective_fieldAccessorTable = new
      com.google.protobuf.GeneratedMessage.FieldAccessorTable(
        internal_static_operations_research_sat_LinearObjective_descriptor,
        new java.lang.String[] { "Literals", "Coefficients", "Offset", "ScalingFactor", });
    internal_static_operations_research_sat_BooleanAssignment_descriptor =
      getDescriptor().getMessageTypes().get(2);
    internal_static_operations_research_sat_BooleanAssignment_fieldAccessorTable = new
      com.google.protobuf.GeneratedMessage.FieldAccessorTable(
        internal_static_operations_research_sat_BooleanAssignment_descriptor,
        new java.lang.String[] { "Literals", });
    internal_static_operations_research_sat_LinearBooleanProblem_descriptor =
      getDescriptor().getMessageTypes().get(3);
    internal_static_operations_research_sat_LinearBooleanProblem_fieldAccessorTable = new
      com.google.protobuf.GeneratedMessage.FieldAccessorTable(
        internal_static_operations_research_sat_LinearBooleanProblem_descriptor,
        new java.lang.String[] { "Name", "NumVariables", "Constraints", "Objective", "VarNames", "Assignment", "OriginalNumVariables", });
    descriptor.resolveAllFeaturesImmutable();
  }
 
  // @@protoc_insertion_point(outer_class_scope)
}