Class Bound::Bound

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

Import path

import codeql.rangeanalysis.Bound

getExpr	Gets an expression that equals this bound.
getExpr	Gets an expression that equals this bound plus `delta`.
getLocation	Gets the location of this bound.
toString	Gets a textual representation of this bound.