Class RangeStage::SemCondReason

A reason for an inferred bound pointing to a condition.

Import path

import codeql.rangeanalysis.RangeAnalysis

getCond	Gets the condition that is the reason for the bound.
toString	Gets a textual representation of this reason.