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

Class Summary

Class	Description
BaseCasesFinder<A extends it.unive.lisa.analysis.AbstractState<A>>	A recursion solver that applies a single iteration of the recursion starting from bottom and using top as entry state for the recursion.
Recursion<A extends it.unive.lisa.analysis.AbstractState<A>>	A recursion happening in the program.
RecursionSolver<A extends it.unive.lisa.analysis.AbstractState<A>>	A recursion solver that applies the iterates of the recursion starting from bottom.