# 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