Class BestFirstStoreManager
java.lang.Object
tools.refinery.store.dse.strategy.BestFirstStoreManager
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionvoid
startExploration
(Version initial) void
startExploration
(Version initial, long randomSeed)
-
Constructor Details
-
BestFirstStoreManager
-
-
Method Details
-
getModelStore
-
getSolutionStore
-
getVisualizationStore
-
startExploration
-
startExploration
-