Uses of Interface
tip.cfg.WideningNarrowingAnalysis

Packages that use WideningNarrowingAnalysis
tip.cfg Provides the basic framework for performing fixed-point analyses of TIP programs. 
tip.cfg.dfa Provides a collection of data flow analyses for TIP programs. 
 

Uses of WideningNarrowingAnalysis in tip.cfg
 

Methods in tip.cfg that return WideningNarrowingAnalysis
static
<V> WideningNarrowingAnalysis<V>
WorkList.apply(WideningNarrowingAnalysis<V> wideningNarrowingAnalysis, ICFGCollection cfgCollection)
          Performes the WideningNarrowingAnalysis wideningNarrowingAnalysis on the control flow graph in cfgCollection.
 

Methods in tip.cfg with parameters of type WideningNarrowingAnalysis
static
<V> WideningNarrowingAnalysis<V>
WorkList.apply(WideningNarrowingAnalysis<V> wideningNarrowingAnalysis, ICFGCollection cfgCollection)
          Performes the WideningNarrowingAnalysis wideningNarrowingAnalysis on the control flow graph in cfgCollection.
 

Uses of WideningNarrowingAnalysis in tip.cfg.dfa
 

Classes in tip.cfg.dfa that implement WideningNarrowingAnalysis
 class IntervalAnalysis