Ejemplos de Parser Parser.ParseCTLFormula en C# (CSharp)

Ejemplo n.º 1

Archivo: Program.cs Proyecto: themills22/CTL-Model-Checker

        public static void Main(string[] args)
        {
            var parser   = new Parser.Parser(args[0]);
            var formula  = parser.ParseCTLFormula();
            var automata = new Automata(args[1]);

            var mc = new ModelChecker.ModelChecker(automata, formula, parser.GetPropositionsFound());

            Console.WriteLine(mc.Check() ? "Yay" : "Nay");
        }