The name is slightly confusing, since the constraint is not necessarily within the range unless Assumption is true. Split out renaming for ConstraintManager.h from D26061
LGTM, other then some indentation issues for arguments and parameters after the rename. Please fix those and commit! And thanks for splitting this up.
|103 ↗||(On Diff #77901)|
Nit: The indentation here (and elsewhere) is off after the rename.