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

Package Hierarchies:

• All Packages

Class Hierarchy

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