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];
        }