Packages

p

tip

lattices

package 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.

Ungrouped