Searched refs:encodesTrueRange (Results 1 – 2 of 2) sorted by relevance
372 bool encodesTrueRange() const { return !containsZero(); } in encodesTrueRange() function
2640 if (Constraint->encodesTrueRange()) { in reAssume()