Hierarchy For Package de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl.scopes

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl.scopes.InternalScopedHeap (implements de.rwth.i2.attestor.procedures.ScopedHeap)
  • de.rwth.i2.attestor.main.scene.SceneObject
    • de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl.scopes.DefaultScopeExtractor (implements de.rwth.i2.attestor.procedures.ScopeExtractor)