Automata.Z3.Tests.Z3_TreeTransducerTests.TestComplementOfEmpty C# (CSharp) Метод

        public void TestComplementOfEmpty()
        {
            Z3Provider Z = new Z3Provider();
            var A = (Z.TT.MkRankedAlphabet("A", Z.IntSort, new string[] { "zero", "one", "two" }, new int[] { 0, 1, 2 }));
            var dta = A.EmptyAcceptor;
            var cdta = dta.Complement();
            Assert.AreEqual(1, cdta.StateCount);
            Assert.AreEqual(3, cdta.RuleCount);
        }