Microsoft.Automata.Z3.RankedAlphabet.MkTreeAcceptor C# (CSharp) Метод

        public TreeTransducer MkTreeAcceptor(params TreeRule[] rules)
        {
            if (rules.Length == 0)
                throw new AutomataException(AutomataExceptionKind.TreeTransducer_EmptySetOfRules);

            int q0 = int.Parse(rules[0].state.ToString());
            var ta = tt.MkTreeAutomaton(q0, this, this, rules);
            return ta;
        }