org.eclipse.viatra.dse.base

Interfaces

• DseIdPoolHelper.IGetRuleExecutions
• IDseStrategyContext

Classes

• ActivationCodesConflictSet
• DesignSpaceManager
• DseConflictResolver
• DseConflictSet
• DseEvmRuleBase
• DseIdPoolHelper.IdProvider
• ExplorerThread
• GlobalContext
• SingletonSetConflictResolver
• ThreadContext

Enums

• DseIdPoolHelper
• GlobalContext.ExplorationProcessState