示例#1
0
        public void LLConfSubsumesEqualLabelTest()
        {
            CharSymbol chSymA = new CharSymbol('A');
            var        llA    = new LlConfiguration <CharSymbol>(chSymA);

            CharSymbol chSymB = new CharSymbol('A');
            var        llB    = new LlConfiguration <CharSymbol>(chSymB);

            bool result = llA.Subsumes(llB);

            Assert.AreEqual(true, result);
        }
示例#2
0
        public void LLConfSubsumesFalseTest()
        {
            CharSymbol chSym = new CharSymbol('A');
            var        llA   = new LlConfiguration <CharSymbol>(chSym);
            var        llB   = new LlConfiguration <CharSymbol>(chSym);

            llA = llA.Push(states["B2"]).Push(states["A3"]);
            llB = llB.Push(states ["A1"]).Push(states ["A2"]).Push(states ["A3"]);

            bool result = llA.Subsumes(llB);

            Assert.AreEqual(false, result);
        }