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

GetChildAccessor() публичный Метод

Gets the accessor of the n'th child.
public GetChildAccessor ( string symbol, int n ) : FuncDecl
symbol string function symbol name
n int must be an integer between 1 and GetChildRank(symbol)
Результат Microsoft.Z3.FuncDecl
        public FuncDecl GetChildAccessor(string symbol, int n)
        {
            int id = GetId(symbol);
            if (!(1 <= n && n <= ranks[id]))
                throw new AutomataException(AutomataExceptionKind.RankedAlphabet_ChildAccessorIsOutOufBounds);
            return accessors[id][n];
        }