Class TupleStoreWithReferenceCounters

java.lang.Object
com.semedy.reasoner.edb.ramstore.TupleStore
com.semedy.reasoner.edb.ramstore.TupleStoreWithReferenceCounters

public class TupleStoreWithReferenceCounters extends TupleStore
Author:
juergen
  • Constructor Details

    • TupleStoreWithReferenceCounters

      public TupleStoreWithReferenceCounters(int arity)
      Parameters:
      arity -
    • TupleStoreWithReferenceCounters

      public TupleStoreWithReferenceCounters(int arity, ReasoningMonitor monitor)
      Parameters:
      arity -
    • TupleStoreWithReferenceCounters

      public TupleStoreWithReferenceCounters(int arity, int size, ReasoningMonitor monitor)
      Parameters:
      arity -
  • Method Details

    • getReferenceCount

      public int getReferenceCount(int t)
      returns a reference counter for tuple t
      Overrides:
      getReferenceCount in class TupleStore
      Parameters:
      t - , tuple address
      Returns:
    • setReferenceCount

      public void setReferenceCount(int t, int count)
      set the reference count for tuple t
      Overrides:
      setReferenceCount in class TupleStore
      Parameters:
      t - , tuple
      count - , reference count
    • incReferenceCount

      public void incReferenceCount(int t)
      increment reference count for tuple t
      Overrides:
      incReferenceCount in class TupleStore
      Parameters:
      t - , tuple
    • decrementNGetReferenceCount

      public int decrementNGetReferenceCount(int t)
      decrement and get reference count for tuple t
      Overrides:
      decrementNGetReferenceCount in class TupleStore
      Parameters:
      t - , tuple
      Returns:
    • newTuple

      public int newTuple() throws IOException
      Description copied from class: TupleStore
      create a new tuple of length arity and return the address
      Overrides:
      newTuple in class TupleStore
      Returns:
      Throws:
      IOException