Class BestFirstExplorer
java.lang.Object
tools.refinery.store.dse.strategy.BestFirstWorker
tools.refinery.store.dse.strategy.BestFirstExplorer
-
Nested Class Summary
Nested classes/interfaces inherited from class tools.refinery.store.dse.strategy.BestFirstWorker
BestFirstWorker.RandomVisitResult
-
Field Summary
Fields inherited from class tools.refinery.store.dse.strategy.BestFirstWorker
last
-
Constructor Summary
-
Method Summary
Methods inherited from class tools.refinery.store.dse.strategy.BestFirstWorker
compare, hasEnoughSolution, restoreToBest, restoreToLast, restoreToRandom, submit, visitRandomUnvisited
-
Constructor Details
-
BestFirstExplorer
-
-
Method Details
-
explore
public void explore()
-