Class BestFirstWorker
java.lang.Object
tools.refinery.store.dse.strategy.BestFirstWorker
- Direct Known Subclasses:
BestFirstExplorer
-
Nested Class Summary
-
Field Summary
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionint
boolean
void
restoreToRandom
(Random random) submit()
visitRandomUnvisited
(Random random)
-
Field Details
-
last
-
-
Constructor Details
-
BestFirstWorker
-
-
Method Details
-
submit
-
restoreToLast
public void restoreToLast() -
restoreToBest
-
restoreToRandom
-
compare
-
visitRandomUnvisited
-
hasEnoughSolution
public boolean hasEnoughSolution()
-