# Package org.eclipse.viatra.dse.base

- Interface Summary
  Interface | Description
  --- | ---
  DseIdPoolHelper.IGetRuleExecutions |
  IDseStrategyContext | This interface is only to overview the required methods for exploration strategies.

- Class Summary
  Class | Description
  --- | ---
  ActivationCodesConflictSet |
  DesignSpaceManager |
  DseConflictResolver |
  DseConflictSet |
  DseEvmRuleBase |
  DseIdPoolHelper.IdProvider |
  ExplorerThread | This class implements the `Runnable` interface, to able to run an exploration strategy in a separate thread.
  GlobalContext | Creates new contexts for strategies.
  SingletonSetConflictResolver |
  ThreadContext | This class holds all the information that is related to a single processing thread of the DesignSpaceExploration process.

- Enum Summary
  Enum | Description
  --- | ---
  DseIdPoolHelper |
  GlobalContext.ExplorationProcessState |