コード例 #1
0
        public void Test10()
        {
            Tset s1 = new Tset(P1, P2);
            Tset s2 = new Tset(P1, P2, P3);

            Assert.AreEqual(false, s2.IsSubsetOf(s1).Out);
        }
コード例 #2
0
        public void Test7()
        {
            Tset s1 = new Tset(P1, P2);
            Tset s2 = new Tset(P1);

            Assert.AreEqual(true, s2.IsSubsetOf(s1).Out);
        }
コード例 #3
0
        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);
        }
コード例 #4
0
        public void Test11()
        {
            Tset s1 = new Tset(P1, P2);
            Tset s2 = new Tset();

            s2.SetEternally();
            Assert.AreEqual(true, s2.IsSubsetOf(s1).Out);
        }
コード例 #5
0
 public void Test9()
 {
     Tset s1 = new Tset(P1,P2,P3);
     Tset s2 = new Tset(P1,P2);
     Assert.AreEqual(true, s2.IsSubsetOf(s1).Out);
 }
コード例 #6
0
 public void Test12()
 {
     Tset s1 = new Tset();
     s1.SetEternally();
     Tset s2 = new Tset(P1,P2);
     Assert.AreEqual(false, s2.IsSubsetOf(s1).Out);
 }