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

Class ActivationStoreWorker

java.lang.Object

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

public class ActivationStoreWorker
extends Object

Constructor Summary

Constructors

Constructor	Description
ActivationStoreWorker(ActivationStore store, List<Transformation> transformations)

Method Summary

Modifier and Type	Method	Description
int[]	calculateEmptyActivationSize()
ActivationStore.VisitResult	fireRandomActivation(VersionWithObjectiveValue thisVersion, Random random)

Methods inherited from class java.lang.Object

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

Constructor Details

ActivationStoreWorker

public ActivationStoreWorker(ActivationStore store,
 List<Transformation> transformations)

Method Details

calculateEmptyActivationSize

public int[] calculateEmptyActivationSize()

fireRandomActivation

public ActivationStore.VisitResult fireRandomActivation(VersionWithObjectiveValue thisVersion,
 Random random)