public void TestChar_01() { IValueSet <char> gea1 = ForChar.Related(GreaterThanOrEqual, 'a'); IValueSet <char> lez1 = ForChar.Related(LessThanOrEqual, 'z'); IValueSet <char> gea2 = ForChar.Related(GreaterThanOrEqual, 'A'); IValueSet <char> lez2 = ForChar.Related(LessThanOrEqual, 'Z'); var letters = gea1.Intersect(lez1).Union(gea2.Intersect(lez2)); Assert.Equal("['A'..'Z'],['a'..'z']", letters.ToString()); }
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")); }
public void TestBool_Cov_01() { var t = ForBool.Related(Equal, true); var f = ForBool.Related(Equal, false); var em = t.Intersect(f); Assert.True(em.IsEmpty); var q = t.Intersect(t); Assert.Same(t, q); IValueSet b = t; Assert.Same(b.Intersect(b), b); Assert.Same(b.Union(b), b); }