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

Class ActivationStoreImpl

java.lang.Object

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

All Implemented Interfaces:

ActivationStore

public class ActivationStoreImpl
extends Object
implements ActivationStore

Nested Class Summary

Nested classes/interfaces inherited from interface tools.refinery.store.dse.transition.statespace.ActivationStore

ActivationStore.VisitResult

Constructor Summary

Constructors

Constructor	Description
ActivationStoreImpl(int numberOfTransformations, Consumer<VersionWithObjectiveValue> actionWhenAllActivationVisited)

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)
ActivationStore.VisitResult	visitActivation(VersionWithObjectiveValue from, int transformationIndex, int activationIndex)

Methods inherited from class java.lang.Object

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

Constructor Details

ActivationStoreImpl

public ActivationStoreImpl(int numberOfTransformations,
 Consumer<VersionWithObjectiveValue> actionWhenAllActivationVisited)

Method Details

markNewAsVisited

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

Specified by:

markNewAsVisited in interface ActivationStore

visitActivation

public ActivationStore.VisitResult visitActivation(VersionWithObjectiveValue from,
 int transformationIndex,
 int activationIndex)

hasUnmarkedActivation

public boolean hasUnmarkedActivation(VersionWithObjectiveValue version)

Specified by:

hasUnmarkedActivation in interface ActivationStore

getRandomAndMarkAsVisited

public ActivationStore.VisitResult getRandomAndMarkAsVisited(VersionWithObjectiveValue version,
 Random random)

Specified by:

getRandomAndMarkAsVisited in interface ActivationStore