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
)