Predicate RangeAnalysis::linearComparison
Holds if the given comparison
can be modeled as A <op> B + bias
where <op>
is the comparison operator,
and A
is a * asign
and likewise B
is b * bsign
.
Import path
import javascript
predicate linearComparison(Comparison comparison, Node a, int asign, Node b, int bsign, Bias bias)