Uses of Class
tip.cfg.dfa.IntervalAnalysis.Interval

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

Uses of IntervalAnalysis.Interval in tip.cfg.dfa
 

Methods in tip.cfg.dfa that return IntervalAnalysis.Interval
 IntervalAnalysis.Interval IntervalAnalysis.Evaluator.caseABinopExp(ABinopExp binopExp, EqualityMap<ALocalDecl,IntervalAnalysis.Interval> sigma)
           
 IntervalAnalysis.Interval IntervalAnalysis.Evaluator.caseAIntConstExp(AIntConstExp node, EqualityMap<ALocalDecl,IntervalAnalysis.Interval> sigma)
           
 IntervalAnalysis.Interval IntervalAnalysis.Evaluator.caseAVarExp(AVarExp varExp, EqualityMap<ALocalDecl,IntervalAnalysis.Interval> sigma)
           
 IntervalAnalysis.Interval IntervalAnalysis.Evaluator.defaultNode(Node node, EqualityMap<ALocalDecl,IntervalAnalysis.Interval> sigma)
           
 IntervalAnalysis.Interval IntervalAnalysis.eval(EqualityMap<ALocalDecl,IntervalAnalysis.Interval> sigma, PExp exp)
           
 IntervalAnalysis.Interval IntervalAnalysis.Interval.getLeastUpperBound(IntervalAnalysis.Interval a, IntervalAnalysis.Interval b)
           
 IntervalAnalysis.Interval IntervalAnalysis.Interval.getSmallestElement()
           
 IntervalAnalysis.Interval IntervalAnalysis.widen(IntervalAnalysis.Interval interval)
           
 

Methods in tip.cfg.dfa with parameters of type IntervalAnalysis.Interval
 boolean IntervalAnalysis.Interval.equals(IntervalAnalysis.Interval a, IntervalAnalysis.Interval b)
           
 IntervalAnalysis.Interval IntervalAnalysis.Interval.getLeastUpperBound(IntervalAnalysis.Interval a, IntervalAnalysis.Interval b)
           
 int IntervalAnalysis.Interval.hashCode(IntervalAnalysis.Interval a)
           
 IntervalAnalysis.Interval IntervalAnalysis.widen(IntervalAnalysis.Interval interval)
           
 

Method parameters in tip.cfg.dfa with type arguments of type IntervalAnalysis.Interval
 IntervalAnalysis.Interval IntervalAnalysis.Evaluator.caseABinopExp(ABinopExp binopExp, EqualityMap<ALocalDecl,IntervalAnalysis.Interval> sigma)
           
 IntervalAnalysis.Interval IntervalAnalysis.Evaluator.caseAIntConstExp(AIntConstExp node, EqualityMap<ALocalDecl,IntervalAnalysis.Interval> sigma)
           
 IntervalAnalysis.Interval IntervalAnalysis.Evaluator.caseAVarExp(AVarExp varExp, EqualityMap<ALocalDecl,IntervalAnalysis.Interval> sigma)
           
 IntervalAnalysis.Interval IntervalAnalysis.Evaluator.defaultNode(Node node, EqualityMap<ALocalDecl,IntervalAnalysis.Interval> sigma)
           
 IntervalAnalysis.Interval IntervalAnalysis.eval(EqualityMap<ALocalDecl,IntervalAnalysis.Interval> sigma, PExp exp)
           
 String IntervalAnalysis.getVariableString(EqualityMap<ALocalDecl,IntervalAnalysis.Interval> variable)