Package tools.refinery.store.dse.strategy

Class BestFirstStoreManager

java.lang.Object

tools.refinery.store.dse.strategy.BestFirstStoreManager

public class BestFirstStoreManager
extends Object

Constructor Summary

Constructors

Constructor	Description
BestFirstStoreManager(ModelStore modelStore, int maxNumberOfSolutions)

Method Summary

Modifier and Type	Method	Description
ModelStore	getModelStore()
SolutionStore	getSolutionStore()
VisualizationStore	getVisualizationStore()
void	startExploration(Version initial)
void	startExploration(Version initial, long randomSeed)

Methods inherited from class java.lang.Object

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

Constructor Details

BestFirstStoreManager

public BestFirstStoreManager(ModelStore modelStore,
 int maxNumberOfSolutions)

Method Details

getModelStore

public ModelStore getModelStore()

getSolutionStore

public SolutionStore getSolutionStore()

getVisualizationStore

public VisualizationStore getVisualizationStore()

startExploration

public void startExploration(Version initial)

startExploration

public void startExploration(Version initial,
 long randomSeed)