public void SetRelationsTest3()
{
SetRelations relations = new SetRelations();
Set s1 = new Set(workspace, "1");
Notion n1 = new Notion(s1, "1", true);
Set s12 = new Set(workspace, "12");
Notion n2 = new Notion(s12, "2", true);
relations.Add(s1);
relations.Add(s12);
relations.AddSubsetRelation(s1, s12);
Contract.Assert(relations.Subsets(EmptySet, s1));
Contract.Assert(relations.Subsets(s1, s1));
Contract.Assert(relations.Subsets(EmptySet, s12));
Contract.Assert(relations.Subsets(s12, s12));
Contract.Assert(relations.Subsets(s1, s12));
}
public void SetRelationsTest7()
{
SetRelations relations = new SetRelations();
Set s1 = new Set(workspace, "1");
Notion n1 = new Notion(s1, "1", true);
Set s12 = new Set(workspace, "12");
Notion n2 = new Notion(s12, "2", true);
Set s3 = new Set(workspace, "3");
Notion n3 = new Notion(s3, "3", true);
Set s123 = new Set(workspace, "123");
Set true1 = new Set(workspace, "true1");
relations.Add(s1);
relations.Add(s12);
relations.Add(s3);
relations.Add(s123);
relations.Add(Booleans);
relations.Add(true1);
relations.AddSubsetRelation(s1, s12);
relations.AddSubsetRelation(s12, s123);//should be able to infer s1 \in s123
relations.AddSubsetRelation(s3, s123);
relations.AddOverlapRelation(true1, Booleans);
relations.AddSubsetRelation(s1, true1);
Contract.Assert(relations.Subsets(s1, s12));
Contract.Assert(relations.Subsets(s1, s123));
Contract.Assert(relations.Subsets(s12, s123));
Contract.Assert(relations.IsUnknown(s12, s3));
Contract.Assert(relations.Intersects(true1, s12));//this one is nice
Contract.Assert(relations.Intersects(true1, s123));
Contract.Assert(relations.Intersects(true1, Booleans));
relations.AddNoOverlapRelation(s12, s3);
Contract.Assert(relations.Subsets(s1, s12));
Contract.Assert(relations.Subsets(s1, s123));
Contract.Assert(relations.Subsets(s12, s123));
Contract.Assert(relations.Disjoins(s12, s3));
Contract.Assert(relations.Intersects(true1, s12));
Contract.Assert(relations.Intersects(true1, s123));
Contract.Assert(relations.Intersects(true1, Booleans));
}
public void SetRelationsTest6()
{
SetRelations relations = new SetRelations();
Set s1 = new Set(workspace, "1");
Notion n1 = new Notion(s1, "1", true);
Set s12 = new Set(workspace, "12");
Notion n2 = new Notion(s12, "2", true);
Set s3 = new Set(workspace, "3");
Notion n3 = new Notion(s3, "3", true);
Set s123 = new Set(workspace, "123");
relations.Add(s1);
relations.Add(s12);
relations.Add(s3);
relations.Add(s123);
relations.AddSubsetRelation(s1, s12);
relations.AddSubsetRelation(s12, s123);
Contract.Assert(relations.Subsets(s1, s12));
Contract.Assert(relations.Subsets(s1, s123));
Contract.Assert(relations.Subsets(s12, s123));
Contract.Assert(relations.IsUnknown(s12, s3));
relations.AddOverlapRelation(s123, s3);
Contract.Assert(relations.Subsets(s1, s12));
Contract.Assert(relations.Subsets(s1, s123));
Contract.Assert(relations.Subsets(s12, s123));
Contract.Assert(relations.Intersects(s123, s3));
}