Interface CircuitConstraintProtoOrBuilder

All Superinterfaces:
com.google.protobuf.MessageLiteOrBuilder, com.google.protobuf.MessageOrBuilder
All Known Implementing Classes:
CircuitConstraintProto, CircuitConstraintProto.Builder
@Generated 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;
    List<Integer>
    getHeadsList()
    repeated int32 heads = 4;
    int
    getLiterals(int index)
    repeated int32 literals = 5;
    int
    getLiteralsCount()
    repeated int32 literals = 5;
    List<Integer>
    getLiteralsList()
    repeated int32 literals = 5;
    int
    getTails(int index)
    repeated int32 tails = 3;
    int
    getTailsCount()
    repeated int32 tails = 3;
    List<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

      List<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

      List<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

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