Searched refs:isEmptyByGCDTest (Results 1 – 3 of 3) sorted by relevance
257 if (fac.isEmptyByGCDTest()) in getSetDifference()
966 if (isEmptyByGCDTest() || hasInvalidConstraint()) in isEmpty()980 if (tmpCst.hasInvalidConstraint() || tmpCst.isEmptyByGCDTest()) in isEmpty()1021 bool FlatAffineConstraints::isEmptyByGCDTest() const { in isEmptyByGCDTest() function in FlatAffineConstraints1045 if (isEmptyByGCDTest()) in isIntegerEmpty()
147 bool isEmptyByGCDTest() const;