Hierarchy For Package it.unive.lisa.analysis.traces

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • it.unive.lisa.analysis.traces.ExecutionTrace
  • it.unive.lisa.analysis.lattices.FunctionalLattice<F,K,V> (implements it.unive.lisa.analysis.BaseLattice<L>, java.lang.Iterable<T>)
    • it.unive.lisa.analysis.traces.TracePartitioning<A> (implements it.unive.lisa.analysis.AbstractState<A>)
  • it.unive.lisa.analysis.traces.TraceToken
    • it.unive.lisa.analysis.traces.Branching
    • it.unive.lisa.analysis.traces.LoopIteration
    • it.unive.lisa.analysis.traces.LoopSummary