CpSolverResponseOrBuilder.java

Go to the documentation of this file.

// Generated by the protocol buffer compiler.  DO NOT EDIT!
// source: ortools/sat/cp_model.proto
 
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<java.lang.Long> getSolutionLowerBoundsList();
  int getSolutionLowerBoundsCount();
  long getSolutionLowerBounds(int index);
 
  java.util.List<java.lang.Long> getSolutionUpperBoundsList();
  int getSolutionUpperBoundsCount();
  long getSolutionUpperBounds(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 getAllSolutionsWereFound();
 
  long getNumBooleans();
 
  long getNumConflicts();
 
  long getNumBranches();
 
  long getNumBinaryPropagations();
 
  long getNumIntegerPropagations();
 
  double getWallTime();
 
  double getUserTime();
 
  double getDeterministicTime();
 
  double getPrimalIntegral();
 
  java.lang.String getSolutionInfo();
  com.google.protobuf.ByteString
      getSolutionInfoBytes();
}