VarsExprsProductLattice

Synopsis

Declared in <src/midend/programAnalysis/genericDataflow/simpleAnalyses/liveDeadVarAnalysis.h>

class VarsExprsProductLattice
    : public virtual ProductLattice

Base Classes

Name	Description
ProductLattice

Member Functions

Name	Description
VarsExprsProductLattice [constructor]	Constructors
~VarsExprsProductLattice [destructor] [virtual]	Destructor
addVar
copy [virtual]
getAllVars
getVarLattice
incorporateVars [virtual]
meetUpdate [virtual]
project [virtual]
remVar
remapVars [virtual]	*Lattice**/void remapVars(const std::map<varID, varID>& varNameMap, const Function& newFunc, bool (*f)(CFGNode));
str [virtual]
unProject [virtual]

Protected Member Functions

Name

VarsExprsProductLattice [constructor]

blankVEPL [virtual]

getVarIndex

Protected Data Members

Name

allVarLattice

constVarLattices

filter

ldva

n

perVarLattice

state

varLatticeIndex

Derived Classes

Name	Description
FiniteVarsExprsProductLattice
InfiniteVarsExprsProductLattice

Created with MrDocs