Predicate RangeAnalysis :: linearComparisonGuard
Holds if guard
asserts that the outcome of A <op> B + bias
is true, where <op>
is a comparison operator.
Import path
import javascript
predicate
linearComparisonGuard
(
ConditionGuardNode
guard
,
Node
a
,
int
asign
,
string
op
,
Node
b
,
int
bsign
,
Bias
bias
)