Lattice

Synopsis

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

class Lattice
    : public printable

Base Classes

Name	Description
printable

Member Functions

Name	Description
copy [virtual]
finiteLattice [virtual]	Check if this lattice is finite or not
incorporateVars [virtual]
initialize [virtual]
meetUpdate [virtual]
project [virtual]
remapVars [virtual]
unProject [virtual]
operator== [virtual]	Equality operators
operator!=	Inequality operators

Derived Classes

Name	Description
FiniteLattice
InfiniteLattice
ProductLattice

Created with MrDocs