package lattices
 Alphabetic
 Public
 All
Type Members

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. 
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. 
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. 
trait
Lattice extends AnyRef
A (semi)lattice.

trait
LatticeWithOps extends Lattice
Lattice with abstract operators.

class
LiftLattice[+L <: Lattice] extends Lattice
The lift lattice for
sublattice
.The lift lattice for
sublattice
. Supports implicit lifting and unlifting. 
class
MapLattice[A, +L <: Lattice] extends Lattice
A lattice of maps from a set of elements of type
A
to the latticesublattice
.A lattice of maps from a set of elements of type
A
to the latticesublattice
. Bottom is the default value. 
class
PairLattice[L1 <: Lattice, L2 <: Lattice] extends Lattice
The product lattice made by
l1
andl2
. 
class
PowersetLattice[A] extends Lattice
The powerset lattice of a set of elements of type
A
with subset ordering. 
class
ReversePowersetLattice[A] extends Lattice
The powerset lattice of the given set of elements of type
A
with superset ordering. 
class
TwoElementLattice extends FlatLattice[Nothing]
The twoelement lattice containing only Top and Bot.

class
UniformProductLattice[L <: Lattice] extends Lattice
The
n
th product lattice made ofsublattice
lattices.
Value Members

object
ConstantPropagationLattice extends FlatLattice[Int] with LatticeWithOps
Constant propagation lattice.

object
IntervalLattice extends LatticeWithOps
The interval lattice.

object
SignElement extends Enumeration
An element of the sign lattice.

object
SignLattice extends FlatLattice[lattices.SignElement.Value] with LatticeWithOps
The sign lattice.