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