Skip to content

IntMaxLattice

Synopsis

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

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