| ExpressionInverseSet |
An inverse set lattice containing a set of symbolic expressions.
|
| ExpressionSet |
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.
|
| GenericInverseSetLattice<E> |
A generic ready-to-use InverseSetLattice with no additional fields,
that relies on an underlying boolean value for distinguishing top and bottom
values. |
| GenericMapLattice<K,V extends Lattice<V>> |
A generic ready-to-use FunctionalLattice with no additional fields,
that relies on the underlying lattice instance for distinguishing top and
bottom values. |
| GenericSetLattice<E> |
A generic ready-to-use SetLattice with no additional fields, that
relies on an underlying boolean value for distinguishing top and bottom
values. |
| 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.
|