public void TestString_01() { var notaset = ForString.Related(Equal, "a").Complement(); var bset = ForString.Related(Equal, "b"); var intersect = bset.Intersect(notaset); Assert.False(intersect.Any(Equal, "c")); }
public void TestString_Cov_01() { var s1 = ForString.Related(Equal, "a"); var s2 = ForString.Related(Equal, "b"); Assert.True(s1.Intersect(s2).IsEmpty); Assert.True(s1.Complement().Union(s2.Complement()).Complement().IsEmpty); Assert.Equal(s1.Union(s2).Complement(), s1.Complement().Intersect(s2.Complement())); IValueSet b = s1; Assert.Same(b.Intersect(b), b); Assert.Same(b.Union(b), b); Assert.False(s1.Union(s2).All(Equal, "a")); }