Package tools.refinery.store.dse.strategy

Class BestFirstExplorer

java.lang.Object

tools.refinery.store.dse.strategy.BestFirstWorker

tools.refinery.store.dse.strategy.BestFirstExplorer

public class BestFirstExplorer
extends BestFirstWorker

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

Constructors

Constructor	Description
BestFirstExplorer(BestFirstStoreManager storeManager, Model model, long id)

Method Summary

Modifier and Type	Method	Description
void	explore()

Methods inherited from class tools.refinery.store.dse.strategy.BestFirstWorker

compare, hasEnoughSolution, restoreToBest, restoreToLast, restoreToRandom, submit, visitRandomUnvisited

Methods inherited from class java.lang.Object

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

Constructor Details

BestFirstExplorer

public BestFirstExplorer(BestFirstStoreManager storeManager,
 Model model,
 long id)

Method Details

explore

public void explore()