Microsoft.Automata.Z3.RankedAlphabet.GetConstructor C# (CSharp) 메소드

Gets the constructor for the given node symbol.

public GetConstructor ( string symbol ) : FuncDecl
symbol	string	function symbol name
리턴	Microsoft.Z3.FuncDecl

        public FuncDecl GetConstructor(string symbol)
        {
            return constructors[GetId(symbol)];
        }

RankedAlphabet