Package com.semedy.reasoner.edb.persistentstore

Class TupleBufferLongMappedWithGrounds

java.lang.Object
com.semedy.reasoner.edb.persistentstore.TupleBufferLongMappedWithGrounds
All Implemented Interfaces:
TupleBuffer
public class TupleBufferLongMappedWithGrounds extends Object implements TupleBuffer

  • Constructor Summary

    Constructors
    Constructor
    Description
    TupleBufferLongMappedWithGrounds(int[] map, long[] grounds, int arity)
     

  • Method Summary

    Modifier and Type
    Method
    Description
    final long[]
    array()
    returns the array of values (no copy)
    final Object
    clone()
     
    void
    copyTo(long[] target, int atIndex, int length)
    copy buffer to target array at index
    final 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
    final int
    limit()
    the right border
    final int
    position()
    ´the current position of the tuple in the array of values
    final void
    position(int pos)
    set the position inside the array of values
    final void
    put(int index, long v)
    set a value at a certain index
    final void
    put(long[] v)
    set a new array of values
    String
    toString()
     

    Methods inherited from class java.lang.Object

    equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

  • Constructor Details

    • TupleBufferLongMappedWithGrounds

      public TupleBufferLongMappedWithGrounds(int[] map, long[] grounds, int arity)

  • Method Details

    • limit

      public final int limit()
      Description copied from interface: TupleBuffer
      the right border
      Specified by:
      limit in interface TupleBuffer
      Returns:

    • length

      public void length(int len)
      Description copied from interface: TupleBuffer
      set the length of the tuple
      Specified by:
      length in interface TupleBuffer

    • length

      public int length()
      Description copied from interface: TupleBuffer
      get the length of the tuple
      Specified by:
      length in interface TupleBuffer
      Returns:

    • array

      public final long[] array()
      Description copied from interface: TupleBuffer
      returns the array of values (no copy)
      Specified by:
      array in interface TupleBuffer
      Returns:

    • position

      public final int position()
      Description copied from interface: TupleBuffer
      ´the current position of the tuple in the array of values
      Specified by:
      position in interface TupleBuffer
      Returns:

    • put

      public final void put(int index, long v)
      Description copied from interface: TupleBuffer
      set a value at a certain index
      Specified by:
      put in interface TupleBuffer

    • get

      public final long get(int index)
      Description copied from interface: TupleBuffer
      get the value at the index
      Specified by:
      get in interface TupleBuffer
      Returns:

    • put

      public final void put(long[] v)
      Description copied from interface: TupleBuffer
      set a new array of values
      Specified by:
      put in interface TupleBuffer

    • position

      public final void position(int pos)
      Description copied from interface: TupleBuffer
      set the position inside the array of values
      Specified by:
      position in interface TupleBuffer

    • clone

      public final Object clone()

    • toString

      public String toString()
      Overrides:
      toString in class Object

    • copyTo

      public void copyTo(long[] target, int atIndex, int length)
      Description copied from interface: TupleBuffer
      copy buffer to target array at index
      Specified by:
      copyTo in interface TupleBuffer