com.google.ortools.sat.CircuitConstraintProtoOrBuilder Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of google-or-tools Show documentation

Publishing Google OR-Tools as a Maven dependency

The newest version!

// Generated by the protocol buffer compiler.  DO NOT EDIT!
// source: ortools/sat/cp_model.proto

package com.google.ortools.sat;

public interface CircuitConstraintProtoOrBuilder extends
    // @@protoc_insertion_point(interface_extends:operations_research.sat.CircuitConstraintProto)
    com.google.protobuf.MessageOrBuilder {

  /**
   * repeated int32 tails = 3;
   * @return A list containing the tails.
   */
  java.util.List getTailsList();
  /**
   * repeated int32 tails = 3;
   * @return The count of tails.
   */
  int getTailsCount();
  /**
   * repeated int32 tails = 3;
   * @param index The index of the element to return.
   * @return The tails at the given index.
   */
  int getTails(int index);

  /**
   * repeated int32 heads = 4;
   * @return A list containing the heads.
   */
  java.util.List getHeadsList();
  /**
   * repeated int32 heads = 4;
   * @return The count of heads.
   */
  int getHeadsCount();
  /**
   * repeated int32 heads = 4;
   * @param index The index of the element to return.
   * @return The heads at the given index.
   */
  int getHeads(int index);

  /**
   * repeated int32 literals = 5;
   * @return A list containing the literals.
   */
  java.util.List getLiteralsList();
  /**
   * repeated int32 literals = 5;
   * @return The count of literals.
   */
  int getLiteralsCount();
  /**
   * repeated int32 literals = 5;
   * @param index The index of the element to return.
   * @return The literals at the given index.
   */
  int getLiterals(int index);
}