Predicate RangeAnalysis::linearDefinitionSum

Holds if r can be modeled as r = xroot * xsign + yroot * ysign + bias.

Import path

import javascript

predicate linearDefinitionSum(Node r, Node xroot, int xsign, Node yroot, int ysign, Bias bias)