Hierarchy For Package it.unive.lisa.symbolic.heap

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • it.unive.lisa.symbolic.SymbolicExpression (implements it.unive.lisa.analysis.ScopedObject<T>)
    • it.unive.lisa.symbolic.heap.HeapExpression
      • it.unive.lisa.symbolic.heap.AccessChild
      • it.unive.lisa.symbolic.heap.HeapDereference
      • it.unive.lisa.symbolic.heap.HeapReference
      • it.unive.lisa.symbolic.heap.MemoryAllocation