CpModelProtoOrBuilder.java

Go to the documentation of this file.

// Generated by the protocol buffer compiler.  DO NOT EDIT!
// source: ortools/sat/cp_model.proto
 
// Protobuf Java Version: 3.25.3
package com.google.ortools.sat;
 
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();
}