Member predicate GuardCondition::comparesLt
Holds if (determined by this guard) e < k
evaluates to isLessThan
if
this expression evaluates to value
.
predicate comparesLt(Expr e, int k, boolean isLessThan, AbstractValue value)
Holds if (determined by this guard) e < k
evaluates to isLessThan
if
this expression evaluates to value
.
predicate comparesLt(Expr e, int k, boolean isLessThan, AbstractValue value)