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