Interface Lrat.LratDeletedClausesOrBuilder

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

  • Method Summary

    Modifier and Type
    Method
    Description
    long
    getClauseIds(int index)
    IDs of the imported or inferred clauses to delete.
    int
    getClauseIdsCount()
    IDs of the imported or inferred clauses to delete.
    List<Long>
    getClauseIdsList()
    IDs of the imported or inferred clauses to delete.

    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

    • getClauseIdsList

      List<Long> getClauseIdsList()
      IDs of the imported or inferred clauses to delete. A deleted clause can no
longer be used to infer clauses.
      repeated int64 clause_ids = 1 [packed = true];
      Returns:
      A list containing the clauseIds.

    • getClauseIdsCount

      int getClauseIdsCount()
      IDs of the imported or inferred clauses to delete. A deleted clause can no
longer be used to infer clauses.
      repeated int64 clause_ids = 1 [packed = true];
      Returns:
      The count of clauseIds.

    • getClauseIds

      long getClauseIds(int index)
      IDs of the imported or inferred clauses to delete. A deleted clause can no
longer be used to infer clauses.
      repeated int64 clause_ids = 1 [packed = true];
      Parameters:
      index - The index of the element to return.
      Returns:
      The clauseIds at the given index.