public void Test10()
{
Tset s1 = new Tset(P1, P2);
Tset s2 = new Tset(P1, P2, P3);
Assert.AreEqual(false, s2.IsSubsetOf(s1).Out);
}
public void Test7()
{
Tset s1 = new Tset(P1, P2);
Tset s2 = new Tset(P1);
Assert.AreEqual(true, s2.IsSubsetOf(s1).Out);
}
public void Unknown_Subset_1()
{
Thing P1 = new Thing("P1");
Thing P2 = new Thing("P2");
Tset s1 = new Tset(P1, P2);
Assert.AreEqual(eternallyUnstated, theSet.IsSubsetOf(s1).Out);
}
public void Test11()
{
Tset s1 = new Tset(P1, P2);
Tset s2 = new Tset();
s2.SetEternally();
Assert.AreEqual(true, s2.IsSubsetOf(s1).Out);
}
public void Test9()
{
Tset s1 = new Tset(P1,P2,P3);
Tset s2 = new Tset(P1,P2);
Assert.AreEqual(true, s2.IsSubsetOf(s1).Out);
}
public void Test12()
{
Tset s1 = new Tset();
s1.SetEternally();
Tset s2 = new Tset(P1,P2);
Assert.AreEqual(false, s2.IsSubsetOf(s1).Out);
}
