InfiniteLattice

Synopsis

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

class InfiniteLattice
    : public virtual Lattice

Base Classes

Name	Description
Lattice

Member Functions

Name

finiteLattice [virtual]

widenUpdate [virtual]

Derived Classes

Name	Description
ConstrGraph
InfiniteProductLattice
IntMaxLattice

Created with MrDocs