InfiniteProductLattice

Synopsis

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

class InfiniteProductLattice
    : public virtual ProductLattice
    , public virtual InfiniteLattice

Base Classes

Name	Description
ProductLattice
InfiniteLattice

Member Functions

Name	Description
InfiniteProductLattice [constructor]	Constructors
copy [virtual]
widenUpdate [virtual]

Derived Classes

Name	Description
InfiniteVariablesProductLattice
InfiniteVarsExprsProductLattice

Created with MrDocs