Searched refs:iSet (Results 1 – 1 of 1) sorted by relevance
2308 auto isTriviallyFalse = [](IntegerSet iSet) { in matchAndRewrite() argument2309 return iSet.isEmptyIntegerSet(); in matchAndRewrite()2312 auto isTriviallyTrue = [](IntegerSet iSet) { in matchAndRewrite() argument2313 return (iSet.getNumEqualities() == 1 && iSet.getNumInequalities() == 0 && in matchAndRewrite()2314 iSet.getConstraint(0) == 0); in matchAndRewrite()