Package tools.refinery.store.dse.transition.statespace.internal

Class ActivationStoreEntry

java.lang.Object
tools.refinery.store.dse.transition.statespace.internal.ActivationStoreEntry
Direct Known Subclasses:
ActivationStoreBitVectorEntry, ActivationStoreListEntry
public abstract class ActivationStoreEntry extends Object

  • Field Details

    • numberOfActivations

      protected final int numberOfActivations

  • Method Details

    • getNumberOfVisitedActivations

      public abstract int getNumberOfVisitedActivations()

    • getNumberOfUnvisitedActivations

      public int getNumberOfUnvisitedActivations()

    • getNumberOfActivations

      public int getNumberOfActivations()

    • getAndAddActivationAfter

      public abstract int getAndAddActivationAfter(int index)

    • create

      public static ActivationStoreEntry create(int size)