Predicate signature LangSig::hasConstantBound
Holds if e >= bound (if upper = false) or e <= bound (if upper = true).
signature predicate hasConstantBound(Expr e, Delta bound, boolean upper)Holds if e >= bound (if upper = false) or e <= bound (if upper = true).
signature predicate hasConstantBound(Expr e, Delta bound, boolean upper)