C# (CSharp) AIMA.Core.Logic.Propositional.Parsing PELexerの例

コード例 #1

ファイル: PELexerTest.cs プロジェクト: PaulMineau/AIMA.Net

 public void testLexImpliesExpression()
 {
     PELexer pelexer = new PELexer();
     pelexer.setInput("(P => Q)");
     Assert.AreEqual(new Token((int)LogicTokenTypes.LPAREN, "("), pelexer
             .nextToken());
     Assert.AreEqual(new Token((int)LogicTokenTypes.SYMBOL, "P"), pelexer
             .nextToken());
     Assert.AreEqual(new Token((int)LogicTokenTypes.CONNECTOR, "=>"), pelexer
             .nextToken());
 }

コード例 #2

ファイル: PELexerTest.cs プロジェクト: PaulMineau/AIMA.Net

 public void testLexBiCOnditionalExpression()
 {
     PELexer pelexer = new PELexer();
     pelexer.setInput("(B11 <=> (P12 OR P21))");
     Assert.AreEqual(new Token((int)LogicTokenTypes.LPAREN, "("), pelexer
             .nextToken());
     Assert.AreEqual(new Token((int)LogicTokenTypes.SYMBOL, "B11"), pelexer
             .nextToken());
     Assert.AreEqual(new Token((int)LogicTokenTypes.CONNECTOR, "<=>"),
             pelexer.nextToken());
 }

コード例 #3

ファイル: PELexerTest.cs プロジェクト: PaulMineau/AIMA.Net

        public void testLexBasicExpression()
        {
            PELexer pelexer = new PELexer();
            pelexer.setInput("(P)");
            Assert.AreEqual(new Token((int)LogicTokenTypes.LPAREN, "("), pelexer
                    .nextToken());
            Assert.AreEqual(new Token((int)LogicTokenTypes.SYMBOL, "P"), pelexer
                    .nextToken());
            Assert.AreEqual(new Token((int)LogicTokenTypes.RPAREN, ")"), pelexer
                    .nextToken());

            Assert.AreEqual(new Token((int)LogicTokenTypes.EOI, "EOI"), pelexer
                    .nextToken());
        }

コード例 #4

ファイル: PEParser.cs プロジェクト: PaulMineau/AIMA.Net

 public override ParseTreeNode parse(String inputString)
 {
     lexer = new PELexer(inputString);
     fillLookAheadBuffer();
     return parseSentence();
 }

コード例 #5

 public override ParseTreeNode parse(String inputString)
 {
     lexer = new PELexer(inputString);
     fillLookAheadBuffer();
     return(parseSentence());
 }