Searched refs:emptySet (Results 1 – 2 of 2) sorted by relevance
377 PresburgerSet emptySet = in TEST() local384 EXPECT_FALSE(universe.isEqual(emptySet)); in TEST()386 EXPECT_FALSE(emptySet.isEqual(universe)); in TEST()388 EXPECT_TRUE(emptySet.isEqual(emptySet)); in TEST()393 EXPECT_TRUE(universe.unionSet(emptySet).isEqual(universe)); in TEST()397 EXPECT_TRUE(emptySet.unionSet(emptySet).isEqual(emptySet)); in TEST()399 EXPECT_FALSE(universe.unionSet(emptySet).isEqual(emptySet)); in TEST()401 EXPECT_FALSE(universe.unionSet(universe).isEqual(emptySet)); in TEST()403 EXPECT_FALSE(emptySet.unionSet(emptySet).isEqual(universe)); in TEST()406 EXPECT_TRUE(set.subtract(set).isEqual(emptySet)); in TEST()
1493 MlirIntegerSet emptySet = mlirIntegerSetEmptyGet(ctx, 2, 1); in printIntegerSet() local1499 mlirIntegerSetDump(emptySet); in printIntegerSet()1501 if (!mlirIntegerSetIsCanonicalEmpty(emptySet)) in printIntegerSet()1505 if (!mlirIntegerSetEqual(emptySet, anotherEmptySet)) in printIntegerSet()