Member predicate GuardedSsa::isLt
Holds if this SsaDefinition is guarded such that this(var) < gt + k is testIsTrue in block.
predicate isLt(StackVariable var, Expr gt, int k, BasicBlock block, boolean testIsTrue)Holds if this SsaDefinition is guarded such that this(var) < gt + k is testIsTrue in block.
predicate isLt(StackVariable var, Expr gt, int k, BasicBlock block, boolean testIsTrue)