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

    All Methods Instance Methods Abstract Methods
    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` -