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

Gets the predicate for testing that its argument has the given node symbol.

public GetTester ( string symbol ) : FuncDecl
symbol	string	function symbol name
Результат	Microsoft.Z3.FuncDecl

        public FuncDecl GetTester(string symbol)
        {
            return testers[GetId(symbol)];
        }

RankedAlphabet