CpModelProtoOrBuilder.java

Go to the documentation of this file.

// Generated by the protocol buffer compiler.  DO NOT EDIT!
// NO CHECKED-IN PROTOBUF GENCODE
// source: ortools/sat/cp_model.proto
// Protobuf Java Version: 4.31.1
 
package com.google.ortools.sat;
 
@com.google.protobuf.Generated
public interface CpModelProtoOrBuilder extends
    // @@protoc_insertion_point(interface_extends:operations_research.sat.CpModelProto)
    com.google.protobuf.MessageOrBuilder {

  java.lang.String getName();
  com.google.protobuf.ByteString
      getNameBytes();

  java.util.List<com.google.ortools.sat.IntegerVariableProto> 
      getVariablesList();
  com.google.ortools.sat.IntegerVariableProto getVariables(int index);
  int getVariablesCount();
  java.util.List<? extends com.google.ortools.sat.IntegerVariableProtoOrBuilder> 
      getVariablesOrBuilderList();
  com.google.ortools.sat.IntegerVariableProtoOrBuilder getVariablesOrBuilder(
      int index);

  java.util.List<com.google.ortools.sat.ConstraintProto> 
      getConstraintsList();
  com.google.ortools.sat.ConstraintProto getConstraints(int index);
  int getConstraintsCount();
  java.util.List<? extends com.google.ortools.sat.ConstraintProtoOrBuilder> 
      getConstraintsOrBuilderList();
  com.google.ortools.sat.ConstraintProtoOrBuilder getConstraintsOrBuilder(
      int index);

  boolean hasObjective();
  com.google.ortools.sat.CpObjectiveProto getObjective();
  com.google.ortools.sat.CpObjectiveProtoOrBuilder getObjectiveOrBuilder();

  boolean hasFloatingPointObjective();
  com.google.ortools.sat.FloatObjectiveProto getFloatingPointObjective();
  com.google.ortools.sat.FloatObjectiveProtoOrBuilder getFloatingPointObjectiveOrBuilder();

  java.util.List<com.google.ortools.sat.DecisionStrategyProto> 
      getSearchStrategyList();
  com.google.ortools.sat.DecisionStrategyProto getSearchStrategy(int index);
  int getSearchStrategyCount();
  java.util.List<? extends com.google.ortools.sat.DecisionStrategyProtoOrBuilder> 
      getSearchStrategyOrBuilderList();
  com.google.ortools.sat.DecisionStrategyProtoOrBuilder getSearchStrategyOrBuilder(
      int index);

  boolean hasSolutionHint();
  com.google.ortools.sat.PartialVariableAssignment getSolutionHint();
  com.google.ortools.sat.PartialVariableAssignmentOrBuilder getSolutionHintOrBuilder();

  java.util.List<java.lang.Integer> getAssumptionsList();
  int getAssumptionsCount();
  int getAssumptions(int index);

  boolean hasSymmetry();
  com.google.ortools.sat.SymmetryProto getSymmetry();
  com.google.ortools.sat.SymmetryProtoOrBuilder getSymmetryOrBuilder();
}