Searched refs:getNumDisjuncts (Results 1 – 3 of 3) sorted by relevance
31 unsigned PresburgerRelation::getNumDisjuncts() const { in getNumDisjuncts() function in PresburgerRelation223 if (level - 1 >= s.getNumDisjuncts()) { in getSetDifference()577 simplices.reserve(s.getNumDisjuncts()); in SetCoalescer()822 os << "Number of Disjuncts: " << getNumDisjuncts() << "\n"; in print()
54 unsigned getNumDisjuncts() const;
566 EXPECT_TRUE(expectedNumPoly == newSet.getNumDisjuncts()); in expectCoalesce()899 EXPECT_EQ(result.getNumDisjuncts(), 1u); in TEST()905 EXPECT_EQ(subtractSelf.getNumDisjuncts(), 0u); in TEST()