org.eclipse.viatra.dse.solutionstore

Class LogSolutionHandler

java.lang.Object

org.eclipse.viatra.dse.solutionstore.LogSolutionHandler

All Implemented Interfaces:

ISolutionFoundHandler

public class LogSolutionHandler
extends java.lang.Object
implements ISolutionFoundHandler

Constructor Summary

Constructors

Constructor and Description
LogSolutionHandler()

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.

Methods inherited from class java.lang.Object

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

Constructor Detail

LogSolutionHandler

public LogSolutionHandler()

Method Detail

solutionFound

public void solutionFound(ThreadContext context,
                          SolutionTrajectory trajectory)

Description copied from interface: ISolutionFoundHandler

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

Specified by:

solutionFound in interface ISolutionFoundHandler

solutionTriedToSave

public void solutionTriedToSave(ThreadContext context,
                                SolutionTrajectory trajectory)

Description copied from interface: ISolutionFoundHandler

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

Specified by:

solutionTriedToSave in interface ISolutionFoundHandler