All Downloads are FREE. Search and download functionalities are using the official Maven repository.

com.google.ortools.sat.CpModelProtobuf Maven / Gradle / Ivy

The newest version!
// Generated by the protocol buffer compiler.  DO NOT EDIT!
// source: ortools/sat/cp_model.proto

package com.google.ortools.sat;

public final class CpModelProtobuf {
  private CpModelProtobuf() {}
  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_IntegerVariableProto_descriptor;
  static final 
    com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
      internal_static_operations_research_sat_IntegerVariableProto_fieldAccessorTable;
  static final com.google.protobuf.Descriptors.Descriptor
    internal_static_operations_research_sat_BoolArgumentProto_descriptor;
  static final 
    com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
      internal_static_operations_research_sat_BoolArgumentProto_fieldAccessorTable;
  static final com.google.protobuf.Descriptors.Descriptor
    internal_static_operations_research_sat_IntegerArgumentProto_descriptor;
  static final 
    com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
      internal_static_operations_research_sat_IntegerArgumentProto_fieldAccessorTable;
  static final com.google.protobuf.Descriptors.Descriptor
    internal_static_operations_research_sat_LinearExpressionProto_descriptor;
  static final 
    com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
      internal_static_operations_research_sat_LinearExpressionProto_fieldAccessorTable;
  static final com.google.protobuf.Descriptors.Descriptor
    internal_static_operations_research_sat_LinearArgumentProto_descriptor;
  static final 
    com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
      internal_static_operations_research_sat_LinearArgumentProto_fieldAccessorTable;
  static final com.google.protobuf.Descriptors.Descriptor
    internal_static_operations_research_sat_AllDifferentConstraintProto_descriptor;
  static final 
    com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
      internal_static_operations_research_sat_AllDifferentConstraintProto_fieldAccessorTable;
  static final com.google.protobuf.Descriptors.Descriptor
    internal_static_operations_research_sat_LinearConstraintProto_descriptor;
  static final 
    com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
      internal_static_operations_research_sat_LinearConstraintProto_fieldAccessorTable;
  static final com.google.protobuf.Descriptors.Descriptor
    internal_static_operations_research_sat_ElementConstraintProto_descriptor;
  static final 
    com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
      internal_static_operations_research_sat_ElementConstraintProto_fieldAccessorTable;
  static final com.google.protobuf.Descriptors.Descriptor
    internal_static_operations_research_sat_IntervalConstraintProto_descriptor;
  static final 
    com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
      internal_static_operations_research_sat_IntervalConstraintProto_fieldAccessorTable;
  static final com.google.protobuf.Descriptors.Descriptor
    internal_static_operations_research_sat_NoOverlapConstraintProto_descriptor;
  static final 
    com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
      internal_static_operations_research_sat_NoOverlapConstraintProto_fieldAccessorTable;
  static final com.google.protobuf.Descriptors.Descriptor
    internal_static_operations_research_sat_NoOverlap2DConstraintProto_descriptor;
  static final 
    com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
      internal_static_operations_research_sat_NoOverlap2DConstraintProto_fieldAccessorTable;
  static final com.google.protobuf.Descriptors.Descriptor
    internal_static_operations_research_sat_CumulativeConstraintProto_descriptor;
  static final 
    com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
      internal_static_operations_research_sat_CumulativeConstraintProto_fieldAccessorTable;
  static final com.google.protobuf.Descriptors.Descriptor
    internal_static_operations_research_sat_ReservoirConstraintProto_descriptor;
  static final 
    com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
      internal_static_operations_research_sat_ReservoirConstraintProto_fieldAccessorTable;
  static final com.google.protobuf.Descriptors.Descriptor
    internal_static_operations_research_sat_CircuitConstraintProto_descriptor;
  static final 
    com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
      internal_static_operations_research_sat_CircuitConstraintProto_fieldAccessorTable;
  static final com.google.protobuf.Descriptors.Descriptor
    internal_static_operations_research_sat_RoutesConstraintProto_descriptor;
  static final 
    com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
      internal_static_operations_research_sat_RoutesConstraintProto_fieldAccessorTable;
  static final com.google.protobuf.Descriptors.Descriptor
    internal_static_operations_research_sat_CircuitCoveringConstraintProto_descriptor;
  static final 
    com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
      internal_static_operations_research_sat_CircuitCoveringConstraintProto_fieldAccessorTable;
  static final com.google.protobuf.Descriptors.Descriptor
    internal_static_operations_research_sat_TableConstraintProto_descriptor;
  static final 
    com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
      internal_static_operations_research_sat_TableConstraintProto_fieldAccessorTable;
  static final com.google.protobuf.Descriptors.Descriptor
    internal_static_operations_research_sat_InverseConstraintProto_descriptor;
  static final 
    com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
      internal_static_operations_research_sat_InverseConstraintProto_fieldAccessorTable;
  static final com.google.protobuf.Descriptors.Descriptor
    internal_static_operations_research_sat_AutomatonConstraintProto_descriptor;
  static final 
    com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
      internal_static_operations_research_sat_AutomatonConstraintProto_fieldAccessorTable;
  static final com.google.protobuf.Descriptors.Descriptor
    internal_static_operations_research_sat_ConstraintProto_descriptor;
  static final 
    com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
      internal_static_operations_research_sat_ConstraintProto_fieldAccessorTable;
  static final com.google.protobuf.Descriptors.Descriptor
    internal_static_operations_research_sat_CpObjectiveProto_descriptor;
  static final 
    com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
      internal_static_operations_research_sat_CpObjectiveProto_fieldAccessorTable;
  static final com.google.protobuf.Descriptors.Descriptor
    internal_static_operations_research_sat_DecisionStrategyProto_descriptor;
  static final 
    com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
      internal_static_operations_research_sat_DecisionStrategyProto_fieldAccessorTable;
  static final com.google.protobuf.Descriptors.Descriptor
    internal_static_operations_research_sat_DecisionStrategyProto_AffineTransformation_descriptor;
  static final 
    com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
      internal_static_operations_research_sat_DecisionStrategyProto_AffineTransformation_fieldAccessorTable;
  static final com.google.protobuf.Descriptors.Descriptor
    internal_static_operations_research_sat_PartialVariableAssignment_descriptor;
  static final 
    com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
      internal_static_operations_research_sat_PartialVariableAssignment_fieldAccessorTable;
  static final com.google.protobuf.Descriptors.Descriptor
    internal_static_operations_research_sat_CpModelProto_descriptor;
  static final 
    com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
      internal_static_operations_research_sat_CpModelProto_fieldAccessorTable;
  static final com.google.protobuf.Descriptors.Descriptor
    internal_static_operations_research_sat_CpSolverResponse_descriptor;
  static final 
    com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
      internal_static_operations_research_sat_CpSolverResponse_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\032ortools/sat/cp_model.proto\022\027operations" +
      "_research.sat\"4\n\024IntegerVariableProto\022\014\n" +
      "\004name\030\001 \001(\t\022\016\n\006domain\030\002 \003(\003\"%\n\021BoolArgum" +
      "entProto\022\020\n\010literals\030\001 \003(\005\"4\n\024IntegerArg" +
      "umentProto\022\016\n\006target\030\001 \001(\005\022\014\n\004vars\030\002 \003(\005" +
      "\"E\n\025LinearExpressionProto\022\014\n\004vars\030\001 \003(\005\022" +
      "\016\n\006coeffs\030\002 \003(\003\022\016\n\006offset\030\003 \001(\003\"\224\001\n\023Line" +
      "arArgumentProto\022>\n\006target\030\001 \001(\0132..operat" +
      "ions_research.sat.LinearExpressionProto\022" +
      "=\n\005exprs\030\002 \003(\0132..operations_research.sat" +
      ".LinearExpressionProto\"+\n\033AllDifferentCo" +
      "nstraintProto\022\014\n\004vars\030\001 \003(\005\"E\n\025LinearCon" +
      "straintProto\022\014\n\004vars\030\001 \003(\005\022\016\n\006coeffs\030\002 \003" +
      "(\003\022\016\n\006domain\030\003 \003(\003\"E\n\026ElementConstraintP" +
      "roto\022\r\n\005index\030\001 \001(\005\022\016\n\006target\030\002 \001(\005\022\014\n\004v" +
      "ars\030\003 \003(\005\"C\n\027IntervalConstraintProto\022\r\n\005" +
      "start\030\001 \001(\005\022\013\n\003end\030\002 \001(\005\022\014\n\004size\030\003 \001(\005\"-" +
      "\n\030NoOverlapConstraintProto\022\021\n\tintervals\030" +
      "\001 \003(\005\"p\n\032NoOverlap2DConstraintProto\022\023\n\013x" +
      "_intervals\030\001 \003(\005\022\023\n\013y_intervals\030\002 \003(\005\022(\n" +
      " boxes_with_null_area_can_overlap\030\003 \001(\010\"" +
      "Q\n\031CumulativeConstraintProto\022\020\n\010capacity" +
      "\030\001 \001(\005\022\021\n\tintervals\030\002 \003(\005\022\017\n\007demands\030\003 \003" +
      "(\005\"q\n\030ReservoirConstraintProto\022\021\n\tmin_le" +
      "vel\030\001 \001(\003\022\021\n\tmax_level\030\002 \001(\003\022\r\n\005times\030\003 " +
      "\003(\005\022\017\n\007demands\030\004 \003(\003\022\017\n\007actives\030\005 \003(\005\"H\n" +
      "\026CircuitConstraintProto\022\r\n\005tails\030\003 \003(\005\022\r" +
      "\n\005heads\030\004 \003(\005\022\020\n\010literals\030\005 \003(\005\"j\n\025Route" +
      "sConstraintProto\022\r\n\005tails\030\001 \003(\005\022\r\n\005heads" +
      "\030\002 \003(\005\022\020\n\010literals\030\003 \003(\005\022\017\n\007demands\030\004 \003(" +
      "\005\022\020\n\010capacity\030\005 \001(\003\"L\n\036CircuitCoveringCo" +
      "nstraintProto\022\r\n\005nexts\030\001 \003(\005\022\033\n\023distingu" +
      "ished_nodes\030\002 \003(\003\"E\n\024TableConstraintProt" +
      "o\022\014\n\004vars\030\001 \003(\005\022\016\n\006values\030\002 \003(\003\022\017\n\007negat" +
      "ed\030\003 \001(\010\"=\n\026InverseConstraintProto\022\020\n\010f_" +
      "direct\030\001 \003(\005\022\021\n\tf_inverse\030\002 \003(\005\"\242\001\n\030Auto" +
      "matonConstraintProto\022\026\n\016starting_state\030\002" +
      " \001(\003\022\024\n\014final_states\030\003 \003(\003\022\027\n\017transition" +
      "_tail\030\004 \003(\003\022\027\n\017transition_head\030\005 \003(\003\022\030\n\020" +
      "transition_label\030\006 \003(\003\022\014\n\004vars\030\007 \003(\005\"\377\r\n" +
      "\017ConstraintProto\022\014\n\004name\030\001 \001(\t\022\033\n\023enforc" +
      "ement_literal\030\002 \003(\005\022=\n\007bool_or\030\003 \001(\0132*.o" +
      "perations_research.sat.BoolArgumentProto" +
      "H\000\022>\n\010bool_and\030\004 \001(\0132*.operations_resear" +
      "ch.sat.BoolArgumentProtoH\000\022A\n\013at_most_on" +
      "e\030\032 \001(\0132*.operations_research.sat.BoolAr" +
      "gumentProtoH\000\022>\n\010bool_xor\030\005 \001(\0132*.operat" +
      "ions_research.sat.BoolArgumentProtoH\000\022@\n" +
      "\007int_div\030\007 \001(\0132-.operations_research.sat" +
      ".IntegerArgumentProtoH\000\022@\n\007int_mod\030\010 \001(\013" +
      "2-.operations_research.sat.IntegerArgume" +
      "ntProtoH\000\022@\n\007int_max\030\t \001(\0132-.operations_" +
      "research.sat.IntegerArgumentProtoH\000\022?\n\007l" +
      "in_max\030\033 \001(\0132,.operations_research.sat.L" +
      "inearArgumentProtoH\000\022@\n\007int_min\030\n \001(\0132-." +
      "operations_research.sat.IntegerArgumentP" +
      "rotoH\000\022?\n\007lin_min\030\034 \001(\0132,.operations_res" +
      "earch.sat.LinearArgumentProtoH\000\022A\n\010int_p" +
      "rod\030\013 \001(\0132-.operations_research.sat.Inte" +
      "gerArgumentProtoH\000\022@\n\006linear\030\014 \001(\0132..ope" +
      "rations_research.sat.LinearConstraintPro" +
      "toH\000\022H\n\010all_diff\030\r \001(\01324.operations_rese" +
      "arch.sat.AllDifferentConstraintProtoH\000\022B" +
      "\n\007element\030\016 \001(\0132/.operations_research.sa" +
      "t.ElementConstraintProtoH\000\022B\n\007circuit\030\017 " +
      "\001(\0132/.operations_research.sat.CircuitCon" +
      "straintProtoH\000\022@\n\006routes\030\027 \001(\0132..operati" +
      "ons_research.sat.RoutesConstraintProtoH\000" +
      "\022S\n\020circuit_covering\030\031 \001(\01327.operations_" +
      "research.sat.CircuitCoveringConstraintPr" +
      "otoH\000\022>\n\005table\030\020 \001(\0132-.operations_resear" +
      "ch.sat.TableConstraintProtoH\000\022F\n\tautomat" +
      "on\030\021 \001(\01321.operations_research.sat.Autom" +
      "atonConstraintProtoH\000\022B\n\007inverse\030\022 \001(\0132/" +
      ".operations_research.sat.InverseConstrai" +
      "ntProtoH\000\022F\n\treservoir\030\030 \001(\01321.operation" +
      "s_research.sat.ReservoirConstraintProtoH" +
      "\000\022D\n\010interval\030\023 \001(\01320.operations_researc" +
      "h.sat.IntervalConstraintProtoH\000\022G\n\nno_ov" +
      "erlap\030\024 \001(\01321.operations_research.sat.No" +
      "OverlapConstraintProtoH\000\022L\n\rno_overlap_2" +
      "d\030\025 \001(\01323.operations_research.sat.NoOver" +
      "lap2DConstraintProtoH\000\022H\n\ncumulative\030\026 \001" +
      "(\01322.operations_research.sat.CumulativeC" +
      "onstraintProtoH\000B\014\n\nconstraint\"h\n\020CpObje" +
      "ctiveProto\022\014\n\004vars\030\001 \003(\005\022\016\n\006coeffs\030\004 \003(\003" +
      "\022\016\n\006offset\030\002 \001(\001\022\026\n\016scaling_factor\030\003 \001(\001" +
      "\022\016\n\006domain\030\005 \003(\003\"\325\005\n\025DecisionStrategyPro" +
      "to\022\021\n\tvariables\030\001 \003(\005\022m\n\033variable_select" +
      "ion_strategy\030\002 \001(\0162H.operations_research" +
      ".sat.DecisionStrategyProto.VariableSelec" +
      "tionStrategy\022i\n\031domain_reduction_strateg" +
      "y\030\003 \001(\0162F.operations_research.sat.Decisi" +
      "onStrategyProto.DomainReductionStrategy\022" +
      "\\\n\017transformations\030\004 \003(\0132C.operations_re" +
      "search.sat.DecisionStrategyProto.AffineT" +
      "ransformation\032K\n\024AffineTransformation\022\013\n" +
      "\003var\030\001 \001(\005\022\016\n\006offset\030\002 \001(\003\022\026\n\016positive_c" +
      "oeff\030\003 \001(\003\"\224\001\n\031VariableSelectionStrategy" +
      "\022\020\n\014CHOOSE_FIRST\020\000\022\025\n\021CHOOSE_LOWEST_MIN\020" +
      "\001\022\026\n\022CHOOSE_HIGHEST_MAX\020\002\022\032\n\026CHOOSE_MIN_" +
      "DOMAIN_SIZE\020\003\022\032\n\026CHOOSE_MAX_DOMAIN_SIZE\020" +
      "\004\"\214\001\n\027DomainReductionStrategy\022\024\n\020SELECT_" +
      "MIN_VALUE\020\000\022\024\n\020SELECT_MAX_VALUE\020\001\022\025\n\021SEL" +
      "ECT_LOWER_HALF\020\002\022\025\n\021SELECT_UPPER_HALF\020\003\022" +
      "\027\n\023SELECT_MEDIAN_VALUE\020\004\"9\n\031PartialVaria" +
      "bleAssignment\022\014\n\004vars\030\001 \003(\005\022\016\n\006values\030\002 " +
      "\003(\003\"\204\003\n\014CpModelProto\022\014\n\004name\030\001 \001(\t\022@\n\tva" +
      "riables\030\002 \003(\0132-.operations_research.sat." +
      "IntegerVariableProto\022=\n\013constraints\030\003 \003(" +
      "\0132(.operations_research.sat.ConstraintPr" +
      "oto\022<\n\tobjective\030\004 \001(\0132).operations_rese" +
      "arch.sat.CpObjectiveProto\022G\n\017search_stra" +
      "tegy\030\005 \003(\0132..operations_research.sat.Dec" +
      "isionStrategyProto\022I\n\rsolution_hint\030\006 \001(" +
      "\01322.operations_research.sat.PartialVaria" +
      "bleAssignment\022\023\n\013assumptions\030\007 \003(\005\"\352\004\n\020C" +
      "pSolverResponse\0227\n\006status\030\001 \001(\0162\'.operat" +
      "ions_research.sat.CpSolverStatus\022\020\n\010solu" +
      "tion\030\002 \003(\003\022\027\n\017objective_value\030\003 \001(\001\022\034\n\024b" +
      "est_objective_bound\030\004 \001(\001\022\035\n\025solution_lo" +
      "wer_bounds\030\022 \003(\003\022\035\n\025solution_upper_bound" +
      "s\030\023 \003(\003\022J\n\023tightened_variables\030\025 \003(\0132-.o" +
      "perations_research.sat.IntegerVariablePr" +
      "oto\0220\n(sufficient_assumptions_for_infeas" +
      "ibility\030\027 \003(\005\022 \n\030all_solutions_were_foun" +
      "d\030\005 \001(\010\022\024\n\014num_booleans\030\n \001(\003\022\025\n\rnum_con" +
      "flicts\030\013 \001(\003\022\024\n\014num_branches\030\014 \001(\003\022\037\n\027nu" +
      "m_binary_propagations\030\r \001(\003\022 \n\030num_integ" +
      "er_propagations\030\016 \001(\003\022\021\n\twall_time\030\017 \001(\001" +
      "\022\021\n\tuser_time\030\020 \001(\001\022\032\n\022deterministic_tim" +
      "e\030\021 \001(\001\022\027\n\017primal_integral\030\026 \001(\001\022\025\n\rsolu" +
      "tion_info\030\024 \001(\t*[\n\016CpSolverStatus\022\013\n\007UNK" +
      "NOWN\020\000\022\021\n\rMODEL_INVALID\020\001\022\014\n\010FEASIBLE\020\002\022" +
      "\016\n\nINFEASIBLE\020\003\022\013\n\007OPTIMAL\020\004B@\n\026com.goog" +
      "le.ortools.satB\017CpModelProtobufP\001\252\002\022Goog" +
      "le.OrTools.Satb\006proto3"
    };
    descriptor = com.google.protobuf.Descriptors.FileDescriptor
      .internalBuildGeneratedFileFrom(descriptorData,
        new com.google.protobuf.Descriptors.FileDescriptor[] {
        });
    internal_static_operations_research_sat_IntegerVariableProto_descriptor =
      getDescriptor().getMessageTypes().get(0);
    internal_static_operations_research_sat_IntegerVariableProto_fieldAccessorTable = new
      com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
        internal_static_operations_research_sat_IntegerVariableProto_descriptor,
        new java.lang.String[] { "Name", "Domain", });
    internal_static_operations_research_sat_BoolArgumentProto_descriptor =
      getDescriptor().getMessageTypes().get(1);
    internal_static_operations_research_sat_BoolArgumentProto_fieldAccessorTable = new
      com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
        internal_static_operations_research_sat_BoolArgumentProto_descriptor,
        new java.lang.String[] { "Literals", });
    internal_static_operations_research_sat_IntegerArgumentProto_descriptor =
      getDescriptor().getMessageTypes().get(2);
    internal_static_operations_research_sat_IntegerArgumentProto_fieldAccessorTable = new
      com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
        internal_static_operations_research_sat_IntegerArgumentProto_descriptor,
        new java.lang.String[] { "Target", "Vars", });
    internal_static_operations_research_sat_LinearExpressionProto_descriptor =
      getDescriptor().getMessageTypes().get(3);
    internal_static_operations_research_sat_LinearExpressionProto_fieldAccessorTable = new
      com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
        internal_static_operations_research_sat_LinearExpressionProto_descriptor,
        new java.lang.String[] { "Vars", "Coeffs", "Offset", });
    internal_static_operations_research_sat_LinearArgumentProto_descriptor =
      getDescriptor().getMessageTypes().get(4);
    internal_static_operations_research_sat_LinearArgumentProto_fieldAccessorTable = new
      com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
        internal_static_operations_research_sat_LinearArgumentProto_descriptor,
        new java.lang.String[] { "Target", "Exprs", });
    internal_static_operations_research_sat_AllDifferentConstraintProto_descriptor =
      getDescriptor().getMessageTypes().get(5);
    internal_static_operations_research_sat_AllDifferentConstraintProto_fieldAccessorTable = new
      com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
        internal_static_operations_research_sat_AllDifferentConstraintProto_descriptor,
        new java.lang.String[] { "Vars", });
    internal_static_operations_research_sat_LinearConstraintProto_descriptor =
      getDescriptor().getMessageTypes().get(6);
    internal_static_operations_research_sat_LinearConstraintProto_fieldAccessorTable = new
      com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
        internal_static_operations_research_sat_LinearConstraintProto_descriptor,
        new java.lang.String[] { "Vars", "Coeffs", "Domain", });
    internal_static_operations_research_sat_ElementConstraintProto_descriptor =
      getDescriptor().getMessageTypes().get(7);
    internal_static_operations_research_sat_ElementConstraintProto_fieldAccessorTable = new
      com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
        internal_static_operations_research_sat_ElementConstraintProto_descriptor,
        new java.lang.String[] { "Index", "Target", "Vars", });
    internal_static_operations_research_sat_IntervalConstraintProto_descriptor =
      getDescriptor().getMessageTypes().get(8);
    internal_static_operations_research_sat_IntervalConstraintProto_fieldAccessorTable = new
      com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
        internal_static_operations_research_sat_IntervalConstraintProto_descriptor,
        new java.lang.String[] { "Start", "End", "Size", });
    internal_static_operations_research_sat_NoOverlapConstraintProto_descriptor =
      getDescriptor().getMessageTypes().get(9);
    internal_static_operations_research_sat_NoOverlapConstraintProto_fieldAccessorTable = new
      com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
        internal_static_operations_research_sat_NoOverlapConstraintProto_descriptor,
        new java.lang.String[] { "Intervals", });
    internal_static_operations_research_sat_NoOverlap2DConstraintProto_descriptor =
      getDescriptor().getMessageTypes().get(10);
    internal_static_operations_research_sat_NoOverlap2DConstraintProto_fieldAccessorTable = new
      com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
        internal_static_operations_research_sat_NoOverlap2DConstraintProto_descriptor,
        new java.lang.String[] { "XIntervals", "YIntervals", "BoxesWithNullAreaCanOverlap", });
    internal_static_operations_research_sat_CumulativeConstraintProto_descriptor =
      getDescriptor().getMessageTypes().get(11);
    internal_static_operations_research_sat_CumulativeConstraintProto_fieldAccessorTable = new
      com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
        internal_static_operations_research_sat_CumulativeConstraintProto_descriptor,
        new java.lang.String[] { "Capacity", "Intervals", "Demands", });
    internal_static_operations_research_sat_ReservoirConstraintProto_descriptor =
      getDescriptor().getMessageTypes().get(12);
    internal_static_operations_research_sat_ReservoirConstraintProto_fieldAccessorTable = new
      com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
        internal_static_operations_research_sat_ReservoirConstraintProto_descriptor,
        new java.lang.String[] { "MinLevel", "MaxLevel", "Times", "Demands", "Actives", });
    internal_static_operations_research_sat_CircuitConstraintProto_descriptor =
      getDescriptor().getMessageTypes().get(13);
    internal_static_operations_research_sat_CircuitConstraintProto_fieldAccessorTable = new
      com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
        internal_static_operations_research_sat_CircuitConstraintProto_descriptor,
        new java.lang.String[] { "Tails", "Heads", "Literals", });
    internal_static_operations_research_sat_RoutesConstraintProto_descriptor =
      getDescriptor().getMessageTypes().get(14);
    internal_static_operations_research_sat_RoutesConstraintProto_fieldAccessorTable = new
      com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
        internal_static_operations_research_sat_RoutesConstraintProto_descriptor,
        new java.lang.String[] { "Tails", "Heads", "Literals", "Demands", "Capacity", });
    internal_static_operations_research_sat_CircuitCoveringConstraintProto_descriptor =
      getDescriptor().getMessageTypes().get(15);
    internal_static_operations_research_sat_CircuitCoveringConstraintProto_fieldAccessorTable = new
      com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
        internal_static_operations_research_sat_CircuitCoveringConstraintProto_descriptor,
        new java.lang.String[] { "Nexts", "DistinguishedNodes", });
    internal_static_operations_research_sat_TableConstraintProto_descriptor =
      getDescriptor().getMessageTypes().get(16);
    internal_static_operations_research_sat_TableConstraintProto_fieldAccessorTable = new
      com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
        internal_static_operations_research_sat_TableConstraintProto_descriptor,
        new java.lang.String[] { "Vars", "Values", "Negated", });
    internal_static_operations_research_sat_InverseConstraintProto_descriptor =
      getDescriptor().getMessageTypes().get(17);
    internal_static_operations_research_sat_InverseConstraintProto_fieldAccessorTable = new
      com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
        internal_static_operations_research_sat_InverseConstraintProto_descriptor,
        new java.lang.String[] { "FDirect", "FInverse", });
    internal_static_operations_research_sat_AutomatonConstraintProto_descriptor =
      getDescriptor().getMessageTypes().get(18);
    internal_static_operations_research_sat_AutomatonConstraintProto_fieldAccessorTable = new
      com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
        internal_static_operations_research_sat_AutomatonConstraintProto_descriptor,
        new java.lang.String[] { "StartingState", "FinalStates", "TransitionTail", "TransitionHead", "TransitionLabel", "Vars", });
    internal_static_operations_research_sat_ConstraintProto_descriptor =
      getDescriptor().getMessageTypes().get(19);
    internal_static_operations_research_sat_ConstraintProto_fieldAccessorTable = new
      com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
        internal_static_operations_research_sat_ConstraintProto_descriptor,
        new java.lang.String[] { "Name", "EnforcementLiteral", "BoolOr", "BoolAnd", "AtMostOne", "BoolXor", "IntDiv", "IntMod", "IntMax", "LinMax", "IntMin", "LinMin", "IntProd", "Linear", "AllDiff", "Element", "Circuit", "Routes", "CircuitCovering", "Table", "Automaton", "Inverse", "Reservoir", "Interval", "NoOverlap", "NoOverlap2D", "Cumulative", "Constraint", });
    internal_static_operations_research_sat_CpObjectiveProto_descriptor =
      getDescriptor().getMessageTypes().get(20);
    internal_static_operations_research_sat_CpObjectiveProto_fieldAccessorTable = new
      com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
        internal_static_operations_research_sat_CpObjectiveProto_descriptor,
        new java.lang.String[] { "Vars", "Coeffs", "Offset", "ScalingFactor", "Domain", });
    internal_static_operations_research_sat_DecisionStrategyProto_descriptor =
      getDescriptor().getMessageTypes().get(21);
    internal_static_operations_research_sat_DecisionStrategyProto_fieldAccessorTable = new
      com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
        internal_static_operations_research_sat_DecisionStrategyProto_descriptor,
        new java.lang.String[] { "Variables", "VariableSelectionStrategy", "DomainReductionStrategy", "Transformations", });
    internal_static_operations_research_sat_DecisionStrategyProto_AffineTransformation_descriptor =
      internal_static_operations_research_sat_DecisionStrategyProto_descriptor.getNestedTypes().get(0);
    internal_static_operations_research_sat_DecisionStrategyProto_AffineTransformation_fieldAccessorTable = new
      com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
        internal_static_operations_research_sat_DecisionStrategyProto_AffineTransformation_descriptor,
        new java.lang.String[] { "Var", "Offset", "PositiveCoeff", });
    internal_static_operations_research_sat_PartialVariableAssignment_descriptor =
      getDescriptor().getMessageTypes().get(22);
    internal_static_operations_research_sat_PartialVariableAssignment_fieldAccessorTable = new
      com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
        internal_static_operations_research_sat_PartialVariableAssignment_descriptor,
        new java.lang.String[] { "Vars", "Values", });
    internal_static_operations_research_sat_CpModelProto_descriptor =
      getDescriptor().getMessageTypes().get(23);
    internal_static_operations_research_sat_CpModelProto_fieldAccessorTable = new
      com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
        internal_static_operations_research_sat_CpModelProto_descriptor,
        new java.lang.String[] { "Name", "Variables", "Constraints", "Objective", "SearchStrategy", "SolutionHint", "Assumptions", });
    internal_static_operations_research_sat_CpSolverResponse_descriptor =
      getDescriptor().getMessageTypes().get(24);
    internal_static_operations_research_sat_CpSolverResponse_fieldAccessorTable = new
      com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
        internal_static_operations_research_sat_CpSolverResponse_descriptor,
        new java.lang.String[] { "Status", "Solution", "ObjectiveValue", "BestObjectiveBound", "SolutionLowerBounds", "SolutionUpperBounds", "TightenedVariables", "SufficientAssumptionsForInfeasibility", "AllSolutionsWereFound", "NumBooleans", "NumConflicts", "NumBranches", "NumBinaryPropagations", "NumIntegerPropagations", "WallTime", "UserTime", "DeterministicTime", "PrimalIntegral", "SolutionInfo", });
  }

  // @@protoc_insertion_point(outer_class_scope)
}




© 2015 - 2025 Weber Informatics LLC | Privacy Policy