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

Gets the accessor of the node label for the given node symbol.

public GetAttributeAccessor ( string symbol ) : FuncDecl
symbol	string	function symbol name
Результат	Microsoft.Z3.FuncDecl

        public FuncDecl GetAttributeAccessor(string symbol)
        {
            return accessors[GetId(symbol)][0];
        }

RankedAlphabet