Exemplo n.º 1
0
        static void Main(string[] args)
        {
            string parsedString      = @"\to ((P\supset Q)\supset P)\supset P";
            var    inputStream       = new AntlrInputStream(parsedString);
            var    lexer             = new FormulaLexer(inputStream);
            var    commonTokenStream = new CommonTokenStream(lexer);
            var    parser            = new FormulaParser(commonTokenStream);
            var    listener          = new FormulaListener();

            parser.AddParseListener(listener);
            var graphContext = parser.equation();

            To to = (To)listener.getTree();

            Console.WriteLine(to.getDebugString());
            Console.WriteLine(to.getString());
            Console.WriteLine();
            Console.WriteLine();
            Console.WriteLine();
            Console.WriteLine();
            Proof proof = new Proof(to);

            Console.WriteLine("Input: " + parsedString);
            Console.WriteLine("Proof: " + proof.getProof());
            Console.ReadKey();
        }