LinearBooleanProblemOrBuilder.java

Go to the documentation of this file.

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