Automata.Z3.Tests.Z3_RankedAlphabetTests.TestCreationOfTwoAlphabets1 C# (CSharp) Method

        public void TestCreationOfTwoAlphabets1()
        {
            Z3Provider Z = new Z3Provider();
            var A = Z.TT.MkRankedAlphabet("A", Z.IntSort, new string[] { "zero", "one", "two" }, new int[] { 0, 1, 2 });
            var B = Z.TT.MkRankedAlphabet("B", Z.IntSort, new string[] { "zero", "one", "two" }, new int[] { 0, 1, 2 });
            Assert.IsTrue(A.ContainsConstructor("two"));
            Assert.IsTrue(B.ContainsConstructor("two"));
            var twoA = A.GetConstructor("two");
            var twoB = B.GetConstructor("two");
            Assert.AreNotEqual<FuncDecl>(twoA, twoB);
            Assert.AreEqual<string>("two", twoA.Name.ToString());
            Assert.AreEqual<string>("two", twoB.Name.ToString());
        }