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

      All Methods Instance Methods Abstract Methods 
      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 Detail

      • 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.