Package it.unive.lisa.program.cfg.fixpoints

Class Summary

Class	Description
AscendingFixpoint<A extends AbstractState<A>>	A CFGFixpoint that traverses ascending chains using lubs and widenings.
BackwardAscendingFixpoint<A extends AbstractState<A>>	A CFGFixpoint that traverses ascending chains using lubs and widenings.
BackwardCFGFixpoint<A extends AbstractState<A>>	A Fixpoint.FixpointImplementation for CFGs.
BackwardDescendingGLBFixpoint<A extends AbstractState<A>>	A CFGFixpoint that traverses descending chains using glbs up to threshold.
BackwardDescendingNarrowingFixpoint<A extends AbstractState<A>>	A CFGFixpoint that traverses descending chains using narrowings.
CFGFixpoint<A extends AbstractState<A>>	A Fixpoint.FixpointImplementation for CFGs.
CFGFixpoint.CompoundState<A extends AbstractState<A>>	A compound state for a Statement, holding the post-state of the whole statement as well as the ones of the inner expressions.
DescendingGLBFixpoint<A extends AbstractState<A>>	A CFGFixpoint that traverses descending chains using glbs up to threshold.
DescendingNarrowingFixpoint<A extends AbstractState<A>>	A CFGFixpoint that traverses descending chains using narrowings.
OptimizedBackwardFixpoint<A extends AbstractState<A>>	A fixpoint algorithm for a Graph, parametric to the Fixpoint.FixpointImplementation that one wants to use to compute the results.
OptimizedFixpoint<A extends AbstractState<A>>	A fixpoint algorithm for a Graph, parametric to the Fixpoint.FixpointImplementation that one wants to use to compute the results.