Package com.google.ortools.sat

Interface CircuitConstraintProtoOrBuilder

All Superinterfaces:
com.google.protobuf.MessageLiteOrBuilder, com.google.protobuf.MessageOrBuilder
All Known Implementing Classes:
CircuitConstraintProto, CircuitConstraintProto.Builder
public interface CircuitConstraintProtoOrBuilder
extends com.google.protobuf.MessageOrBuilder

  • Method Summary

    Modifier and Type Method Description
    int getHeads​(int index)
    repeated int32 heads = 4;
    int getHeadsCount()
    repeated int32 heads = 4;
    java.util.List<java.lang.Integer> getHeadsList()
    repeated int32 heads = 4;
    int getLiterals​(int index)
    repeated int32 literals = 5;
    int getLiteralsCount()
    repeated int32 literals = 5;
    java.util.List<java.lang.Integer> getLiteralsList()
    repeated int32 literals = 5;
    int getTails​(int index)
    repeated int32 tails = 3;
    int getTailsCount()
    repeated int32 tails = 3;
    java.util.List<java.lang.Integer> getTailsList()
    repeated int32 tails = 3;

    Methods inherited from interface com.google.protobuf.MessageLiteOrBuilder

    isInitialized

    Methods inherited from interface com.google.protobuf.MessageOrBuilder

    findInitializationErrors, getAllFields, getDefaultInstanceForType, getDescriptorForType, getField, getInitializationErrorString, getOneofFieldDescriptor, getRepeatedField, getRepeatedFieldCount, getUnknownFields, hasField, hasOneof

  • Method Details

    • getTailsList

      java.util.List<java.lang.Integer> getTailsList()
      repeated int32 tails = 3;
      Returns:
      A list containing the tails.

    • getTailsCount

      int getTailsCount()
      repeated int32 tails = 3;
      Returns:
      The count of tails.

    • getTails

      int getTails​(int index)
      repeated int32 tails = 3;
      Parameters:
      index - The index of the element to return.
      Returns:
      The tails at the given index.

    • getHeadsList

      java.util.List<java.lang.Integer> getHeadsList()
      repeated int32 heads = 4;
      Returns:
      A list containing the heads.

    • getHeadsCount

      int getHeadsCount()
      repeated int32 heads = 4;
      Returns:
      The count of heads.

    • getHeads

      int getHeads​(int index)
      repeated int32 heads = 4;
      Parameters:
      index - The index of the element to return.
      Returns:
      The heads at the given index.

    • getLiteralsList

      java.util.List<java.lang.Integer> getLiteralsList()
      repeated int32 literals = 5;
      Returns:
      A list containing the literals.

    • getLiteralsCount

      int getLiteralsCount()
      repeated int32 literals = 5;
      Returns:
      The count of literals.

    • getLiterals

      int getLiterals​(int index)
      repeated int32 literals = 5;
      Parameters:
      index - The index of the element to return.
      Returns:
      The literals at the given index.