org.eclipse.viatra.dse.solutionstore
Interfaces
ISolutionFoundHandler
ISolutionNameProvider
SolutionStore.IEnoughSolutions
SolutionStore.ISolutionSaver
Classes
IdBasedSolutionNameProvider
LogSolutionHandler
ModelSaverSolutionFoundHandler
SolutionStore
SolutionStore.ANumberOfEnoughSolutions
SolutionStore.BestSolutionSaver
SolutionStore.SimpleSolutionSaver