Interface Lrat.LratExportedClauseOrBuilder

All Superinterfaces:
com.google.protobuf.MessageLiteOrBuilder, com.google.protobuf.MessageOrBuilder
All Known Implementing Classes:
Lrat.LratExportedClause, Lrat.LratExportedClause.Builder
Enclosing class:
Lrat
public static interface Lrat.LratExportedClauseOrBuilder extends com.google.protobuf.MessageOrBuilder

  • Method Summary

    Modifier and Type
    Method
    Description
    long
    getClauseId()
    optional int64 clause_id = 1;
    int
    getLiterals(int index)
    repeated int32 literals = 2 [packed = true];
    int
    getLiteralsCount()
    repeated int32 literals = 2 [packed = true];
    List<Integer>
    getLiteralsList()
    repeated int32 literals = 2 [packed = true];
    boolean
    hasClauseId()
    optional int64 clause_id = 1;

    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

    • hasClauseId

      boolean hasClauseId()
      optional int64 clause_id = 1;
      Returns:
      Whether the clauseId field is set.

    • getClauseId

      long getClauseId()
      optional int64 clause_id = 1;
      Returns:
      The clauseId.

    • getLiteralsList

      List<Integer> getLiteralsList()
      repeated int32 literals = 2 [packed = true];
      Returns:
      A list containing the literals.

    • getLiteralsCount

      int getLiteralsCount()
      repeated int32 literals = 2 [packed = true];
      Returns:
      The count of literals.

    • getLiterals

      int getLiterals(int index)
      repeated int32 literals = 2 [packed = true];
      Parameters:
      index - The index of the element to return.
      Returns:
      The literals at the given index.