LinearBooleanConstraintOrBuilder.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 LinearBooleanConstraintOrBuilder extends
    // @@protoc_insertion_point(interface_extends:operations_research.sat.LinearBooleanConstraint)
    com.google.protobuf.MessageOrBuilder {

  java.util.List<java.lang.Integer> getLiteralsList();
  int getLiteralsCount();
  int getLiterals(int index);

  java.util.List<java.lang.Long> getCoefficientsList();
  int getCoefficientsCount();
  long getCoefficients(int index);

  boolean hasLowerBound();
  long getLowerBound();

  boolean hasUpperBound();
  long getUpperBound();

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