# Package org.eclipse.viatra.dse.solutionstore

- Interface Summary
  Interface | Description
  --- | ---
  ISolutionFoundHandler | Contains callback methods which are called when a solution is found by the exploration `IStrategy`.
  ISolutionNameProvider | Provides file name when a model is searialzed.
  SolutionStore.IEnoughSolutions |
  SolutionStore.ISolutionSaver |

- Class Summary
  Class | Description
  --- | ---
  IdBasedSolutionNameProvider | Provides file name with a String `[prefix][id].[extension]` pattern.
  LogSolutionHandler |
  ModelSaverSolutionFoundHandler |
  SolutionStore |
  SolutionStore.ANumberOfEnoughSolutions |
  SolutionStore.BestSolutionSaver |
  SolutionStore.SimpleSolutionSaver |