Lines Matching refs:UniversalSet

58             S.UniversalSet]:
66             S.UniversalSet]:
311     assert Complement(S.Integers, S.UniversalSet) == EmptySet
312     assert S.UniversalSet.complement(S.Integers) == EmptySet
383     assert S.UniversalSet.complement(S.EmptySet) == S.EmptySet
384     assert S.UniversalSet.complement(S.Reals) == S.EmptySet
385     assert S.UniversalSet.complement(S.UniversalSet) == S.EmptySet
514     assert Intersection() == S.UniversalSet
959     assert S.EmptySet.intersect(S.UniversalSet) == S.EmptySet
1076     U = S.UniversalSet
1367     assert Complement(S.UniversalSet, a) == Complement(
1368             S.UniversalSet, Union(Interval(0, 1), Interval(2, 3)), evaluate=False)
1407     U = S.UniversalSet