org.eclipse.viatra.dse.solutionstore

Class StrategyDependentSolutionStore

java.lang.Object

org.eclipse.viatra.dse.solutionstore.SimpleSolutionStore

org.eclipse.viatra.dse.solutionstore.StrategyDependentSolutionStore

All Implemented Interfaces:

ISolutionStore

Deprecated.

This solution store is only used by the strategies implementing the deprecated LocalSearchStrategyBase abstract class.

@Deprecated
public class StrategyDependentSolutionStore
extends SimpleSolutionStore

This class is a strategy dependents variant of the SimpleSolutionStore, implementation of the ISolutionStore interface, which stores all the found solution trajectory (i.e. trajectories, which satisfy all the hard objectives). It can be configured to stop the exploration after a predefined number of solutions is found. It is strategy dependent, hence the responsibility of calling the ISolutionStore.newSolution(ThreadContext) method and stop the execution if the method returns STOP, relies on the strategy implementation.

Nested Class Summary

Nested classes/interfaces inherited from interface org.eclipse.viatra.dse.solutionstore.ISolutionStore

ISolutionStore.StopExecutionType

Constructor Summary

Constructors

Constructor and Description
StrategyDependentSolutionStore() Deprecated.

Method Summary

Methods

Modifier and Type	Method and Description
boolean	isStrategyDependent() Deprecated. If an ISolutionStore is exploration strategy dependent the framework passes the responsibility of calling the ISolutionStore.newSolution(ThreadContext) method to the LocalSearchStrategyBase implementation.

Methods inherited from class org.eclipse.viatra.dse.solutionstore.SimpleSolutionStore

getSolutions, newSolution, registerSolutionFoundHandler

Methods inherited from class java.lang.Object

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

Constructor Detail

StrategyDependentSolutionStore

public StrategyDependentSolutionStore()

Deprecated.

Method Detail

isStrategyDependent

public boolean isStrategyDependent()

Deprecated.

Description copied from interface: ISolutionStore

If an ISolutionStore is exploration strategy dependent the framework passes the responsibility of calling the ISolutionStore.newSolution(ThreadContext) method to the LocalSearchStrategyBase implementation.

Specified by:

isStrategyDependent in interface ISolutionStore

Overrides:

isStrategyDependent in class SimpleSolutionStore

Returns:

True if it is strategy dependent.