Predicate RangeAnalysis::seedEdge

The set of initial edges including those from dual constraints.

Import path

import javascript

predicate seedEdge(ControlFlowNode cfg, Node a, int asign, Node b, int bsign, Bias c, boolean sharp)