ProductLattice

Synopsis

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

class ProductLattice
    : public virtual Lattice

Base Classes

Name	Description
Lattice

Member Functions

Name	Description
ProductLattice [constructor]	Constructors
~ProductLattice [destructor] [virtual]	Destructor
copy [virtual]
copy_lattices
getLattices
getLevel
init
initialize [virtual]
meetUpdate [virtual]
str [virtual]
operator== [virtual]	Equality operator

Data Members

Name

level

Static Data Members

Name

initialized

uninitialized

Protected Data Members

Name

lattices

Derived Classes

Name	Description
FiniteProductLattice
InfiniteProductLattice
VariablesProductLattice
VarsExprsProductLattice

Created with MrDocs