public abstract class InitialPopulationSelector extends LocalSearchStrategyBase
Constructor and Description |
---|
InitialPopulationSelector() |
Modifier and Type | Method and Description |
---|---|
abstract void |
setChildStore(IStoreChild store)
The initial population selector must call the
IStoreChild.addChild(org.eclipse.viatra.dse.base.ThreadContext) method when a potentially good trajectory
is found. |
abstract void |
setPopulationSize(int populationSize)
Sets the populations size in the initialization phase.
|
explore, getNextTransition, init, initStrategy, interrupted, interruptStrategy, newStateIsProcessed
public abstract void setChildStore(IStoreChild store)
IStoreChild.addChild(org.eclipse.viatra.dse.base.ThreadContext)
method when a potentially good trajectory
is found.store
- An interface with the call back method.public abstract void setPopulationSize(int populationSize)
IStoreChild
implementation.populationSize
- Expected number of children.