Hierarchy For Package it.unive.lisa.interprocedural.context.recursion

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • it.unive.lisa.interprocedural.CallGraphBasedAnalysis<A,H,V,T> (implements it.unive.lisa.interprocedural.InterproceduralAnalysis<A,H,V,T>)
    • it.unive.lisa.interprocedural.context.ContextBasedAnalysis<A,H,V,T>
      • it.unive.lisa.interprocedural.context.recursion.BaseCasesFinder<A,H,V,T>
      • it.unive.lisa.interprocedural.context.recursion.RecursionSolver<A,H,V,T>
  • it.unive.lisa.interprocedural.context.recursion.Recursion<A,H,V,T>