Class BestFirstStoreManager

java.lang.Object
tools.refinery.store.dse.strategy.BestFirstStoreManager

public class BestFirstStoreManager extends Object
  • 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)