# Hierarchy For Package org.eclipse.viatra.dse.base

Package Hierarchies:

- All Packages

## Class Hierarchy

- java.lang.Object
  - org.eclipse.viatra.dse.base.ActivationCodesConflictSet (implements org.eclipse.viatra.transformation.evm.api.resolver.ChangeableConflictSet)
  - org.eclipse.viatra.dse.base.DesignSpaceManager
  - org.eclipse.viatra.dse.base.DseConflictResolver (implements org.eclipse.viatra.transformation.evm.api.resolver.ConflictResolver)
  - org.eclipse.viatra.dse.base.DseConflictSet (implements org.eclipse.viatra.transformation.evm.api.resolver.ChangeableConflictSet)
  - org.eclipse.viatra.dse.base.DseIdPoolHelper.IdProvider
  - org.eclipse.viatra.dse.base.ExplorerThread (implements java.lang.Runnable)
  - org.eclipse.viatra.dse.base.GlobalContext
  - org.eclipse.viatra.transformation.evm.api.RuleBase
    - org.eclipse.viatra.dse.base.DseEvmRuleBase
  - org.eclipse.viatra.dse.base.SingletonSetConflictResolver (implements org.eclipse.viatra.transformation.evm.api.resolver.ConflictResolver)
  - org.eclipse.viatra.dse.base.ThreadContext (implements org.eclipse.viatra.dse.base.IDseStrategyContext)

## Interface Hierarchy

- org.eclipse.viatra.dse.base.DseIdPoolHelper.IGetRuleExecutions
- org.eclipse.viatra.dse.base.IDseStrategyContext

## Enum Hierarchy

- java.lang.Object
  - java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    - org.eclipse.viatra.dse.base.GlobalContext.ExplorationProcessState
    - org.eclipse.viatra.dse.base.DseIdPoolHelper