Searched refs:meansEquality (Results 1 – 1 of 1) sorted by relevance
1087 std::optional<bool> meansEquality(const SymSymExpr *Sym) { in meansEquality() function1577 std::optional<bool> Equality = meansEquality(Sym); in getRangeForEqualities()2237 if (std::optional<bool> Equality = meansEquality(Sym)) { in assignSymSymExprToRangeSet()