Searched refs:ConstraintAsBool (Results 1 – 1 of 1) sorted by relevance
2232 std::optional<bool> ConstraintAsBool = interpreteAsBool(Constraint); in assignSymSymExprToRangeSet() local2234 if (!ConstraintAsBool) in assignSymSymExprToRangeSet()2243 if (*Equality == *ConstraintAsBool) { in assignSymSymExprToRangeSet()