CpSolverResponseOrBuilder.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 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 getNumFixedBooleans();

  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();
}