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

this() 공개 메소드

Gets the constructor with the given name. Same as GetConstructor(constructorName).
public this ( string constructorName ) : FuncDecl
constructorName string the name of the constructor
리턴 Microsoft.Z3.FuncDecl
        public FuncDecl this[string constructorName]
        {
            get
            {
                return GetConstructor(constructorName);
            }
        }