ConstrGraph

Synopsis

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

class ConstrGraph
    : public virtual InfiniteLattice
    , public dottable

Base Classes

Name	Description
InfiniteLattice
dottable

Types

Name	Description
NodeDesc	** Constructors & Destructors ***
geIterator
leIterator
constrTypes

Enums

Name

Unnamed enum

levels

Member Functions

Name	Description
ConstrGraph [constructor]	/ which are assumed to correspond to just scalars
~ConstrGraph [destructor] [virtual]	Destructor
DivLattices2Str
OrAndWidenUpdate
OrAndWidenUpdate_XinThatNotThis
OrAndWidenUpdate_XinThisNotThat
OrAndWidenUpdate_YinThatNotThis
OrAndWidenUpdate_YinThisNotThat
addDivL
addVar
addVarAnnot
andUpd
assertCond
assertEq
assign
assignBot
assignTop
beginTransaction
containsVar	** State Accessor Functions **
copy [virtual]	*** Copying
copyAnnotVars
copyConstraints
copyConstraintsReplace
copyFrom
copyFromReplace
copyVar
endTransaction
eqVars
eraseConstraints	** Erasing ***
eraseVarConstr
eraseVarConstrNoDiv
eraseVarConstrNoDivVars
geBegin
geEnd
getDivLattice
getEqVars
getLevel
getProjection
getVal
getVarSign	** Dataflow Functions ***
getVars
getVarsMod
hasConsistentConstraints
incorporateVars [virtual]
initialize [virtual]
isEqVars
isEqZero
isMaximalState
isSelfConsistent
leBegin
leEnd
localTransClosure
ltVars
lteVars
mayTrue
meetUpdate [virtual]
meetUpdateLimitToThat
meetUpdate_ex
mergeAnnotVars
mustOutsideRange
negate	** Transfer Function‐Related Updates ***
operator<<=
orUpd
project [virtual]
remapVars [virtual]
removeVar
removeVarAnnot
replaceVar
replaceVarAnnot
setToBottom
setToConstrKnown
setToInconsistent
setToTop
setToUninitialized_KeepState
setVal
str [virtual]	** String Output **
toDOT [virtual]
transitiveClosure
unProject [virtual]
varSetStatusToStream
widenUpdate [virtual]
widenUpdateLimitToThat
widenUpdate_ex
operator==	Equality operators
operator!=	** Comparison Functions ***

Static Member Functions

Name

joinCG

varHasAnnot

Protected Member Functions

Name

ConstrGraph [constructor]

annotInterestingVar

checkSelfConsistency

diffConstraints

initCG

mergeAnnotVarsSet

mergeAnnotVarsSubMap

transitiveClosureDiv

transitiveClosureY

transitiveClosureZ

unionXYsubMap

Protected Static Member Functions

Name

joinCG_copyState

Protected Data Members

Name

constrChanged

constrType

divL

func

inTransaction

ldva

level

modifiedVars

state

vars

vars2Value

Created with MrDocs