Class Bound::Bound

A bound that may be inferred for an expression plus/minus an integer delta.

Direct supertypes

Known direct subtypes

Predicates

getExpr

Gets an expression that equals this bound plus delta.

getExpr

Gets an expression that equals this bound.

hasLocationInfo
toString