JavaScript is disabled on your browser.
Skip navigation links
Overview
Package
Class
Tree
Deprecated
Help
Prev
Next
Frames
No Frames
All Classes
Hierarchy For Package org.eclipse.viatra.dse.solutionstore
Package Hierarchies:
All Packages
Class Hierarchy
java.lang.Object
org.eclipse.viatra.dse.solutionstore.
IdBasedSolutionNameProvider
(implements org.eclipse.viatra.dse.solutionstore.
ISolutionNameProvider
)
org.eclipse.viatra.dse.solutionstore.
LogSolutionHandler
(implements org.eclipse.viatra.dse.solutionstore.
ISolutionFoundHandler
)
org.eclipse.viatra.dse.solutionstore.
ModelSaverSolutionFoundHandler
(implements org.eclipse.viatra.dse.solutionstore.
ISolutionFoundHandler
)
org.eclipse.viatra.dse.solutionstore.
SolutionStore
org.eclipse.viatra.dse.solutionstore.
SolutionStore.ANumberOfEnoughSolutions
(implements org.eclipse.viatra.dse.solutionstore.
SolutionStore.IEnoughSolutions
)
org.eclipse.viatra.dse.solutionstore.
SolutionStore.BestSolutionSaver
(implements org.eclipse.viatra.dse.solutionstore.
SolutionStore.ISolutionSaver
)
org.eclipse.viatra.dse.solutionstore.
SolutionStore.SimpleSolutionSaver
(implements org.eclipse.viatra.dse.solutionstore.
SolutionStore.ISolutionSaver
)
Interface Hierarchy
org.eclipse.viatra.dse.solutionstore.
ISolutionFoundHandler
org.eclipse.viatra.dse.solutionstore.
SolutionStore.IEnoughSolutions
org.eclipse.viatra.dse.solutionstore.
ISolutionNameProvider
org.eclipse.viatra.dse.solutionstore.
SolutionStore.ISolutionSaver
Skip navigation links
Overview
Package
Class
Tree
Deprecated
Help
Prev
Next
Frames
No Frames
All Classes