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

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • it.unive.lisa.analysis.lattices.FunctionalLattice<F,K,V> (implements it.unive.lisa.analysis.BaseLattice<L>, java.lang.Iterable<T>)
    • it.unive.lisa.analysis.lattices.GenericMapLattice<K,V>
  • it.unive.lisa.analysis.lattices.InverseSetLattice<S,E> (implements it.unive.lisa.analysis.BaseLattice<L>, java.lang.Iterable<T>)
    • it.unive.lisa.analysis.lattices.ExpressionInverseSet (implements it.unive.lisa.analysis.ScopedObject<T>)
    • it.unive.lisa.analysis.lattices.GenericInverseSetLattice<E>
  • it.unive.lisa.analysis.lattices.SetLattice<S,E> (implements it.unive.lisa.analysis.BaseLattice<L>, java.lang.Iterable<T>)
    • it.unive.lisa.analysis.lattices.ExpressionSet (implements it.unive.lisa.analysis.ScopedObject<T>)
    • it.unive.lisa.analysis.lattices.GenericSetLattice<E>

Interface Hierarchy

• it.unive.lisa.analysis.lattices.FunctionalLattice.FunctionalLift<V>
• it.unive.lisa.analysis.lattices.FunctionalLattice.KeyFunctionalLift<K>

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • it.unive.lisa.analysis.lattices.Satisfiability (implements it.unive.lisa.analysis.Lattice<L>)