Predicate RangeAnalysis::linearDefinition
Holds if r
can be modeled as r = root * sign + bias
.
Import path
import javascript
predicate linearDefinition(Node r, Node root, int sign, Bias bias)
Holds if r
can be modeled as r = root * sign + bias
.
import javascript
predicate linearDefinition(Node r, Node root, int sign, Bias bias)