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

Gets the number of children (subtrees) that a node with the given symbol has.

public GetRank ( string symbol ) : int
symbol	string	function symbol name
Результат	int

        public int GetRank(string symbol)
        {
            return ranks[GetId(symbol)];
        }

RankedAlphabet