BoolAndLattice

*** Commonly used lattices ****

Synopsis

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

class BoolAndLattice
    : public FiniteLattice

Base Classes

Name	Description
FiniteLattice

Member Functions

Name	Description
BoolAndLattice [constructor]	Constructors
andUpd
copy [virtual]
get
initialize [virtual]
meetUpdate [virtual]
set
str [virtual]
operator== [virtual]	Equality operator

Private Member Functions

Name	Description
BoolAndLattice [constructor]	Construct from int

Private Data Members

Name

state

Created with MrDocs