DivLattice

Synopsis

Declared in <src/midend/programAnalysis/genericDataflow/simpleAnalyses/divAnalysis.h>

class DivLattice
    : public FiniteLattice

Base Classes

Name	Description
FiniteLattice

Member Functions

Name	Description
DivLattice [constructor]	Constructors
copy [virtual]
getDiv
getLevel
getRem
getValue
incr
initialize [virtual]
meetUpdate [virtual]
mult
set
setBot
setTop
str [virtual]
operator== [virtual]	Equality operator

Static Member Functions

Name

matchDiv

matchDivAddSubt

Static Data Members

Name

bottom

divKnown

top

valKnown

Private Data Members

Name

div

level

rem

value

Created with MrDocs