Package it.unive.lisa.analysis.lattices

Interface Summary

Interface	Description
FunctionalLattice.FunctionalLift<V extends Lattice<V>>	Interface for the lift of lattice elements.
FunctionalLattice.KeyFunctionalLift<K>	Interface for the left of key sets.

Class Summary

Class	Description
ExpressionSet<T extends SymbolicExpression>	A set lattice containing a set of symbolic expressions.
FunctionalLattice<F extends FunctionalLattice<F,K,V>,K,V extends Lattice<V>>	A generic functional abstract domain that performs the functional lifting of the lattice on the elements of the co-domain.
InverseSetLattice<S extends InverseSetLattice<S,E>,E>	A generic inverse set lattice containing a set of elements.
SetLattice<S extends SetLattice<S,E>,E>	A generic set lattice containing a set of elements.