Uses of Class
tip.cfg.MapLattice

Packages that use MapLattice
tip.cfg.dfa Provides a collection of data flow analyses for TIP programs. 
 

Uses of MapLattice in tip.cfg.dfa
 

Methods in tip.cfg.dfa that return MapLattice
 MapLattice<ALocalDecl,NullPointerAnalysis.Null> NullPointerAnalysis.createLattice(ICFG cfg)