p

tip

# lattices 

Ordering
1. Alphabetic
Visibility
1. Public
2. All

### Type Members

1. class EdgeEnvLattice[D, L <: Lattice, EFL <: EdgeFunctionLattice[L]] extends Lattice

Lattice of the form ((D -> L) -> (D -> L)).

Lattice of the form ((D -> L) -> (D -> L)). Each element is represented by Map[(DL, DL), edgelattice.Element] using the bottom element of `EdgeFunctionLattice` as default value.

2. class EdgeFunctionLattice[L <: Lattice] extends Lattice

The lattice of edge functions, used by tip.solvers.IDEAnalysis.

The lattice of edge functions, used by tip.solvers.IDEAnalysis. A map lattice, but maps are represent differently than in `MapLattice`. Currently only supports the identity function and constant functions.

3. class FlatLattice[X] extends Lattice

The flat lattice made of element of `X`.

The flat lattice made of element of `X`. Top is greater than every other element, and Bottom is less than every other element. No additional ordering is defined.

4. trait Lattice extends AnyRef

A (semi-)lattice.

5. trait LatticeWithOps extends Lattice

Lattice with abstract operators.

6. class LiftLattice[+L <: Lattice] extends Lattice

The lift lattice for `sublattice`.

The lift lattice for `sublattice`. Supports implicit lifting and unlifting.

7. class MapLattice[A, +L <: Lattice] extends Lattice

A lattice of maps from a set of elements of type `A` to the lattice `sublattice`.

A lattice of maps from a set of elements of type `A` to the lattice `sublattice`. Bottom is the default value.

8. class PairLattice[L1 <: Lattice, L2 <: Lattice] extends Lattice

The product lattice made by `l1` and `l2`.

9. class PowersetLattice[A] extends Lattice

The powerset lattice of a set of elements of type `A` with subset ordering.

10. class ReversePowersetLattice[A] extends Lattice

The powerset lattice of the given set of elements of type `A` with superset ordering.

11. class TwoElementLattice extends FlatLattice[Nothing]

The two-element lattice containing only Top and Bot.

12. class UniformProductLattice[L <: Lattice] extends Lattice

The `n`-th product lattice made of `sublattice` lattices.

### Value Members

1. object ConstantPropagationLattice extends FlatLattice[Int] with LatticeWithOps

Constant propagation lattice.

2. object IntervalLattice extends LatticeWithOps

The interval lattice.

3. object SignElement extends Enumeration

An element of the sign lattice.

4. object SignLattice extends FlatLattice[lattices.SignElement.Value] with LatticeWithOps

The sign lattice.