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

        public List<FuncDecl> GetSymbols(int rank)
        {
            List<FuncDecl> symbs;
            if (symbolsOfRank.TryGetValue(rank, out symbs))
                return symbs;
            else
                return new List<FuncDecl>();
        }