C# (CSharp) IPrettyPrint Exemples

Exemple #1

Fichier : PrettyPrinting.cs Projet : mbuchholz/ObjectAlgebra

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

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

Exemple #2

Fichier : PrettyPrinting.cs Projet : mbuchholz/ObjectAlgebra

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

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