Package tools.refinery.store.dse.strategy

Class BestFirstWorker

java.lang.Object

tools.refinery.store.dse.strategy.BestFirstWorker

Direct Known Subclasses:

BestFirstExplorer

public class BestFirstWorker
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static final record	BestFirstWorker.RandomVisitResult

Field Summary

Fields

Modifier and Type	Field	Description
protected VersionWithObjectiveValue	last

Constructor Summary

Constructors

Constructor	Description
BestFirstWorker(BestFirstStoreManager storeManager, Model model)

Method Summary

Modifier and Type	Method	Description
int	compare(VersionWithObjectiveValue s1, VersionWithObjectiveValue s2)
boolean	hasEnoughSolution()
VersionWithObjectiveValue	restoreToBest()
void	restoreToLast()
VersionWithObjectiveValue	restoreToRandom(Random random)
SubmitResult	submit()
BestFirstWorker.RandomVisitResult	visitRandomUnvisited(Random random)

Methods inherited from class java.lang.Object

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

Field Details

last

protected VersionWithObjectiveValue last

Constructor Details

BestFirstWorker

public BestFirstWorker(BestFirstStoreManager storeManager,
 Model model)

Method Details

submit

public SubmitResult submit()

restoreToLast

public void restoreToLast()

restoreToBest

public VersionWithObjectiveValue restoreToBest()

restoreToRandom

public VersionWithObjectiveValue restoreToRandom(Random random)

compare

public int compare(VersionWithObjectiveValue s1,
 VersionWithObjectiveValue s2)

visitRandomUnvisited

public BestFirstWorker.RandomVisitResult visitRandomUnvisited(Random random)

hasEnoughSolution

public boolean hasEnoughSolution()