org.eclipse.viatra.dse.solutionstore

Class SolutionStore.ANumberOfEnoughSolutions

java.lang.Object

org.eclipse.viatra.dse.solutionstore.SolutionStore.ANumberOfEnoughSolutions

All Implemented Interfaces:

ISolutionFoundHandler, SolutionStore.IEnoughSolutions

Enclosing class:

SolutionStore

public static class SolutionStore.ANumberOfEnoughSolutions
extends java.lang.Object
implements SolutionStore.IEnoughSolutions

Constructor Summary

Constructors

Constructor and Description
ANumberOfEnoughSolutions(int number)

Method Summary

Modifier and Type	Method and Description
boolean	enoughSolutions()
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

ANumberOfEnoughSolutions

public ANumberOfEnoughSolutions(int number)

Method Detail

enoughSolutions

public boolean enoughSolutions()

Specified by:

enoughSolutions in interface SolutionStore.IEnoughSolutions

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