Searched refs:ConstraintAsBool (Results 1 – 1 of 1) sorted by relevance
2165 Optional<bool> ConstraintAsBool = interpreteAsBool(Constraint); in assignSymSymExprToRangeSet() local2167 if (!ConstraintAsBool) in assignSymSymExprToRangeSet()2176 if (*Equality == *ConstraintAsBool) { in assignSymSymExprToRangeSet()