org.eclipse.viatra.dse.solutionstore

Interface ISolutionFoundHandler

All Known Subinterfaces:

SolutionStore.IEnoughSolutions

All Known Implementing Classes:

LogSolutionHandler, ModelSaverSolutionFoundHandler, SolutionStore.ANumberOfEnoughSolutions

public interface ISolutionFoundHandler

Contains callback methods which are called when a solution is found by the exploration IStrategy.

Method Summary

Modifier and Type	Method and Description
void	solutionFound(ThreadContext context, SolutionTrajectory trajectory) Called when a solution is saved by the SolutionStore.ISolutionSaver.
void	solutionTriedToSave(ThreadContext context, SolutionTrajectory trajectory) Called when the exploration found a solution but it was not saved because of certain conditions.

Method Detail

solutionFound

void solutionFound(ThreadContext context,
                   SolutionTrajectory trajectory)

Called when a solution is saved by the SolutionStore.ISolutionSaver. Later, this solution can be omitted from the final set of solutions.

Parameters:

context -

trajectory -

solutionTriedToSave

void solutionTriedToSave(ThreadContext context,
                         SolutionTrajectory trajectory)

Called when the exploration found a solution but it was not saved because of certain conditions.

Parameters:

context -

trajectory -