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

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • it.unive.lisa.analysis.heap.BaseHeapDomain.Rewriter (implements it.unive.lisa.symbolic.ExpressionVisitor<T>)
    • it.unive.lisa.analysis.heap.MonolithicHeap.Rewriter
    • it.unive.lisa.analysis.heap.TypeBasedHeap.Rewriter
  • it.unive.lisa.analysis.BaseLattice<L> (implements it.unive.lisa.analysis.Lattice<L>)
    • it.unive.lisa.analysis.heap.BaseHeapDomain<H> (implements it.unive.lisa.analysis.heap.HeapDomain<D>)
      • it.unive.lisa.analysis.heap.MonolithicHeap
      • it.unive.lisa.analysis.heap.TypeBasedHeap