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
)