예제 #1
0
        public void AllKnownPeople2()
        {
            Facts.Clear();
            Tset result = Facts.AllKnownPeople();

            Assert.AreEqual("", result.Out);
        }
예제 #2
0
        public void AllKnownPeople4()
        {
            Facts.Clear();
            Thing P1 = new Thing("P1");

            Facts.Assert(P1, "Gender", "Male");
            Tset result = Facts.AllKnownPeople();

            Assert.AreEqual("P1", result.Out);
        }
예제 #3
0
        public void AllKnownPeople1()
        {
            Facts.Clear();

            Thing P1 = new Thing("P1");
            Thing P3 = new Thing("P3");
            Thing P4 = new Thing("P4");

            Facts.Assert(P1, "IsParentOf", P3, new Tbool(true));
            Facts.Assert(P1, "IsParentOf", P4, new Tbool(true));

            Assert.AreEqual("P1, P3, P4", Facts.AllKnownPeople().Out);
        }
예제 #4
0
        public void AllKnownPeople3()
        {
            Facts.Clear();

            Thing P1 = new Thing("P1");
            Thing P2 = new Thing("P2");
            Thing P3 = new Thing("P3");

            Facts.Assert(P1, "IsMarriedTo", P2, true);
            Facts.Assert(P3, "IsPermanentlyAndTotallyDisabled", new Tbool(false));
            Tset result = Facts.AllKnownPeople();

            Assert.AreEqual("P1, P2, P3", result.Out);
        }