Package com.semedy.reasoner.api.edb

Interface TupleBuffer

All Known Implementing Classes:
TupleBufferGrounds, TupleBufferLong, TupleBufferLongFilter, TupleBufferLongIndexed, TupleBufferLongMappedGrounds, TupleBufferLongMappedGrounds, TupleBufferLongMappedWithGrounds, TupleBufferLongMappedWithGrounds
public interface TupleBuffer
a buffer for tuples
Author:
angele

  • Method Summary

    Modifier and Type
    Method
    Description
    long[]
    array()
    returns the array of values (no copy)
    void
    copyTo(long[] target, int atIndex, int length)
    copy buffer to target array at index
    long
    get(int index)
    get the value at the index
    int
    length()
    get the length of the tuple
    void
    length(int len)
    set the length of the tuple
    int
    limit()
    the right border
    int
    position()
    ´the current position of the tuple in the array of values
    void
    position(int pos)
    set the position inside the array of values
    void
    put(int index, long v)
    set a value at a certain index
    void
    put(long[] v)
    set a new array of values

  • Method Details

    • limit

      int limit()
      the right border
      Returns:

    • array

      long[] array()
      returns the array of values (no copy)
      Returns:

    • position

      int position()
      ´the current position of the tuple in the array of values
      Returns:

    • put

      void put(int index, long v)
      set a value at a certain index
      Parameters:
      index -
      v -

    • get

      long get(int index)
      get the value at the index
      Parameters:
      index -
      Returns:

    • put

      void put(long[] v)
      set a new array of values
      Parameters:
      v -

    • position

      void position(int pos)
      set the position inside the array of values
      Parameters:
      pos -

    • length

      int length()
      get the length of the tuple
      Returns:

    • length

      void length(int len)
      set the length of the tuple

    • copyTo

      void copyTo(long[] target, int atIndex, int length)
      copy buffer to target array at index
      Parameters:
      target -
      atIndex -