org.eclipse.viatra.dse.solutionstore

Interfaces

• ISolutionFoundHandler
• ISolutionNameProvider
• SolutionStore.IEnoughSolutions
• SolutionStore.ISolutionSaver

Classes

• IdBasedSolutionNameProvider
• LogSolutionHandler
• ModelSaverSolutionFoundHandler
• SolutionStore
• SolutionStore.ANumberOfEnoughSolutions
• SolutionStore.BestSolutionSaver
• SolutionStore.SimpleSolutionSaver