org.eclipse.viatra.dse.genetic.core

Class InstanceGeneticStrategy

java.lang.Object

org.eclipse.viatra.dse.api.strategy.interfaces.LocalSearchStrategyBase

org.eclipse.viatra.dse.genetic.core.InstanceGeneticStrategy

All Implemented Interfaces:

IStrategy

public class InstanceGeneticStrategy
extends LocalSearchStrategyBase

Constructor Summary

Constructors

Constructor and Description
InstanceGeneticStrategy()

Method Summary

Methods

Modifier and Type	Method and Description
ITransition	getNextTransition(boolean lastWasSuccesful) Returns the next ITransition to fire, the next step in the design space.
void	init(ThreadContext context) Initializes the strategy, called once before the first LocalSearchStrategyBase#getNextTransition(ThreadContext) is called for every new thread.
void	interrupted() Called if the exploration process is interrupted for example by timeout.
void	newStateIsProcessed(boolean isAlreadyTraversed, Fitness objectives, boolean constraintsNotSatisfied) Called after the chosen transition is fired and the new state has been processed.

Methods inherited from class org.eclipse.viatra.dse.api.strategy.interfaces.LocalSearchStrategyBase

explore, initStrategy, interruptStrategy

Methods inherited from class java.lang.Object

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

Constructor Detail

InstanceGeneticStrategy

public InstanceGeneticStrategy()

Method Detail

init

public void init(ThreadContext context)

Description copied from class: LocalSearchStrategyBase

Initializes the strategy, called once before the first LocalSearchStrategyBase#getNextTransition(ThreadContext) is called for every new thread.

Specified by:

init in class LocalSearchStrategyBase

Parameters:

context - The ThreadContext which contains necessary informations. Should be assigned to a field.

getNextTransition

public ITransition getNextTransition(boolean lastWasSuccesful)

Description copied from class: LocalSearchStrategyBase

Returns the next ITransition to fire, the next step in the design space. It can be a quite complex method or a simple depth first search.

Specified by:

getNextTransition in class LocalSearchStrategyBase

Parameters:

lastWasSuccesful - False if the last returned transition was already fired by someone and therefore should choose an other transition, otherwise true.

Returns:

An ITransition which is not traversed yet. Null if there is no more to fire.

newStateIsProcessed

public void newStateIsProcessed(boolean isAlreadyTraversed,
                       Fitness objectives,
                       boolean constraintsNotSatisfied)

Description copied from class: LocalSearchStrategyBase

Called after the chosen transition is fired and the new state has been processed.

Specified by:

newStateIsProcessed in class LocalSearchStrategyBase

Parameters:

isAlreadyTraversed - True if the new state is already traversed in the past.

objectives - A map containing the values of the objectives.

interrupted

public void interrupted()

Description copied from class: LocalSearchStrategyBase

Called if the exploration process is interrupted for example by timeout. Exit by returning null in the LocalSearchStrategyBase#getNextTransition(ThreadContext, boolean) method witch is called right after this one.

Specified by:

interrupted in class LocalSearchStrategyBase