IntMaxLattice

Synopsis

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

class IntMaxLattice
    : public InfiniteLattice

Base Classes

Name	Description
InfiniteLattice

Member Functions

Name	Description
IntMaxLattice [constructor]	Constructors
copy [virtual]
get
incr
initialize [virtual]
maximum
meetUpdate [virtual]
set
str [virtual]
widenUpdate [virtual]
operator== [virtual]	Equality operator

Static Data Members

Name

infinity

Private Data Members

Name

state

Created with MrDocs