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

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • it.unive.lisa.program.cfg.fixpoints.BackwardCFGFixpoint<A> (implements it.unive.lisa.util.datastructures.graph.algorithms.Fixpoint.FixpointImplementation<N,E,T>)
    • it.unive.lisa.program.cfg.fixpoints.BackwardAscendingFixpoint<A>
    • it.unive.lisa.program.cfg.fixpoints.BackwardDescendingGLBFixpoint<A>
    • it.unive.lisa.program.cfg.fixpoints.BackwardDescendingNarrowingFixpoint<A>
  • it.unive.lisa.util.datastructures.graph.algorithms.BackwardFixpoint<G,N,E,T>
    • it.unive.lisa.program.cfg.fixpoints.OptimizedBackwardFixpoint<A>
  • it.unive.lisa.program.cfg.fixpoints.CFGFixpoint<A> (implements it.unive.lisa.util.datastructures.graph.algorithms.Fixpoint.FixpointImplementation<N,E,T>)
    • it.unive.lisa.program.cfg.fixpoints.AscendingFixpoint<A>
    • it.unive.lisa.program.cfg.fixpoints.DescendingGLBFixpoint<A>
    • it.unive.lisa.program.cfg.fixpoints.DescendingNarrowingFixpoint<A>
  • it.unive.lisa.program.cfg.fixpoints.CFGFixpoint.CompoundState<A> (implements it.unive.lisa.analysis.Lattice<L>)
  • it.unive.lisa.util.datastructures.graph.algorithms.Fixpoint<G,N,E,T>
    • it.unive.lisa.program.cfg.fixpoints.OptimizedFixpoint<A>