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)
|