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);
}
