Automata.Z3.Tests.Z3_TreeTransducerTests.TestTreeAutomataMinimization2 C# (CSharp) Méthode

        public void TestTreeAutomataMinimization2()
        {
            for (int k = 2; k <= 5; k++)
                TestMinimization(k);
        }