LinearBooleanProblemOrBuilder.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/boolean_problem.proto
// Protobuf Java Version: 4.29.3
 
package com.google.ortools.sat;
 
public interface LinearBooleanProblemOrBuilder extends
    // @@protoc_insertion_point(interface_extends:operations_research.sat.LinearBooleanProblem)
    com.google.protobuf.MessageOrBuilder {

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

  boolean hasNumVariables();
  int getNumVariables();

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

  boolean hasObjective();
  com.google.ortools.sat.LinearObjective getObjective();
  com.google.ortools.sat.LinearObjectiveOrBuilder getObjectiveOrBuilder();

  java.util.List<java.lang.String>
      getVarNamesList();
  int getVarNamesCount();
  java.lang.String getVarNames(int index);
  com.google.protobuf.ByteString
      getVarNamesBytes(int index);

  boolean hasAssignment();
  com.google.ortools.sat.BooleanAssignment getAssignment();
  com.google.ortools.sat.BooleanAssignmentOrBuilder getAssignmentOrBuilder();

  boolean hasOriginalNumVariables();
  int getOriginalNumVariables();
}