Searched refs:isSatisfies (Results 1 – 3 of 3) sorted by relevance
60 EXPECT_TRUE(TheSubset.isSatisfies(Int(5))); in TEST()61 EXPECT_FALSE(TheSubset.isSatisfies(Int(9))); in TEST()
357 bool isSatisfies(const IntTy &CheckingVal) const { in isSatisfies() function
2589 if (i.getCaseValueEx().isSatisfies(IntItem::fromConstantInt(C)))2595 if (i.getCaseValueEx().isSatisfies(IntItem::fromConstantInt(C)))