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