All Downloads are FREE. Search and download functionalities are using the official Maven repository.

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

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

  /**
   * repeated int32 nexts = 1;
   * @return A list containing the nexts.
   */
  java.util.List getNextsList();
  /**
   * repeated int32 nexts = 1;
   * @return The count of nexts.
   */
  int getNextsCount();
  /**
   * repeated int32 nexts = 1;
   * @param index The index of the element to return.
   * @return The nexts at the given index.
   */
  int getNexts(int index);

  /**
   * repeated int64 distinguished_nodes = 2;
   * @return A list containing the distinguishedNodes.
   */
  java.util.List getDistinguishedNodesList();
  /**
   * repeated int64 distinguished_nodes = 2;
   * @return The count of distinguishedNodes.
   */
  int getDistinguishedNodesCount();
  /**
   * repeated int64 distinguished_nodes = 2;
   * @param index The index of the element to return.
   * @return The distinguishedNodes at the given index.
   */
  long getDistinguishedNodes(int index);
}




© 2015 - 2025 Weber Informatics LLC | Privacy Policy