FiniteProductLattice

Synopsis

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

class FiniteProductLattice
    : public virtual ProductLattice
    , public virtual FiniteLattice

Base Classes

Name	Description
ProductLattice
FiniteLattice

Member Functions

Name	Description
FiniteProductLattice [constructor]	Constructors
copy [virtual]
verifyFinite

Derived Classes

Name	Description
FiniteVariablesProductLattice
FiniteVarsExprsProductLattice

Created with MrDocs