Searched refs:isIntegerEmpty (Results 1 – 9 of 9) sorted by relevance
94 EXPECT_EQ(!hasSample, poly.isIntegerEmpty()); in checkSample()431 parsePoly("(x) : (5 * x - 1 >= 0, -5 * x + 4 >= 0)").isIntegerEmpty()); in TEST()434 parsePoly("(x) : (5 * x - 1 >= 0, -5 * x + 9 >= 0)").isIntegerEmpty()); in TEST()439 .isIntegerEmpty()); in TEST()443 .isIntegerEmpty()); in TEST()447 .isIntegerEmpty()); in TEST()456 .isIntegerEmpty()); in TEST()464 .isIntegerEmpty()); in TEST()475 .isIntegerEmpty()); in TEST()478 EXPECT_FALSE(parsePoly("(x)[s] : (x + s >= 0, x - s == 0)").isIntegerEmpty()); in TEST()
140 EXPECT_TRUE(lexmin.unboundedDomain.isIntegerEmpty()); in TEST()
438 void expectEmpty(const PresburgerSet &s) { EXPECT_TRUE(s.isIntegerEmpty()); } in expectEmpty()902 EXPECT_TRUE(subtractSelf.isIntegerEmpty()); in TEST()
107 bool isIntegerEmpty() const;
326 bool isIntegerEmpty() const;
446 return this->subtract(set).isIntegerEmpty(); in isSubsetOf()457 bool PresburgerRelation::isIntegerEmpty() const { in isIntegerEmpty() function in PresburgerRelation459 return llvm::all_of(disjuncts, std::mem_fn(&IntegerRelation::isIntegerEmpty)); in isIntegerEmpty()
204 .isIntegerEmpty() && in addPiece()
719 bool IntegerRelation::isIntegerEmpty() const { return !findIntegerSample(); } in isIntegerEmpty() function in IntegerRelation
281 if (!diffSet.isIntegerEmpty()) { in isSliceValid()338 return diffSet.isIntegerEmpty(); in isMaximal()