org.eclipse.viatra.dse.base

Classes

• DesignSpaceManager
• DseIdPoolHelper.IdProvider
• ExplorerThread
• GlobalContext
• ThreadContext

Enums

• DseIdPoolHelper
• GlobalContext.ExplorationProcessState