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

Interface ActivationStore

All Known Implementing Classes:

ActivationStoreImpl

public interface ActivationStore

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static final record	ActivationStore.VisitResult

Method Summary

Modifier and Type	Method	Description
ActivationStore.VisitResult	getRandomAndMarkAsVisited(VersionWithObjectiveValue version, Random random)
boolean	hasUnmarkedActivation(VersionWithObjectiveValue version)
ActivationStore.VisitResult	markNewAsVisited(VersionWithObjectiveValue to, int[] emptyEntrySizes)

Method Details

markNewAsVisited

ActivationStore.VisitResult markNewAsVisited(VersionWithObjectiveValue to,
 int[] emptyEntrySizes)

hasUnmarkedActivation

boolean hasUnmarkedActivation(VersionWithObjectiveValue version)

getRandomAndMarkAsVisited

ActivationStore.VisitResult getRandomAndMarkAsVisited(VersionWithObjectiveValue version,
 Random random)