C# (CSharp) IPrettyPrint示例

示例#1

文件： PrettyPrinting.cs 项目： mbuchholz/ObjectAlgebra

        public void PrintingAllOperatorsTest(string input, string print)
        {
            IPrettyPrint printing = Program.BuildAstLTL(_ltlPrint, input);

            Assert.Equal(print, printing.Print());
        }

示例#2

文件： PrettyPrinting.cs 项目： mbuchholz/ObjectAlgebra

        public void PrintingDisjunctionTest(string input, string print)
        {
            IPrettyPrint printing = Program.BuildAstLTL(_ltlPrint, input);

            Assert.Equal(print, printing.Print());
        }