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

Class ActivationStoreBitVectorEntry

java.lang.Object

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

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

public class ActivationStoreBitVectorEntry
extends ActivationStoreEntry

Field Summary

Fields inherited from class tools.refinery.store.dse.transition.statespace.internal.ActivationStoreEntry

numberOfActivations

Method Summary

Modifier and Type	Method	Description
int	getAndAddActivationAfter(int index)
int	getNumberOfVisitedActivations()

Methods inherited from class tools.refinery.store.dse.transition.statespace.internal.ActivationStoreEntry

create, getNumberOfActivations, getNumberOfUnvisitedActivations

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

getNumberOfVisitedActivations

public int getNumberOfVisitedActivations()

Specified by:

getNumberOfVisitedActivations in class ActivationStoreEntry

getAndAddActivationAfter

public int getAndAddActivationAfter(int index)

Specified by:

getAndAddActivationAfter in class ActivationStoreEntry