Searched defs:emptySet (Results 1 – 2 of 2) sorted by relevance
362 PresburgerSet emptySet = in TEST() local
1680 MlirIntegerSet emptySet = mlirIntegerSetEmptyGet(ctx, 2, 1); in printIntegerSet() local