Uses of Interface
edu.cmu.cs.crystal.bridge.LatticeElement

Packages that use LatticeElement
edu.cmu.cs.crystal.bridge DEPRECATED PACKAGE! Do not use anything in this package; it only exists for the Plural analysis. 
 

Uses of LatticeElement in edu.cmu.cs.crystal.bridge
 

Classes in edu.cmu.cs.crystal.bridge with type parameters of type LatticeElement
 interface LatticeElement<LE extends LatticeElement<LE>>
          This class is not to be used in new Crystal analyses and is kept for older projects only.
 class LatticeElementOps<LE extends LatticeElement<LE>>
          This class is not to be used in new Crystal analyses and is kept for older projects only.
 

Methods in edu.cmu.cs.crystal.bridge with type parameters of type LatticeElement
static
<LE extends LatticeElement<LE>>
LatticeElementOps<LE>
LatticeElementOps.create(LE bottom)
          Create lattice operations for a given bottom element.