FiniteLattice

Synopsis

Declared in <src/midend/programAnalysis/genericDataflow/lattice/lattice.h>

class FiniteLattice
    : public virtual Lattice

Base Classes

Name	Description
Lattice

Member Functions

Name

finiteLattice [virtual]

Derived Classes

Name	Description
BoolAndLattice	*** Commonly used lattices ****
DivLattice
DominatorLattice
FiniteProductLattice
LiveVarsLattice
SeqStructLattice
SgnLattice
TaintLattice	A pointer to a vertex of the static taint lattice.
nodeConstLattice

Created with MrDocs