CpSolverResponseOrBuilder.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 CpSolverResponseOrBuilder extends
    // @@protoc_insertion_point(interface_extends:operations_research.sat.CpSolverResponse)
    com.google.protobuf.MessageOrBuilder {
 
  int getStatusValue();
  com.google.ortools.sat.CpSolverStatus getStatus();
 
  java.util.List<java.lang.Long> getSolutionList();
  int getSolutionCount();
  long getSolution(int index);
 
  double getObjectiveValue();
 
  double getBestObjectiveBound();
 
  java.util.List<com.google.ortools.sat.CpSolverSolution> 
      getAdditionalSolutionsList();
  com.google.ortools.sat.CpSolverSolution getAdditionalSolutions(int index);
  int getAdditionalSolutionsCount();
  java.util.List<? extends com.google.ortools.sat.CpSolverSolutionOrBuilder> 
      getAdditionalSolutionsOrBuilderList();
  com.google.ortools.sat.CpSolverSolutionOrBuilder getAdditionalSolutionsOrBuilder(
      int index);
 
  java.util.List<com.google.ortools.sat.IntegerVariableProto> 
      getTightenedVariablesList();
  com.google.ortools.sat.IntegerVariableProto getTightenedVariables(int index);
  int getTightenedVariablesCount();
  java.util.List<? extends com.google.ortools.sat.IntegerVariableProtoOrBuilder> 
      getTightenedVariablesOrBuilderList();
  com.google.ortools.sat.IntegerVariableProtoOrBuilder getTightenedVariablesOrBuilder(
      int index);
 
  java.util.List<java.lang.Integer> getSufficientAssumptionsForInfeasibilityList();
  int getSufficientAssumptionsForInfeasibilityCount();
  int getSufficientAssumptionsForInfeasibility(int index);
 
  boolean hasIntegerObjective();
  com.google.ortools.sat.CpObjectiveProto getIntegerObjective();
  com.google.ortools.sat.CpObjectiveProtoOrBuilder getIntegerObjectiveOrBuilder();
 
  long getInnerObjectiveLowerBound();
 
  long getNumIntegers();
 
  long getNumBooleans();
 
  long getNumConflicts();
 
  long getNumBranches();
 
  long getNumBinaryPropagations();
 
  long getNumIntegerPropagations();
 
  long getNumRestarts();
 
  long getNumLpIterations();
 
  double getWallTime();
 
  double getUserTime();
 
  double getDeterministicTime();
 
  double getGapIntegral();
 
  java.lang.String getSolutionInfo();
  com.google.protobuf.ByteString
      getSolutionInfoBytes();
 
  java.lang.String getSolveLog();
  com.google.protobuf.ByteString
      getSolveLogBytes();
}